Search
Search Results
-
A Step Towards Absolute Versions of Metamathematical Results
There is a well-known gap between metamathematical theorems and their philosophical interpretations. Take Tarski’s Theorem. According to its...
-
-
-
-
Introduction
Raymond Smullyan was born in 1919, after the Great War and before the Great Depression. I have known him since I was a graduate student and he was my...
-
Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs
I propose an account of the metaphysics of the expressions of a mathematical language which brings together the structuralist construal of a...
-
Advanced Many-Valued Logics
Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in the title can only be understood in the temporal sense;...