Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

In his book Language in Context, Jason Stanley provides a novel solution to certain interpretational puzzles (Stanley, 2007). The aphonic approach, as we call it, hangs upon a substantial syntactic thesis. Here, we provide theoretical and empirical arguments against this particular syntactic thesis. Moreover, we demonstrate that the interpretational puzzles under question admit of a better solution under the explicit approach.

What is objectivity? What would it take to have objective representations and do we have what it takes? This paper aims to contribute to answering these questions. To this end, it isolates one relevant sense of objectivity and proposes a generalization of standard frameworks of representational content in order to engage with the question in a way that is rhetorically fair. Armed with a general conception of perspectival content, taken from the literature on centred or de se content, the paper (...) articulates one necessary condition for objective representation: the possession of objective concepts and therefore objective contents. Two ways of meeting this condition are discussed in an exploratory way. (shrink)

Any successful account of the metaphysics of mechanistic causation must satisfy at least five key desiderata. In this article, I lay out these five desiderata and explain why existing accounts of the metaphysics of mechanistic causation fail to satisfy them. I then present an alternative account that does satisfy the five desiderata. According to this alternative account, we must resort to a type of ontological entity that is new to metaphysics, but not to science: constraints. In this article, I explain (...) how a constraints-based metaphysics fits best with the emerging consensus on the nature of mechanistic explanation. 1Introduction2Renormalizability2.1The first two desiderata: Intrinsicness and productivity2.2The third desideratum: Scientific validity or non-mysteriousness2.3The fourth desideratum: Directionality2.4The fifth desideratum: Perspectival nature of mechanisms3Constraints and Causation3.1Multi-perspectival realism and causal structure3.2Causal structure as laws3.3Causal structures in analytical mechanics: Constraints3.4A metaphysics inspired by analytical mechanics: Constraints as ontologically primitive modal structures4Constraints and Mechanistic Causal Powers 4.1Inter- versus intra-perspectival categories4.2Mechanistic causal powers are grounded by constraints4.3Intrinsicness and constraints4.4Constraints and productiveness4.5Constraints and directionality5Conclusion. (shrink)

This paper revisits some foundational questions concerning the abstract representation of a discourse context. The context of a conversation is represented by a body of information that is presumed to be shared by the participants in the conversation – the information that the speaker presupposes a point at which a speech act is interpreted. This notion is designed to represent both the information on which context-dependent speech acts depend, and the situation that speech acts are designed to affect, and so (...) to be a representation of context that is appropriate for explaining the interaction of context and the contents expressed in them. After reviewing the motivating ideas and the outlines of the apparatus, the paper responds to a criticism of the framework, and considers the way it can help to clarify some phenomena concerning pronouns with indefinite antecedents. (shrink)

A prominent view of phenomenal consciousness combines two claims: (i) the identity conditions of phenomenally conscious states can be fully accounted for in terms of these states’ representational content; (ii) this representational content can be fully accounted for in non-phenomenal terms. This paper presents an argument against this view. The core idea is that the identity conditions of phenomenally conscious states are not fixed entirely by what these states represent (their representational contents), but depend in part on how they represent (...) (their representational attitudes or modes). The argument highlights the myriad liabilities and difficulties one must accrue when one tries to appeal only to what phenomenally conscious states represent in accounting for their phenomenal individuation. (shrink)

This paper presents a theory of situated part structures involving the notion of an integrated and not just a part-of relation. The theory is applied in particular to the semantics of the modifiers 'whole' and 'individual', as in 'the whole collection' and 'the individual students'. The adnominal modifiers 'whole' and 'individual' have been entirely been ignored in the linguistic and philosophical literature, even though they pose significant challenges for standard views of reference, of the semantics of referential NPs, and for (...) ontology (the exception being medieval philosophy of language where 'whole' has received significant attention). 'Whole' strikingly displays two opposite readings: 'The whole collection is expensive' can mean - 'as a whole' or 'every part'. The paper proposes that the two readings be traced to two different conceptions of part structures of objects: one according to which the parts of an objects are just the material parts and another, Aristotelian conception according to which the parts of an object include properties of form. (shrink)

