Donald Davidson established causalism, i.e. the view that reasons are causes and that action explanation is causal explanation, as the dominant view within contemporary action theory. According to his “master argument”, we must distinguish between reasons the agent merely has and reasons she has and which actually explain what she did, and the only, or at any rate the best, way to make the distinction is by saying that the reasons for which an agent acts are causes of her action. (...) “Davidson's challenge” to non‐causalists is to come up with an alternative, more convincing, way of drawing the distinction. In this paper, I argue that G.E.M. Anscombe and G.H. von Wright offer such an alternative. Moreover, I argue that Davidson's own account of interpretation makes no use of his causalist claim. (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.

This is my entry on natural language ontology in the Stanford Encyclopedia of Philosophy.

Plausibly, agents act freely iff their actions are responses to reasons. But what sort of relationship between reason and action is required for the action to count as a response? The overwhelmingly dominant answer to this question is modalist. It holds that responses are actions that share a modally robust or secure relationship with the relevant reasons. This thesis offers a new alternative answer. It argues that responses are actions that can be explained by reasons in the right way. This (...) explanationist answer comes apart from the modalist answer. For it holds that actions are responses to reasons if they are explained by those reasons even if they don’t share a modally robust relationship. Explanationism thus offers a novel way of vindicating the intuition that alternative possibilities don’t matter to responding to reasons and (consequently) free agency. The key dialectical position the thesis develops is that both modalism and explanationism constitute attempts to capture he core type of relationship encoded by the notion of a response. Responses to reasons, at core, involve a non-accidental relationship between reason and action. We can either understand non-accidentality as a modal phenomenon – as a modally robust tracking between two facts. Or we can understand non-accidentality as an explanatory phenomenon – as a special explanatory relationship between two facts. According to my rival explanationist proposal, two facts share a non-accidental relationship iff we can give a unified explanation of why both obtain. Unified explanations are explanations of why [p&q] that cannot be decomposed into two (or more) separate independent explanations of p and of q. Consequently, according to explanationism about responding to reasons, actions are responses to reasons iff those reasons offer a rational explanation of the action that cannot be decomposed into separate independent components. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

Hume’s famous character Cleanthes claims that there is no difficulty in explaining the existence of causal chains with no first cause since in them each item is causally explained by its predecessor. Relying on logico-mathematical resources, we argue for two theses: (1) if the existence of Cleanthes’ chain can be explained at all, it must be explained by the fact that the causal law ruling it is in force, and (2) the fact that such a causal law is in force (...) cannot explain the occurrence of the events in the chain. In order to perform (1), we manage to express in mathematical terms the intuitive idea that indefinitely delayed explanation is ultimately no explanation. In order to achieve (2), we identify a logical relation we can prove to be as strong as the causal relation at issue in the Cleanthes passage, according to a precise notion of strength of relations. (shrink)

I argue that emojis are essentially little pictures, rather than words, gestures, expressives, or diagrams. ???? means that the world looks like that, from some viewpoint. I flesh out a pictorial semantics in terms of geometric projection with abstraction and stylization. Since such a semantics delivers only very minimal contents I add an account of pragmatic enrichment, driven by coherence and nonliteral interpretation. The apparent semantic distinction between emojis depicting entities (like ????) and those depicting facial expressions (like ????) I (...) analyze as a difference between truth-conditional and use-conditional pictorial content: ???? depicts what the world of evaluation looks like, while ???? depicts what the utterance context looks like. (shrink)

It’s generally assumed that, if an agent x acts by ϕ-ing, then there occurs an event which is x’s ϕ-ing. But what about when an agent tries to do something? Are there such things as attempts? The standard answer is ‘Yes’. But in a series of articles, and now a book, David-Hillel Ruben has argued that the answer is ‘No’: what happens when x tries to ϕ isn’t that an attempt occurs; rather, what happens is simply that a certain subjunctive (...) conditional fact obtains; x tries to ϕ just in case, had all the necessary conditions for success obtained, x would have intentionally ϕ-ed. I defend the existence of attempts. Following Ruben, I frame the issue in terms of the logical form of trying sentences. Against Ruben’s view that such sentences express subjunctive conditionals, I argue that they express existential quantifications over attempts qua events. Thus, trying sentences are true only if attempts qua events exist. (shrink)

With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

A popular claim in recent philosophy of mind and action is that events only exist once they are over. This has been taken to have the consequence that many temporal phenomena cannot be understood ‘from the inside’, as they are unfolding, purely in terms of events. However, as I argue here, the claim that events exist only when over is incoherent. I consider two ways of understanding the claim and the notion of existence it involves: one that ties existence to (...) the logic of quantification, and another that assimilates the existence of an event to that of a continuant. The first of these, I argue, cannot be the right way to understand the target claim, as there are serious logical obstacles to regarding this notion of existence as temporally variable. The second, on the other hand, leaves it ultimately mysterious what the existence of an event could amount to. I close with the suggestion that the undeniable temporal asymmetries which parties to the debate are interested in are properly understood in perspectival, not ontological, terms. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

I argue for two claims: that the ordinary English truth predicate is a gradable adjective and that truth is a property that comes in degrees. The first is a semantic claim, motivated by the linguistic evidence and the similarity of the truth predicate’s behavior to other gradable terms. The second is a claim in natural language metaphysics, motivated by interpreting the best semantic analysis of gradable terms as applied to the truth predicate. In addition to providing arguments for these two (...) claims, I draw out consequences for debates about deflationism and truth-based analyses of notions such as assertion and logical consequence. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

This comment mainly examines Yli-Vakkuri and Hawthorne’s preferred framework for examining whether narrow content is viable, arguing that their framework is not well-suited to the task; once a more traditional framework is adopted, Y&H’s case against internalism is strengthened.

In the past 60 years or so, the philosophical subject of artistic expression has generally been handled as an inquiry into the artistic expression of emotion. In my view this has led to a distortion of the relevant territory, to the artistic expression of feeling’s too often being overlooked. I explicate the emotion-feeling distinction in modern terms, and urge that the expression of feeling is too central to be waived off as outside the proper philosophical subject of artistic expression. Restricting (...) the discussion to the art of painting, I sketch a partial psychological model for the exrtistic expression of feelipression of feeling. Although the feeling-emotion contrast is seldom made clear in their writings, I stress that many, or even most of the eminent pre-1960’s voices in aesthetics and art criticism—Croce, Dewey, Langer, Bosanquet, Berenson and others—would more or less agree that feeling is no less important for expression than emotion, and indeed can be interpreted as anticipating many points that I set forth. (shrink)

Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology containing facts about (...) knowledge, beliefs, perceptions and communication; 3) an ontology concerning future intentions, desires, and aversions; and, finally, 4) a deontic ontology for modeling obligations and prohibitions which limit agents’ actions. The architecture of the ontology framework is inspired by deontic cognitive event calculus as well as epistemic and deontic logic. We also describe a case study in which the proposed DCEO ontology supports autonomous vehicle navigation. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

