Logik - Versionsgeschichte

Fmrauch: /* Bekannte Autoren */ da fehlen 1500 Jahre !

2025-09-12T12:47:31Z

Bekannte Autoren: da fehlen 1500 Jahre !

← Nächstältere Version		Version vom 12. September 2025, 12:47 Uhr
Zeile 113:		Zeile 113:
	* [[Chrysippos von Soloi]] (281/76-208/4 v. Chr.), Entwicklung der stoischen Syllogistik, einer Vorform des Aussagenkalküls.		* [[Chrysippos von Soloi]] (281/76-208/4 v. Chr.), Entwicklung der stoischen Syllogistik, einer Vorform des Aussagenkalküls.
	* [[Marcus Tullius Cicero\|Cicero]] (106–43 v. Chr.), übertrug die griechische Logik ins Lateinische.		* [[Marcus Tullius Cicero\|Cicero]] (106–43 v. Chr.), übertrug die griechische Logik ins Lateinische.
			* [[René Descartes]] (1596–1650), Begründer des modernen frühneuzeitlichen [[Rationalismus]]
	* [[Gottfried Wilhelm Leibniz]] (1646–1716), Erste Ansätze zu einer symbolischen Logik.		* [[Gottfried Wilhelm Leibniz]] (1646–1716), Erste Ansätze zu einer symbolischen Logik.
	* [[George Boole]] (1815–1864), Entwicklung der [[Boolesche Algebra\|Booleschen Algebra]]		* [[George Boole]] (1815–1864), Entwicklung der [[Boolesche Algebra\|Booleschen Algebra]]

Fmrauch: /* Wichtige Autoren */ wichtig ist subjektiv, bekannt ist treffender

2025-09-12T12:43:26Z

Wichtige Autoren: wichtig ist subjektiv, bekannt ist treffender

