Online research in philosophy

Taking the lead from orthodox quantum theory, I will introduce a handy generalization of the Boolean approach to propositions and questions: the orthoalgebraic framework. I will demonstrate that this formalism relates to a formal theory of questions (or ‘observables’ in the physicist’s jargon). This theory allows formulating attitude questions, which normally are non-commuting, i.e., the ordering of the questions affects the answer behavior of attitude questions. Further, it allows the expression of conditional questions such as “If Mary reads the book, (...) will she recommend it to Peter?”, and thus gives the framework the semantic power of raising issues and being informative at the same time. In the case of commuting observables, there are close similarities between the orthoalgebraic approach to questions and the Jäger/Hulstijn approach to question semantics. However, there are also differences between the two approaches even in case of commuting observables. The main difference is that the Jäger/Hulstijn approach relates to a partition theory of questions whereas the orthoalgebraic approach relates to a ‘decorated’ partition theory (i.e. the elements of the partition are decorated by certain semantic values). Surprisingly, the orthoalgebraic approach is able to overcome most of the difficulties of the Jäger/Hulstijn approach. Furthermore, the general approach is suitable to describe the different types of (non-commutative) attitude questions as investigated in modern survey research. Concluding, I will suggest that an active dialogue between the traditional model-theoretic approaches to semantics and the orthoalgebraic paradigm is mandatory. (shrink)

We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.

A proposal for an objective interpretation of probability is introduced and discussed: probabilities as deriving from ranges in suitably structured initial-state spaces. Roughly, the probability of an event on a chance trial is the proportion of initial states that lead to the event in question within the space of all possible initial states associated with this type of experiment, provided that the proportion is approximately the same in any not too small subregion of the space. This I would like to (...) call the “natural-range conception” of probability. Providing a substantial alternative to frequency or propensity accounts of probability in a deterministic setting, it is closely related to the so-called “method of arbitrary functions”. It is explicated, confronted with certain problems, and some ideas how these might be overcome are sketched and discussed. (shrink)

When seeking to coordinate in a game with imperfect information, it is often relevant for a player to know what other players know. Keeping track of the information acquired in a play of infinite duration may, however, lead to infinite hierarchies of higher-order knowledge. We present a construction that makes explicit which higher-order knowledge is relevant in a game and allows us to describe a class of games that admit coordinated winning strategies with finite memory.

Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures.

This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificational) argument dependencies are operator-variable dependencies. The interesting twist the paper offers is to eliminate the need for syntax that serves to enforce what the operator-variable dependencies are. Instead the role of ensuring grammatical and generally unambiguous forms is taken up by semantics imposing what are dependency requirements for any interpretation to go through at (...) evaluation time. With this viewpoint there emerges an essential need for localities as the hiding of (embedded) expression material, together with a (limited) form of garbage collection to release grammatical resources used in the current locality for reuse in subsequent localities. (shrink)

This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). The initial attempt to “merge” DEL and ETL was made in van Benthem et al. (Merging frameworks for interaction: DEL and ETL, 2007) and followed up by van Benthem et al. (J Phil Logic 38(5):491–526, 2009) and Hoshi (Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University Stanford, 2009a). The merged framework provides a (...) systematic comparison between these two logical systems and studies new logics of intelligent interaction. This paper presents the main results and the recent developments at the interface between DEL and ETL. (shrink)

Impossible worlds are regarded with understandable suspicion by most philosophers. Here we are concerned with a modal argument which might seem to show that acknowledging their existence, or more particularly, the existence of some hypothetical (we do not say “possible”) world in which everything was the case, would have drastic effects, forcing us to conclude that everything is indeed the case—and not just in the hypothesized world in question. The argument is inspired by a metaphysical (rather than modal-logical) argument of (...) Paul Kabay’s which would have us accept this unpalatable conclusion, though its details bear a closer resemblance to a line of thought developed by Jc Beall, in response to which Graham Priest has made some philosophical moves which are echoed in our diagnosis of what goes wrong with the present modal argument. Logical points of some interest independent of the main issue arise along the way. (shrink)

Diachronic uncertainty, uncertainty about where an agent falls in time, poses interesting conceptual difficulties. Although the agent is uncertain about where she falls in time, this uncertainty can only obtain at a particular moment in time. We resolve this conceptual tension by providing a transformation from models with diachronic uncertainty relations into “equivalent” models with only synchronic uncertainty relations. The former are interpreted as capturing the causal structure of a situation, while the latter are interpreted as capturing its epistemic structure (...) . The models are equivalent in the sense that agents pass through the same information sets in the same order, In this paper, we investigate how such a transformation may be used to define an appropriate notion of equivalence, which we call epistemic equivalence . Although our project is motivated by problems which have arisen in a variety of disciplines, especially philosophy and game theory, our formal development takes place within the general and flexible framework provided by epistemic temporal logic. (shrink)

We consider a new fragment of first-order logic with two variables. This logic is defined over interval structures. It constitutes unary predicates, a binary predicate and a function symbol. Considering such a fragment of first-order logic is motivated by defining a general framework for event-based interval temporal logics. In this paper, we present a sound, complete and terminating decision procedure for this logic. We show that the logic is decidable, and provide a NEXPTIME complexity bound for satisfiability. This result shows (...) that even a simple decidable fragment of first-order logic has NEXPTIME complexity. (shrink)

The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...) of the original. (shrink)

We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata , in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages has good (...) closure properties, leading to a Kleene-type theorem using what we call regular knowledge expressions . These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory. (shrink)

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.