Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which makes room (...) for the possibility of super-vague existence. (shrink)

This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form that has been defended in the past. (...) _§§_4-6 draw attention to its impact on three major issues that concern, respectively, the extension of the domain of formal explanation, the semantics of tensed discourse, and the analysis of quantication. (shrink)

This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the account provided (...) which bear on three debated issues concerning quantification. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. (...) The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

This paper studies the uses of proper names within a communication-theoretic setting, looking at both the conditions that govern the use of a name by a speaker and those involved in the correct interpretation of the name by her audience. The setting in which these conditions are investigated is provided by an extension of Discourse Representation Theory, MSDRT, in which mental states are represented as combinations of propositional attitudes and entity representations . The first half of the paper presents the (...) features of this framework that are needed to understand its application to the account of names that follows. N-labelled entity representations, where N is a proper name, play a pivotal part in this account: A speaker must have an N-labelled ER in order to be in a position to use a name N, and the interpreter must either have such a representation, or else construct one as part of his interpretation. The paper distinguishes different types of name uses in terms of what they presuppose about the role of N-labelled ERs on the side of the interpreter. (shrink)

In a paper called 'Definiteness and Knowability', Tim Williamson addresses the question whether one must accept that vagueness is an epistemic phenomenon if one adopts classical logic and a disquotational principle for truth. Some have suggested that one must not, hence that classical logic and the disquotational principle may be preserved without endorsing epistemicism. Williamson’s paper, however, finds ‘no plausible way of substantiating that possibility’. Its moral is that ‘either classical logic fails, or the disquotational principle does, or vagueness is (...) an epistemic phenomenon’. The moral of this paper, on the contrary, is that there is a plausible way of substantiating that possibility. The option it contemplates looks like a view that Williamson dismisses at the beginning of his paper, and that others regard as unworthy of serious consideration. (shrink)

In questa comunicazione, non intendo contribuire all’analisi di questa o quella classe di espressioni linguistiche. Vorrei invece dare un contributo alla nostra consapevolezza (chiamiamola pure “filosofica”) della funzione che il concetto di forma logica svolge nelle nostre analisi. Più in particolare, vorrei mettere in guardia contro certe possibili conseguenze di quello che a me pare un uso “metafisico” dell’idea di forma logica. Vorrei dimostrare che una certa eredità filosofica, per lo pi...

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse (...) to—more precisely, forms a Galois connection with—the Bolzano-Tarski function. (shrink)

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