← Nächstältere Version		Version vom 12. September 2025, 12:43 Uhr
Zeile 109:		Zeile 109:
	Die Schlussfolgerung aus dem gegebenen Beispiel würde dann so aussehen: „Tux ist ein Vogel.“ bleibt die ''Voraussetzung'' (prerequisite). Wir kombinieren diese nun mit einer so genannten ''Rechtfertigung'' (justification): „Vögel können normalerweise fliegen.“ Aus dieser Begründung schließen wir, dass Tux fliegen kann, solange nichts dagegen spricht. Die ''Konsequenz'' lautet also „Tux kann fliegen.“ Erhalten wir nun die Informationen „Tux ist ein Pinguin.“ und „Pinguine können nicht fliegen.“, so ergibt sich ein Widerspruch. Über den Default-Schluss sind wir zu der Konsequenz gelangt, dass Tux fliegen kann. Mit einer klassisch-logischen Schlussweise aber konnten wir nachweisen, dass Tux nicht fliegen kann. In diesem Fall wird der Default revidiert und die Konsequenz des klassisch-logischen Schlusses weiterverwendet. Dieses – hier grob beschriebene − Verfahren wird auch als ''Reitersche Default-Logik'' bezeichnet.<ref>Vgl. {{SEP\|1=http://plato.stanford.edu/entries/logic-nonmonotonic/\|3=G. Aldo Antonielli\|2=Non-monotonic Logic}}</ref>		Die Schlussfolgerung aus dem gegebenen Beispiel würde dann so aussehen: „Tux ist ein Vogel.“ bleibt die ''Voraussetzung'' (prerequisite). Wir kombinieren diese nun mit einer so genannten ''Rechtfertigung'' (justification): „Vögel können normalerweise fliegen.“ Aus dieser Begründung schließen wir, dass Tux fliegen kann, solange nichts dagegen spricht. Die ''Konsequenz'' lautet also „Tux kann fliegen.“ Erhalten wir nun die Informationen „Tux ist ein Pinguin.“ und „Pinguine können nicht fliegen.“, so ergibt sich ein Widerspruch. Über den Default-Schluss sind wir zu der Konsequenz gelangt, dass Tux fliegen kann. Mit einer klassisch-logischen Schlussweise aber konnten wir nachweisen, dass Tux nicht fliegen kann. In diesem Fall wird der Default revidiert und die Konsequenz des klassisch-logischen Schlusses weiterverwendet. Dieses – hier grob beschriebene − Verfahren wird auch als ''Reitersche Default-Logik'' bezeichnet.<ref>Vgl. {{SEP\|1=http://plato.stanford.edu/entries/logic-nonmonotonic/\|3=G. Aldo Antonielli\|2=Non-monotonic Logic}}</ref>

	== ~~Wichtige~~ Autoren ==		== Bekannte Autoren ==
	* [[Aristoteles]] (384–322 v. Chr.) schrieb die ''Analytica priora''		* [[Aristoteles]] (384–322 v. Chr.) schrieb die ''Analytica priora'', Grundlage der bis ins 19. Jahrhundert verwendeten [[Syllogismus\|Syllogistik]], einer Vorform der [[Prädikatenlogik]].
	* [[Chrysippos von Soloi]] (281/76-208/4 v. Chr.), Entwicklung der stoischen Syllogistik, einer Vorform des Aussagenkalküls.		* [[Chrysippos von Soloi]] (281/76-208/4 v. Chr.), Entwicklung der stoischen Syllogistik, einer Vorform des Aussagenkalküls.
	* [[Marcus Tullius Cicero\|Cicero]] (106–43 v. Chr.), übertrug die griechische Logik ins Lateinische.		* [[Marcus Tullius Cicero\|Cicero]] (106–43 v. Chr.), übertrug die griechische Logik ins Lateinische.
Zeile 117:		Zeile 117:
	* [[Charles Sanders Peirce]] (1839–1914), Erste Ansätze zur Quantorenlogik, Einführung der Relationslogik, Formulierung einer Theorie der [[Abduktion]]		* [[Charles Sanders Peirce]] (1839–1914), Erste Ansätze zur Quantorenlogik, Einführung der Relationslogik, Formulierung einer Theorie der [[Abduktion]]
	* [[Georg Cantor]] (1845–1918), Entwicklung der [[Mengenlehre]]		* [[Georg Cantor]] (1845–1918), Entwicklung der [[Mengenlehre]]
	* [[Gottlob Frege]] (1848–1925), Entwicklung der modernen Aussagen- und [[Prädikatenlogik]]. Kritik des [[Psychologismus]]		* [[Gottlob Frege]] (1848–1925), Entwicklung der modernen Aussagen- und Prädikatenlogik. Kritik des [[Psychologismus]]
	* [[Edmund Husserl]] (1859–1938), Kritik des Psychologismus in der Logik.		* [[Edmund Husserl]] (1859–1938), Kritik des Psychologismus in der Logik.
	* [[Bertrand Russell]] (1872–1970), entdeckte die [[Russellsche Antinomie]], schrieb ein Buch zur ''[[Philosophie der Mathematik]]''		* [[Bertrand Russell]] (1872–1970), entdeckte die [[Russellsche Antinomie]], schrieb ein Buch zur ''[[Philosophie der Mathematik]]''

Fmrauch: /* Wichtige Autoren */ etwas gestrafft, Anachronismus bei Aristoteles entfernt

2025-09-12T12:41:33Z

Wichtige Autoren: etwas gestrafft, Anachronismus bei Aristoteles entfernt

← Nächstältere Version		Version vom 12. September 2025, 12:41 Uhr
Zeile 110:		Zeile 110:

	== Wichtige Autoren ==		== Wichtige Autoren ==
	* [[Aristoteles]] (384–322 v. Chr.):		* [[Aristoteles]] (384–322 v. Chr.) schrieb die ''Analytica priora''
	~~: In den [[~~Analytica priora~~]]: Entwicklung der bis ins 19. Jahrhundert verwendeten [[Syllogismus\|Syllogistik]], einer Vorform der [[Prädikatenlogik]].~~		* [[Chrysippos von Soloi]] (281/76-208/4 v. Chr.), Entwicklung der stoischen Syllogistik, einer Vorform des Aussagenkalküls.
	* [[Chrysippos von Soloi]] (281/76-208/4 v. Chr.):		* [[Marcus Tullius Cicero\|Cicero]] (106–43 v. Chr.), übertrug die griechische Logik ins Lateinische.
	: Entwicklung der stoischen Syllogistik, einer Vorform des Aussagenkalküls.		* [[Gottfried Wilhelm Leibniz]] (1646–1716), Erste Ansätze zu einer symbolischen Logik.
	* [[Marcus Tullius Cicero\|Cicero]] (106–43 v. Chr.):		* [[George Boole]] (1815–1864), Entwicklung der [[Boolesche Algebra\|Booleschen Algebra]]
	~~: Übertrug~~ die griechische Logik ins Lateinische.		* [[Charles Sanders Peirce]] (1839–1914), Erste Ansätze zur Quantorenlogik, Einführung der Relationslogik, Formulierung einer Theorie der [[Abduktion]]
	* [[Gottfried Wilhelm Leibniz]] (1646–1716):		* [[Georg Cantor]] (1845–1918), Entwicklung der [[Mengenlehre]]
	: Erste Ansätze zu einer symbolischen Logik.		* [[Gottlob Frege]] (1848–1925), Entwicklung der modernen Aussagen- und [[Prädikatenlogik]]. Kritik des [[Psychologismus]]
	* [[George Boole]] (1815–1864):		* [[Edmund Husserl]] (1859–1938), Kritik des Psychologismus in der Logik.
	: Entwicklung der [[Boolesche Algebra\|Booleschen Algebra]].		* [[Bertrand Russell]] (1872–1970), entdeckte die [[Russellsche Antinomie]], schrieb ein Buch zur ''[[Philosophie der Mathematik]]''
	* [[Charles Sanders Peirce]] (1839–1914):		* [[Jan Łukasiewicz]] (1878–1956), entwickelte die [[polnische Notation]], beschäftigte sich mit mehrwertiger Logik
	: Erste Ansätze zur Quantorenlogik, Einführung der Relationslogik, Formulierung einer Theorie der [[Abduktion]].		* [[Alfred Tarski]] (1901–1983), herausragend sind seine Arbeiten zur [[Modelltheorie]] und zur formalen [[Semantik]]
	* [[Georg Cantor]] (1845–1918):		* [[Kurt Gödel]] (1906–1978), Vollständigkeit der Prädikatenlogik, Unvollständigkeit der [[Peano-Arithmetik]]
	: Entwicklung der [[Mengenlehre]].
	* [[Gottlob Frege]] (1848–1925):
	: Entwicklung der modernen Aussagen- und [[Prädikatenlogik]]. Kritik des [[Psychologismus]].
	* [[Edmund Husserl]] (1859–1938):
	: Kritik des [[Psychologismus]] in der Logik.
	* [[Bertrand Russell]] (1872–1970):
	~~: Entdeckte~~ die [[Russellsche Antinomie]].
	* [[Jan Łukasiewicz]] (1878–1956):
	~~: Entwickelte~~ die [[polnische Notation]], beschäftigte sich mit mehrwertiger Logik.
	* [[Alfred Tarski]] (1901–1983):
	~~: Herausragend~~ sind seine Arbeiten zur [[Modelltheorie]] und zur formalen [[Semantik]].
	* [[Kurt Gödel]] (1906–1978):
	: Vollständigkeit der Prädikatenlogik. Unvollständigkeit der [[Peano-Arithmetik]].

	== Siehe auch ==		== Siehe auch ==

Fmrauch: /* Siehe auch */ überflüssig, sonst als Begriff zu erklären

2025-09-12T12:37:16Z

Siehe auch: überflüssig, sonst als Begriff zu erklären

← Nächstältere Version		Version vom 12. September 2025, 12:37 Uhr
Zeile 138:		Zeile 138:

	== Siehe auch ==		== Siehe auch ==
	* [[:Kategorie:Logiker]]
	* [[Abstraktion]]		* [[Abstraktion]]

Fmrauch: /* Unterschiedliche Bedeutungen des Begriffs „Logik“ */ gegenwärtig? vor 50 Jahren ?

2025-09-12T12:29:40Z

Unterschiedliche Bedeutungen des Begriffs „Logik“: gegenwärtig? vor 50 Jahren ?

← Nächstältere Version		Version vom 12. September 2025, 12:29 Uhr
Zeile 16:		Zeile 16:
	In der Umgangssprache werden Ausdrücke wie „Logik“ oder „logisches Denken“ darüber hinaus in einem sehr viel weiteren oder völlig anderen Sinne verstanden und etwa einem „[[Laterales Denken\|lateralen Denken]]“ gegenübergestellt. Ebenso gibt es den Begriff der „Frauenlogik“, „Männerlogik“, der „Affektlogik“ und den Begriff der „Alltagslogik“ – bekannt auch als „[[gesunder Menschenverstand]]“ (''common sense'') – in der [[Umgangssprache]]. In diesen Bereichen bezieht sich „Logik“ oft auf Formen des Handelns, der [[Pragmatismus\|Pragmatik]]. Ein [[Argument]] wird umgangssprachlich als „logisch“ bezeichnet, wenn dieses stichhaltig, zwingend, überzeugend, einleuchtend und klar erscheint. In einem logischen Argument soll die Fertigkeit des Denkens zum Ausdruck kommen.		In der Umgangssprache werden Ausdrücke wie „Logik“ oder „logisches Denken“ darüber hinaus in einem sehr viel weiteren oder völlig anderen Sinne verstanden und etwa einem „[[Laterales Denken\|lateralen Denken]]“ gegenübergestellt. Ebenso gibt es den Begriff der „Frauenlogik“, „Männerlogik“, der „Affektlogik“ und den Begriff der „Alltagslogik“ – bekannt auch als „[[gesunder Menschenverstand]]“ (''common sense'') – in der [[Umgangssprache]]. In diesen Bereichen bezieht sich „Logik“ oft auf Formen des Handelns, der [[Pragmatismus\|Pragmatik]]. Ein [[Argument]] wird umgangssprachlich als „logisch“ bezeichnet, wenn dieses stichhaltig, zwingend, überzeugend, einleuchtend und klar erscheint. In einem logischen Argument soll die Fertigkeit des Denkens zum Ausdruck kommen.

	~~Auch in gegenwärtigen Debatten~~ ist weithin unbestritten, dass die Theorie des korrekten Folgerns den Kern der Logik ausmacht; umstritten ist jedoch, welche Theorien genau noch zur Logik zu rechnen sind und welche nicht. Strittige Fälle sind etwa die [[Mengenlehre]], die [[Argumentationstheorie]] (die sich etwa unter pragmatischer Rücksicht mit [[Fehlschluss\|Fehlschlüssen]] beschäftigt) und die [[Sprechakt]]theorie.		Es ist weithin unbestritten, dass die Theorie des korrekten Folgerns den Kern der Logik ausmacht; umstritten ist jedoch, welche Theorien genau noch zur Logik zu rechnen sind und welche nicht. Strittige Fälle sind etwa die [[Mengenlehre]], die [[Argumentationstheorie]] (die sich etwa unter pragmatischer Rücksicht mit [[Fehlschluss\|Fehlschlüssen]] beschäftigt) und die [[Sprechakt]]theorie.

	== Teilgebiete ==		== Teilgebiete ==

Fmrauch: die beiden Text haben wenig miteinander zu tun

2025-01-12T10:51:21Z

die beiden Text haben wenig miteinander zu tun

← Nächstältere Version		Version vom 12. Januar 2025, 10:51 Uhr
Zeile 1:		Zeile 1:
	{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu [[Elektronik\|elektronischen]] Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}		{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu [[Elektronik\|elektronischen]] Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}
	~~{{MehrereVarianten\|Links='''Logik''' und [[Logik (Salisches Gesetz)]]}}~~

	Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]		Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]

