Philosophie Lexikon der Argumente

Suche  
 
Beweisbarkeit, Logik: beweisbar sind Aussagen nur innerhalb des Systems, zu dem sie gehören. Die Frage ist unter anderem, ob die Ausdrucksmittel des Systems hinreichend sind zur Darstellung der einzelnen Schritte der Herleitung der zu beweisenden Aussage.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
VII 160f
Wahrheit/Beweisbarkeit/Langford: obwohl die folgenden Schemata in der Quantorenlogik beweisbar sind, die entsprechenden Sätze nicht logisch wahr sind:
(1) (Ex)(Fx v ~Fx)
(2) (x)Fx > (Ex)Fx
ihre Wahrheit hängt davon ab, ob es etwas gibt, das davon bezeichnet wird, bzw, ob das Universum nicht einfach leer ist.
QuineVs: Analytizität sagt nichts über Existenz - QuineVs: Fehler: "Fa v ~Fa" impliziert nicht logisch "(Ex)(Fx v ~Fx)".
Wir akzeptieren zwar, dass ein logisch wahrer Satz von jedem beliebigen impliziert wird, aber Langford kann das nicht. - Dieser braucht die existentielle Generalisierung. - Außerdem QuineVsLangford: aus Propositionen, die die Bedeutung von "a" und "F" als Konstituenten enthalten, kann man keine Existenz ableiten. - Verwechslung von Wort und Gegenstand. - Statt der Existenz von Objekten könnte man einfach die Existenz der Proposition annehmen - aber Bedeutung ist keine "Entität".
Langford/Quine: behält recht, wenn er "a existiert" aus einem Atomsatz "Fa" ableitet, aber nicht aus "~Fa". ((s) getrennt.)


_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.

Q I
W.V.O. Quine
Wort und Gegenstand Stuttgart 1980

Q II
W.V.O. Quine
Theorien und Dinge Frankfurt 1985

Q III
W.V.O. Quine
Grundzüge der Logik Frankfurt 1978

Q IX
W.V.O. Quine
Mengenlehre und ihre Logik Wiesbaden 1967

Q V
W.V.O. Quine
Die Wurzeln der Referenz Frankfurt 1989

Q VI
W.V.O. Quine
Unterwegs zur Wahrheit Paderborn 1995

Q VII
W.V.O. Quine
From a logical point of view Cambridge, Mass. 1953

Q VIII
W.V.O. Quine
Bezeichnung und Referenz
In
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982

Q X
W.V.O. Quine
Philosophie der Logik Bamberg 2005

Q XII
W.V.O. Quine
Ontologische Relativität Frankfurt 2003

> Gegenargumente gegen Quine



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 21.07.2017