There is an emerging view according to which countability is not an integral part of the lexical meaning of singular count nouns, but is ‘added on’ or ‘made available’, whether syntactically, semantically or both. This view has been pursued by Borer and Rothstein among others in order to deal with classifier languages such as Chinese as well as challenges to standard views of the mass-count distinction such as object mass nouns such as furniture. I will discuss a range of data, (...) partly from German, that such a grammar-based view of countability receives support when applied to verbs with respect to the event argument position. Verbs themselves fail to specify events as countable in English and related languages; instead countability is made available only by the use of the event classifier time or else particular lexical items, such as frequency expressions, German beides ‘both’, or the nominalizing light noun -thing. The paper will not adopt or elaborate a particular version of the grammar-based view of countability, but rather critically discuss existing versions and present two semantic options of elaborating the view. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...) full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

In this paper, we argue that, omissions are not events or actions, but rather fact-like entities, and that, insofar as only events and actions can be causes, omissions cannot be causes. Nevertheless, since omissions can, and often do, play a role in the explanations of events, their place in such explanations must be found; and an attempt to find such a place is made.

Formal semantics constitutes the framework of this thesis, and the aim is to characterise the semantics of the progressive, as it appears in sentence. Max was running towards the station Among the problems is one known as the "imperfective paradox". According to intuitions, sentence entails, but no entailment holds between and. Max was running towards the station Max ran towards the station Max was running to the station Max ran to the station Since and would seem to have the same (...) logical form, they ought to have similar entailments. Why is this not so? This thesis is divided into two parts. The first part, containing chapters 2 to 5, evaluates the current formal theories that tackle the imperfective paradox. Solving the imperfective paradox consists of two tasks: the first is to characterise a semantic distinction between and, and the second is to supply a semantic analysis of the progressive that is sensitive to this distinction and so results in a solution to the imperfective paradox. According to how the current theories tackle these two tasks, they can be classified into three camps which I will name as follows: the Heterogeneous Strategy provides one approach for fulfilling the first task, the Eventual Outcome Strategy provides an approach for defining the semantics of the progressive, and the Event-based Strategy provides a further alternative for achieving the two tasks at hand. All these strategies are intuitively motivated, but we will argue that they are ultimately untenable. The Heterogeneous Strategy and the Event-based Strategy fail to mesh with the treatment of point adverbials such as "At 3pm", and the Eventual Outcome Strategy produces a definition of the progressive that is viciously circular. Thus although the current theories that tackle the imperfective paradox are highly intuitively motivated, we will ultimately show that the formulations of these intuitions give rise to conflicts and tensions when it comes to explaining the natural language data. The second part of the thesis, containing chapters 6 and 7, offers a new approach for tackling the imperfective paradox. This new approach invokes two tools; the interval-based temporal logic IQ, and Moens' event-based AI model of temporal reference. IQ is an interval-based temporal logic with several innovations. First, unlike the previous interval-based theories, IQ maintains a high level of homogeneity: an atomic sentence is true at an interval I only if it is true at all subintervals of I. Second, IQ offers a technique whereby temporal expressions can have representations that receive their semantic interpretation with respect to context. We use the roles of homogeneity and context in IQ to characterise the semantics of aspect, where the characterisation is based on Moens' model. This provides an arena in which to tackle the imperfective paradox anew. We explain the entailment between and, and at the same time explain why no entailment holds between and. Furthermore, we overcome the problems concerning the treatment of adverbials such as "At 3pm" that are encountered in the Heterogeneous Strategy and the Event-based Strategy, and, since we do not adopt the Eventual Outcome Strategy in defining the progressive, we overcome that strategy's problem of circularity. Hence our solution to the imperfective paradox will provide answers to the puzzles posed in the earlier chapters of the thesis. (shrink)

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical (...) significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic. (shrink)

