-
On First Order Information Exchange
Paul Dekker
ILLC / UvA, Department of Philosophy
This paper is concerned with the felicitous exchange of first order
information. What licenses a speaker to convey open propositions or to
utter sentences with pronouns? Although Grice's maxims of ...
-
-
In this paper the notion of bounded bisimulation is introduced to explore
connections between work on Kripke models, nonwellfounded sets and knowledge
structures. The paper is organized as follows. The next section contains
definitions of bisimulation and bounded bisimulation on Kripke models...
-
The paper presents a simple format for typed logics with states by adding a
function for register update to standard typed lambda calculus. It is shown
that universal validity of equality for this extended language is decidable
(extending a wellknown result of Friedman for typed lambda calcul...
-
-
Modern logic is often defined in terms of specific formal languages, rules,
and calculi. Such architectural decisions about a field form a pervasive
implicit definition which determines professional practice -- through the
structure of textbooks, as well as the research agenda that determines ...
-
A variant of Reiter's default logic is proposed as a logic for reasoning with
(defeasible) observations. Traditionally, default rules are assumed to
represent generic information and the facts are assumed to represent specific
information about the situation, but in this paper, the specific inf...
-
A variable free notation for dynamic logic is proposed which takes its cue
from De Bruijn's variable free notation for lambda calculus. De Bruijn
indexing replaces variables by indices which indicate the distance to their
binders. We propose to use reverse De Bruijn indexing, which works almos...
-
The problem of how to remove information from an agent's stock of beliefs is
of paramount concern in the belief change literature. An inquiring agent may
remove beliefs for a variety of reasons: a belief may be called into doubt or
the agent may simply wish to entertain other possiblities. In ...
-
In this article we argue that the difference between indefinites
and definites with respect to their syntactic behaviour, in particular
scrambling, follows from a difference in their semantics. In general,
definites can be viewed as a special type of indefinites: they are
restricted indefinites i...
-
The role of consciousness and intentionality in perception, semantics,
representations, and rules
Renate Bartsch
This paper discusses the role of consciousness in the distinctions between
reception and perception, between a purely causal and a referential or
denotational semantics, and betw...