Can an omnipotent being create a stone too heavy for him to lift? If not, he is not omnipotent. But if so, he is not omnipotent either, since there is something he cannot lift. Hence there can be no omnipotent being. J.L. Cowan's recent reformulation of this paradox of omnipotence has been sharpened through a number of objections and clarifications, and, in its final form, constitutes a significant problem for the analysis of the concept of an omnipotent agent. I will (...) develop fragments of two systems in which the problem can be defined more exactly, and try to indicate some formal guidelines within which constructive steps towards a solution may be possible. I will argue that the paradox shows the need for a special kind of restriction on omnipotence that can be distinguished from some related restrictions. (shrink)

This essay offers an action-theoretic analysis of the distinction between positively bringing something about and passively letting something happen. The analysis, based on the notion of an agent''s bringing about some state of affairs, is closest to the analysis of omissions of Brand (1971), but utilizes the relatedness logic of Epstein (1979). Syntactic features bring out the idea that an action can be partially positive and partially negative, e.g., by not bringing about one thing an agent can bring about something (...) else. An ethical implication of this analysis is that a passive course of action is sometimes less culpable than an active one, just because it is passive. (shrink)

Abstract:In this paper I will first contend that semantically based arguments in favour of or against problematic entities—like those provided, respectively, in a realist Meinongian and in an antirealist Russellian camp—are ultimately inconclusive. Indeed, only genuinely ontological arguments, specifically addressed to prove (or to reject) the existence of entities of a definite kind, suit the purpose. Thus, I will sketch an argument intended to show that there really are entities of an apparently specific kind, i.e. intentionalia, broadly conceived as things (...) that may actually exist as well as actually not exist. Finally, I will try to explain why that argument proves the existence of only some sorts of intentionalia, by showing how this is related to the fact that, as some have correctly maintained, intentionalia have no intrinsic nature. (shrink)

A recent focus on philosophical methodology has reinvigorated ordinary language philosophy with the contention that philosophical inquiry is better served by attending to the ordinary use of language. Taking cues from findings in the social sciences that deploy methods utilizing language, various ordinary language philosophers embrace a guiding mandate: that ordinary language usage is more reflective of our linguistic and conceptual competencies than standard philosophical methods. We analyze two hypotheses that are implicit in the research from which ordinary language approaches (...) take their cues. This pair of optimistic assumptions (a) bind word meanings to properties of their corresponding concepts and (b) regard language as a direct reflection of our underlying cognitive processes and competencies. Polysemy and pragmatics complicate each assumption. Because the ordinary language philosopher’s methodological mandate compels us to consider how individuals process the utterances they encounter in deciphering the communicative intentions of speakers, failing to attend to the import of polysemy and pragmatics in philosophical and empirical methods has the potential to frustrate the aims of their insightful mandate. The significance of those two complications is worked out with the case study of knowledge. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist treatment (...) of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

According to the contemporary consensus, when reaching in the lexicon grammar looks for items like nouns, verbs, and prepositions while logic sees items like predicates, connectives, and quantifiers. In fact, there doesn’t seem to be a single lexical category contemporary grammar and logic both make use of. I hope to show that while a perfect match between the lexical categories of grammar and logic is impossible there can be a substantial overlap. I propose semantic definitions for all the major parts (...) of speech . I argue that the differences among these categories can be captured in terms of distinctions recognized in logic. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

This article uses participant objectivation in sociology and philosophy as two knowledge fields to provide a reflexive comparison of their synced field effect in historical circumstances. Drawing on the philosopher and historian of science Gaston Bachelard, I theorize fielded knowledge as a social relation that combines the prior presence of folk knowledge with a socioanalytic exchange between field and folk that includes positions of either defense, replacement or critique. A comparison of post-Wittgenstein Anglophone philosophy and post-sixties American sociology describes their (...) mutual confrontation with folk psychology as an “epistemological obstacle” that generates a remarkable concern with action as a position-taking on the folk relation. A reflexive objectivation of folk knowledge is therefore necessary for a revised understanding of action that correlates with the distinction of sociology’s knowledge capital and how it fares as an explanatory resource in competitive circumstances. The article concludes by leveraging the synced field effect even further to make a recommendation that sociologists can increase the distinction of their knowledge capital by producing discourse that can recognize, legitimate and officialize experiences that otherwise remain obscure, nameless or impossible within the bounded universe of folk psychology. (shrink)

