In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are (...) closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences. (shrink)

Mutual perceptual knowledge is a prevalent feature of our everyday lives, yet appears to be exceptionally difficult to characterise in an acceptable way. This paper argues for a renewed understanding of Stephen Schiffer’s iterative approach to mutual knowledge, according to which mutual knowledge requires an infinite number of overlapping, embedded mental states. It is argued that the charge of ‘psychological implausibility’ that normally accompanies discussion of this approach can be offset by identifying mutual knowledge, not with the infinite iterations themselves, (...) but with the finite base which Schiffer proves is capable of generating those iterations. An understanding of this finite base as a primitive, relational property holding between two or more people, allows us to understand the iterations as an implicit and ‘harmless’ intrapersonal feature of what is an interpersonal phenomenon. The paper concludes by relating the account to joint attention in infant interaction. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

Our paper discusses Recanati’s application of the mental files apparatus to reports of beliefs and other attitudes. While mental files appear early on in Recanati’s work on belief-reports, his latest book introduces the concept of indexed files (a.k.a. vicarious files) and puts it to work to explain how we can report other people’s attitudes and to account for opacity phenomena. Our goal is twofold: we show that the approach in Recanati’s Mental Files (Oxford: Oxford University Press, 2012) departs significantly from (...) his earlier proposals as well as from the very spirit of truth-conditional pragmatics; and we argue that the indexed files approach, qua an attempt to provide a semantics for belief-reports, is untenable. -/- . (shrink)

In this paper, I argue that there are good motivations for a relativist account of the domain-sensitivity of quantifier phrases. I will frame the problem as a puzzle involving what looks like a logically valid inference, yet one whose premises are true while the conclusion is false. After discussing some existing accounts, literalist and contextualist, I will present and argue for an account that may be said to be relativist in the following sense: (i) a domain of quantification is required (...) for determining truth value, but is idle in determining semantic content, and (ii) the same sentence, as used on one and the same occasion, may receive different truth values relative to different domains. (shrink)

Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for multiagent systems, which we dub spheres of commitment. We identify the key operations on commitments and multiagent systems. We distinguish between explicit and implicit commitments. Multiagent systems, viewed as spheres of commitment (SoComs), provide the context for the different operations on commitments. Armed with the above ideas, we can capture normative concepts such as obligations, (...) taboos, conventions, and pledges as different kinds of commitments. In this manner, we synthesize ideas from multiagent systems, particularly the idea of social context, with ideas from ethics and legal reasoning, specifically that of directed obligations in the Hohfeldian tradition. (shrink)

Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...) introduce an aboutness-based account of truthmaking as a metaphysically modest alternative to the orthodox necessitarian account of truthmaking. Second, I discuss the distinction between states and events that has been made on the basis of linguistic evidence regarding aspectual markers and nominalisation. I argue that the modest approach to truthmaking allows us to accept that there is a real distinction between states and events without requiring that the distinction is ontologically substantial. Specifically, what we are talking about with state-truthbearers really differs from what we are talking about with event-truthbearers, but this difference need not be understood as a difference in kinds of entities. Because of its overall modesty, this is a theoretically virtuous result. (shrink)

In a recent paper (Linguistics and Philosophy 23, 4, June 2000), Jason Stanley argues that there are no `unarticulated constituents', contrary to what advocates of Truth-conditional pragmatics (TCP) have claimed. All truth-conditional effects of context can be traced to logical form, he says. In this paper I maintain that there are unarticulated constituents, and I defend TCP. Stanley's argument exploits the fact that the alleged unarticulated constituents can be `bound', that is, they can be made to vary with the values (...) introduced by operators in the sentence. I show that Stanley's argument rests on a fallacy, and I provide alternative analyses of the data. (shrink)

