prof. Jiří Raclavský, Ph.D.

About  Official CV  Books  On-line Papers  Contact

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.
  • Content (the book has 243 pages, it's 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
    • cover
    • errata
  • 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.
  • Back-cover info:
    • Kniha přináší nový a doširoka rozvinutý přístup k postojům přesvědčení (vědění, domnívání se atd.). Kniha předně prezentuje důslednou a efektivní revizi Tichým navrženého systému hyperintenzionální analýzy významů přirozeného jazyka, včetně vět o přesvědčení. Revizi inicioval autorův spolupracovník Kuchyňka. Tato Transparentní hyperintenzionální logika je aktuálním příspěvkem k typově teoretické sémantice. Dále kniha podává zásadní reexpozici Tichého parciální teorie typů - včetně příslušného dedukčního systému. Systematické aplikace těchto systémů v několika kapitolách provede čtenáře úskalími Fregeho paradoxu identity, Cresswellova paradoxu hyperintenzionálních kontextů, a několika epistemickými paradoxy (např. paradoxu poznatelnosti).
  • The book has 193 pages, it's divided into 7 chapters and 1 appendix on epistemic logic
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.
  • Content (the book has 322 pages, it's divided into 14 chapters):
  • The book has been awarded The FF MU Dean Prize for Exceptional Scientific Contribution 2016
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.
  • Content (the book has 348 pages, it's divided into 15 chapters):
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.
  • Content (the book has 238 pages, it's divided into 15 chapters):
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.
  • Content (the book has 139 pages, it's divided into 7 chapters):
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 s.r.o.
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 s.r.o.
  • 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.
  • Content (the book has 396 pages = 590 standard pages, over 1 million of characters):

Up / Home

Last update: 1/9/2025 © 2025