Fmrauch am 12. Januar 2025 um 10:46 Uhr

2025-01-12T10:46:32Z

← Nächstältere Version		Version vom 12. Januar 2025, 10:46 Uhr
Zeile 138:		Zeile 138:
	* [[Kurt Gödel]] (1906–1978):		* [[Kurt Gödel]] (1906–1978):
	: Vollständigkeit der Prädikatenlogik. Unvollständigkeit der [[Peano-Arithmetik]].		: Vollständigkeit der Prädikatenlogik. Unvollständigkeit der [[Peano-Arithmetik]].

	~~{{Siehe auch\|:Kategorie:Logiker}}~~

	== Siehe auch ==		== Siehe auch ==
			* [[:Kategorie:Logiker]]
	* [[Abstraktion]]		* [[Abstraktion]]

Fmrauch: vieles 1:1 aus der Wikipedia übernommen

2024-01-30T09:22:47Z

vieles 1:1 aus der Wikipedia übernommen

← Nächstältere Version		Version vom 30. Januar 2024, 09:22 Uhr
Zeile 217:		Zeile 217:
	<references/>		<references/>

	{{PPA-Silber}}		{{PPA-Silber\|N=1}}
	{{Normdaten\|TYP=s\|GND=4036202-4}}		{{Normdaten\|TYP=s\|GND=4036202-4}}

	[[Kategorie:Logik\| ]]		[[Kategorie:Logik\| ]]
	[[Kategorie:Fremdwort (griechisch)]]		[[Kategorie:Fremdwort (griechisch)]]

