Die logik der anführung und quasianführung

Erkenntnis 29 (2):227 - 268 (1988)
  Copy   BIBTEX

Abstract

Quine's metalogical 'quasiquotation' is formally added to classical first-Order logic; the resulting system lq is stronger and more natural than all former systems of quotational logic. Lq contains object-Variables ranging over the universe u and expression-Variables ranging over the set e of all expressions of lq; e is a subset of u. Object-Quantifiers are referential, Expression-Quantifiers are substitutional; only the latter ones bind into quasiquotations. Lq contains its own syntactic metatheory and arithmetics. Natural proofs of godel's and tarski's theorems are given for lq

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Georg Misch, logik und einführung in die grundlagen Des wissens. Die macht der antiken tradition in der logik und die gegenwärtige lage.Volker Peckhaus - 2002 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 33 (1):197-204.
Der unaufhebbare primat der logik, die dialektik Des ganzen und die grenze der logik.Joachim Klowski - 1973 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 4 (1):41-53.
Die aristotelische Logik des Seins und die nicht-aristotelische Logik der Reflexion.Gotthard Günther - 1958 - Zeitschrift für Philosophische Forschung 12 (3):360 - 407.
Die logik der unbestimmtheiten und paradoxien.Ulrich Blau - 1985 - Erkenntnis 22 (1-3):369 - 459.
Wissenschaftstheorie in den Niederlanden.C. A. Peursen & R. J. A. Dijk - 1972 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 3 (2):372-379.

Analytics

Added to PP
2009-01-28

Downloads
52 (#272,957)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Languages in which self reference is possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
Die Logik der Unbestimmtheiten und Paradoxien.Ulrich Blau - 2009 - Bulletin of Symbolic Logic 15 (4):436-438.
Die logik der unbestimmtheiten und paradoxien.Ulrich Blau - 1985 - Erkenntnis 22 (1-3):369 - 459.

View all 6 references / Add more references