The effects of utterances such as cue phrases, keep-turn markers, and grounding signals cannot be characterized as changes to a shared record of the propositions under discussed: the simplest (and arguably most natural) way of characterizing the meaning of these utterances is in terms of a theory in which the conversational score is seen as a record of the discourse situation, or at least of the speech acts that have been performed. The problem then becomes to explain how discourse entities (...) are accessible. We consider three hypotheses about the dynamics of a speech act-based theory of the conversational score, and argue that they could be implemented with relatively minor modifications to the technical tools already introduced in theories such as Compositional DRT. (shrink)

In this paper I argue that the self-referential component which Searle rightly detects in the truth-conditions of perceptual judgments comes from the perceptual ‘mode' and is not an aspect of the ‘content' of the judgment, contrary to Searle's claim.

In this paper, I present one possible way of arguing for the theory of minimal self-consciousness, namely, by an argument by elimination. Central to the argument are the following two claims: a) If a theory of consciousness cannot explain first-person self-reference, then the theory is false, and b) An anonymity theory cannot explain first-person self-reference. Consequently, the anonymity theory is false.

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator a well-known (...) logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...) papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

This book proposes a semantic theory of conditionals that can account for (i) the variability in usages that conditional sentences can be put; and (ii) both conditional sentences of the form ‘if p, q’ and those conditional thoughts that are expressed without using ‘if’. It presents theoretical arguments as well as empirical evidence from English and other languages in support of the thesis that an adequate study of conditionals has to go beyond an analysis of specific sentence forms or lexical (...) items. The resulting perspective on conditionals is one in which conditionality is located at a higher level than that of the sentence; namely, at the level of thought. The author argues that it is only through adopting such a perspective, and with it, a commitment to context-dependent semantics, that we can successfully represent conditional utterances as they are used and understood by ordinary language users. It will be of interest to students and scholars working on the semantics of conditionals in the fields of linguistics (especially semantics and pragmatics) and philosophy of language. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in communication, semantic (...) change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (shrink)

Since 1970-ties in the theory of syntax of natural language quite a number of competing, incommensurable theoretic frameworks have emerged. Today the lack of a leading paradigm and kaleidoscope of perspectives deprives our general understanding of syntax and its relation to semantics and pragmatics. The present book is an attempt to reestablish the most fundamental ideas and intuitions of syntactic well-formedness within a new general account. The account is not supposed to compete with any of today’s syntactic frameworks, but to (...) provide a deeper understanding of why these frameworks succeed or fail when they do and to show a new way for cooperation between logicians and linguists which may lead in future to a unified, yet more specific account. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

This paper revisits the question of whether propositions in situation semantics must be persistent [Kratzer (1989). Linguistics and Philosophy, 12, 607–653]. It shows that ignoring persistence causes empirical problems for theories which use quantification over minimal situations as a solution for donkey anaphora [Elbourne (2005). Situations and individuals. Cambridge, Mass.: MIT Press]. At the same time, modifying these theories to incorporate persistence makes them incompatible with the use of situations for contextual restriction [Kratzer (2004). Ms., University of Massachusetts].

The principle of complementarity in physics can be generalized and extended to information studies. It helps explain the dilemma faced by information studies today. The prevailing endeavor that going beyond the limitation of formal theories and to develop a unified theory of information falls in the dilemma which is structurally homologous to the dilemmas in quantum physics. The dilemma is caused by an epistemological paradox called assignment paradox. The paradox can be removed through generalized complementarity. It means that the concept (...) of information embodying in different theoretical contexts are different phenomenon. They are complementary to each other. The analysis brings bad news to methodologically reductionism and fundamentalism but good news to transdisciplinary approach. (shrink)

