
Books
prof. PhDr. Jiří Raclavský, Ph.D.
 Raclavský, Jiří (2020): Belief Attitudes, FineGrained Hyperintensionality and TypeTheoretic Logic.
Studies in Logic 88. ISBN 9781848903340, London: College Publications.
 backcover info:

The book Belief Attitudes, FineGrained Hyperintensionality and TypeTheoretic 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 typetheoretic semantics. The type theory receives here a Henkinstyle modeltheoretic specification and the supplemented Tichý's natural deduction in sequent style provides its prooftheoretic 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 extralogical constants, it is called Transparent Hyperintensional Logic (THL). THL is a higherorder 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 wellknown paradoxes such as Frege's paradox of identity, Cresswell's paradox of hyperintensional contexts, Hintikka's paradox of logical omniscience, ChurchFitch's paradox of knowability, or KaplanMontague'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
 Raclavský, Jiří (2019): Základy logiky přesvědčení [Foundations of the Logic of Beliefs].
ISBN 9788074653629, Červený Kostelec: Pavel Mervart.
errata
 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 9788021079731, Brno: Masarykova univerzita (Munipress).
 backcover 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.
 Raclavský, Jiří (2015): Úvod do logiky: klasická predikátová logika [Introduction to Logic: Classical Predicate Logic]. ISBN 9788021078673, Brno: Masarykova univerzita (Munipress).
 backcover 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.
 Raclavský, Jiří (2015): Úvod do logiky: klasická výroková logika [Introduction to Logic: Classical Propositional Logic]. ISBN 9788021077904, Brno: Masarykova univerzita (Munipress).
 backcover 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.
 Kuchyňka, Petr, Raclavský, Jiří (2014): Pojmy a vědecké teorie [Concepts and Scientific Theories]. ISBN 9788021067912, Brno: Masarykova univerzita (Munipress).
 backcover 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.
 Raclavský, Jiří (2011): Individua a jejich vlastnosti: studie z intenzionální metafyziky [Individuals and their Properties: Studies in Intensional Metaphysics]. ISBN 9788071822899, Olomouc: Nakladatelství Olomouc.
 backcover info

The book consists of studies which develope metaphysics based on Tichý's' intensional logic. The unifying topics of these studies are socalled 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, 783788.
 Raclavský, Jiří (2009): Jména a deskripce: logickosémantická zkoumání [Names and Descriptions: LogicoSemantical Investigations]. ISBN 9788071822776, Olomouc: Nakladatelství Olomouc.
 backcover 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. logickosémantická zkoumání. Organon F 17, 2, 257259.
 Podroužek, Juraj (2010): Jiří Raclavský: Jména a deskripce: logickosémantická zkoumání. Filozofia 65, 8, 804806.
 Šebela, Karel (2010): Jiří Raclavský: Jména a deskripce: logickosémantická zkoumání. Filosofický časopis 58, 6, 933936.
Last update: 06/11/2020