Fmrauch am 30. Januar 2024 um 01:08 Uhr

2024-01-30T01:08:29Z

← Nächstältere Version		Version vom 30. Januar 2024, 01:08 Uhr
Zeile 1:		Zeile 1:
	{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu elektronischen Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}		{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu [[Elektronik\|elektronischen]] Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}
	{{MehrereVarianten\|Links='''Logik''' und [[Logik (Salisches Gesetz)]]}}		{{MehrereVarianten\|Links='''Logik''' und [[Logik (Salisches Gesetz)]]}}

	Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| ~~sprache=Deutsch \| format= \| kommentar= \| zitat=~~ }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]		Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]

	Die moderne symbolische Logik verwendet statt der [[Natürliche Sprache\|natürlichen Sprache]] eine [[Formale Sprache\|künstliche Sprache]] und verwendet streng [[Definition\|definierte]] [[Schlussregel]]. Ein Beispiel für ein solches [[formales System]] ist die [[Aussagenlogik]]. Dabei werden sogenannte [[Aussage (Logik)\|atomare Aussagen]] durch Buchstaben ersetzt: Ein Satz wie ''Der Apfel ist rot'' wird z. B. in der [[Prädikatenlogik]] als f(a) formalisiert, wobei a für ''Der Apfel'' und f für ''ist rot'' steht. Die symbolische Logik nennt man auch [[mathematische Logik]] oder formale Logik im engeren Sinn.		Die moderne symbolische Logik verwendet statt der [[Natürliche Sprache\|natürlichen Sprache]] eine [[Formale Sprache\|künstliche Sprache]] und verwendet streng [[Definition\|definierte]] [[Schlussregel]]. Ein Beispiel für ein solches [[formales System]] ist die [[Aussagenlogik]]. Dabei werden sogenannte [[Aussage (Logik)\|atomare Aussagen]] durch Buchstaben ersetzt: Ein Satz wie ''Der Apfel ist rot'' wird z. B. in der [[Prädikatenlogik]] als f(a) formalisiert, wobei a für ''Der Apfel'' und f für ''ist rot'' steht. Die symbolische Logik nennt man auch [[mathematische Logik]] oder formale Logik im engeren Sinn.

