-
This thesis presents a conceptual framework of anthropomorphic language in AI research that serves as a theoretical baseline for evaluating existing approaches for its detection. Drawing on existing work, a taxonomy of human-like attributes frequently ascribed to AI systems is outlined. Relying o...
-
This thesis studies tense information logic (TIL), an extension of modal information logic (MIL). MIL was introduced by van Benthem [2] to model information flow using possible worlds semantics by adding a binary modality ⟨sup⟩ to the language of propositional logic, interpreted via the supremum ...
-
In this thesis we present a novel topological duality for not-necessarily-distributive residuated lattice ordered groupoids by modifying a recent duality for bounded lattices established by Bezhanishvili et al. (2024). Our duality establishes a natural connection between the algebraic semantics o...
-
Whereas classical logic treats disjunction as a simple truth-functional connective, its expression in natural language is significantly more complex and polyfunctional. This thesis addresses this complexity by developing a novel functional classification for disjunctive expressions, based on an a...
-
Approval-based committee voting (ABC voting) is a form of multi-winner voting in which all voters admit a set of candidates they approve of as their ballot. After all ballots are collected, a winning committee of size k is chosen. An important class of axioms in this context are the proportionali...
-
This thesis introduces and develops the framework of Numerical Judgment Aggregation (NJA), extending classical judgment aggregation to settings where agents express numerical judgments over general variables. Unlike traditional models, NJA allows for more expressive inputs and outputs, accommodat...
-
In 1970, Solovay produced a model of ZF + DC in which all sets of reals are Lebesgue measurable. In order to achieve this, he worked in ZFC with the assumption that an inaccessible cardinal exists (I). In 1984, Shelah proved that this cannot be achieved without assuming the existence of an inacce...
-
In binary aggregation (with integrity constraints), a group of voters votes on a set of issues. Each person votes by submitting a ballot in the form of a binary vector, stating for each issue whether they accept or reject it. An integrity constraint is a propositional formula over the different i...
-
Logical omniscience is widely discussed within formal epistemology. An agent is said to be logically omniscient if their knowledge and belief is closed under logical consequence. Such a closure may be an ideal to strive for but, in the interest of modeling realistic agents, is something we may wa...
-
Formal epistemologists design and study formalisms that represent concepts or processes from mainstream epistemology. The purpose of this is either to contribute to mainstream epistemology literature by showing relationships between or implications of theories and concepts, or to be used in imple...
-
Since the emergence of large language models (LLMs), there has been growing interest in the question of whether they produce meaningful outcomes (henceforth, the Problem of Meaning in LLMs). In the literature, “producing meaningful outputs” has been understood either as a manifestation of genuine...