Syntax without Abstract Objects

Kozian, Ralf (12. September 2011): Syntax without Abstract Objects. Nominalizing the Theory of Concatenation. XXII. Deutscher Kongress für Philosophie, Ludwig-Maximilians-Universität München, 11. - 15. September 2011.

Abstract

In line with the nominalistic denial of the existence of abstract objects, a basic theory of syntax for formal languages is developed and shown to satisfy certain fundamental requirements.

• Dokumententyp: Konferenzbeitrag (Paper)
• Keywords: Syntax, Concatenation, Nominalism, Interpretability
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > XXII. Deutscher Kongress für Philosophie ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > XXII. Deutscher Kongress für Philosophie > Logik
• Themengebiete: 100 Philosophie und Psychologie > 160 Logik
• Sprache: Englisch

Literaturliste

Burgess/Rosen, A Subject with no Object, Oxford 1997

Ganea, Arithmetic on Semigroups, JSL 74, 2009

Grzegorczyk, Undecidability without Arithmetization, Studia Logica 79, 2005

Grzegorczyk/Zdanowski, Undecidability and Concatenation, in: Ehrenfeuch/Marek/Srebrny, Andrzej Mostowski and Foundational Studies, Amsterdam 2008

Kozian, Konkatenationstheorien und Nominalismus, manuscript 2010

Martin, Truth and Denotation, Chicago 1958

Quine, From a Logical Point of View, Cambridge, MA, 1980

Quine, Mathematical Logic, Cambridge, MA, 1981

Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Lemberg, 1935

Tarski, Mostowski, Robinson, Undecidable Theories, Amsterdam 1953

Visser, An Overview of Interpretability Logic, AiML 1, 1998

Visser, Growing Commas, NDJFL 50, 2009

Svejdar, On Interpretability in the Theory of Concatenation, NDJFL 50, 2009