1.3.3.2. Lexikoneintrag zum Nominalismus
Nominalismus (vom lat. nomen, "Name",
"Bedeutung"), philosophische Anschauung, wonach dem
Allgemeinbegriff, den Universalien,
außerhalb des Denkens nichts Wirkliches entspricht, die Begriffe also nur subjektive Bewußtseinsgebilde sind, und zwar selbständige Denkgebilde, was der Konzeptualismus annimmt, oder bloße sprachliche Namen (lat. nomina),
was der strenge N. lehrt, nach welchem die "Universalien", d.h. die Allgemeinbegriffe, nur Worte sind, .... (in: Philosphisches
Wörterbuch, hg. von G. Schischkoff, Stuttgart 1965)
1.3.3.3. "Der Universalienstreit:
- historisch: Duns Scotus vs. William von Ockham"
William von Ockham und der Nominalismus- Vorverständnis zum historischen wie heutigen Universalienstreit
- siehe dazu: Stegmüller: Der Universalienstreit Einst und
Jetzt, in: Glauben, Wissen und Erkennen, Das Universalienproblem einst und jetzt, S. 48-118, [S. 58-81 (Geschichtliches)], Darmstadt 1965
Der Streit zwischen Ockham und Duns Scotus
"The great revival of philosophical and theological study which
the thirteenth century witnessed was conditioned by the influence
of Aristotle. The theory of the universe propounded by the Stagirite
had to be reconciled with the traditional Platonic-Augustinian
realism. This Thomas Aquinas undertook to do, following, Aristotle
as closely as possible. Duns Scotus, on the other hand, attempted
to maintain the ancient realism, while supporting it by modern
or Aristotelian methods. Interests and tendencies, however, came
up in his work which drove his disciples away from his position.
The growth of empirical research and psychological analysis together
with the new activity of the reason in the epistemological field
on the one side, and the recognition of the fact that the specific
and the particular was the end of nature on the other, led to
results widely divergent from those of Scotus. Here was Ockham's
work ready to his hand. He was the leader of the nominalists,
the founder of the "modern" school. Science has to do,
he maintains, only with propositions, not with things as such,
since the object of science is not what is but what is known.
Things, too, are always singular, while science has to do with
general concepts, which as such exist only in the human mind.
Scotus had deduced the objective existence of universals
from the concepts originated under the operation of the objects.
Ockham, on the other hand, asserts that "no universal
is a substance existing outside of the mind," and proves
it by a variety of keen logical reasons. He rejects even the milder
forms of philosophic universalism, such as the theory that the
universal is something in particulars which is distinguished from
them not realiter but only formaliter.
He considers the universal without qualification as an "intention"
of the mind, a symbol representing conventionally several objects.
In respect of the theory of cognition, where Duns Scotus had placed
between the perceiving subject and the object perceived a "sensible
species" and an "intelligible species," Ockham
considers these as superfluous machinery. Objects call
forth sense-impressions in us, which are transmuted by the active
intellect into mental images. These images are thus a product
of the intellect, not species which flow from the object into
the intellectus possibilis. The reality of these images is thus,
in the modern use of the terms, not objective but subjective.
This is true not merely of the "terms of first intention"
formed directly from sense-impression, but also of the "terms
of second intention," i.e., the abstract terms which take
note of common attributes, or universals. These latter correspond
to a tendency of the human mind, which can not perceive individuals
without at the same time attempting to form a general concept.
A white object simultaneously suggests abstract whiteness; an
extended, related, enduring object forces the conception of extension,
relation, duration. The result of this line of reasoning is the
absolute subjectivity of all concepts and universals and the limitation
of knowledge to the mind and its concepts-although these are real
entities because of their subjective existence in the mind, reproducing
the actual according to the constitution of the mind. Thus Ockham
is really the pioneer of modern epistemology. The mysterious
universals with their species in the sense of objective realities
are abolished. Objects work upon the senses of men, and out
of these operations the active intellect frames its concepts,
including the so-called universals, which, while they are in themselves
subjective, yet correspond to objective realities. By the statement
that science has nothing to do directly with things, but only
with concepts of them, the theory of knowledge assumes vital import
for the progress of science, and a new method of scientific cognition
is made available. Of course this increases the difficulty of
the task of theology. However, Ockham was essentially of a skeptical
and critical temperament, of great critical acumen, but (especially
in the religious province) he was by no means equally great in
constructive ability. He did not have the broad general conception
of religion which guided his master Scotus through his attempts
to criticize the old evidences and bring up new ones. Where Ockham
shows its power at all, it is usually simply borrowed from Scotus.
(in: Internet Encyclopedia of Philosophy: Ockham, William of@ href="http://www.utm.edu:80/research/iep/">Internet Encyclopedia of Philosophy;
Hervorhebungen von W.M.)
Weitere Literatur:
Ockham on Universals: Macquarie University, R.J. Kilcullen
Papers on Medieval Philosophy, Philosophical Dpt. of Macquarie University
Ockham on Universals: Macquarie University, R.J. Kilcullen
1.3.3.3.1. Formelle Konzepte der KI
Am griffigsten, weil an der praktischen Anwendung orientiert, wird der Ontologiebegriff in der KI-Forschung. Dort spricht man auch häufig von einer formalen Ontologie, der Spezifikation einer Konzeptualisierung oder dem universe of discourse.
Dabei geht es weniger um das Wesen oder die Natur der Dinge, um die Frage, ob bestimmten Gegenständen der Welt mehr oder weniger Realität zukommt, sondern um die Frage, wie eine Maschine ausgestattet sein muß, damit sie die Objekte und
Relationen richtig abbildet, die wir Menschen für wahr halten. Ausgangspunkt ist dabei, daß das Existenzprädikat ("ist",
"existiert") synonym ist mit dem, was eine Maschine repräsentieren ("verarbeiten") kann:
"For AI systems, what "exists" is that which can be represented. When the knowledge of a domain is represented in a declarative formalism, the set of objects that can be represented is called the universe of discourse. This set of objects, and the describable relationships among them, are reflected in the representational vocabulary with which a knowledge-based program represents knowledge. Thus, in the context of AI, we can describe the ontology of a program by defining a set of representational terms." (Tom Gruber: What is an ontology?)
Damit ist
"an ontology ... a description (like a formal specification of a program) of the concepts and relationships that can exist for an agent or a community of agents."
Jetzt sollte auch der unmittelbare Zusammenhang zwischen Ontologie
und Epistemologie klargeworden sein: jenseits des universe of discourse gibt es keine Objekte; über sie gibt es nichts zu sagen, weil es nicht von einem repräsentierenden Vokabular erfaßt wird.
siehe auch weitere Literatur:
T. R. Gruber. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199-220, , 1993.
Und ausfürhrlicher:
T. R. Gruber. Toward principles for the design of ontologies used for knowledge sharing.
(Presented at the Padua workshop on Formal Ontology, March 1993,
to appear in an edited collection by Nicola)
Beiden Traditionen - der metaphysischen sowie der KI - gemeinsam
ist die Ansicht, daß Ontolgie sich mit den grundlegendsten Kategorien dessen befaßt, was erkennbar ist.
4. Formaler Ansatz der Logik:
Allgemein gilt (nach Quine): "to be is to be the value of
a bound variable" (W.V.O. Quine: From a Logical Point of View, p.
16)
Variablen, im Gegensatz zu Konstanten haben einmal einen Wertebereich
und können zum zweiten durch sogennate Quantoren (Existenzquantor,
Allquantor) gebunden werden.
In einer nominalistischen prädikatenlogischen) Sprache gibt
es nach Stegmüller (W. Stegmüller, Das Universalienproblem, S. 52) folgende Sprachmittel:
1.) Individuenvariable, deren Wertebereich konkrete Objekte sind
2.) generelle Prädikatausdrücke (ein-, zwei, n-stellige
Prädikate)
3.) logische Konstanten wie "nicht", "und",
"oder"
4.) Quantoren "für mindestens ein x gilt", "für
alle x gilt"
In einem platonistischen System gibt es lediglich einen Unterschied:
die Individuenvariablen können als Wertebereich auch abstrakte
Objekte wie Klassen, Eigenschaften, Wesenausdrücke usw. enthalten.
Damit ist ein nominalistisches Universum (Ontologie) um eben diese
abstrakten Objekte ärmer (Ockham hatte dies in seinem später als Ockham´s Rasiermesser bezeichneten Prinzip
gefordert: "Pluralitas non est ponenda sine neccesitate".
Vielheit sollte nicht ohne Notwendigkeit vermehrt werden.)
Generell vs. singulär und abstrakt vs. konkret
Generell sind Behauptungen dann, wenn sie nicht von einem mit
einem Namen belegten Objekt (Einzelding) eine Wahrheitsbehauptung
treffen, sondern diese von allen des Wertebereichs. Alle anderen
bezeichnet man als singuläre Aussagen, da sie nur singuläre
Terme ("Namen") und logische Konstanten enthalten.
Der Unterschied zwischen konkret und abstrakt bezieht sich auf
den Wertebereich der Variable. Konkret sind alle die Objekte,
die sinnlich wahrnehmbar sind (ob unmittelbar oder mittelbar),
während als abstrakt alle anderen gelten sollen.
Beispiele:
singuläre abstrakte Terme: das Menschsein (Menschlichkeit), die Röte, Freiheit
singuläre konkrete Terme: Nele, Franz, Gabi, Hans-Sixtus, Tobi, München
generelle konkrete Terme: Mensch, rot, frei
generelle abstrakte Terme: Das Sein des Seienden?
Entschiedend für den Nominalismus-Universalismus-Streit ist die Meinungsverschiedenheit über den Status singulär abstrakter Terme : sind sie Namen von abstrakten Entitäten oder nur eine abkürzende Redewendung.
Anders steht es bei den generell konkreten Terme. Diese können
von jemanden, der abstrakte Entitäten in einem platonischen
Himmel ablehnt, als sog. offene Sätze umformuliert werden:
Mensch wird zu einem offenen Satz: "x ist ein Mensch", wobei 1. die Variable durch einen singulär konkreten Term (z.B. Franz) ersetzt und 2. die Bindung durch einen Quantor (z.B. "für mindestens ein x gilt") vorgenommen werden muß, um dem Term einen Sinn zu verleihen:
"Franz ist ein Mensch"
"für mindestens ein x gilt: x ist ein Mensch" (anders: "es gibt Menschen")
-------------------------------------------------------
Fußnoten:
[1] Man beachte hier die "Überbietungstendenzen"
(neg. formuliert) oder den Hang zur "Vergrundsätzlichung"
in der Philosophie: - Fundament(1): Philosophie selbst schon soll
die ursprünglichen und grundsätzlichen Fragen beantworten,
die die empirischen Wissenschaften entweder übriglassen oder
ihnen vorausgehen. - Fundament(2): als deren Teil wurde die Metaphysik
als "prima philosophia" verstanden, als Erste Philosophie,
die den Boden für die materialen philosophischen Disziplinen
(vor allem: Erkenntnistheorie, Ethik) bereiten sollte. - Fundament(3):
als Teil der Metaphysik ist die Ontologie der Teil der Metaphysik,
der die fundamentalsten Kategorien von Existenz spezifizieren
wollte. - Fundament(4): die Heideggersche Fundamentalontologie
(generell die existentialistische) ist damit das - in logischen
Klammern - Fundament(Fundament(Fundament(Fundament der Einzelwissenschaften)))
[2] Substanz (von lat. substantia = das Zugrundeliegende).
Je nach Anzahl der angenommenen Substanzen redet man von einem
ontologischen Monismus (nur eine Substanz), Dualismus (zwei Substanzen)
oder Pluarismus (viele Substanzen). Siehe Philosophischer Navigator/Ontolgie