Transparent Logics. Small Differences with Huge Consequences

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



2 Transparent Logics

 2.1 Transparent Intensional Logic – the Foundations

 2.2 Transparent Intensional Logic: the 2010s (TIL2010)

 2.3 Transparent Hyperintensional Logic (THL)

 2.4 Transparent Procedural Logic (TPL)



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