Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic

Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic

Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic

Jiri Raclavsky

19,15 €
IVA incluido
Recíbelo en 3 días
Editorial:
College Publications
Año de edición:
2020
ISBN:
9781848903340
19,15 €
IVA incluido
Recíbelo en 3 días

Selecciona una librería:

The book Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic offers an extensively elaborated approach to belief attitudes (knowledge, belief, etc.). It provides a thorough and efficient revision of the partial type theory founded by the Czech logician Pavel Tichy (based in New Zealand) and contributes to the current type-theoretic semantics. The type theory receives here a Henkin-style model-theoretic specification and the supplemented Tichy’s natural deduction in sequent style provides its proof-theoretic specification. After the analysis of a fragment of natural language, a number of arguments involving belief sentences is examined and adequately modelled.The semantic system employed in this book involves rules for various logical and many extra-logical constants, it is called Transparent Hyperintensional Logic (THL). THL is a higher-order multimodal logic. It is an extensive development of Kuchyˇnka’s initial revision of Tichy’s Transparent Intensional Logic (TIL).The proposal is tested against well-known paradoxes such as Frege’s paradox of identity, Cresswell’s paradox of hyperintensional contexts, Hintikka’s paradox of logical omniscience, Church-Fitch’s paradox of knowability, or Kaplan-Montague’s Knower Paradox.Jirı Raclavsky is Professor of Philosophy at Masaryk University (Brno, the Czech Republic). 3

Artículos relacionados

  • An Introduction to Formal Logic: Second Edition
    RICHARD LOUIS EPSTEIN
    Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception of formal logic and not just a collection of results. Summaries at important junctures in the book keep students aware of what they're doin...
    Consulta disponibilidad

    31,15 €

  • Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications
    Dov Gabbay
    The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of If...
    Recíbelo en 3 días

    20,91 €

  • Reason to Dissent
    This is Volume II of the proceedings of the 3rd European Conference on Argumentation: Reason to Dissent, held at the University of Groningen in June 2019.  The European Conference on Argumentation (ECA) is a pan-European biennial initiative aiming to consolidate and advance various strands of research on argumentation and reasoning by gathering scholars from a range of discipli...
    Recíbelo en 3 días

    23,23 €

  • Reason to Dissent
    This is Volume III of the proceedings of the 3rd European Conference on Argumentation: Reason to Dissent, held at the University of Groningen in June 2019.  The European Conference on Argumentation (ECA) is a pan-European biennial initiative aiming to consolidate and advance various strands of research on argumentation and reasoning by gathering scholars from a range of discipl...
    Recíbelo en 3 días

    23,15 €

  • Reason to Dissent
    This is Volume I of the proceedings of the 3rd European Conference on Argumentation: Reason to Dissent, held at the University of Groningen in June 2019.  The European Conference on Argumentation (ECA) is a pan-European biennial initiative aiming to consolidate and advance various strands of research on argumentation and reasoning by gathering scholars from a range of disciplin...
    Recíbelo en 3 días

    27,98 €

  • Kreisel’s Interests
    The contributions to this volume are from participants of the international conference Kreisel's Interests -- On the Foundations of Logic and Mathematics, which took place from 13 to 14 August 2018 at the University of Salzburg in Salzburg, Austria. The contributions have been revised and partially extended.  Among the contributors are Akihiro Kanamori, Göran Sundholm, Ulri...
    Recíbelo en 3 días

    19,77 €