## Philosophy Dictionary of ArgumentsHome | |||

| |||

Godel number: natural number that encodes mathematical and logical statements by a certain method. The symbols such as +, -, =,(, etc. are in turn encoded by primes and subsequently multiplied, so they can be uniquely reconstructed by prime factorization. Gödel numbers make it possible to create directories of formulas and perform proofs of completeness or incompleteness._____________ Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||

Author | Concept | Summary/Quotes | Sources |
---|---|---|---|

W.V.O. Quine on Goedel Numbers - Dictionary of Arguments X 82 Goedel Numbers/Goedelization/Quine: can do without sets. XII 58 Context here: is the investigation of the nature of a possible language for evidence theory: Protosyntax/Indeterminacy/Quine: the language is here a formalized system of the proof theory of the first level, whose subject area consists only of expressions, i.e. of strings of a certain alphabet. VII (c) 59 N.B.: instead of interpreting the strings as sets of inscriptions, they can be regarded as a (mathematical) sequence (of signs). Character String/Expression: is then a finite set of pairs of a character and a number. Vs: this is very artificial and complicated. Simpler: Goedel numbers themselves (the characters disappear). Problem: Question: how clear is it here that we have just started to talk about numbers instead of expressions? It is only reasonably clear that we want to fulfill laws with artificial models that are supposed to fulfill expressions in a non-explicit sense. See also the reduction of multi-sort logic: XII 72. In connection with referential or substitutional quantification: see XII 80. X 125 It is not possible to form a Goedel number for each irrational number. >Goedel/Quine. _____________ Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theories and Things, Cambridge/MA 1986 German Edition: Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Methods of Logic, 4th edition Cambridge/MA 1982 German Edition: Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine The Roots of Reference, La Salle/Illinois 1974 German Edition: Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Pursuit of Truth, Cambridge/MA 1992 German Edition: Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference InFrom a Logical Point of View, , Cambridge, MA 1953 Quine VIII W.V.O. Quine Designation and Existence, in: The Journal of Philosophy 36 (1939) German Edition: Bezeichnung und Referenz InZur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982 Quine IX W.V.O. Quine Set Theory and its Logic, Cambridge/MA 1963 German Edition: Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine The Philosophy of Logic, Cambridge/MA 1970, 1986 German Edition: Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontological Relativity and Other Essays, New York 1969 German Edition: Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |

Ed. Martin Schulz, access date 2024-02-27