In der Philosophie sind Begriff-Logik, auch bekannt als traditionelle Aristotelische oder Logiklogik, ein loser Name für die Weise, Logik zu tun, die mit Aristoteles begonnen hat und das bis zum Advent der modernen Prädikat-Logik gegen Ende des neunzehnten Jahrhunderts dominierend war. Dieser Zugang ist eine Einführung in den Begriff Logik musste schriftliche Philosophie-Texte verstehen, bevor Prädikat-Logik gekommen ist, um als die einzige formale Logik von Interesse gesehen zu werden. Leser, die an einem Griff der grundlegenden Fachsprache und Ideen von der Begriff-Logik Mangel haben, können Schwierigkeit haben, solche Texte verstehend, weil ihre Autoren normalerweise eine Bekanntschaft mit der Begriff-Logik angenommen haben.

Aristoteles System

Aristoteles logische Arbeit wird in den sechs Texten gesammelt, die als Organon insgesamt bekannt sind. Zwei dieser Texte insbesondere nämlich die Vorherige Analytik und De Interpretatione enthalten das Herz von Aristoteles Behandlung von Urteilen und formeller Schlussfolgerung, und es ist hauptsächlich dieser Teil von Aristoteles Arbeiten, der über die Begriff-Logik ist.

Die Grundlagen

Die grundsätzliche Annahme hinter der Theorie ist, dass Vorschläge aus zwei Begriffen - folglich der Name zusammengesetzt werden, "nennt Zwei-Begriffe-Theorie" oder "Logik" - und dass der vernünftig urteilende Prozess der Reihe nach von Vorschlägen gebaut wird:

• Der Begriff ist eine Wortart, die etwas vertritt, aber der nicht wahr oder in seinem eigenen Recht, wie "Mann" oder "Sterblicher" falsch ist.
• Der Vorschlag besteht aus zwei Begriffen, in denen-Begriff (das "Prädikat") "versichert" oder vom anderen (das "Thema") "bestritten" "wird", und der zur Wahrheit oder Unehrlichkeit fähig ist.
• Der Syllogismus ist eine Schlussfolgerung, in der ein Vorschlag (der "Beschluss") notwendig von zwei andere (die "Propositionen") folgt.

Ein Vorschlag kann universal oder besonder sein, und es kann bejahend oder negativ sein. So gibt es gerade vier Arten von Vorschlägen:

• A-Typ: Universal und bejahend oder ("Alle Männer sind" sterblich)
• I-Typ: Besonder und bejahend ("Einige Männer sind Philosophen")
• E-Typ: Universal und negativ ("Keine Männer sind" unsterblich)
• O-Typ: Besonder und negativ ("Einige Männer sind nicht Philosophen").

Das wurde das vierfache Schema von Vorschlägen genannt. (Sieh Typen des Syllogismus für den Ursprung der Briefe A, meiner, E, und des O.) Aristoteles hat die logische Beziehung zwischen vier Typen von Vorschlägen mit seinem Quadrat von Oppositionen zusammengefasst. Das syllogistische ist eine formelle Theorie, die erklärt, welche Kombinationen von wahren Propositionen wahre Beschlüsse nachgeben.

Der Begriff

Ein Begriff (griechischer horos) ist der grundlegende Bestandteil des Vorschlags. Die ursprüngliche Bedeutung des horos (und auch der lateinischen Endstation) ist "äußerst" oder "Grenz-". Die zwei Begriffe liegen außerhalb des Vorschlags, der durch die Tat der Bestätigung oder Leugnung angeschlossen ist.

Für Aristoteles ist ein Begriff einfach ein "Ding", ein Teil eines Vorschlags. Für frühe moderne Logiker wie Arnauld (dessen mit dem Hafen königliche Logik der am besten bekannte Text seines Tages war) ist es eine psychologische Entität wie eine "Idee" oder "Konzept". Mühle betrachtet es als ein Wort. Keine dieser Interpretationen ist ziemlich befriedigend. Im Erklären, dass etwas ein Einhorn ist, behaupten wir nichts von irgendetwas. Noch tut "alle Griechen sind Männer" sagen Sie, dass die Ideen von Griechen Ideen von Männern sind, oder dass Wort "Greeks" das Wort "Männer" ist. Ein Vorschlag kann von echten Dingen oder Ideen nicht gebaut werden, aber es sind nicht nur sinnlose Wörter auch. Das ist ein Problem über die Bedeutung der Sprache, die noch immer nicht völlig aufgelöst wird. (Sieh das Buch durch den Vorherigen unten für eine ausgezeichnete Diskussion des Problems).