Indirect speech reports can be true even if they attribute to the speaker the saying of something weaker than what she in fact expressed, yet not all weakenings of what the speaker expressed yield true reports. For example, if Anna utters ‘Bob and Carla passed the exam’, we can accurately report her as having said that Carla passed the exam, but we can not accurately report her as having said that either it rains or it does not, or that either (...) Carla passed the exam or pandas are cute. This paper offers an analysis of speech reports that distinguishes weakenings of what the speaker expressed that yield true reports from weakenings that do not. According to this analysis, speech reports are not only sensitive to the informational content of what the speaker expressed, but also to the possibilities a speaker raises in making an utterance. As I argue, this analysis has significant advantages over its most promising competitors, including views based on work by Barwise and Perry : 668–691, 1981), views appealing to recent work on the notion of content parthood by Fine :199–226, 2016) and Yablo, and Richard’s : 605–616, 1998) proposal appealing to structured propositions. (shrink)

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)

The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and descriptions, propositional attitudes, and directedness (...) towards nonexistents can be solved using the author's logic. (shrink)

Approximately thirty years ago, Barbara H. Partee tried to think of counterexamples to David Lewis’s observation that no intransitive verbs appeared to have intensional subject positions. She came up with such verbs as ‘rise,’ ‘change,’ and ‘increase.’ Lewis agreed that they were indeed counterexamples to his observation. He mentioned it to Richard Montague, who incorporated these verbs into his now famous grammatical theory for English.

This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about propositions in general. I first (...) identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions. (shrink)

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a (...) language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)

This paper answers a philosophical challenge that emerges when we problematize the seemingly trivial "fact" that, on the one hand, through our senses we are presented with a realm that is not of our own making; while, on the other hand, various perceivers are acquainted with diverse presentations of this realm, depending on their perspective and cognitive machinery. The challenge is dubbed here the problem of presentations. The paper draws on the idea of situation-dependent properties proposed by Susanna Schellenberg. However, (...) the paper takes the notion of situation more seriously and introduces a number of basic notions borrowed from situated cognition—a cluster of ideas that have recently emerged in the philosophy of mind. These make it possible to introduce the perceiver in such a way as not to endanger the objective character of situation-dependent properties. Thought of this way, situation-dependent properties are in turn described as the building blocks of presentations. (shrink)

Slingshot arguments aim to show that an allegedly non-extensional sentential connective—such as “necessarily ” or “the statement that Φ corresponds to the fact that ”—is, to the contrary, an extensional sentential connective. Stephen Neale : 761-825, 1995, 2001) argues that a reformulation of Gödel’s slingshot puts pressure on us to adopt a particular view of definite descriptions. I formulate a revised version of the slingshot argument—one that relies on Kaplan’s notion of “dthat.” I aim to show that if Neale’s version (...) of the slingshot argument is successful, then there is another slingshot available, parallel in structure to Neale’s, but independent of definite descriptions. So either there is a version of the slingshot that succeeds independent of any particular theory of descriptions or else Neale’s slingshot was never threatening to begin with. (shrink)

We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.

This light piece reflects on analogies between two often disjoint streams of research: the logical semantics and pragmatics of natural language and dynamic logics of general information-driven agency. The two areas show significant overlap in themes and tools, and yet, the focus seems subtly different in each, defying a simple comparison. We discuss some unusual questions that emerge when the two are put side by side, without any pretense at covering the whole literature or at reaching definitive conclusions.

Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational agency, and what (...) might then be a viable understanding of ‘psychologism’ as a friend rather than an enemy of logical theory. (shrink)

We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...) formal definition, and acknowledge limitations and borderline cases. Throughout we show how awareness of the two stances suggests new logical systems and new issues about translations between implicit and explicit systems, linking up with foundational concerns about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one design stance and ignoring alternative ones. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. (shrink)

Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic logic started as a (...) contribution to epistemology, or at least a tool in its modus operandi, with the seminal book Knowledge and Belief (Hintikka's 1962, 2005). Formulas like Ki for "the agent i knows that " Bi for "the agent i believes that " provided logical forms for stating and analyzing philosophical propositions and arguments. And more than that, their model-theoretic semantics in terms of ranges of alternatives provided an appealing extensional way of thinking about what agents know or believe in a given situation. In particular, on Hintikka's view, an agent knows those propositions which are true in all situations compatible with what she knows about the actual world; i.e., her current range of uncertainty. (shrink)