Interpretations of Hegel’s social and political thought tend to present Hegel as critic of modern individualism and defender of institutionalism or proto-communitarianism. Yet Hegel has praise for the historically emancipatory role of individualism and gives a positive role to individuals in his discussion of ethics and the state. Drawing on Hegel’s analysis of the category of ‘individual’ in his Logic, this chapter shows that Hegel criticizes the conception of ‘individual’ as a simple and argues instead that it is a term (...) in need of specification or completion. Hegel’s revisionary logic of the category of ‘individual’ is both interesting in itself and useful as an interpretative tool, because it shows the consistency of his various statements about individuals in his practical philosophy. (shrink)

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in the logical and philosophical literature. 2. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox. 3. Explaining the far-reaching significance of paradoxes of vagueness and change for philosophy (...) and ontology. 4. Proposing a novel, well justified and, as it seems, natural classification of paradoxes. (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)

Les principales théories causales de la référence pour les noms propres, et la proposition d'une nouvelle approche basée sur l'analogie de la chaîne des blocs de la technologie de blockchain et la théorie narrative de Paul Ricœur. Après une brève Introduction dans laquelle sont passés en revue les types de propositions du concept de mondes possibles et une vue d'ensemble de la théorie dans La théorie causale de la référence, je présente la théorie causale initiale de la référence proposée par (...) Saul Kripke, puis deux théories causales hybrides développées par Gareth Evans et Michael Devitt. Dans la section Blockchain et l'arbre causal de la référence je présente mon idée de développer une nouvelle théorie causale de la référence pour les noms propres à l'aide d'un arbre causal de la référence. Dans les Conclusions, je parle du développement ultérieur des modes dont les termes de référence pourraient faire référence à certains objets et individus, les principales critiques des théories causales et des suggestions pour un développement futur. SOMMAIRE: Abstract Introduction 1. La théorie causale de la référence 2. Saul Kripke 3. Gareth Evans 4. Michael Devitt 5. Blockchain et l'arbre causal de la référence Conclusions Bibliografie DOI: 10.13140/RG.2.2.18713.77921 . (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand (...) Tarski’s and Gödel’s work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy’s mathematical naturalism and Shapiro’s mathematical structuralism. Last but not least, the book introduces Biancani’s Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued that object is not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves as a (...) whole (Spelke, 1990) is a sortal for both infants and adults. Furthermore, object may be the infant's first sortal and more specific sortals such as cup and dog may be acquired later in the first year of life. I will discuss the implications for infant categorization studies, trying to draw a conceptual distinction between a perceptual category and a sortal, and I will speculate on how a child may construct sortal concepts such as cup and dog. (shrink)

This paper is a defense of the view that existence is a property. Since the view is still a minority one, a fair amount of space is allotted to defending it against objections and counter-arguments. Positive arguments aren’t lacking, however, and emerge in the course of the discussion. Not all of the many positive or negative arguments which follow are wholly original—a fact to be expected in this context—but a fair number are, and both sorts of argument are seamlessly interwoven (...) in the warp and woof of what follows. (shrink)

Demonstrative noun phrases (e.g., that guy , this ) are of interest to philosophers of language and semanticists because they are sensitive to demonstrations or speaker intentions. The interpretation of a demonstrative therefore sheds light on the role of the context in natural language semantics. This survey reviews two types of approaches to demonstratives: Kaplan's direct reference treatment of demonstratives and other indexicals, and recent challenges to Kaplan's approach that focus on less obviously context-sensitive uses of demonstratives. The survey then (...) covers selected research on demonstratives in linguistics. This research offers new empirical puzzles and contrasting theoretical approaches to demonstratives. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

It is a philosophical commonplace that quantification involves, invokes, or presupposes, the relation of identity. There seem to be two major sources for this belief: the conviction that identity is implicated in the phenomenon of bound variable recurrence within the scope of a quantifier; memories of Quine’s insistence that quantification requires absolute identity for the values of variables. With respect to, I show that the only extant argument for a dependence of variable recurrence on identity, due to John Hawthorne, fails. (...) I further show that the function of variable recurrence is not subsumed under that of identity, so that a dependence of the former on the latter, if any, would have to be of a rather indirect nature. With respect to, I argue that the relevant passage in Quine fails to establish a connection between quantification and the identity relation, and indeed wasn’t intended by Quine to do so. (shrink)

Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

