Das Wahrheitsproblem und die Idee der Semantik: eine Einführung in die Theorien von A. Tarski und R. Carnap |
Other editions - View all
Common terms and phrases
ableitbar Alltagssprache analog analytisch Antinomie äquivalent Aussagefunktion Axiome Bedeutung Bedingungen beiden beliebige besteht bestimmte beweisbar bezeichnen bezeichnet bezug bloß CARNAP daher definieren definiert Definition derartige Designatoren deskriptiven Disjunktion Eigenschaft empirischen endlich enthält erfüllt ersten Explikation Extension extensional Extensionen und Intensionen Fall falsch folgenden formal formalisierten Formulierung Frage Gegenstände gibt Grund HAO WANG hingegen Individuenausdrücke Individuenvariablen Intension Interpretation Kalkül Klasse könnte Konvention L-Begriffe L-determiniert L-falsch L-Implikation L-Semantik L-Spielraum L-wahr L-Zustand läßt lich Logik logischen Zeichen Metamathematik Metasprache Methode möglich muß natürlichen Zahlen Negation Objekt Objektsprache Ordnung P₁ Prädikat Prädikat wahr Prädikatausdrücke Prädikatoren Quantifikationstheorie Quantoren QUINE rein logischen rekursive Relation S₁ Satzfunktion Satzklasse schließlich semantischen Begriffe semantischen Kategorien semantischen Regeln semantischen Systems Sinnkriterium sinnvoll Sokrates soll Sprache Symbole syntaktischen System TARSKI tatsächlich Theorie unendlich vielen unendliche Folge unserer Variablen Verfahren verschiedenen verwendet Verwendung vorkommen wahren Aussage wahren Sätze Wahrheit Wahrheitsdefinition Wahrheitstabelle Wahrheitswert Weise weiß wieder Zahl zwei Zweifüßler zweite