-
We investigate the truth conditions of knowledge ascriptions for the
case of mathematical knowledge. The availability of a formalizable
mathematical proof appears to be a natural criterion: (*) X knows that
p iff X has available a formalizable proof of p. Yet, formalizability
plays no major role...
-
The paper is an exploration of the old Chinese texts called the the
Mohist Canons from a modern logical perspective. We explain what the
Mohists have contributed to logic, while we also provide some new
interpretations of the issues discussed in the Canons.
-
We make a proposal for formalizing simultaneous games at the
abstraction level of player's powers, combining ideas from dynamic
logic of sequential games and concurrent dynamic logic. We prove
completeness for a new system of 'concurrent game logic' CDGL with
respect to finite non-determined game...
-
Preference Representation with Weighted Goals:
Expressivity, Succinctness, Complexity
Joel Uckelman, Ulle Endriss
Abstract:
The representation of preferences of agents is a central feature in
many AI systems. In particular when the number of alternatives to be
considered may become large, the ...
-
We consider collective quantification in natural language. For many
years the common strategy in formalizing collective quantification has
been to define the meanings of collective determiners, quantifying
over collections, using certain type-shifting operations. These
type-shifting operations, i...
-
Hintikka and Sandu's Independence-friendly logic has traditionally
been associated with extensive games of imperfect information. In this
paper we set up a strategic framework for the evaluation of IF logic a
la Hintikka and Sandu. We show that the traditional semantic
interpretation of IF logic ...
-
Neighbourhood structures are the standard semantic tool used to reason
about non-normal modal logics. In coalgebraic terms, a neighbourhood
frame is a coalgebra for the contravariant powerset functor composed
with itself, denoted by 2^2. In our paper, we investigate the
coalgebraic equivalence no...
-
The origins of treating agency as a modal concept go back at least to
the 11th century when Anselm, Archbishop of Canterbury, provided a
modal explication of the Latin _facere_ 'to do', which can be
formalized within the context of modern modal logic and neighborhood
semantics. The agentive logic...
-
In this paper, we present a paradigm for the philosopher of
mathematics who takes mathematical practice seriously: Empirical
Philosophy of Mathematics. In this philosophical paradigm, we use
empirical methods (from sociology, psychology, cognitive science,
didactics) to evaluate empirical questio...
-
In this introduction we discuss the motivation behind the workshop
``Towards a New Epistemology of Mathematics'' of which this special
issue constitutes the proceedings. We elaborate on historical and
empirical aspects of the desired new epistemology, connect it to the
public image of mathematics...
-
Following [Bezhanishvili & Vosmaer 2007] we confirm a conjecture of
Yde Venema by piecing together results from various
authors. Specifically, we show that if $\mathbb{A}$ is a residually
finite, finitely generated modal algebra such that
$\operatorname{HSP}(\mathbb{A})$ has equationally definabl...