-
Since the rise of Conceptual Metaphor Theory (CMT) in the 1980s, metaphor theorists have investigated the numerous and diverse effects that metaphor has on cognitive processes. It has been observed that in some recurring contexts, metaphoric language tends to be preferred to literal language and ...
-
The field of quantum information is rapidly developing and gaining increasing attention, due to its significant advancements in different areas such as quantum computing and quantum information theory and its relevance for a wide range of disciplines. However, there is a philosophical dimension t...
-
Several (position) papers have drawn attention to the challenges semantic underspecification may bring to modern language models, yet relatively little research has been done on this topic. We contribute to this area of research by presenting DUST, a dataset of underspecified sentences annotated ...
-
Intensional dependent type theories with an impredicative universe admit an encoding of inductive types similar to the one developed for System F. This technique suffers from one fatal flaw: its recursion principle (non-dependent elimination) does not satisfy the propositional η-rule. Equivalentl...
-
Wireless nodes in smart buildings have many benefits, but one of their drawbacks is the added complication of mapping the nodes on a floor plan after installation. Currently, it is common practice to manually record the location of each placed node. This is labor intensive and prone to error. In ...
-
This thesis introduces a novel doxastic logic, denoted as L_TB , which addresses the challenges posed by traditional accounts of hyperintensionality. In L_TB , we use the notion of topic-relevance to achieve hyperintensionality, modeling belief based on the fragments generated by topics and infor...
-
The priority method has been used to examine the structure of the semi-decidable degrees in computability theory. We discuss three classical results (the Friedberg-Muchnik theorem, the splitting theorem, and the thickness lemma) and discuss whether their proofs could be adapted to transfinite com...
-
This thesis is a proof-theoretical study of various systems of inquisitive logic. In the first part, we consider the basic system of propositional inquisitive logic, denoted by InqB (see, e.g., Ciardelli 2022). We construct a natural deduction system for InqB, prove a normalization theorem and es...
-
Salvatore Florio and Øystein Linnebo have recently put forward an argument against unrestricted comprehension in plural logic using plausible assumptions. Since mereology and plural logic are similar from a formal point of view, the question naturally arises whether this argument can be replicate...
-
In a deductive system, a rule is said to be admissible if the tautologies of the system are closed under its applications, and derivable if the rule itself holds in the system. Although every derivable rule is admissible, the converse is not true in general. A classical problem in the area is to ...
-
This thesis aims to investigate the semantics of wh-indefinites in Mandarin by focusing on a particular Mandarin wh-indefinite shenme (什么). Wh-indefinites have both indefinite and wh-interrogative uses. In its indefinite use, shenme behaves like an epistemic indefinite triggering an obligatory ig...