Quantorenlogik
21Prädikatenkalkül — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …
22Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund …
23Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …
24Prädikatorenlogik — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …
25Prädikatvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… …
26Substanzbegriff — Substanz ist nach dem lateinischen Wort substantia „das, woraus etwas besteht“. Inhaltsverzeichnis 1 Naturwissenschaften 2 Philosophie 2.1 Antike und Mittelalter 2.2 Neuzeit 2.3 20. Jahrhundert und Gegenwart …
27Substanzen — Substanz ist nach dem lateinischen Wort substantia „das, woraus etwas besteht“. Inhaltsverzeichnis 1 Naturwissenschaften 2 Philosophie 2.1 Antike und Mittelalter 2.2 Neuzeit 2.3 20. Jahrhundert und Gegenwart …
28Universalienproblem — Das Universalienproblem (auch: Universalienstreit, Universalienfrage, Nominalismusstreit, selten auch Realienstreit) betrifft die Frage, ob es Allgemeinbegriffe wirklich gibt oder ob sie menschliche Konstruktionen sind. Als Universalien werden… …
29Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… …
30Widerspruch (Logik) — Kontradiktorisch (widersprüchlich) wird eine Beziehung zweier logischer Aussagen genannt, bei der von der Wahrheit der einen Aussage auf die Falschheit der anderen geschlossen werden kann und – das ist wichtig – von der Falschheit der einen… …