Dans le paradigme russellien, les termes dénotants ou termes quantifiés comme «plusieurs hommes», «quelques hommes», «tous les hommes», sont analysés à l'aide de quantificateurs, de variables, de prédicats et de connecteurs logiques à l'intérieur de phrases complètes exprimant des propositions générales. Les descriptions définies comme les descriptions indéfinies y sont aussi traitées comme des termes quantifiés.

I propose a minimal account of authorship that specifies the fundamental nature of the author-relation and its minimal domain composition in terms of a three-place causal-intentional relation holding between agents and sort-relative works. I contrast my account with the minimal account tacitly held by most authorship theories, which is a two-place relation holding between agents and works simpliciter. I claim that only my view can ground productive and informative principled distincitons between collective production and collective authorship.

When you think about a particular object, what makes your thought about that object? Roderick Chisholm, Ernest Sosa and Michael McKinsey have defended 'latitudinarian', 'descriptivist', or what I call 'liberal' answers to that question. In this paper I carefully consider the motivation for these liberal views and show how it extends in unanticipated ways to motivate views that are considerably more liberal.

Among those who posit properties, liberals (mostly nominalists) admit abundant, ontologically free properties, which particulars possess whenever they satisfy the same predicate and belong to the same class, however artificial. I call them “L-properties” (for “Liberal”). Some liberals also admit that some few L-properties are natural, while most of them are artificial (the same applies to the corresponding classes). Others (mostly but not only realists) commit to a more discriminating use of the category: properties are sparse, they make for the (...) objective similarities among particulars, and more importantly, they allow to analyze “objective similarity” and “class naturalness” in terms of property-possessing and sharing. They give particulars their “true nature”, and I call them “A-properties” (for “Analytical”). This article provides a defense of this second type of properties, in the particular case of sortals. To that end, a new fact is put forward: that sorts are classes which are natural not as a primitive feature, but in virtue of what the particulars which belong to them are, and which makes them _naturally belong_ to them. I then argue that this fact entails the existence of the desired type of properties, “sortal A-properties”, although leaving open the question of how they should be construed. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

Peter Geach describes the 'doctrine of distribution' as the view that a term is distributed if it refers to everything that it denotes, and undistributed if it refers to only some of the things that it denotes. He argues that the notion, so explained, is incoherent. He claims that the doctrine of distribution originates from a degenerate use of the notion of ?distributive supposition? in medieval supposition theory sometime in the 16th century. This paper proposes instead that the doctrine of (...) distribution occurs at least as early as the 12th century, and that it originates from a study of Aristotle's notion of a term's being ?taken universally?, and not from the much later theory of distributive supposition. A detailed version of the doctrine found in the Port Royal Logic is articulated, and compared with a slightly different modern version. Finally, Geach's arguments for the incoherence of the doctrine are discussed and rejected. (shrink)

The paper is a rejoinder to a challenge against the particularist version of the mental files framework posed by the relationist approach based on the notion of content coordination [such as recent attempt by Rachel Goodman and Aidan Gray in ]. Relationists argue that important explanatory goals of MFF: could be achieved without positing files as mental particulars, as there is a relationist notion of content coordination at hand that can be aptly used for “filing without files”; and should be (...) so achieved, as there are difficulties that afflict the particularist approach to MFF and the relationist account is simply better. However, both claims should be rejected. The particularist approach to MFF, properly interpreted, would not get into the troubles it is accused of generating. Indeed, it is the relationist approach that gets in trouble. Specifically, it lacks resources for explanation of nuances, which can be easily accounted for in terms of particularist interpretation, and, furthermore, it lowers the interdisciplinary standing of the whole framework. The particularist version is therefore better. (shrink)

The present paper discusses two interesting phenomena concerning phi-features on plural pronouns: plural pronouns that denote atomic individuals, and plural pronouns with more than one binder. A novel account of these two phenomena is proposed, according to which all occurrences of phi-features are both semantically and morphologically relevant. For such a ‘uniformly semantic account’ of phi-features, dependent plural pronouns constitute a theoretical challenge, while partial binding is more or less straightforwardly accounted for. In order to make sense of the semantic (...) effects of the phi-features on dependent plural pronouns, the following idea is pursued: the phi-features on a dependent plural pronoun reflect the range of values that the pronoun takes, rather than the particular value it denotes at a time. This idea is implemented in a compositional semantics by making use of choice functions. An appealing feature of the present account is that, unlike its predecessors, it accounts for dependent plural pronouns without c-commanding antecedents in essentially the same way as for those with c-commanding antecedents. It is also shown how this account of dependent plural pronouns can straightforwardly be augmented with set indices to account for partial binding. (shrink)