The widely agreed view that actions are events faces the problem of how to describe the “branches” in so-called action trees, i.e. actions which are done by doing other actions. Moreover, the view is also inconsistent with the existence of two familiar species of agency: omitting something and letting things happen. In this article, an alternative conception of action is proposed which takes letting happen as the paradigm of agency. Agency should be construed as an explanatory relation between agents and (...) things happening in the world. This relational view of agency can accommodate for all kinds of agency: doing, letting happen, omitting, prohibiting. And it also provides a satisfactory account of the ontological basis of action trees. We should at first say that to do something is to originate or to bring into existence, i.e., really, to cause, some not yet existing state either of ourselves or of someone else, or, again, of some body. (shrink)

Arguing first that the best way to understand what a continuant is is as something that primarily has its properties at a time rather than atemporally, the paper then defends the idea that there are occurrent continuants. These are things that were, are, or will be happening—like the ongoing process of someone reading or my writing this paper, for instance. A recently popular philosophical view of process is as something that is referred to with mass nouns and not count nouns. (...) This has mistakenly encouraged the view that the only way to think of process is as the stuff of events, and has obscured the possibility of thinking of processes as individual continuants. (shrink)

Donald Davidson did it. He did it slowly, deliberately, in more than a half dozen widely noted essays. What he did was to elaborate a program for the study of empirical semantics. Nor did he stop there. He went on to apply his program to some of the problems that have long bedeviled semantics: action sentences, indirect discourse and propositional attitudes. My goal in this paper is to assess Davidson's achievement. The first step is to assemble the program from the (...) sketches and hints scattered among Davidson's papers. This is the project of my first section where my aim is sympathetic exposition. Since Davidson sometimes seems to be playing a game of hide and seek with his reader, my reconstruction of his program and arguments is of necessity occasionally speculative. In the second section my stance turns critical. There are anomalies in the program; the sort of theory Davidson advocates is not the sort delivered. When the problems are pushed, I think the program loses whatever initial plausibility it may have had. It is my contention that Davidson has provided no serious framework for the empirical study of natural language. (shrink)

This paper takes the first steps in the construction of a theory of event identity as that theory applies to historical sentences. The theory is extensional throughout. Following statements of criteria of adequacy for the construction, Davidson's method of regimenting sentences is adopted in order to allow for variables ranging over events. Events in this theory are only partially construed, that is, to the extent of treating them as concrete individuals rather than as classes or repeatable universals. The paper concludes (...) with a statement of several theorems and definitions and an example of how the theory works. (shrink)

Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...) colorful metaphor for an undefined element of a set W called worlds, which are related by an undefined and undefinable primitive relation R called accessibility. For some purposes, the resulting abstraction has proved to be useful, but as a general theory of meaning, the abstraction omits too many significant features. So much information has been lost at each step that many philosophers, linguists, and psychologists have dismissed model-theoretic semantics as irrelevant to the study of meaning. This article examines the steps in the process of extractingthe pair (W,R) from the world and the way people talk about the world. It shows that the Kripke worlds can be reinterpreted as part of a Peircean semiotic theory, which can also include contributions from many other studies in cognitive science. Among them are Dunn’s semantics based on laws and facts, the lexical semantics preferred by manylinguists, psychological models of how the world is perceived, and philosophies of science that relate theories to the world. A full integration of all those sources is far beyond the scope of this article, but an outline of the approach suggests that Peirce’s vision is capable of relating and reconciling the competing sources. (shrink)

A uniform analysis is offered for the source of the locations specified by all references in English to spatial properties including location and movement. This source is argued to be the location of events and states of affairs. These locations are specified by sets showing spaces momentarily occupied. Descriptions of motion are accounted for through a variety of ways of referencing these sets. Some classes of simple clauses are identified as requiring semantic analysis involving multiple events and states of affairs. (...) This importantly allows spatial references to be associated with different events and states of affairs. Identification of object location is accounted for by use of extra inference rules or meaning postulates. A number of other explanations are suggested for more limited and derivative phenomena. The analysis is developed within a Case-like notation presented in the first-order predicate calculus. It is supported by an extensive analysis of spatial reference phenomena and by identification of ancillary benefits. (shrink)

