Books


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

  • Raclavský, Jiří (2020): Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic. Studies in Logic 88. ISBN 978-1-84890-334-0, London: College Publications.
  • back-cover info:
    • 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 Tichý (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 Tichý'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ňka's initial revision of Tichý'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.
  • cover
  • errata
  • the book has 243 pages, it is divided into 7 chapters, 1 appendix
    • Preface
    • Contents
    • 1. Introduction
    • 2. Partial Type Theory
    • 3. Natural Deduction for Partial Type Logic
    • 4. Transparent Hyperintensional Logic
    • 5. Belief and Substitution
    • 6. Limits of Belief and Knowledge
    • 7. Belief and Paradoxes
    • Appendix
    • Bibliography
    • Index of Names
    • Index of Subjects
    • Index of Main Symbols and Abbreviations
  • info at College Publication: https://www.collegepublications.co.uk/logic/?00046




    Základy logiky přesvědčení

  • Raclavský, Jiří (2019): Základy logiky přesvědčení [Foundations of the Logic of Beliefs]. ISBN 978-80-7465-362-9, Červený Kostelec: Pavel Mervart.
  • errata




      • Transparentní intenzionální logika

    • Raclavský, Jiří, Kuchyňka, Petr, Pezlar, Ivo (2015): Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator [Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator]. ISBN 978-80-210-7973-1, Brno: Masarykova univerzita (Munipress).
    • back-cover info:
      • The book "Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator" provides the foundations of Transparent Intensional Logic (TIL) which was developed by the logician and philosopher Pavel Tichý in his New Zealand exile. The book focuses on TIL as a logic sui generis, which lead to the expansion of its former boundaries and many quite new findings are presented. The main aim of the book is to show that TIL is not only a powerful characteristica universalis, but also a noteworthy calculus ratiocinator.




      Klasická predikátová logika

    • Raclavský, Jiří (2015): Úvod do logiky: klasická predikátová logika [Introduction to Logic: Classical Predicate Logic]. ISBN 978-80-210-7867-3, Brno: Masarykova univerzita (Munipress).
    • back-cover info
      • The book "Introduction to Logic: Classical Predicate Logic" the second part of an introduction to logic which is intended primarily for students in humanities and related subjects. The book presents main information about predicate logic, whereas an accent is put on the notion of entailment. The reader is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The book involves a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.




      Klasická výroková logika

    • Raclavský, Jiří (2015): Úvod do logiky: klasická výroková logika [Introduction to Logic: Classical Propositional Logic]. ISBN 978-80-210-7790-4, Brno: Masarykova univerzita (Munipress).
    • back-cover info
      • The book "Introduction to Logic: Classical Propositional Logic" is the first part of an introduction to logic which is intended primarily for students in humanities and related subjects. The book presents not only the main information about propositional logic, whereas an accent is put on the notion of entailment. The reader is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The book involves a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.




      Pojmy a vědecké teorie

    • Kuchyňka, Petr, Raclavský, Jiří (2014): Pojmy a vědecké teorie [Concepts and Scientific Theories]. ISBN 978-80-210-6791-2, Brno: Masarykova univerzita (Munipress).
    • back-cover info
      • The book Concepts and Scientific Theories focuses on the way our theories are undermined by our parcelling out the external world, while the way we use concepts to parcel out it is undermined by the theories we prefer. We put forward certain approach to language and concepts - pioneered by the Czech logician and philosopher Pavel Tichý - and demonstrate how to solve some problems of the theory of science.




      Individua a jejich vlastnosti

    • Raclavský, Jiří (2011): Individua a jejich vlastnosti: studie z intenzionální metafyziky [Individuals and their Properties: Studies in Intensional Metaphysics]. ISBN 978-80-7182-289-9, Olomouc: Nakladatelství Olomouc.
    • back-cover info
      • The book consists of studies which develope metaphysics based on Tichý's' intensional logic. The unifying topics of these studies are so-called bare individuals and kinds of their properties.
      reviewed by
    • Bielik, Lukáš (2012): Jiří Raclavský: Individua a jejich vlastnosti: studie z intenzionální metafyziky, Filosofický časopis, 60, 5, 783-788.




      Jména a deskripce

    • Raclavský, Jiří (2009): Jména a deskripce: logicko-sémantická zkoumání [Names and Descriptions: Logico-Semantical Investigations]. ISBN 978-80-7182-277-6, Olomouc: Nakladatelství Olomouc.
    • back-cover info
      • The book investigates various logical and semantical problems related to proper names and descriptions. Especially the puzzles connected with a=b statements have been already studied by Frege and Russell. Their theories and the alternative propsals are still among the most discussed topics within the current analytical philosophy of language. Proposed solutions to the puzzles are framed within Tichýs transparent intensional logic and utilize his semantic theory.
      reviewed by:
    • Geistová Čakovská, Barbora (2010): J. Raclavský, Jména a deskripce. logicko-sémantická zkoumání. Organon F 17, 2, 257-259.
    • Podroužek, Juraj (2010): Jiří Raclavský: Jména a deskripce: logicko-sémantická zkoumání. Filozofia 65, 8, 804-806.
    • Šebela, Karel (2010): Jiří Raclavský: Jména a deskripce: logicko-sémantická zkoumání. Filosofický časopis 58, 6, 933-936.

    Last update: 25/03/2023
    Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic Základy logiky přesvědčení Transparentní_intenzionální_logika Klasická predikátová logika
    Klasická výroková logika Pojmy a vědecké teorie Individua a jejich vlastnosti Jména a deskripce




    ---------------->