According to a ‘Straight’ reading of Elizabeth Anscombe’s ‘The First Person’, she holds a radically non-referring view of ‘I’. Specifically, ‘I’ is analogous to the expletive ‘it’ in ‘It’s raining’. I argue that this is not her conclusion. Her substantive view, rather is that if what you mean by ‘reference’ is a certain rich and recherché notion tracing to Frege, then ‘I’ is not a referring term. Her methodological point is that one shouldn’t be ‘bewitched by language’ into thinking that (...) ‘I’, because of its syntax, must exhibit ‘reference’ in this sense. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

I have written a number of articles recently that have a rather remarkable character. They all point out trivial grammatical facts that, at great cost, have not been respected in twentieth century Logic. A major continuous strand in my previous work, with this same character, I will first summarise, to locate the kind of fact that is involved. But then I shall present an overview of the more recent, and more varied points I have made, which demonstrate the far larger (...) extent of basic grammar that has been overlooked or suppressed. I end with some remarks about how this phenomenon can have arisen – principally through logicians not being attentive enough to their own language, and occupying themselves, instead, with often quite imaginary languages. (shrink)

The epsilon calculus improves upon the predicate calculus by systematically providing complete individual terms. Recent research has shown that epsilon terms are therefore the “logically proper names” Russell was not able to formalize, but their use improves upon Russell’s theory of descriptions not just in that way. This paper details relevant formal aspects of the epsilon calculus before tracing its extensive application not just to the theory of descriptions, but also to more general problems with anaphoric reference. It ends by (...) contrasting a Meinongian account of cross-reference in intensional constructions with the epsilon account. (shrink)

_ Source: _Volume 94, Issue 3, pp 381 - 390 Reference can fail in a way that intentionality cannot. Though the stream of phenomenal experience typically does not fail to target objects outside, it may do. How does the mind go about targeting objects beyond itself? The speculative conjecture of this paper is that it does so by a type of process which can be called _pointing_, and that the acts or act-aspects of pointing can be called _pointers_. The notion (...) of a pointer has several suggestive roots. One is the familiar physical gesture of pointing. Another is the existence of directional signs such as on roads. The third is the software data types making direct reference to memory locations in computers, also called ‘pointers’. A final source is demonstrative pronouns and other deictic expressions in language, of which Peter Geach wrote, “a demonstrative pronoun … works like a pointer, not like a label”. I suggest that there is in the mental cognitive repertoire a structurally and semantically analogous type of act which pierces the passivity of perception, directs us outside the machine, and prepares the way for drawing others’ minds to the same thing. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...) have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

There are two main approaches to the problem of donkey anaphora (e.g. If John owns a donkey , he beats it ). Proponents of dynamic approaches take the pronoun to be a logical variable, but they revise the semantics of quantifiers so as to allow them to bind variables that are not within their syntactic scope. Older dynamic approaches took this measure to apply solely to existential quantifiers; recent dynamic approaches have extended it to all quantifiers. By contrast, proponents of (...) E-type analyses take the pronoun to have the semantics of a definite description (with it ≈ the donkey, or the donkey that John owns ). While competing accounts make very different claims about the patterns of coindexation that are found in the syntax, these are not morphologically realized in spoken languages. But they are in sign language, namely through locus assignment and pointing. We make two main claims on the basis of ASL and LSF data. First, sign language data favor dynamic over E-type theories: in those cases in which the two approaches make conflicting predictions about possible patterns of coindexation, dynamic analyses are at an advantage. Second, among dynamic theories, sign language data favor recent ones because the very same formal mechanism is used irrespective of the indefinite or non-indefinite nature of the antecedent. Going beyond this debate, we argue that dynamic theories should allow pronouns to be bound across negative expressions, as long as the pronoun is presupposed to have a non-empty denotation. Finally, an appendix displays and explains subtle differences between overt sign language pronouns and all other pronouns in examples involving ‘disjunctive antecedents’, and suggests that counterparts of sign language loci might be found in spoken language. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

The problem of the many poses the task of explaining mereological indeterminacy of ordinary objects in a way that sustains our familiar practice of counting these objects. The aim of this essay is to develop a solution to the problem of the many that is based on an account of mereological indeterminacy as having its source in how ordinary objects are, independently of how we represent them. At the center of the account stands a quasi-hylomorphic ontology of ordinary objects as (...) material objects with multiple individual forms. (shrink)