According to the received view (Bocheński, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it (...) overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Bocheński characterizes as ‘classical logic’, one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic. (shrink)

This paper claims that there is a plausible sense in which validity is a matter of truth preservation relative to interpretations of the sentences that occur in an argument, although it is not the sense one might have in mind. §1 outlines three independent problems: the first is the paradox of the sorites, the second concerns the fallacy of equivocation, and the third arises in connection with the standard treatment of indexicals. §2 elucidates the claim about validity, while §§3-5 show (...) how the three problems outlined can be handled in accordance with it. §6 explains how the claim squares with the traditional idea that validity is related to formality, and in particular with a broadly accepted definition based on that idea, the model-theoretic definition of logical consequence. Unlike other works on the subject, this paper does not focus on necessity. It is not its intention to provide a characterization of necessity that conforms to some ideal of rigour or to some pre-theoretical understanding of validity. What follows can be taken as conditional on the assumption that such a characterization can be provided. (shrink)

This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (shrink)

This extended investigation of the semantics of event (and state) sentences in their various forms is a major contribution to the semantics of natural language, simultaneously encompassing important issues in linguistics, philosophy, and logic. It develops the view that the logical forms of simple English sentences typically contain quantification over events or states and shows how this view can account for a wide variety of semantic phenomena. Focusing on the structure of meaning in English sentences at a &"subatomic&" level&-that is, (...) a level below the one most theories accept as basic or &"atomic&"&-Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics. His articulation of underlying event theory explains a wide variety of apparently diverse semantic characteristics of natural language, and his development of the theory shows the importance of seeing the distinction between events and states. Parsons demonstrates that verbs, also, indicate kinds of actions rather than specific, individual actions. Verb phrases, too, he argues, depend on modifiers to make their function and meaning in a sentence specific. An appendix gives many of the details needed to formalize the theory discussed in the body of the text and provides a series of templates that permit the generation of atomic formulas of English. (shrink)

In these essays the minimalist approach to linguistic theory is formulated and progressively developed.

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

Introducing a new and ambitious position in the field, Kit Fine’s _Semantic Relationism_ is a major contribution to the philosophy of language. Written by one of today’s most respected philosophers Argues for a fundamentally new approach to the study of representation in language and thought Proposes that there may be representational relationships between expressions or elements of thought that are not grounded in the intrinsic representational features of the expressions or elements themselves Forms part of the prestigious new _Blackwell/Brown Lectures (...) in Philosophy_ series, based on an ongoing series of lectures by today’s leading philosophers. (shrink)

Belief in propositions has had a long and distinguished history in analytic philosophy. Three of the founding fathers of analytic philosophy, Gottlob Frege, Bertrand Russell, and G. E. Moore, believed in propositions. Many philosophers since then have shared this belief; and the belief is widely, though certainly not universally, accepted among philosophers today. Among contemporary philosophers who believe in propositions, many, and perhaps even most, take them to be structured entities with individuals, properties, and relations as constituents. For example, the (...) proposition that Glenn loves Tracy has Glenn, the loving relation, and Tracy as constituents. What is it, then, that binds these constituents together and imposes structure on them? And if the proposition that Glenn loves Tracy is distinct from the proposition that Tracy loves Glenn yet both have the same constituents, what is about the way these constituents are structured or bound together that makes them two different propositions? In The Nature and Structure of Content, Jeffrey C. King formulates a detailed account of the metaphysical nature of propositions, and provides fresh answers to the above questions. In addition to explaining what it is that binds together the constituents of structured propositions and imposes structure on them, King deals with some of the standard objections to accounts of propositions: he shows that there is no mystery about what propositions are; that given certain minimal assumptions, it follows that they exist; and that on his approach, we can see how and why propositions manage to have truth conditions and represent the world as being a certain way. The Nature and Structure of Content also contains a detailed account of the nature of tense and modality, and provides a solution to the paradox of analysis. Scholars and students working in the philosophy of mind and language will find this book rewarding reading. (shrink)

Stefano Predelli comes to the defense of the traditional "formal" approach to natural-language semantics, arguing that it has been misrepresented not only by its critics, but also by its foremost defenders. In Contexts he offers a fundamental reappraisal, with particular attention to the treatment of indexicality and other forms of contextual dependence which have been the focus of much recent controversy. In the process, he presents original approaches to a number of important semantic issues, including the relationship between validity and (...) indexicality, the limits of token-reflexive systems, the significance of contextualist arguments, and the interpretation of attitude reports. Contexts will make invigorating reading for all philosophers of language and many linguists. (shrink)

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as well (...) as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

In "Sider on Existence" (Noužs, 2007), David Liebesman and Matti Eklund argue that my "indeterminacy argument", according to which quantifiers are never vague, clashes with my "naturalness argument", according to which quantifiers "carve at the joints". There is, I argue, no outright inconsistency. But Liebesman and Eklund have shown that my arguments are not as independent as it may have appeared. The best defense of the indeterminacy argument is via the naturalness argument.

First published in 1984 as part of The Collected Papers of Bertrand Russell, Theory of Knowledge represents an important addition to our knowledge of Russell's thought. In this work Russell attempts to flesh out the sketch implicit in The Problems of Philosophy. It was conceived by Russell as his next major project after Principia Mathematica and was intended to provide the epistemological foundations for his work. Russell's subsequent difficulties in presenting his theory of knowledge, brought on by what he considered (...) to be devastating criticisms of Wittgenstein, led to both his abandonment of this work and to a major transformation in his thought. Theory of Knowledge, now available for the first time in paperback, gives us a picture of one of the great minds of the twentieth century at work. It is possible to see the unsolved problems left without disguise or evasion. This second edition has retained the full scholarly introduction. The photographs of the manuscript, appendices, and notes on textual matters have been eliminated to provide a concise and accessible guide to understanding both Russell's own thought and his relationship with Wittgenstein. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

In this paper, we provide a comprehensive survey of the space of possible analyses of the phenomenon of quantifier domain restriction, together with a set of considerations which militate against all but our own proposal. Among the many accounts we consider and reject are the ‘explicit’ approach to quantifier domain restric‐tion discussed, for example, by Stephen Neale, and the pragmatic approach to quantifier domain restriction proposed by Kent Bach. Our hope is that the exhaustive discussion of this special case of (...) context‐dependence will provide guidelines for how to decide, for an arbitrary case of context‐dependent discourse, whether it should be treated syntactically, semantically, or pragmatically. (shrink)

In my book Four-dimensionalism (chapter 4, section 9), I argued that fourdimensionalism – the doctrine of temporal parts – follows from several other premises, chief among which is the premise that existence is never vague. Kathrin Koslicki (preceding article) claims that the argument fails since its crucial premise is unsupported, and is dialectically inappropriate to assume in the context of arguing for four-dimensionalism. Since the relationship between four-dimensionalism and the non-vagueness of existence is not perfectly transparent, I think the argument (...) would retain some interest even if the premise were wholly unsupported; it would show that anyone who accepts that premise (which seems reasonable enough to me though perhaps not to others) must accept four-dimensionalism. Still, Koslicki is right that my defense of the premise was thin. So I will now try to do better. The new defense will have further premises, which could ultimately be rejected by opponents of four-dimensionalism, and so the argument retains the form: anyone who thinks certain things (which seem reasonable enough to me though perhaps not to others) must believe four-dimensionalism. But that’s metaphysics for you. I should also say that, in addition to the material on vague existence, there is more in Koslicki’s excellent paper which I cannot discuss here. I agree with much of it;1 and where we disagree there are formidable challenges, some of which I hope to address in the future. (shrink)

According to an old and attractive view, vagueness must be eliminated before semantic notions — truth, implication, and so on — may be applied. This view was accepted by Frege, but is rarely defended nowadays.1 This..