
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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Keywords: | Syntax, Concatenation, Nominalism, Interpretability |
Faculties: | Philosophy, Philosophy of Science and Religious Science > XXII. German Congress of Philosophy Philosophy, Philosophy of Science and Religious Science > XXII. German Congress of Philosophy > Logics |
Subjects: | 100 Philosophy and Psychology > 160 Logic |
URN: | urn:nbn:de:bvb:19-epub-12506-5 |
Language: | English |
Item ID: | 12506 |
Date Deposited: | 20. Dec 2011, 11:49 |
Last Modified: | 04. Nov 2020, 12:53 |
References: | 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 |