In the first part of this paper I present a defence of the Austinian semantic approach to incomplete quantifiers and similar phenomena (section 2-4). It is part of my defence of Austinian semantics that it incorporates a cognitive dimension (section 4). This cognitive dimension makes it possible to connect Austinian semantics to various cognitive theories of discourse interpretation. In the second part of the paper (sections 5-7), I establish connections between Austinian semantics and four particular theories: • the theory of (...) reference and modes of presentation in terms of information files (see e.g. Perry 1993), • the theory of discourse interpretation as involving a process of context selection (see Sperber and Wilson 1986), • the theory of informational structure (for a survey, see Lambrecht 1994), • the theory of mental spaces (Fauconnier 1985). (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross- reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling and reasoning (...) proceed in practice. (shrink)

If one were to write a book titled TheVarieties of Self-Consciousness, one would start off with some distinctions. It will help to locate my topic in relation to those distinctions.The first distinction concerns that kind of self-consciousness which involves only the minimal ability on the part of a subject to self-represent, to be in mental states with first person content, be it conceptual or nonconceptual. This minimal ability involves very little as compared with the more sophisticated states of which humans (...) are capable. First person content can be present in the perceptual states of a creature capable of representing only some of its physical states and its relations to the physical environment, and not capable of representing anything beyond that. So the first distinction is between this minimal case, and richer varieties of self-consciousness. Some writers use ‘self-conscious’ to apply to a subject who is in any mental state involving first person content, and so they would appl. (shrink)

This paper extends Parikh's earlier work in semantics with games of partial information and attempts to derive and represent the full content of an utterance from first principles. It also discusses various ways in which this content may be indeterminate.

People reject ‘paradoxical’ inferences, such as: Luisa didn't play music; therefore, if Luisa played soccer, then she didn't play music. For some theorists, they are invalid for everyday conditionals, but valid in logic. The theory of mental models implies that they are valid, but unacceptable because the conclusion refers to a possibility inconsistent with the premise. Hence, individuals should accept them if the conclusions refer only to possibilities consistent with the premises: Luisa didn't play soccer; therefore, if Luisa played a (...) game then she didn't play soccer. Two experiments corroborated this prediction for three sorts of ‘paradox’, including a disjunctive paradox. (shrink)

In this article, I present a software architecture for intelligent agents. The essence of AI is complex information processing. It is impossible, in principle, to process complex information as a whole. We need some partial processing strategy that is still somehow connected to the whole. We also need flexible processing that can adapt to changes in the environment. One of the candidates for both of these is situated reasoning, which makes use of the fact that an agent is in a (...) situation, so it only processes some of the information – the part that is relevant to that situation. The combination of situated reasoning and context reflection leads to the idea of organic programming, which introduces a new building block of programs called a cell. Cells contain situated programs and the combination of cells is controlled by those programs. (shrink)

Those inclined to believe in the existence of propositions as traditionally conceived might seek to reduce them to some other type of entity. However, parsimonious propositionalists of this type are confronted with a choice of competing candidates – for example, sets of possible worlds, and various neo-Russellian and neo-Fregean constructions. It is argued that this choice is an arbitrary one, and that it closely resembles the type of problematic choice that, as Benacerraf pointed out, bedevils the attempt to reduce numbers (...) to sets – should the number 2 be identified with the set Ø or with the set Ø, Ø? An “argument from arbitrary identification” is formulated with the conclusion that propositions (and perhaps numbers) cannot be reduced away. Various responses to this argument are considered, but ultimately rejected. The paper concludes that the argument is sound: propositions, at least, are sui generis entities. (shrink)

This paper provides an interpretation of the Routley-Meyer semantics for a weak negation-free relevant logic using Israel and Perry's theory of information. In particular, Routley and Meyer's ternary accessibility relation is given an interpretation in information-theoretic terms.

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

Two approaches for defining common knowledge coexist in the literature: the infinite iteration definition and the circular or fixed point one. In particular, an original modelization of the fixed point definition was proposed by Barwise in the context of a non-well-founded set theory and the infinite iteration approach has been technically analyzed within multi-modal epistemic logic using neighbourhood semantics by Lismont. This paper exhibits a relation between these two ways of modelling common knowledge which seem at first quite different.

Argues for an assimilation of sentential and predicate conjunction to collective conjunction, based on modification of predicates by adverbs such as 'alternately'.

Many philosophers of language and mind have recognized the existence of two distinct kinds of content assigned to our linguistic and mental representations. Thus following Kaplan , the character is the linguistic meaning of an expression-type, while the content is the propositional content expressed by a token of that expression in a context. Perry applied Kaplan's distinction in the analysis of belief: the proposition p is what a subject S believes, and the belief state is that in virtue of which (...) S believes p; where belief states are individuated by the characters of the sentences that S is disposed to assert. And Barwise and Etchemendy distinguished between the infon and the Austinian proposition, where the former is the content to be evaluated with respect to a situation, and the latter is the complete content, including both the infon and the situation.The possibility of operating with two kinds of content arises when a distinction is drawn between two kinds of context-dependence. Since Kaplan, we are familiar with the idea that context determines both the content of a sentence containing an indexical and the circumstance with respect to which that content is evaluated. So, truth values depend on the context of utterance and on the circumstance of evaluation. Whether an utterance of ‘I feel elated’ is true or false depends on both which proposition is expressed, i.e. who the speaker is, and on whether that proposition is evaluated with respect to the time and world of the context. Variation in either factor makes for a potential change in truth value. Also well-known is Kaplan's idea that contents have relative truth conditions: they are true with respect to world-time-place triples. The temporal operator ‘now’ in ‘I feel elated now’ specifies the time with respect to which the proposition …. (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic, a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates, unreliable generalizations, and perhaps most importantly, explicit situational variables linked to arbitrary formulas that describe them. These allow episodes (...) to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference. (shrink)

In order to investigate whether addressees can make immediate use of speaker‐based constraints during reference resolution, participant addressees' eye movements were monitored as they helped a confederate cook follow a recipe. Objects were located in the helper's area, which the cook could not reach, and the cook's area, which both could reach. Critical referring expressions matched one object (helper's area) or two objects (helper's and cook's areas), and were produced when the cook's hands were empty or full, which defined the (...) cook's reaching ability constraints. Helper's first and total fixations showed that they restricted their domain of interpretation to their own objects when the cook's hands were empty, and widened it to include the cook's objects only when the cook's hands were full. These results demonstrate that addressees can quickly take into account task‐relevant constraints to restrict their referential domain to referents that are plausible given the speaker's goals and constraints. (shrink)