-
Arrow's Theorem is a central result in social choice theory. It states
that, under certain natural conditions, it is impossible to aggregate the
preferences of a finite set of individuals into a social preference
ordering. We formalise this result in the language of first-order logic,
thereby r...
-
The logic \mu(U) is the fixpoint extension of the "Until"-only
fragment of linear-time temporal logic. It also happens to be the
stutter- invariant fragment of linear-time \mu-calculus
\mu(\diamond). We provide complete axiomatizations of \mu(U) on the
class of finite words and on the class of \o...
-
Classical epistemic logic describes implicit knowledge of agents about
facts and knowledge of other agents, based on semantic
information. The latter is produced by acts of observation or
communication, that are described well by dynamic epistemic
logics. What these logics do not describe, howeve...
-
In this brief note, I raise a few worries about interpreting the
Lambek Calculus, admired and cherished by connoisseurs, as a base
logic for all information flow. I do this by confronting its
proof-theoretic and geometrical flavour with dynamic epistemic logic.
-
With terms allowed in types, the Logic of Proofs (LP) has its
polynomials as advanced combinatory terms. As a result, types of the
form t: ϕ(t), which have self-referential meanings, are also
included. If we can fix the class of non-self-referential-realizable
S4-theorems, then we may find some S...
-
The paper presents a study examining the role of working memory in
quantifier verification. We created situations similar to the span
task to compare numerical quantifiers of low and high rank, parity
quantifiers and proportional quantifiers. The results enrich and
support the data obtained previ...
-
Contradiction between sharp propositions is a major engine of progress
in logic, both in reasoning and in related tasks. And yet, in
communicative practice, we often try to avoid conflict, and logic also
has several strategies for 'defusing' contradictions. This paper
discusses some of these, inc...
-
Logic and philosophy of science share a long history, though contacts
have gone through ups and downs. This paper is a brief survey of some
major themes in logical studies of empirical theories, including links
to computer science and current studies of rational agency. The survey
has no new resu...
-
The last two decades have seen an explosion of interest in mathematical
and computational models of language evolution. Formal modelling is
seen by increasingly many in the field as an approach that ensures
internal consistency of evolutionary scenarios. However, there has
been little attention ...
-
The Corpus Gesproken Nederlands (CGN) is a large corpus of spoken
Dutch, partly annotated with syntactic and phonological information
(see http://lands.let.kun.nl/cgn/). Although it contains files with
syllabified words, and word frequency counts, there is no direct way to
extract from it a list ...
-
The peer review process has been the topic of many studies in the
medical sciences, but not so in mathematics. Given that mathematicians
refer to results from the literature without checking the proofs in
detail, it is interesting to see how the mathematical refereeing
process affects the epistem...