Though everyday life accords a great deal of significance to practical abilities—such as the ability to walk, to speak French, to play the piano—philosophers of action pay surprisingly little attention to them. By contrast, abilities are discussed in various other philosophical projects. From these discussions, a partial theory of abilities emerges. If the partial theory—which is at best adequate only to a few examples of practical abilities—were correct, then philosophers of action would be right to ignore practical abilities, because they (...) could play no fundamental role in an account of human agency. For the idea that practical abilities *do* play a fundamental role in human agency to be worth considering, an alternative conception of them is needed. As a first step, I attempt some of the necessary ground-clearing work. (shrink)

A thorny question surrounding the meaning of ought concerns a felt distinction between deontic uses of ought that seem to evaluate a state of affairs versus those that seem to describe a requirement or obligation to perform an action, as in and, respectively. There ought not be childhood death and disease. You ought to keep that promise. Various accounts have been offered to explain the contrast between “agentive” and “non-agentive” ought sentences. One such account is the Agency-in-the-Prejacent theory, which traces (...) the difference to a particular kind of ambiguity in the prejacent. This theory has been criticized as linguistically unviable. Indeed, I level a few novel complaints against AIP myself in the present paper. But AIP has a kernel of genuine insight which allows us to explain the contrast—that the distinction between agentive and non-agentive ought sentences owes in part to the way natural language encodes information about agency. I develop this idea into a novel account that, like AIP, traces the contrast to an ambiguity in the complement of the modal. However, according to the view I propose, the Coercion View, a linguistically-motivated coercion operation produces the necessary grammatical conditions for agentive ought, which in turn allow a kind of variadic function operator in the style of to produce the semantic effect we see on display in agentive readings of ought. Having explained the mechanism by which we get this structure, I show that it corroborates some of the central intuitions underwriting agentive ought. I submit that the Coercion View offers an explanation of agentive ought to take at least as seriously as any of its competitors. (shrink)

Graham Priest proposed an argument for the conclusion that ‘nothing’ occurs as a singular term and not as a quantifier in a sentence like (1) ‘The cosmos came into existence out of nothing’. Priest's point is that, intuitively, (1) entails (C) ‘The cosmos came into existence at some time’, but this entailment relation is left unexplained if ‘nothing’ is treated as a quantifier. If Priest is right, the paradoxical notion of an object that is nothing plays a role in our (...) very understanding of reality. In this note, we argue that Priest's argument is unsound: the intuitive entailment relation between (1) and (C) does not offer convincing evidence that ‘nothing’ occurs as a term in (1). Moreover, we provide an explanation of why (1) is naturally taken to entail (C), which is both plausible and consistent with the standard, quantificational treatment of ‘nothing’. (shrink)

What is the proper way to draw the semantics-pragmatics distinction, and is what is said by a speaker ever enriched by pragmatics? An influential but controversial answer to the latter question is that the inputs to semantic interpretation contains representations of every contribution from context that is relevant to determining what is said, and that pragmatics never enriches the output of semantic interpretation. The proposal is bolstered by a controversial argument from syntactic binding designed to detect hidden syntactic structure. The (...) following contains an exposition and consideration of the argument. (shrink)

What is the proper way to draw the semantics‐pragmatics distinction, and is what is said by a speaker ever enriched by pragmatics? An influential but controversial answer to the latter question is that the inputs to semantic interpretation contains representations of every contribution from context that is relevant to determining what is said, and that pragmatics never enriches the output of semantic interpretation. The proposal is bolstered by a controversial argument from syntactic binding designed to detect hidden syntactic structure. The (...) following contains an exposition and consideration of the argument. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, and this problem (...) is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music semantics is that (...) it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

We are often justified in acting on the basis of evidential confirmation. I argue that such evidence supports belief in non-quantificational generic generalizations, rather than universally quantified generalizations. I show how this account supports, rather than undermines, a Bayesian account of confirmation. Induction from confirming instances of a generalization to belief in the corresponding generic is part of a reasoning instinct that is typically (but not always) correct, and allows us to approximate the predictions that formal epistemology would make.

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)

How questions are understudied in philosophy and linguistics. They can be answered in very different ways, some of which are poorly understood. Jaworski identifies several types: ‘manner’, ‘method, means or mechanism’, ‘cognitive resolution’, and develops a logic designed to enable us to distinguish among them. Some key questions remain open, however, in particular, whether these distinctions derive from an ambiguity in how, from differences in the logical structure of the question or from contextual underspecification. Arguing from two classes of responses, (...) adverbs and by gerunds, I give the answer that the logical structure of the question is indeed relevant: loosely, manners are adjuncts but methods are arguments. (shrink)

