-
There is a discrepancy between the main skills taught in primary
education and those important in later life: In particular, critical
and creative thinking skills remain insufficiently highlighted in
primary education. Nevertheless, it has been demonstrated that these
skills can be developed at p...
-
Flame was an advanced malware, used for espionage, which infected computers running a Microsoft Windows operating system. Once a computer in a local network was infected, Flame could spread to the other computers in the network via Windows Update, disguised as a security patch from Microsoft. Win...
-
An interpretative question Kant's Critique of Pure Reason raises, is how we should understand the relationship between the categories and the so-called 'logical forms of judgment' Kant deduces them from. In her Kant and the Capacity to Judge, B ~eatrice Longuenesse provides an answer to this ques...
-
A Final Coalgebra Theorem in the Context of Algebraic Set Theory
First presented by Joyal and Moerdijk, algebraic set theory is a novel way to look at models of set theory. Various theories such as CZF, IZF, ZF, BIST, CST have been successfully modelled into this framework as attests the work by ...
-
This thesis offers a critical overview of the debate on Wittgenstein’s
remarks on Gödel. These remarks—which have since their publication
been the source of much controversy—were said by early commentators to
show that (a) Wittgenstein did not understand the role consistency
plays in the proof of...
-
This thesis provides an analysis of the existing proof systems for
dynamic epistemic logic from the viewpoint of proof-theoretic
semantics. After an illustration of the basic principles of
proof-theoretic semantics, we review some of the most significant
proposals of proof systems for dynamic epi...
-
The Ultimatum Game (UG) is one of the widely studied games in
experimental economics. Past data shows a consistent deviation from the
classical game theory prediction, which suggests a self-interested money
maximizing rational agent would accept any nonzero offer as a responder.
However, in reali...
-
This thesis consists in the presentation of Thomas Aquinas' ontology
in relation to Aristotle's account of the nature of being. In the
first chapter an account of Presocratic thought is presented,
beginning from Thales and ending with Parmenides, who is often
characterized as the founder of metap...
-
In this thesis we investigate – under the assumption of the Axiom of Determinacy (AD) – the structure of the hierarchy of regular norms, a Wadge-type hierarchy of ordinal-valued functions that originally arose from Moschovakis’s proof of the First Periodicity Theorem in descriptive set theory. We...
-
Formal models for group knowledge can help philosophers gain
additional insight into the ramifications of the philosophical
concepts that they propose by clarifying the abstract properties of
these concepts and their relationship to alternative proposals. To
date, however, formal treatments of g...
-
Informational cascades occur when it is optimal for decision-makers to
abandon their own private information in favour of inferences they
make about other individuals' information. The informational cascade
model, centred on the core notion of Bayesian update, has been able to
explain, at least p...