Der Vorschlag

In der Begriff-Logik ist ein "Vorschlag" einfach eine Form der Sprache: Eine besondere Art des Satzes, in dem das Thema und Prädikat verbunden werden, um etwas Wahres oder Falsches zu behaupten. Es ist nicht ein Gedanke oder eine abstrakte Entität. Das Wort "propositio" ist vom Latein, die erste Proposition eines Syllogismus bedeutend. Aristoteles verwendet die Wortproposition (protasis) als ein Satz-Bestätigen oder das Bestreiten eines Dings von einem anderen (Spätere Analytik 1. 1 24a 16), so ist eine Proposition auch eine Form von Wörtern.

Jedoch, in der modernen philosophischen Logik, bedeutet es jetzt, was als das Ergebnis behauptet wird, einen Satz auszusprechen, und als etwas eigenartig Geistiges oder absichtlicher betrachtet wird. Schriftsteller vor Frege und Russell, wie Bradley, haben manchmal vom "Urteil" als etwas Verschiedenes von einem Satz gesprochen, aber das ist nicht ganz dasselbe. Als eine weitere Verwirrung ist das Wort "Satz" auf das Latein zurückzuführen, eine Meinung oder Urteil bedeutend, und ist so zum "Vorschlag" gleichwertig.

Die Qualität eines Vorschlags ist, ob es bejahend ist (das Prädikat wird vom Thema versichert), oder negativ (wird das Prädikat vom Thema bestritten). So "ist jeder Mann ein Sterblicher" ist bejahend, da "Sterblicher" "des Mannes" versichert wird. "Keine Männer sind Unsterbliche" ist negativ, seitdem "unsterblich" wird "des Mannes" bestritten.

Die Menge eines Vorschlags ist, ob es universal ist (das Prädikat wird versichert oder "vom Ganzen" des Themas bestritten), oder besonder (wird das Prädikat versichert oder von nur "einem Teil" des Themas bestritten).

Einzigartige Begriffe

Für Aristoteles, die Unterscheidung zwischen einzigartigem und universalem ist ein grundsätzlicher metaphysischer, und nicht bloß grammatisch. Ein einzigartiger Begriff für Aristoteles ist das, das solch einer Natur ist wie, um nur eines Dings, so "Callias" behauptet zu werden. (De Int 7). Es ist nicht predicable mehr als eines Dings: "Sokrates ist nicht predicable mehr als eines Themas, und deshalb sagen wir jeden Sokrates nicht, wie wir jeden Mann sagen". (Metaphysik D 9, 1018 a4). Es kann als ein grammatisches Prädikat, als im Satz "die Person zeigen, die kommt, dieser Weg ist Callias". Aber es ist noch ein logisches Thema.

Er stellt ihm mit "dem universalen" (katholou - "von einem Ganzen") gegenüber. Universale Begriffe sind die grundlegenden Materialien von Aristoteles Logik, Vorschläge, die einzigartige Begriffe enthalten, bilden einen Teil davon überhaupt nicht. Sie werden kurz im De Interpretatione erwähnt. Später in den Kapiteln der Vorherigen Analytik, wo Aristoteles methodisch seine Theorie des Syllogismus darlegt, werden sie völlig ignoriert.

Der Grund für diese Weglassung ist klar. Die wesentliche Eigenschaft der Begriff-Logik ist, dass, der vier Begriffe in den zwei Propositionen, man zweimal vorkommen muss. So

:All-Griechen sind Männer

:All-Männer sind sterblich.

Was in einer Proposition unterworfen ist, muss Prädikat im anderen sein, und so ist es notwendig, von der Logik irgendwelche Begriffe zu beseitigen, die sowohl als das Thema als auch als Prädikat nicht fungieren können. Einzigartige Begriffe fungieren dieser Weg nicht, so werden sie aus syllogistischem Aristoteles weggelassen.

In späteren Versionen der syllogistischen, einzigartigen Begriffe wurden als universals behandelt. Sieh zum Beispiel (wo es klar als Schulmeinung festgesetzt wird) Teil 2, Kapitel 3, der mit dem Hafen königlichen Logik. So

:All-Männer sind Sterbliche

:All Sokrates sind Männer

:All Sokrates sind Sterbliche

