Inhaltsverzeichnis
23 Beziehungen: Ableitung (Informatik), Ableitung (Logik), Alfred Tarski, David Hilbert, Franz von Kutschera, Implikation, Interpretation (Logik), Jacques Herbrand, Kalkül, Klassische Logik, Mathematische Logik, Metawissenschaft, Modelltheorie, Modus ponens, Paul Bernays, Schaltalgebra, Semantik, Semantische Folgerung, Syntax, Tautologie (Logik), Theorem, Widerlegungstheorem, Wissensrepräsentation mit Logik.
Ableitung (Informatik)
Als Ableitung wird in der theoretischen Informatik der Vorgang bezeichnet, ein Wort nach den Regeln einer formalen Grammatik zu erzeugen.
Sehen Deduktionstheorem und Ableitung (Informatik)
Ableitung (Logik)
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen.
Sehen Deduktionstheorem und Ableitung (Logik)
Alfred Tarski
Berkeley Alfred Tarski bzw.
Sehen Deduktionstheorem und Alfred Tarski
David Hilbert
David Hilbert (1912) David Hilbert (* 23. Januar 1862 in Königsberg; † 14. Februar 1943 in Göttingen) war ein deutscher Mathematiker und Hochschullehrer.
Sehen Deduktionstheorem und David Hilbert
Franz von Kutschera
Franz von Kutschera (* 3. März 1932 in Hannover) ist ein deutscher Philosoph, zunächst mit den Schwerpunkten Logik, Sprachphilosophie, Erkenntnistheorie und Wissenschaftstheorie, der jedoch auch Abhandlungen zu den Gebieten der Philosophie des Geistes, der Ethik, Ästhetik und Religionsphilosophie verfasst hat.
Sehen Deduktionstheorem und Franz von Kutschera
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Sehen Deduktionstheorem und Implikation
Interpretation (Logik)
Eine Interpretation (von) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird.
Sehen Deduktionstheorem und Interpretation (Logik)
Jacques Herbrand
Jacques Herbrand Jacques Herbrand (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker, Algebraiker und Zahlentheoretiker.
Sehen Deduktionstheorem und Jacques Herbrand
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Sehen Deduktionstheorem und Kalkül
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.
Sehen Deduktionstheorem und Klassische Logik
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Sehen Deduktionstheorem und Mathematische Logik
Metawissenschaft
Als Metawissenschaft lassen sich alle akademischen Disziplinen bezeichnen, welche die Wissenschaft selbst zum Gegenstand haben.
Sehen Deduktionstheorem und Metawissenschaft
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Sehen Deduktionstheorem und Modelltheorie
Modus ponens
Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.
Sehen Deduktionstheorem und Modus ponens
Paul Bernays
Paul Bernays (links) im Gespräch Paul Isaak Bernays (meist genannt als Paul Bernays; * 17. Oktober 1888 in London; † 18. September 1977 in Zürich) war ein Mathematiker und Logiker.
Sehen Deduktionstheorem und Paul Bernays
Schaltalgebra
Die Schaltalgebra ist eine spezielle Ausprägung der Booleschen Algebra mit einer zweiwertigen Trägermenge.
Sehen Deduktionstheorem und Schaltalgebra
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Sehen Deduktionstheorem und Semantik
Semantische Folgerung
Der Begriff der semantischen Folgerung ist in der Modelltheorie eine Form der Implikation.
Sehen Deduktionstheorem und Semantische Folgerung
Syntax
Unter Syntax (von syn ‚zusammen‘ und taxis ‚Ordnung, Reihenfolge‘) versteht man allgemein ein Regelsystem zur Kombination elementarer Zeichen zu zusammengesetzten Zeichen in natürlichen oder künstlichen Zeichensystemen.
Sehen Deduktionstheorem und Syntax
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.
Sehen Deduktionstheorem und Tautologie (Logik)
Theorem
Der Ausdruck Theorem (von theṓrēma ‚Angeschautes, Untersuchung, Lehrsatz‘), auch Lehrsatz, ist mehrdeutig.
Sehen Deduktionstheorem und Theorem
Widerlegungstheorem
Als Widerlegungstheorem bezeichnet man ein logisches Theorem, welches eine Grundlage für eine Kette von deduktiven Schlussfolgerungen in der Aussagen- und Prädikatenlogik liefert.
Sehen Deduktionstheorem und Widerlegungstheorem
Wissensrepräsentation mit Logik
Wissensrepräsentation mit Logik ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert.
Sehen Deduktionstheorem und Wissensrepräsentation mit Logik
Auch bekannt als Folgerungstheorem.