-
Brouwer's papers after 1945 are characterized by a technique, known as
the method of the creating subject. It has been supposed that the
method was radically new in his work, since Brouwer seems to introduce
an idealized mathematician into his mathematical practice. A newly
opened source, the unp...
-
Preference is a basic notion in human behaviour, underlying such
varied phenomena as individual rationality in the philosophy of action
and game theory, obligations in deontic logic (we should aim for the
best of all possible worlds), or collective decisions in social choice
theory. Also, in a mo...
-
Statements made to us not only update our current knowledge, but can
also have other dynamic effects. In particular, suggestions or
commands may 'upgrade' our current preferences. So far, much work has
been done on knowledge update, but little on explicit dynamic logics
of preference upgrade. We ...
-
-
The most natural way of thinking about negotiation is probably a
situation whereby each of the parties involved initially make a
proposal that is particularly beneficial to themselves and then
incrementally revise their earlier proposals in order to come to an
agreement. This idea has been formal...
-
If we are to take the notion of speech act seriously, we must be able
to treat speech acts as acts. In this paper, I will try to model
changes brought about by various acts of commanding in terms of a
variant of update logic. I will combine a multi-agent variant of the
language of monadic deont...
-
Optimality Theoretic Pragmatics is a (partly) formalized theory that
conforms to a dynamic neo-Gricean approach. It assumes one phase of
the updating process that involves the application of the so-called Q-
and I-principles. Critics of the theory have maintained that such an
approach does not di...
-
In Ancient Greek, as in any other language, the interrogative sentence
type is not always used in what we would consider 'normal' questions,
those that elicit information from the addressee. If we take that
function to be the default, the fact that questions can also be used
to assert something c...
-
We work under the assumption of the Axiom of Determinacy and associate
a measure to each cardinal below the supremum of the projective
ordinals in a recursive definition of a canonical measure
assignment. We give algorithmic applications of the existence of such
a canonical measure assignment (co...
-
-
We compare two logical notions of information, one from situation
theory based on correlation between situations, and one from epistemic
logic, based on ranges of alternatives. We show how both lead to
modal logics, that can be merged in a natural way, to obtain a
decidable guarded-style fragmen...