The book presents Transparent Intensional Logic in several of its latest realisations in such a way that it makes a case for the system and demonstrates how the theory can be applied to a wide range of cases. The work strikes a good balance between the philosophical-conceptual and the logical-formal.
Transparent Logics prioritises depth over breadth and focuses on advanced formal semantics and philosophical logic, going beyond a mere introduction to the subject, but delving into the details instead.
Miloš Kosterec, Ph.D. (1986), Institute of Philosophy, Slovak Academy of Sciences, is a researcher in analytic philosophy, semantics, and philosophical logics. He has published papers in such journals as
Journal of Philosophical Logic,
Analysis and
Erkenntnis.
1
Introduction 1.1 Hyperintensionality
1.2 A Crash Course in TIL
1.3 To Structure or Not to Structure
3
Applications 3.1 An Extensional Logic for Hyperintensional Contexts
3.2 The Logic of Intensions
3.3 Co-hyperintensionality
3.4 Fiction
Appendix: Derivational Rules of NDTTT for THL References Index
This book is intended for scholars and researchers active in the areas of philosophical logic, philosophy of language, and (formal and informal) semantics.