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...
-
Grundlagen des logischen Schließens
In diesem Artikel wird die moderne Logik in ihren verschiedenen Spielarten und im Zusammenhang mit grundsätzlichen metatheoretischen Resultaten und... -
Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder
This paper intends to propose new forms of logic puzzles by adopting a pluralist perspective. Not only can this expanded view lead to more... -
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... -
Dialogues, Reasons and Endorsement
The main aim of the present chapter is to provide a systematic overview on the dialogical framework called Immanent Reasoning. Moreover, we would... -
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;... -
The Dialogical Approach to Paraconsistency
Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe...
-
Dependence Logics - D, Dual D, Eq, DPC -
The first system studied in this chapter is Dependence Logic. It is a case study of how to use the general framework of the last chapter to develop a...