-
The thesis focuses on Chisholm's paradox and offers a philosophical comparative analysis using three logical frameworks in which the paradox can be formalised. Chapter 1 considers Standard Deontic Logic and tracks down the causes of its well-known inadequacies in copying with contrary-to-duty obl...
-
Logic plays a fundamental role in Kant's transcendental philosophy. The general presupposition is that Kant's logic can be subsumed under the Aristotelian tradition. However, with respect to this presupposition some problems arise in Kant's philosophy. This thesis takes a new approach to Kant's l...
-
This thesis is about one-step algebras and frames and their relation to the proof theory of non-classical logics. We show how to adapt the framework of modal one-step algebras and frames from [11] to intuitionistic logic. We prove that, as in the modal case, extension properties of one-step Heyti...
-
In Stable Marriage Problems two groups of agents have preferences over being paired with one another. The Deferred Acceptance Algorithm is a great and elegant tool for finding stable matchings for these Stable Marriage Problems, where no blocking pair, consisting of two agents that would rather b...
-
In the history of science, it has often occured that an entire community of scientists believes in a theory that is later proven to be wrong. For example, in 1915, Einstein and De Haas published a paper on the Einstein-De Haas effect. During the years after, experimental results showing that the ...
-
This thesis aims to provide a conceptual framework that unifies Leitgeb’s theory of stable beliefs, Battigalli-Siniscalchi’s notion of strong belief and the notions of core, a priori, abnormal and conditional belief studied by Van Fraassen and Arló-Costa.
We will first present the difficulties of...
-
People's perception can be influenced by framing a message in different ways. For example, decision makers are often favourably disposed towards a medical treatment with a 60% success rate, but less often to one with a 40% failure rate. This suggests that human judgement or decision making is not...
-
Plural logic adds to singular logic plural variables and a two-place connective ‘is/are among’, written ‘ ’. Superplural logic adds to plural logic higher-level variables and higher-level two-place connectives ‘are among’, written ‘ n’. This thesis examines the linguistic, logical, and philosophi...
-
Knowing the limits of argumentation, and thereby avoiding useless reasongivings is an important real-life problem. Our aim in this thesis is to find out the ramifications of the later works of Wittgenstein, especially of his On Certainty, concerning this problem. Although our discussion concerns ...
-
Structuralism is the view that mathematics is the science of structure. It has been noted that category theory expresses mathematical objects exactly along their structural properties. This has led to a programme of categorical structuralism, integrating structuralist philosophy with insights fro...
-
The aim of this thesis is to augment dynamic epistemic logic and its framework in order to model planning problems where coalitions of agents try to reach a given goal. We add an additional control relation to the static epistemic models and action models of DEL, similar to choice equivalence in ...