Philosophy Lexicon of Arguments

Search  
 
Provability: Logic statements are only provable within the system to which they belong. The question then is, among other things, whether the means of expression of the system are sufficient for the presentation of evidence to the statements.
 
Author Item Excerpt Meta data
Quine, Willard Van Orman
 
Books on Amazon
Provability VII 160f
Truth/Provability/Langford: although the following schemes are in the quantifier provable, the corresponding rates are not logically true: (1) (Ex) (Fx v ~ Fx ) - (2) (x) Fx > (Ex) Fx - their truth depends on whether there is something that is referred to it, or whether the universe is not simply empty - QuineVs: analyticity says nothing about existence - QuineVs: Error: " Fa v ~ Fa " implies not logical "(Ex) (Fx v ~ Fx) " - although we accept that a logically true sentence is implied by any but Langford cannot do that - this takes the existential generalization - also VsLangford: from propositions that contain the meaning of "a" and "F" as constituents , one cannot derive existence - Likelihood of word and object - instead of the existence of objects one could simply assume the existence of the proposition - but meaning is not an "entity" - Langford/Quine: he is right when he concludes "a exists" from an atom sentence "Fa" , but not from " ~ Fa " - (( s ) separately.)

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


> Counter arguments against Quine



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-30