It is a commonplace in philosophy of action that there is and must be teleologically basic action: something done on an occasion without doing it by means of doing anything else. It is widely believed that basic actions are exercises of skill. As the source of the need for basic action is the structure of practical reasoning, this yields a conception of skill and practical reasoning as complementary but mutually exclusive. On this view, practical reasoning and complex intentional action depend (...) on skill and basic action, but the latter pair are not themselves rationally structured: the movements a basic action comprises are not intentional actions, and they are not structured as means to an end. However, Michael Thompson and Douglas Lavin have argued that action that bears no inner rational structure is not intentional action at all, and that therefore there can be no such thing as basic action. In this paper, I argue that their critique shows that standard conceptions of basic action are indeed untenable, but not that we can do without an alternative. I develop an alternative conception of skill and basic action on which their basicness is not to be equated with simplicity: like deliberation and non-basic action, they are teleologically complex, but their complexity takes a different form. On this view, skill contrasts with deliberation—not because it is not a manifestation of practical reason, but because the two are specifically different manifestations of practical reason. (shrink)

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a 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 to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

The literature on agentive or practical knowledge tends to be focused on knowing what one is doing or what one is going to do. Knowing what one has done and has achieved thereby seems to be another matter. In fact, achievements are often taken to be beyond the ken of practical knowledge. I argue that this is a mistake. The intelligibility of the very idea of practical knowledge depends on the possibility of knowing one's achievements in the same manner. For (...) if it is to be intelligible as knowledge of the actuality of one's action in the material world, knowing what one is doing has to include knowledge of what one has done so far. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of Fine’s recent (...) truthmaker semantics. (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 this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not traceable to context. For (...) example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (shrink)

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

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)

