Search
Search Results
-
Is There a “Hilbert Thesis”?
In his introductory paper to first-order logic, Jon Barwise writes in the Handbook of Mathematical Logic (1977):
[T]he informal notion of provable...
-
-
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... -
-
-
What I Tell You Three Times Is True
A very brief look at self reference in literature and art. -
How the theory elaborated differs from other theories of objects in its theses and objectives
Theories of objects are rare in the history of philosophy. The main streams of Western philosophy from its inception to modern times and most of the... -
The problems of fiction and fictions
Literary phenomena provide a severe testing ground for logical and semantical theories; and certainly (at least until recently?) the phenomena have... -
My Life as a Logician
This brief autobiography highlights events that have had a significant effect on my professional development. -
Exploring Meinong’s jungle and beyond
There is an important, but largely underground, philosophical current running at least from the Epicureans to modern times, with major outflowings in... -
A Short Scientific Autobiography
Being born in 1936 in Stockholm, I have memories from the time of the Second World War. But Sweden was not involved, and my childhood was peaceful.... -
Starting from the scenario Euclid–Bolyai–Einstein
Our aim is to propose several itineraries which follow the scenario having as a first step Euclid’s Fifth Postulate; as a second step the...
-
Introduction
This book is on Automated Model Building. Certain keywords and domains are immediately evoked by this title. We shall consider here three of them... -
Diagonalization in Logic and Mathematics
The family of diagonalization techniques in logic and mathematics supports important mathematical theorems and rigorously demonstrates... -
Logical Frameworks
One way to define a logic is to specify a language and a deductive system. For example, the language of first-order logic consists of the syntactic... -
Sequent Systems for Modal Logics
This chapter surveys the application of various kinds of sequent systems to modal and temporal logic, also called tense logic. The starting point are... -
The Concept of Truth in a Finite Universe
The prospects and limitations of defining truth in a finite model in the same language whose truth one is considering are thoroughly examined. It is...