„Begrifflogik“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „'''Begriffslogik''' oder '''terministische''' bzw. '''[https://de.wikipedia.org/wiki/Termlogik Termlogik]''' ([https://de.wikipedia.org/wiki/Englische_Sprache englisch] ''term logic''), auch '''traditionelle Logik''', manchmal '''klassische Logik''' genannt („klassisch“ als historischer Begriff im Sinn von: Logik der Antike, nicht zu verwechseln mit [https://de.wikipedia.org/wiki/Klassische_Logik klassischer Logik] als Hauptbedeutung), ist eine Art od…“ |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
'''Begriffslogik''' oder '''terministische''' bzw. ''' | [[Begriff]]{{-s-}}[[Logik]] | ||
'''[https://de.wikipedia.org/wiki/Begriffslogik Begriffslogik]''' oder '''terministische''' bzw. '''Termlogik''' ([https://de.wikipedia.org/wiki/Englische_Sprache englisch] ''term logic''), auch '''traditionelle Logik''', manchmal '''klassische Logik''' genannt („klassisch“ als historischer Begriff im Sinn von: Logik der Antike, nicht zu verwechseln mit [https://de.wikipedia.org/wiki/Klassische_Logik klassischer Logik] als Hauptbedeutung), ist eine Art oder Sicht von Logik, bei der die [https://de.wikipedia.org/wiki/Begriff_(Philosophie) Begriffe], ihre Inhalte und Umfänge und ihre insbesondere durch ein Subjekt-Prädikat-Verhältnis ausgedrückten Beziehungen zueinander im Mittelpunkt oder am Anfang der Betrachtung stehen. Der Ausdruck Begriffslogik charakterisiert insbesondere die bis zum 19. Jahrhundert dominante Tradition der [https://de.wikipedia.org/wiki/Syllogistik aristotelischen Logik] einschließlich ihrer Weiterentwicklungen etwa durch [https://de.wikipedia.org/wiki/Avicenna Avicenna] und der Algebraisierung durch [https://de.wikipedia.org/wiki/George_Boole George Boole]. Er markiert sowohl eine Abgrenzung von Logiken wie der [https://de.wikipedia.org/w/index.php?title=Stoische_Logik&action=edit&redlink=1 stoischen Logik] oder der modernen [https://de.wikipedia.org/wiki/Aussagenlogik Aussagenlogik], welche von der Beziehung von Aussagen zueinander ausgehen, als auch auf anderer Ebene eine Abgrenzung von einer durch [https://de.wikipedia.org/wiki/Gottlob_Frege Gottlob Frege] begründeten [https://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik Prädikatenlogik], welche das Verhältnis von Begriffen zu ihnen untergeordneten Gegenständen (bzw. von [https://de.wikipedia.org/wiki/Pr%C3%A4dikat_(Logik) Prädikaten]/Relationen zu durch sie verbundenen Gegenständen) als grundlegend annimmt und mit Hilfe der [https://de.wikipedia.org/wiki/Quantor Quantifizierung] über Gegenstände begriffliche Verhältnisse auf das Verhältnis von Begriffen zu Gegenständen zurückführt. Erweiterungen der klassischen Begriffslogik, welche dieser strukturell ähneln, aber in der Nachfolge [https://de.wikipedia.org/wiki/Augustus_De_Morgan Augustus De Morgans] an der Stelle einstelliger Begriffe auch mehrstellige Relationen zulassen, werden im Sprachgebrauch teilweise auch Begriffslogiken (als ''logic of relative terms'' statt ''logic of absolute terms'') genannt, teilweise von diesen jedoch als [https://de.wikipedia.org/w/index.php?title=Relationenlogik&action=edit&redlink=1 Relationenlogiken] abgegrenzt.<div class="toctitle" dir="ltr" lang="de"> | |||
== Inhaltsverzeichnis == | == Inhaltsverzeichnis == | ||
<label class="toctogglelabel" for="toctogglecheckbox"></label></div> | <label class="toctogglelabel" for="toctogglecheckbox"></label></div> | ||
Version vom 8. April 2024, 18:23 Uhr
Begriffslogik oder terministische bzw. Termlogik (englisch term logic), auch traditionelle Logik, manchmal klassische Logik genannt („klassisch“ als historischer Begriff im Sinn von: Logik der Antike, nicht zu verwechseln mit klassischer Logik als Hauptbedeutung), ist eine Art oder Sicht von Logik, bei der die Begriffe, ihre Inhalte und Umfänge und ihre insbesondere durch ein Subjekt-Prädikat-Verhältnis ausgedrückten Beziehungen zueinander im Mittelpunkt oder am Anfang der Betrachtung stehen. Der Ausdruck Begriffslogik charakterisiert insbesondere die bis zum 19. Jahrhundert dominante Tradition der aristotelischen Logik einschließlich ihrer Weiterentwicklungen etwa durch Avicenna und der Algebraisierung durch George Boole. Er markiert sowohl eine Abgrenzung von Logiken wie der stoischen Logik oder der modernen Aussagenlogik, welche von der Beziehung von Aussagen zueinander ausgehen, als auch auf anderer Ebene eine Abgrenzung von einer durch Gottlob Frege begründeten Prädikatenlogik, welche das Verhältnis von Begriffen zu ihnen untergeordneten Gegenständen (bzw. von Prädikaten/Relationen zu durch sie verbundenen Gegenständen) als grundlegend annimmt und mit Hilfe der Quantifizierung über Gegenstände begriffliche Verhältnisse auf das Verhältnis von Begriffen zu Gegenständen zurückführt. Erweiterungen der klassischen Begriffslogik, welche dieser strukturell ähneln, aber in der Nachfolge Augustus De Morgans an der Stelle einstelliger Begriffe auch mehrstellige Relationen zulassen, werden im Sprachgebrauch teilweise auch Begriffslogiken (als logic of relative terms statt logic of absolute terms) genannt, teilweise von diesen jedoch als Relationenlogiken abgegrenzt.
Inhaltsverzeichnis
- 1Beschreibung
- 2Syllogistik
- 3Leibnizsche Begriffslogik
- 4Algebraisierung der Logik: Booles Begriffslogik
- 5Relationen in der Logik: Augustus De Morgan und Charles Sanders Peirce
- 6Der Übergang zu den Quantoren: Peirce, Schröder, Tarski
- 7Begriffslogik aus moderner Sicht
- 8Niedergang der Begriffslogik
- 9Moderne Rückgriffe auf Begriffslogik
- 10Siehe auch
- 11Literatur
- 12Weblinks
- 13Einzelnachweise