Arguments from analogy are pervasive in everyday reasoning, mathematics, philosophy, and science. Informal logic studies everyday argumentation in ordinary language. A branch of fuzzy logic, approximate reasoning, seeks to model facets of everyday reasoning with vague concepts in ill-defined situations. Ways of combining the results from these fields will be suggested by introducing a new argumentation scheme—a fuzzy analogical argument from classification—with the associated critical questions. This will be motivated by a case study of analogical reasoning in the virtual friendship (...) debate within information ethics. The virtual friendship debate is a disagreement over whether virtual friendships are genuine friendships. It will be argued that the debate could move away from its current impasse, caused by unproductive metaphysical and logical assumptions, if extant arguments are reinterpreted as fuzzy analogical arguments from classification, and subjected to a new set of critical questions which would replace the quest for facts of essence about friendship with an emphasis on empirical data, persuasion, and definitional power. (shrink)

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the descriptive (...) content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (shrink)

Quantum mechanics is an area of Physics that deals with subatomic phenomena. It can be extracted from a vision of the physical world which contradicts many aspects of our everyday perception, prompting many philosophical debates and admitting different interpretations. Among the wide range of problems within the interpretation of quantum theory, there is the measurement problem. Some philosophical aspects of the problems concerning the notion of “measurement” in quantum mechanics are analyzed in order to identify how the problem arises in (...) discussions about the foundations of the interpretation of quantum theory and how it holds up even in the most recent interpretations, conflicting in various ways (including ontological) with a worldview that can be drawn from classical physics – assuming that it provides a worldview. Although Bohr has, on several occasions, addressed the measurement problem, he did not get to properly formulate a measurement theory. This was done by von Neumann, who presented an axiomatic formulation of a measurement theory along with a critique of the Bohrian model and, at the same time, an alternative grounded in the introduction of a dualistic notion of consciousness (nonphysical) with causal power in quantum measurement. It is precisely the introduction of the dualistic concept of consciousness within the scope of the concept of measurement that inserts into the philosophical discussion as an ontological problem insofar as it comes to the introduction of a new entity in the universe. The first subjetivistic interpretations, proposed by London and Bauer, are analysed, passing through the solipsistic difficulty to this subjectivist interpretations placed through Wigner’s work, up to the interpretations inspired by the late work of the physicist Erwin Schrödinger, which proposes a monistic interpretation of the notion of “consciousness”. Some distinct attitudes towards measuring the philosophical problems are outlined very briefly in the form of sampling, to illustrate the plural character of the proposals for interpretation of the term “measurement” in quantum mechanics. Although strictly speaking there is no “best” interpretation of quantum mechanics, it is suggested that the formulation of an ontology that takes into account quantum mechanics could help in understanding certain concepts, such as “measurement” or “consciousness” without that philosophical difficulties – as dualism – or paradoxical situations – such as solipsism – necessarily accompany them. (shrink)

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)

Do we have control of how we act, and does it matter to morality whether we do? Thomas Pink examines this free will problem by arguing that what matters to morality is not in fact the freedom to do otherwise, but something more primitive, a basic capacity or power to determine for ourselves what we do.

It is typically assumed that actions are events, but there is a growing consensus that negative actions, like omissions and refrainments, are not events, but absences thereof. If so, then we must either deny the obvious, that we can exercise our agency by omitting and refrainment, or give up on event-based theories of agency. I trace the consensus to the assumption that negative action sentences are negative-existentials, and argue that this is false. The best analysis of negative action sentences treats (...) them as quantifying over omissions and refrainments, conceived of as events. (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)

The aim of this paper is to display an alternative to the familiar decompositional approach in action theory, one that resists the demand for an explanation of action in non-agential terms, while not simply treating the notion of intentional agency as an unexplained primitive. On this Anscombean alternative, action is not a worldly event with certain psychological causes, but a distinctive form of material process, one that is not simply caused by an exercise of reason but is itself a productive (...) exercise of reason. I argue that to comprehend the proposed alternative requires an account of the temporality of events in general. An event does not simply have a position in time, but is itself temporally structured. With the inner temporality of events in view, the Anscombean conception of action as a specifically self-conscious form of temporal unity is made available for critical reflection. (shrink)

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.