Aussage (Logik) und Logik

Shortcuts: Differenzen, Gemeinsamkeiten, Jaccard Ähnlichkeit Koeffizient, Referenzen.

Unterschied zwischen Aussage (Logik) und Logik

Aussage (Logik) vs. Logik

Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.

Aristoteles

Aristoteles (Betonung lateinisch und deutsch: Aristóteles; * 384 v. Chr. in Stageira; † 322 v. Chr. in Chalkis auf Euböa) war ein griechischer Universalgelehrter.

Aristoteles und Aussage (Logik) · Aristoteles und Logik · Mehr sehen »

Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

Aussage (Logik) und Aussagenlogik · Aussagenlogik und Logik · Mehr sehen »

Begriff (Philosophie)

Im weiteren Sinne bezeichnet das Wort Begriff in der Philosophie, wie ein Wort zu verstehen ist (im Sinne von „zu begreifen“).

Aussage (Logik) und Begriff (Philosophie) · Begriff (Philosophie) und Logik · Mehr sehen »

Ernst Tugendhat

Ernst Tugendhat (geboren am 8. März 1930 in Brünn; gestorben am 13. März 2023 in Freiburg im Breisgau) war ein deutscher Philosoph und Professor an der Freien Universität Berlin.

Aussage (Logik) und Ernst Tugendhat · Ernst Tugendhat und Logik · Mehr sehen »

Extensionalitätsprinzip

Mit Extensionalitätsprinzip ist meist eine Eigenschaft einer künstlichen oder natürlichen Sprache gemeint.

Aussage (Logik) und Extensionalitätsprinzip · Extensionalitätsprinzip und Logik · Mehr sehen »

Gottlob Frege

Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.

Aussage (Logik) und Gottlob Frege · Gottlob Frege und Logik · Mehr sehen »

Immanuel Kant

Immanuel Kant (* 22. April 1724 in Königsberg (Preußen); † 12. Februar 1804 ebenda) war ein deutscher Philosoph der Aufklärung sowie unter anderem Professor der Logik und Metaphysik in Königsberg.

Aussage (Logik) und Immanuel Kant · Immanuel Kant und Logik · Mehr sehen »

Junktor

Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.

Aussage (Logik) und Junktor · Junktor und Logik · Mehr sehen »

Modelltheorie

Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.

Aussage (Logik) und Modelltheorie · Logik und Modelltheorie · Mehr sehen »

Negation

Negation (von) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen.

Aussage (Logik) und Negation · Logik und Negation · Mehr sehen »

Prädikatenlogik

Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.

Aussage (Logik) und Prädikatenlogik · Logik und Prädikatenlogik · Mehr sehen »

Prinzip der Zweiwertigkeit

Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird.

Aussage (Logik) und Prinzip der Zweiwertigkeit · Logik und Prinzip der Zweiwertigkeit · Mehr sehen »

Quantor

Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.

Aussage (Logik) und Quantor · Logik und Quantor · Mehr sehen »

Tautologie (Logik)

Eine Tautologie (von ταὐτό t’autó „dasselbe“ und -logie), auch Verum („wahr“) genannt, ist in der Logik eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist.

Aussage (Logik) und Tautologie (Logik) · Logik und Tautologie (Logik) · Mehr sehen »

Term

In der Mathematik ist ein Term eine sinnvolle Kombination aus Zahlen, Variablen, Symbolen für mathematische Verknüpfungen und Klammern.

Aussage (Logik) und Term · Logik und Term · Mehr sehen »

Wahrheit

Walter Seymour Allward, ''Veritas'' (lateinisch für „Wahrheit“), 1920 Der Begriff der Wahrheit wird in verschiedenen Zusammenhängen gebraucht und unterschiedlich gefasst.

Aussage (Logik) und Wahrheit · Logik und Wahrheit · Mehr sehen »

Wahrheitstabelle

Animation zur Erstellung einer Wahrheitstafel Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage.

Aussage (Logik) und Wahrheitstabelle · Logik und Wahrheitstabelle · Mehr sehen »

Wahrheitswert

Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.

Aussage (Logik) und Wahrheitswert · Logik und Wahrheitswert · Mehr sehen »

Willard Van Orman Quine

Willard Van Orman Quine 1980 Willard Van Orman Quine (* 25. Juni 1908 in Akron, Ohio; † 25. Dezember 2000 in Boston, Massachusetts) war ein amerikanischer Philosoph und Logiker.

Aussage (Logik) und Willard Van Orman Quine · Logik und Willard Van Orman Quine · Mehr sehen »