Fmrauch: /* Geschichte der Logik */ leer bzw. nicht vorhanden

2024-01-30T00:57:11Z

Geschichte der Logik: leer bzw. nicht vorhanden

← Nächstältere Version		Version vom 30. Januar 2024, 00:57 Uhr
Zeile 19:		Zeile 19:

	Auch in gegenwärtigen Debatten ist weithin unbestritten, dass die Theorie des korrekten Folgerns den Kern der Logik ausmacht; umstritten ist jedoch, welche Theorien genau noch zur Logik zu rechnen sind und welche nicht. Strittige Fälle sind etwa die [[Mengenlehre]], die [[Argumentationstheorie]] (die sich etwa unter pragmatischer Rücksicht mit [[Fehlschluss\|Fehlschlüssen]] beschäftigt) und die [[Sprechakt]]theorie.		Auch in gegenwärtigen Debatten ist weithin unbestritten, dass die Theorie des korrekten Folgerns den Kern der Logik ausmacht; umstritten ist jedoch, welche Theorien genau noch zur Logik zu rechnen sind und welche nicht. Strittige Fälle sind etwa die [[Mengenlehre]], die [[Argumentationstheorie]] (die sich etwa unter pragmatischer Rücksicht mit [[Fehlschluss\|Fehlschlüssen]] beschäftigt) und die [[Sprechakt]]theorie.

	~~== Geschichte der Logik ==~~
	~~{{Hauptartikel\|Geschichte der Logik}}~~

	== Teilgebiete ==		== Teilgebiete ==

