We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:

Search Results

Showing 1-9 of 9 results
  1. 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...

    Balthasar Grabmayr in Journal of Philosophical Logic
    Article Open access 29 November 2023
  2. 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...
    Living reference work entry 2020
  3. 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...
    Chapter 2017
  4. 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...
    Chapter 2017
  5. 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...
    Shahid Rahman, Muhammad Iqbal, Youcef Soufi in Inferences by Parallel Reasoning in Islamic Jurisprudence
    Chapter 2019
  6. 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;...
    Chapter 2001
  7. The Dialogical Approach to Paraconsistency

    Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe...

    Sahid Rahman, Walter A Carnielli in Synthese
    Article 01 January 2000
  8. 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...
    Chapter 1990
Did you find what you were looking for? Share feedback.