Das ist klar ungeschickt, und ist eine Schwäche, die von Frege in seinem verheerenden Angriff auf das System ausgenutzt ist (von dem, schließlich, es nie gegenesen ist). Sieh Konzept und Gegenstand.

Der berühmte Syllogismus "Sokrates ist ein Mann...", wird oft als ob von Aristoteles angesetzt. Sieh zum Beispiel Kapp, griechische Fundamente der Traditionellen Logik, New York 1942, p. 17, Copleston Eine Geschichte der Philosophie Vol. I., p. 277, Russell, Eine Geschichte der Westphilosophie London 1946 p. 218. Tatsächlich ist es nirgends in Organon. Es wird zuerst von Sextus Empiricus in seinem Hyp erwähnt. Pyrrh. ii. 164.

Niedergang der Begriff-Logik

Begriff-Logik hat begonnen, sich in Europa während der Renaissance zu neigen, als Logiker wie Rodolphus Agricola Phrisius (1444-1485) und Ramus begonnen haben, Platz-Logik zu fördern. Die logische Tradition genannt die mit dem Hafen königliche Logik, oder manchmal "traditionelle Logik", hat behauptet, dass ein Vorschlag eine Kombination von Ideen aber nicht Begriffen war, aber sonst vielen von der Vereinbarung der Begriff-Logik gefolgt ist und besonders in England bis zum 19. Jahrhundert einflussreich war. Der "Weg von Spinoza der Geometrie" war viel mehr unter Einfluss der Elemente von Euklid als durch Aristotelische Konzepte. Leibniz hat eine kennzeichnende logische Rechnung geschaffen, aber fast ganze seine Arbeit an der Logik war unveröffentlicht und unbemerkt, bis Louis Couturat den Leibniz Nachlass 1900 durchgegangen ist, und viele Manuskripte von Leibniz und eine Pionierstudie der Logik von Leibniz veröffentlicht hat.

Das 19. Jahrhundert versucht zur algebratize Logik, wie die Arbeit von Boole und Venn, normalerweise nachgegebenen Systemen hoch unter Einfluss der Begriff-Logiktradition. Die erste Prädikat-Logik war die von merklichen Begriffsschrift von Frege, lesen Sie wenig vor 1950 teilweise wegen seiner exzentrischen Notation. Moderne Prädikat-Logik, weil wir es wissen, hat in den 1880er Jahren mit den Schriften von Charles Sanders Peirce begonnen, der Peano und noch mehr, Ernst Schröder beeinflusst hat. Es hat volle Verwirklichung in den Händen von Bertrand Russell und A. N. Whitehead erreicht, dessen Principia Mathematica (1910-13) herrlichen Gebrauch einer Variante der Prädikat-Logik von Peano gemacht hat.

Prädikat-Logik wurde als eine Form der Mathematik entworfen, und weil solcher zu allen Sorten des mathematischen Denkens außer den Mächten der Begriff-Logik fähig ist. Prädikat-Logik ist auch zu vielen Schlussfolgerungen des gesunden Menschenverstands fähig, die sich Begriff-Logik entziehen. Begriff-Logik kann zum Beispiel nicht erklären, dass die Schlussfolgerung von "jedem Auto ein Fahrzeug ist" "jedem Eigentümer eines Autos ist ein Eigentümer eines Fahrzeugs." Das syllogistische Denken kann Schlussfolgerungen nicht erklären, die vielfache Allgemeinheit einschließen. Beziehungen und Identität müssen als Beziehungen des unterworfenen Prädikats behandelt werden, die die Identitätserklärungen der Mathematik abgeben, die schwierig ist zu behandeln. Begriff-Logik enthält kein Analogon des einzigartigen Begriffes und des einzigartigen Vorschlags, der beider wesentlichen Eigenschaften der Prädikat-Logik.

Mit der Besteigung der Prädikat-Logik sind Begriff und syllogistische Logik allmählich in den Nichtgebrauch außer unter Studenten der alten und mittelalterlichen Philosophie gefallen. Seit der Entwicklung der Prädikat-Logik haben einleitende Texte auf der Logik ignoriert oder Begriff-Logik verachtet, außer vielleicht als eine Quelle von Beispielen, um Studenten zu beginnen. Eine bemerkenswerte Ausnahme zu dieser Generalisation ist die vier Ausgaben der Methoden von Quine der Logik, die Begriff-Logik besprochen hat (den Quine "Begriff-Diagramme von Boolean" genannt hat), und Syllogismen an etwas Länge. Die Schriften von Quine auf der Logik enthalten viel, der im Geist der Begriff-Logik darin ist, rufen sie oft grammatische Konzepte und Beispiele an, die aus der natürlichen Sprache genommen sind, sogar Bit der scholastischen Fachsprache solcher als "syncategorematic verwendend."

