Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a quantum system. We argue, by proving a mathematical theorem, that they capture the essentials of this relation. Based on this, we investigate the rationale behind these conditions in the form of six physical hypotheses. Along the way, we reveal an implicit theoretical assumption in theories of physics and prove a theorem which formalizes the idea that the Superposition (...) Principle makes quantum physics different from classical physics. The work follows the paradigm of mathematical foundations of quantum theory, which I will argue by methodological reflection that it exemplifies a formal approach to analysing concepts in theories. (shrink)

It is well known that the non-orthogonality relation between the (pure) states of a quantum system is reflexive and symmetric, and the modal logic $$\mathbf {KTB}$$ is sound and complete with respect to the class of sets each equipped with a reflexive and symmetric binary relation. In this paper, we consider two properties of the non-orthogonality relation: Separation and Superposition. We find sound and complete modal axiomatizations for the classes of sets each equipped with a reflexive and symmetric relation that (...) satisfies each one of these two properties and both, respectively. We also show that the modal logics involved are decidable. (shrink)