18 Beziehungen: Aristoteles, Charles Sanders Peirce, Formale Logik, Freie Variable und gebundene Variable, Gegenstand, Grammatische Kategorie, Individuenvariable, Konstante (Logik), Kröners Taschenausgabe, Mathematische Logik, Metasprache, Prädikat (Logik), Prädikatenlogik, Prädikatenlogik erster Stufe, Prädikation, Quantor, Stelligkeit, Vollfreie Variable.
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.
Neu!!: Variable (Logik) und Aristoteles · Mehr sehen »
Charles Sanders Peirce
zentriert Charles Santiago Sanders Peirce (ausgesprochen: /'pɜrs/ wie: pörs) (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US-amerikanischer Mathematiker, Philosoph, Logiker und Semiotiker.
Neu!!: Variable (Logik) und Charles Sanders Peirce · Mehr sehen »
Formale Logik
Als formale Logik wird im Allgemeinen eine Logik bezeichnet, die sich mit dem Zusammenhang zwischen der logischen Form von Aussagen und der Gültigkeit von Ableitungs- und Folgerungsbeziehungen zwischen diesen Formen beschäftigt.
Neu!!: Variable (Logik) und Formale Logik · Mehr sehen »
Freie Variable und gebundene Variable
In der Mathematik und Logik bezeichnet man eine Variable als in einer mathematischen Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operators auftritt.
Neu!!: Variable (Logik) und Freie Variable und gebundene Variable · Mehr sehen »
Gegenstand
Gegenstand ist ein mehrdeutiger Ausdruck, der als Fachbegriff unter anderem in der Erkenntnistheorie, Rechtswissenschaft oder Bildenden Kunst mit unterschiedlichem Begriffsinhalt einschlägig ist.
Neu!!: Variable (Logik) und Gegenstand · Mehr sehen »
Grammatische Kategorie
Grammatische Kategorien teilen die Bausteine einer Sprache, die Wörter und Satzglieder, in verschiedene Klassen ein.
Neu!!: Variable (Logik) und Grammatische Kategorie · Mehr sehen »
Individuenvariable
Die Individuenvariable bezeichnet eine Variable, die als Platzhalter für eine Individuenkonstante, einen Individuennamen steht.
Neu!!: Variable (Logik) und Individuenvariable · Mehr sehen »
Konstante (Logik)
Allgemein ist eine Konstante (von „feststehend“) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte Bedeutung, die im Laufe der Überlegungen unverändert bleibt“.
Neu!!: Variable (Logik) und Konstante (Logik) · Mehr sehen »
Kröners Taschenausgabe
Nr. 1 der Reihe Kröners Taschenausgabe (KTA) ist eine Buchreihe vorwiegend aus Gesamtdarstellungen, Nachschlagewerken und „Literaturklassikern“ des Alfred Kröner Verlages (Stuttgart, Leipzig usw.), die seit 1908 erscheint.
Neu!!: Variable (Logik) und Kröners Taschenausgabe · Mehr sehen »
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.
Neu!!: Variable (Logik) und Mathematische Logik · Mehr sehen »
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Neu!!: Variable (Logik) und Metasprache · Mehr sehen »
Prädikat (Logik)
Prädikat (von) nennt man in der modernen Prädikatenlogik den Teil einer atomaren Aussage, der wahrheitsfunktional ist.
Neu!!: Variable (Logik) und Prädikat (Logik) · 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.
Neu!!: Variable (Logik) und Prädikatenlogik · Mehr sehen »
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Variable (Logik) und Prädikatenlogik erster Stufe · Mehr sehen »
Prädikation
Prädikation (von ‚bekanntmachen‘, ‚ausrufen‘ bzw. praedicatio ‚Aussage‘, ‚Bekanntmachung‘) ist ein (sprach-)philosophischer Fachbegriff, der eine sprachliche Handlung bezeichnet, durch die einem Gegenstand (Ding, Objekt, Sachverhalt) Eigenschaften zu- oder abgesprochen werden.
Neu!!: Variable (Logik) und Prädikation · 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.
Neu!!: Variable (Logik) und Quantor · Mehr sehen »
Stelligkeit
Der Begriff Stelligkeit (auch Arität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw.
Neu!!: Variable (Logik) und Stelligkeit · Mehr sehen »
Vollfreie Variable
Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist.
Neu!!: Variable (Logik) und Vollfreie Variable · Mehr sehen »