Nennen Sie Logik auch überlebt einigermaßen in der traditionellen Römisch-katholischen Ausbildung besonders in Priesterseminaren. Mittelalterliche katholische Theologie, besonders die Schriften von Thomas Aquinas, hatte stark Wurf von Aristotelean, und nennen Sie so Logik ist ein Teil des katholischen theologischen Denkens geworden. Zum Beispiel hat Joyce (1949), geschrieben für den Gebrauch in katholischen Priesterseminaren, keine Erwähnung von Frege oder Bertrand Russell gemacht. Auf Aristoteles sehen Begriff-Logik und römischer Katholizismus, Copleston Eine Geschichte der Philosophie.

Ein Wiederaufleben

Einige Philosophen haben sich dass Prädikat-Logik beklagt:

• gewissermaßen unnatürlich, in dem seine Syntax der Syntax der Sätze nicht folgt, die in unserem täglichen Denken erscheinen. Es ist, wie Quine, "Procrustean" zugegeben hat, eine künstliche Sprache der Funktion und des Arguments, quantifier verwendend, und Variable gebunden hat.
• Leidet unter theoretischen Problemen, wahrscheinlich das ernsteste, das leere Namen und Identitätsbehauptungen ist.

Sogar akademische Philosophen völlig in der Hauptströmung, wie Gareth Evans, haben wie folgt geschrieben:

: "Ich komme zu semantischen Untersuchungen mit einer Vorliebe für homophonic Theorien; Theorien, die versuchen, ernste Rechnung der syntaktischen und semantischen Geräte zu nehmen, die wirklich auf der Sprache bestehen... Ich würde [solche] Theorie... über eine Theorie bevorzugen, die nur im Stande ist, sich [zu befassen, sind Sätze der Form "der ganze A B"] durch "das Entdecken" verborgener logischer Konstanten... Der Einwand würde nicht darin bestehen, dass solche [Fregean] Wahrheitsbedingungen nicht richtig sind, aber dass gewissermaßen den wir alle lieb lieben würden, mehr genau erklärt zu haben, die syntaktische Gestalt des Satzes als so viel irreführende Oberflächenstruktur" (Evans 1977) behandelt wird

Die Schriften von Fred Sommers (z.B, Sommers 1970) und seine Studenten haben Begriff-Logik modifiziert, so dass es diese Kritiken der Prädikat-Logik richten und die wohl bekannten Schwächen der Begriff-Logik überwinden kann. Das Ergebnis ist der "Begriff functor Logik" von Sommers (1982), und Sommers und Englebretsen (2000). Diese Logik hat sehr Äußeres von Boolean, darin '+' und '-' ist die alleinigen betrieblichen Zeichen, und alle Behauptungen sind Gleichungen. Es hat genügend ausdrucksvolle Macht, Verwandtschaftsbegriffe allgemein zu behandeln, und die Gültigkeit von Argumenten zu gewinnen, die sich dem syllogistischen Denken entziehen. Functor Logik des Begriffes hat Ähnlichkeiten zum Prädikat von Quine functor Logik, ein algebraischer Formalismus Quine, der ausgedacht ist, um Logik der ersten Ordnung ohne quantifiers zu tun.

In einer weniger formellen Ader hat Begriff-Logik einen folgenden unter denjenigen erworben, die eine Rückkehr zu in mittelalterlichem Trivium niedergelegten Bildungsmethoden verteidigen: Grammatik, Logik und Redekunst. Verfechter von Trivium schließen den Paideia Vorschlag vom Philosophen Mortimer J. Adler und einen homeschoolers ein. Der Trivium sieht Logik nicht als eine Form der Mathematik, aber als ein Teil einer klassischen Ausbildung auf der Sprache an. Diejenigen, die diese Linie verteidigen, sehen Prädikat-Logik so übermäßig nominalistic, wie in erster Linie betroffen, mit der Manipulation von Symbolen (Syntax) und nicht mit dem whys und den Essenzen von Dingen (Ontologie und Metaphysik).

