-
We study quantum entanglement and some of its applications in graph
theory and zero-error information theory.
In Chapter 1 we introduce entanglement and other fundamental concepts
of quantum theory. Entanglement was first described in 1935 by
Einstein, Podolsky and Rosen, who observed that it a...
-
What is the nature of human inference? How does it work, why does it work that way, and how might we like it to work? I advance a framework for answering these questions in tandem, with a rich interplay between normative and descriptive considerations. Specifically, I explore a view of inference ...
-
This thesis is divided into five separate chapters, each of which deals with an issue related to vagueness. These chapters are adaptations of manuscripts to be published as papers in various journals. Their abstracts as they (will) appear in these journals are repeated below (but with 'paper' rep...
-
While propositional attitudes---like knowledge and belief---capture an agent's opinion about a particular piece of information, dynamic attitudes, as understood in this dissertation, capture an agent's opinion about a particular source of information, more precisely: they represent the agent's as...
-
Affecting meaning. Subjectivity and evaluativity in gradable adjectives
María Inés Crespo
This dissertation investigates the meaning of gradable adjectives like 'tasty' and 'long', and of sentences we can produce with these terms. In English you can say, for instance, "This cake is tasty" or "T...
-
In this dissertation, I have presented a series of case studies in linguistics, psychology, and statistics. These case studies have taken up a variety of theories, concepts, and debates, and have in each case attempted to shed new light on these topics by consistently focusing on foundational iss...
-
This thesis is an in-depth mathematical study of the non-orthogonality relation in quantum theory.
Quantum mechanics is a crucial part of modern physics. Although it is very successful in describing microscopic phenomena, its conceptual essence is still not well understood. Its standard formalis...
-
In this thesis, we study correspondence and canonicity for non-classical logic using algebraic and order-topological methods. Correspondence theory is aimed at answering the question of how precisely modal, first-order, second-order languages interact and overlap in their shared semantic environ...
-
This dissertation, entitled Fragments of Fixpoint Logics: Automata and
Expressiveness, studies the relative expressive power and properties of
several fixpoint and second-order logics. We use the term fixpoint logic in
a broad sense, referring to any logic which can encode some type of
recursion,...
-
This dissertation pursues two tightly interwoven goals: to bring out the relevance of questions for the field of logic, and to establish a solid theory of the logic of questions within a classical logical setting. These enterprises feed into each other: on the one hand, the development of our fo...
-
This thesis uses logical tools to investigate a number of basic features of social networks and their evolution over time, including flow of information and spread of opinions.
Part I contains the preliminaries, including an introduction to the basic phenomena in social networks that call for a...