Assertions about appearances license inferences about the speaker's perceptual experience. For instance, if I assert, 'Tom looks like he's cooking', you will infer both that I am visually acquainted with Tom (what I call the "individual acquaintance inference"), and that I am visually acquainted with evidence that Tom is cooking (what I call the "evidential acquaintance inference"). By contrast, if I assert, 'It looks like Tom is cooking', only the latter inference is licensed. I develop an account of the acquaintance (...) inferences of appearance assertions building on two main previous lines of research: first, the copy raising literature, which has aimed to account for individual acquaintance inferences through the "perceptual source" semantic role; second, the subjectivity literature, which has focused on the status of acquaintance inferences with predicates of personal taste, but hasn't given much attention to the added complexities introduced by appearance language. I begin by developing what I take to be the most empirically-sound version of a perceptual source analysis. I then show how its insights can be maintained, while however taking anything about perception out of the truth conditions of appearance sentences. This, together with the assumption that appearance assertions express experiential attitudes, allows us to capture the acquaintance inferences of bare appearance assertions without making incorrect predictions about the behavior of appearance verbs in embedded environments. (shrink)

Does 'Person P tried to A' entail that there is some particular, whether a mental act or a brain state or whatever, that is a trying? Most discussions of trying assume that this entailment holds. There is no good reason for holding that this is a valid inference. In particular, I examine one 'Davidsonian' argument that might be used to justify the validity of such an inference and argue that the argument is not sound. See: http://www.tandfonline.com/eprint/IxsuPqt7rvdzqMxpFiTv/full.

In this paper, I intend to introduce what I think is a novel proposal in the metaphysics of action: one-particularism. In order to do so, I must first explain two ideas: a concept in the semantics of English that many philosophers of action take to be of great importance in action theory, causative alternation; and the idea of an intrinsic event. By attempting to understand the role that intrinsic events are meant to play in action theory, I then introduce my (...) proposal. Getting clear on what is an intrinsic event is a key, I think, to producing a viable theory of action, or, to be more precise, part of such a general theory, since it is limited to actions whose descriptions employ gerunds or perfect nominals formed from ergative verbs. I conclude by replying to two arguments that would be advanced against my proposal, both found in Alvin Goldman’s A Theory of Action. (shrink)

This paper presents an account of the semantics of copular be as displayed in its behaviour in be+AP configurations. I begin by arguing against the Partee/Dowty distinction between a semantically null be of predication and a thematically relevant agentive be, and I propose that there is one semantically relevant verb whose grammatical role is to turn an AP predicate into a verbal one. The denotation of be must thus be a function from denotations of Adjective Phrases to denotation of Verb (...) Phrases. I argue that these denotations are crucially different in kind: verbs (and thus VPs) denote eventualities, which are count entities and which are temporally locatable, while adjectives (and thus APs) denote mass entities, which are states and which are not temporally locatable. Be thus denotes a locating function which maps from the mass to the count domain, and is the analogue of the ‘packaging’ function in the nominal domain. After a comparison between the mass/count distinction in the verbal and nominal domains, I show how this theory accounts for properties of be in small clause and progressive constructions which have hitherto been explained by positing a so-called agentive be. (shrink)

This paper gives an analysis of the adverbial quantifiers exemplified in “I regretted it every time I had dinner with him.” Sentences of this kind display what I call a ‘matching effect’; they are true if every event in the denotation oftime I had dinner with him can be matched with an event regretting that dinner event. They are thus truth-conditionally equivalent to sentences of the form “There are at least as many As as Bs.” The difficulties of giving a (...) compositional interpretation to sentences of this form have been discussed in, e.g., Boolos 1981. I first show that the matching effect is semantic and not pragmatic. I then give an analysis of these sentences in a neo-Davidsonian framework, interpreting the adverbials as quantifiers over events. Syntactically they are analyzed as objects of a null preposition. This allows a simple compositional semantic interpretation in which the null preposition is interpreted exactly as other prepositions are by Davidson (1967), namely as denoting a function from the event argument of the matrix verb to the prepositional object. The matching effect then follows automatically. I extend the analysis to account for other sentences which directly instantiate the schema “For every A there is a B” and its equivalents, and show how the matching effect follows in general from the functional nature of thematic roles and prepositions. (shrink)