Eine Variante der Begriff-Logik, probabilistic nennen Logik, die einen Wahrscheinlichkeitswert und ein Vertrauen Wert zur Wahrheit sowohl von Begriffen als auch von Vorschlägen zuteilt, gewinnt Beliebtheit in Systemen der künstlichen Intelligenz. Varianten schließen sowohl das "Nichtaxiomatische Denken von Pei Wang des Systems" (NARS) als auch "das OpenCog" System von Ben Goertzel ein.

Siehe auch

• Aristoteles
• Philosophische Gegenüberstellung
• Philosophische Gegenüberstellung (traditionelle Logik)
• Konvertierung (Logik)
• De Interpretatione
• Obversion
• Organon
• Mit dem Hafen königliche Logik
• Vorherige Analytik
• Satzrechnung
• Syllogismus
• Umstellung (Logik)
• Bocheński, ich. M., 1951. Alte Formale Logik. Nordholland.
• Louis Couturat, 1961 (1901). La Logique de Leibniz. Hildesheim: Georg Olms Verlagsbuchhandlung.
• Gareth Evans, 1977, "Pronomina, Quantifiers und Relative Clauses," kanadische Zeitschrift der Philosophie.
• Peter Geach, 1976. Grund und Argument. Universität der Presse von Kalifornien.
• Hammond und Scullard, 1992. Oxford Klassisches Wörterbuch. Presse der Universität Oxford, internationale Standardbuchnummer 0-19-869117-3.
• Joyce, George Hayward, 1949 (1908). Grundsätze der Logik, 3. Hrsg. Longmans. Ein Handbuch, das für den Gebrauch in katholischen Priesterseminaren geschrieben ist. Herrisch auf der traditionellen Logik, mit vielen Verweisungen auf mittelalterliche und alte Quellen. Enthält keinen Hinweis der modernen formalen Logik. Der Autor hat 1864-1943 gelebt.
• Jan Łukasiewicz, 1951. Aristoteles Syllogistisch, von der Einstellung der Modernen Formalen Logik. Oxford Univ. Drücken.
• Mühle von John Stuart, 1904. Ein System der Logik, 8. Hrsg. London.
• Abwehr und Hacker, 1991. Aristotelische Logik. Staatliche Universität der New Yorker Presse.
• Arthur Prior, 1962. Formale Logik, 2. Hrsg. Oxford Univ. Drücken. Während in erster Linie gewidmet, der modernen formalen Logik, enthält viel zum Begriff und der mittelalterlichen Logik.

• --------1976. Die Doktrin von Vorschlägen und Begriffen. Peter Geach und A. J. P. Kenny, Hrsg. London: Duckworth.
• Willard Quine, 1986. Philosophie der 2. Logikhrsg. Harvard Univ. Drücken.

• , Lynn E., 1968 erhoben. Syllogistischer Aristoteles. Springfield: Clarence C. Thomas.
• Sommers, Fred, 1970, "Die Rechnung von Begriffen," Meinung 79: 1-39. Nachgedruckt in Englebretsen, G., Hrsg., 1987. Das neue syllogistische New York: Peter Lang. Internationale Standardbuchnummer 0-8204-0448-9
• --------1982. Die Logik der natürlichen Sprache. Presse der Universität Oxford.
• --------1990, "Aussage in der Logik von Begriffen," Notre Dame-Zeitschrift der Formalen Logik 31: 106-26.
• -------- und Englebretsen, George, 2000. Eine Einladung zum formellen Denken. Die Logik von Begriffen. Aldershot das Vereinigte Königreich: Ashgate. Internationale Standardbuchnummer 0-7546-1366-6.
• Szabolcsi Lorne, 2008. Numerische Begriff-Logik. Lewiston: Edwin Mellen Press.

Links

• Enzyklopädie von Stanford der Philosophie:
• Aristoteles Logik - durch Robin Smith.
• Der Traditional Square der Opposition - durch Terence Parsons.
• Internetenzyklopädie der Philosophie: "Aristoteles". Bespricht, wie Aristoteles Logik von seinen vielen Nachfolgern angesehen wurde.
• Aristoteles Begriff-Logik online - Dieses Online-Programm stellt eine Plattform für das Experimentieren und die Forschung über die Aristotelische Logik zur Verfügung.
• Kommentierte Bibliografien von Schriften durch:
• Fred Sommers.
• George Englebretsen.
• PlanetMath:.