← Nächstältere Version		Version vom 12. Januar 2025, 10:51 Uhr
Zeile 1:		Zeile 1:
	{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu [[Elektronik\|elektronischen]] Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}		{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu [[Elektronik\|elektronischen]] Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}
	~~{{MehrereVarianten\|Links='''Logik''' und [[Logik (Salisches Gesetz)]]}}~~

	Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]		Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]

← Nächstältere Version		Version vom 30. Januar 2024, 01:08 Uhr
Zeile 1:		Zeile 1:
	{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu elektronischen Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}		{{Dieser Artikel\|befasst sich mit philosophischen und sprachlichen Aspekten. Zu [[Elektronik\|elektronischen]] Logik-Schaltungen siehe [[Digitaltechnik]] und [[Logikbaustein]].}}
	{{MehrereVarianten\|Links='''Logik''' und [[Logik (Salisches Gesetz)]]}}		{{MehrereVarianten\|Links='''Logik''' und [[Logik (Salisches Gesetz)]]}}

	Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| ~~sprache=Deutsch \| format= \| kommentar= \| zitat=~~ }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]		Mit '''Logik''' (vom [[Griechische Sprache\|griechischen]] λογικὴ τέχνη, ''logiké téchnē''‚ denkende Kunst, Vorgehensweise) oder auch '''Folgerichtigkeit'''<ref>{{Internetquelle \| url=https://www.duden.de/rechtschreibung/Folgerichtigkeit \| titel=Folgerichtigkeit \| autor= \| hrsg=Bibliographisches Institut \| werk=[[Duden]] \| seiten= \| datum=2017 \| zugriff=2017-04-23 \| }}</ref> wird im Allgemeinen das [[Vernunft\|vernünftige]] [[Schlussfolgern]] und im Besonderen dessen Lehre – die '''Schlussfolgerungslehre''' oder auch '''Denklehre''' – bezeichnet. In der Logik wird die Struktur von [[Argument]]en im Hinblick auf ihre [[Gültigkeit]] untersucht, unabhängig vom Inhalt der [[Aussage (Logik)\|Aussagen]]. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der [[Philosophie]]. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur [[Rhetorik]] entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend [[Mathematische Logik\|symbolische Logik]], die auch als grundlegende [[Strukturwissenschaft]], z. B. innerhalb der [[Mathematik]] und der [[Theoretische Informatik\|theoretischen Informatik]], behandelt wird. [[Datei:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg\|miniatur\|300px\|[[Gregor Reisch]], „Die Logik präsentiert ihre zentralen Themen“, ''[[Margarita Philosophica]]'', 1503/08 (?). Die beiden Hunde ''veritas'' und ''falsitas'' jagen den Hasen ''problema'', die Logik eilt mit dem Schwert ''syllogismus'' bewaffnet hinterher. Links unten [[Parmenides]], mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle.]]

	Die moderne symbolische Logik verwendet statt der [[Natürliche Sprache\|natürlichen Sprache]] eine [[Formale Sprache\|künstliche Sprache]] und verwendet streng [[Definition\|definierte]] [[Schlussregel]]. Ein Beispiel für ein solches [[formales System]] ist die [[Aussagenlogik]]. Dabei werden sogenannte [[Aussage (Logik)\|atomare Aussagen]] durch Buchstaben ersetzt: Ein Satz wie ''Der Apfel ist rot'' wird z. B. in der [[Prädikatenlogik]] als f(a) formalisiert, wobei a für ''Der Apfel'' und f für ''ist rot'' steht. Die symbolische Logik nennt man auch [[mathematische Logik]] oder formale Logik im engeren Sinn.		Die moderne symbolische Logik verwendet statt der [[Natürliche Sprache\|natürlichen Sprache]] eine [[Formale Sprache\|künstliche Sprache]] und verwendet streng [[Definition\|definierte]] [[Schlussregel]]. Ein Beispiel für ein solches [[formales System]] ist die [[Aussagenlogik]]. Dabei werden sogenannte [[Aussage (Logik)\|atomare Aussagen]] durch Buchstaben ersetzt: Ein Satz wie ''Der Apfel ist rot'' wird z. B. in der [[Prädikatenlogik]] als f(a) formalisiert, wobei a für ''Der Apfel'' und f für ''ist rot'' steht. Die symbolische Logik nennt man auch [[mathematische Logik]] oder formale Logik im engeren Sinn.