In this paper, we pursue three general aims: (I) We will define a notion of fundamental opacity and ask whether it can be found in High Energy Physics (HEP), given the involvement of machine learning (ML) and computer simulations (CS) therein. (II) We identify two kinds of non-fundamental, contingent opacity associated with CS and ML in HEP respectively, and ask whether, and if so how, they may be overcome. (III) We address the question of whether any kind of opacity, contingent (...) or fundamental, is unique to ML or CS, or whether they stand in continuity to kinds of opacity associated with other scientific research. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Although Kripke’s œuvre has had a major impact on analytic philosophy and nearly every aspect of his studies has been thoroughly examined, this does not hold for his schmidentity argument, which, so far, has been widely neglected. To the extent to which it has been treated at all, it has been for the most part radically misunderstood. I hold that this argument, in its correctly reconstructed form, has general relevance for a treatment of Frege’s Puzzle and points towards a fundamental (...) methodological restriction for philosophy of language and especially for semantics, as far as informativity and the general topic of cognitive significance are concerned. To show this, I will briefly set out the context of the schmidentity argument and, in Sects. 2 and 4, sketch a reconstruction thereof, including some criticisms of the argument, and an excursion about Kit Fine’s semantic relationism, which stands in stark contrast to this paper’s central claim. Moreover, I will draw a genuinely new and probably quite unexpected conclusion from all the above, to finally give a glimpse at a bigger picture of where this conclusion should lead our thinking about a theoretical treatment of informativity and a linguistic expression’s cognitive value. (shrink)

The theory of concepts advanced in the dissertation aims at accounting for a) how a concept makes successful practice possible, and b) how a scientific concept can be subject to rational change in the course of history. Traditional accounts in the philosophy of science have usually studied concepts in terms only of their reference; their concern is to establish a stability of reference in order to address the incommensurability problem. My discussion, in contrast, suggests that each scientific concept consists of (...) three components of content: 1) reference, 2) inferential role, and 3) the epistemic goal pursued with the concept's use. I argue that in the course of history a concept can change in any of these three components, and that change in one component—including change of reference—can be accounted for as being rational relative to other components, in particular a concept's epistemic goal.This semantic framework is applied to two cases from the history of biology: the homology concept as used in 19th and 20th century biology, and the gene concept as used in different parts of the 20th century. The homology case study argues that the advent of Darwinian evolutionary theory, despite introducing a new definition of homology, did not bring about a new homology concept (distinct from the pre-Darwinian concept) in the 19th century. Nowadays, however, distinct homology concepts are used in systematics/evolutionary biology, in evolutionary developmental biology, and in molecular biology. The emergence of these different homology concepts is explained as occurring in a rational fashion. The gene case study argues that conceptual progress occurred with the transition from the classical to the molecular gene concept, despite a change in reference. In the last two decades, change occurred internal to the molecular gene concept, so that nowadays this concept's usage and reference varies from context to context. I argue that this situation emerged rationally and that the current variation in usage and reference is conducive to biological practice.The dissertation uses ideas and methodological tools from the philosophy of mind and language, the philosophy of science, the history of science, and the psychology of concepts. (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

Dans Naming and Necessity, Saul Kripke a proposé une théorie causale de la référence selon laquelle un nom se réfère à un objet en vertu d'une connexion causale avec l'objet, médiatisée par les communautés de locuteurs. Il déclare également que les noms propres, contrairement à la plupart des descriptions, sont des désignations rigides (le nom propre fait référence à l'objet nommé dans tout monde possible dans lequel l'objet existe)Les idées de Naming and Necessity ont évolué au fil du temps, se (...) développant sur la base de recherches formelles antérieures en théorie des modèles pour la logique modale, basées sur le principe leibnizien d'identité des indiscernables. DOI: 10.13140/RG.2.2.23511.09122 . (shrink)

A novel non-classical mereological concept built up by blending the Metaphysics of Xavier Zubiri and the Quantum Theory of Atoms in Molecules of R. F. W. Bader is proposed. It is argued that this philosophical concept is necessary to properly account for what happens in a chemical reaction. From the topology of the gradient of the laplacian of the electronic charge density, \\) within the QTAIM framework, different “atomic graphs” are found for each atom depending on the molecular context, reflecting (...) how the whole molecule affects each atom. In this way, the whole molecular system imposes certain geometry onto each atom, and every atom exhibits different ontological modality. On the Metaphysical side, for X. Zubiri real things are system of different notes. The physical essence is the subsystem of essential notes with a coherence unity. Every note is grounded on the essence. The unity of the system is present somehow in every note-of beforehand, and every essential note-of turns towards the other. The essence determines the position of each note within the system, and hence is the grounding for modality of the notes. By conflating both “theories” and taking the atoms as essential notes, we propose the concept of “Molecule in atoms-of” or “atoms-of in Molecules”. Within the course of a chemical reaction the atoms-of modified their “of” as required by the new molecular unity being formed, and eventually change their modality. The validity to the Zubiri’s statements, is attained by evaluating necessity and possibility in a set-up of finite accessible “possible worlds”. (shrink)

In Overlooking Conventions Michael Devitt argues in defence of the traditional approach to semantics. Devitt’s main line of argument is an inference to the best explanation: nearly all cases that linguistic pragmatists discuss in order to challenge the traditional approach to semantics are better explained by adding conventions into language, in the form of expanding the range of polysemy or the range of indexicality (in the broad sense of linguistically governed context sensitivity). In this paper, we discuss three aspects of (...) a draft of Devitt’s Overlooking Conventions, which was discussed at a conference in Dubrovnik in September 2018. First, we try to show that his rejection of Bach’s distinction between convention and standardization overlooks important features of standardization. Second, we elaborate on Devitt’s argument against linguistic pragmatism based on the normative aspect of meaning and show that a similar argument can be mounted against semantic minimalism. While Devitt and minimalists have a common enemy, they are not allies either. Third, we address a methodological difficulty in Devitt’s view concerning a threat of over-generation and propose a solution to it. Although this paper is the result of collaboration the authors have written different parts. Carlo Penco has written part 1, Massimiliano Vignolo has written part 2 and part 3. (shrink)

The notion of “intentionality” is much invoked in various foundational theories of meaning, being very often equated with “meaning”, “content” and “reference”. In this paper, I propose and develop a basic distinction between two concepts and, more fundamentally, properties of intentionality: intentionality-T and intentionality-C. Representationalism is then defined as the position according to which intentionality-T can be reduced to intentionality-C, in the form of representational states. Nonrepresentationalism is rejecting this reduction, and argues that intentionality-T is more fundamental than intentionality-C. Non-representationalism (...) allows for a new layered view of the relations between cognitive intentionality and linguistic intentionality; this view is presented at the end of the paper. (shrink)

This paper is a defense of the view that existence is a perfection. Anselm’s First Ontological Argument is referred to throughout. Two major objections are advanced: the ‘perfect island’ objection and the ‘perfect devil’ objection. A rebuttal of both, based on Anselm’s reply to Gaunilo, is tendered, but itself faces a major objection. Two lines of defense against this objection are possible. The first is sympathetically explained but it is argued that it ultimately fails. The second, which focuses on the (...) idea of a perfection and a perfect being, is elaborated and defended against a seemingly powerful objection. It is concluded that there is a reasonable interpretation of the claim that existence is a perfection. (shrink)

What does the way we clarify and revise concepts reveal about the nature of concepts? This paper investigates the ontological commitments of conceptual analysis and explication regarding their supposed subject matter – concepts. It demonstrates the benefits of a cognitivist account of concepts, according to which they are not items on which the subject operates cognitively, but rather ways in which the subject operates. The proposed view helps to handle alternating references to ‘concepts’ and ‘terms’ in instructions on analysis and (...) explication. Furthermore, its virtue lies not in the capacity to render concepts ‘shareable’ but in its ontological parsimony. (shrink)

This is a review article of Herman Cappelen's monograph 'Fixing Language. An Essay on Conceptual Engineering' (OUP 2018). It summarizes the key elements of the book and objects to various of Cappelen's claims.

In this article, I defend Lewisian modal realism against objections arising from the possibility of ‘Island Universes’ and other similar cases. The problem comes from Lewis’ claim that possible worlds are spatio-temporally isolated. I suggest a modification of Lewisian modal realism in order to avoid this family of objections. This modification may sound quite radical since it amounts to abandoning the very notion of a possible world, but as radical as it may sound it in fact remains well in the (...) spirit of Lewis’ original view. (shrink)

Neo‐Aristotelian Plenitude is the thesis that, necessarily, any property that could be had essentially by something or other is had essentially by something or other if and only if and because it is instantiated; any essentializable property is essentialized iff and because it is instantiated. In this paper, I develop a partial nonmodal characterization of ‘essentializable' and show it cannot be transformed into a full characterization. There are several seemingly insurmountable obstacles that any full characterization of essentializability must overcome. Moreover, (...) these obstacles threaten other views in the conceptual neighborhood such as Counterpart Theoretic Plenitude and Conceptualist Plenitude. (shrink)

This paper explores a variety of perfect being theism that combines Yujin Nagasawa’s maximal God thesis with the view that God is not atemporal. We argue that the original maximal God thesis still implicitly relies on a “static” view of divine perfections. Instead, following the recent re-evaluation of divine immutability by analytic philosophers, we propose that thinking of divine great-making properties as fluctuating but nevertheless remaining maximal either for every time t or across all times strengthens the original maximal God (...) thesis. Furthermore, we show that “temporalising” Nagasawa’s maximal God and adopting what we call the fluctuating maximal God thesis provides more effective ways of responding to objections to perfect being theism, in particular, the argument from evil and some conceptual problems pertaining to the Incarnation. Finally, we demonstrate that our proposal is compatible with Christian Scriptures and coheres with numerous biblical passages better than Nagasawa’s original proposal does. (shrink)

Since the 1960s, Kripke has been a central figure in several fields related to mathematical logic, language philosophy, mathematical philosophy, metaphysics, epistemology and set theory. He had influential and original contributions to logic, especially modal logic, and analytical philosophy, with a semantics of modal logic involving possible worlds, now called Kripke semantics. In Naming and Necessity, Kripke proposed a causal theory of reference, according to which a name refers to an object by virtue of a causal connection with the object, (...) mediated by the communities of speakers. DOI: 10.13140/RG.2.2.26557.20964. (shrink)

The paper addresses a prima facie tension between two popular views about concepts. The first is the doctrine that some concepts are constitutively perceptual/experiential, so that they can be possessed only by suitably experienced subjects. This is a classic empiricist theme, but its most conspicuous recent appearance is in literature on phenomenal concepts. The second view is anti-individualism: here, the view that concept possession depends not only on a thinker’s internal states and relations to the concepts’ referents, but also on (...) certain of her relations to sociolinguistic peers. In recent works, Derek Ball and Michael Tye have in effect argued that the doctrines are incompatible, and their conclusion is that no concepts depend on experience. In reply, Bénédicte Veillet endorses those authors’ incompatibilism, but argues that it is anti-individualism that we should reject. I develop an approach to reconciliation that is more promising than any considered by these theorists. Against Veillet, I defend a version of anti-individualism about phenomenal concepts, but against Ball and Tye, I argue that they can be possessed only by suitably experienced thinkers. (shrink)

Although contentious, the concept of resilience is common in sustainability research. Critique of the concept have often focused on the content of the concept. In this paper we focus on another feature of concepts, namely how they are defined. We distinguish between concepts that are ostensively defined, that aim to point to some phenomena, and stipulatively defined concepts, where the content of the concept is given in the definition itself. We argue that although definitions themselves are similar across many different (...) disciplines where resilience is used?most notably psychology and ecology?they differ in how. This has interesting consequences for how different disciplines can be connected and integrated. Notably, integration on basis of ostensively defined concepts turn on sharing the extension of the concept, but not necessarily the intension, whereas integration on basis of stipulatively defined concepts work in the opposite way. (shrink)

In the philosophy of fiction, a majority view is continuism, i.e., the thesis that ordinary names, or genuine singular terms in general, directly refer to ordinary real individuals in fiction-involving sentences – e.g. “Napoleon” in the sentences that constitute the text of Tolstoy’s War and Peace. But there is also a minority view, exceptionalism, which is the thesis that such terms change their semantic value in such sentences, either by directly referring to fictional surrogates of those individuals – what we (...) may call exceptional hyperrealism about fictional characters – or by acquiring a semantic value that turns them into nonreferential terms, involving no ontological commitment to such characters – exceptional irrealism about fictional characters. In this paper, first of all, I want to support hybrid exceptionalism, according to which both parties are partly right and partly wrong. In the fictional use of fiction-involving sentences, those terms directly refer to ordinary real individuals, as continuists claim, while both in the internal and the external metafictional use of fiction-involving sentences, such terms change their semantic value, as exceptionalists claim. (By contrast, for pure exceptionalists such terms either always refer to fictional surrogates or are nonreferring on all such uses.) Moreover, I will argue that hybrid exceptional hyperrealism must be preferred to hybrid exceptional irrealism: in the latter uses, I claim, such terms directly refer to fictional surrogates. (shrink)

This paper challenges the appeal to theory virtues in theory choice as well as the appeal to the intellectual and moral virtues of an agent as determining unique choices between empirically equivalent theories. After arguing that theoretical virtues do not determine the choice of one theory at the expense of another theory, I argue that nor does the appeal to intellectual and moral virtues single out one agent, who defends a particular theory, and exclude another agent defending an alternative theory. (...) I analyse Duhem’s concept of good sense and its recent interpretation in terms of virtue epistemology. I argue that the virtue epistemological interpretation does not show how good sense leads to conclusive choices and scientific progress. (shrink)

It is often said that there are two varieties of identity theory. Type-identity theorists interpret physicalism as the claim that every property is identical to a physical property, while token-identity theorists interpret it as the claim that every particular is identical to a physical particular. The aim of this paper is to undermine the distinction between the two. Drawing on recent work connecting generalized identity to truth-maker semantics, I demonstrate that these interpretations are logically equivalent. I then argue that each (...) has the resources to resolve problems facing the other. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

Many philosophers have argued that moral disagreement raises metaphysical and/or epistemological challenges for moral realism. In this paper, I consider whether widespread moral disagreement raises a different sort of challenge by threatening the semantic commitments of moral realism. In particular, I suggest that the character of many moral disagreements gives us reason to suspect that not all competent moral speakers pick out the same properties as one another when they use moral terms. If this is so, both sides of a (...) moral dispute may speak truly, and the standard realist diagnosis of such disputes—that at most one party can be correct—is mistaken. My argumentative strategy is to first isolate some features of linguistic exchanges that provide evidence of a lack of co-reference, and then argue that many moral disputes have these features. I conclude by suggesting that there are plausible accounts of moral disputes that do not require co-reference. (shrink)

This book deals with an internal theme of metaphysics, which is the metaphysics of the laws of nature. The author presents traditional contemporary theories, as well as his own original theory, and evaluates each one at a time. He also addresses the problem of the modality of the laws of nature and makes some criticism of the standard view of necessity as truth in all possible worlds, and shows an application of his discussion to the metaphysics of physics. / Este (...) livro trata de um tema interno à metafísica, que é a metafísica das leis da natureza. O autor apresenta as teorias tradicionais contemporâneas, tal como também a sua própria teoria original, e avalia cada uma delas por vez. Ele também aborda o problema da modalidade das leis da natureza e apresenta uma certa crítica à visão padrão da necessidade como verdade em todos os mundos possíveis, e mostra uma aplicação da sua discussão à metafísica da Física. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make its (...) particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)

Although death statutes permitting physicians to declare brain death are relatively uniform throughout the United States, academic debate persists over the equivalency of human death and brain death. Alan Shewmon showed that the formerly accepted integration rationale was conceptually incomplete by showing that brain-dead patients demonstrated a degree of integration. We provide a more complete rationale for the equivalency of human death and brain death by defending a deeper understanding of the organism as a whole and by using a novel (...) strategy with shared objectives to justify death determination criteria. Our OaaW account describes different types of OaaW, defining human death as the loss of status as a human OaaW. We defend human death as similar to nonhuman death in terms of wakefulness, but also distinct in terms of the sui generis properties, particularly conscious awareness. We thereby defend the equivalency of brain death and human death using a resulting neurocentric rationale. (shrink)

In a recent paper, Brian Rabern suggests a semantics for languages with two kinds of modality, standard Kripkean metaphysical modality as well as epistemic modality. This semantics presents an alternative to two-dimensionalism, which was developed in the last decades. Both Rabern’s semantics and two-dimensionalism are subject to a puzzle that Chalmers and Rabern, 210–224 2014) call the nesting problem. I will investigate how Rabern’s semantics answers this puzzle.

A number of prominent metaphysicians have recently defended a set of ideas which I will call ‘essentialist plenitude.’ Very roughly, and to a first approximation, essentialist plenitude says that wherever there is an object with properties P1, …, Pn there is in fact a plenitude of coincident objects that differ only in the distribution of essentiality and accidentality across P1, …, Pn (§1). The main purpose of this paper is to arouse the suspicion that essentialist plenitude may have far-reaching consequences (...) for the semantics of proper names. More specifically, I will argue that neither descriptivist nor causal theories of proper names work in a plenitude setting (§2). I will close by suggesting that our use of proper names may be thoroughly infected by semantic indecision about which among many coincident objects is referred to (§3). (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

When dealing with ‘meaning’ or related notions, one cannot ignore what for a long time was the dominant paradigm in semantics. According to such paradigm, truth-conditional formal semantics for natural language is a theory of semantic competence. In this article, I shall discuss a foundational problem for such semantic program. I shall first be following authors who claim that truth-conditional formal semantics is unable to provide a complete account of lexical competence, and, therefore, it suffers from incompleteness. Moreover, as a (...) few authors observed, a coherent completion of lexical meaning/competence cannot be easily provided in the philosophical framework of truth-conditional semantics. The problem is a consequence of Kripke’s and Putnam’s arguments against the view that semantic values of words are cognitively determined. I shall argue that these arguments undermine the notion that formal semantics can be, at the same time, a theory of truth-conditions and a theory of semantic competence. I shall outline and critically discuss two general attempts to solve this problem, which I shall refer to as the social/ideal route and the concepts route. The conclusions of the article are deliberately open. I shall argue that both these attempts are exposed to conceptual troubles and counterintuitive consequences, and so the lexical problem still remains a deep and unresolved issue for semantics. (shrink)

Deep brain stimulation of the subthalamic nucleus for the treatment of Parkinson’s disease can lead to the development of neuropsychiatric symptoms. These can include harmful changes in mood and behaviour that alienate family members and raise ethical questions about personal responsibility for actions committed under stimulation-dependent mental states. Qualitative interviews were conducted with twenty participants following subthalamic DBS at a movement disorders centre, in order to explore the meaning and significance of stimulation-related neuropsychiatric symptoms amongst a purposive sample of persons (...) with PD and their spousal caregivers. Interview transcripts underwent inductive thematic analysis. Clinical and experiential aspects of post-DBS neuropsychiatric symptoms were identified. Caregivers were highly burdened by these symptoms and both patients and caregivers felt unprepared for their consequences, despite having received information prior to DBS, desiring greater family and peer engagement prior to neurosurgery. Participants held conflicting opinions as to whether emergent symptoms were attributable to neurostimulation. Many felt that they reflected aspects of the person’s “real” or “younger” personality. Those participants who perceived a close relationship between stimulation changes and changes in mental state were more likely to view these symptoms as inauthentic and uncontrollable. Unexpected and troublesome neuropsychiatric symptoms occurred despite a pre-operative education programme that was delivered to all participants. This suggests that such symptoms are difficult to predict and manage even if best practice guidelines are followed by experienced centres. Further research aimed at predicting these complications may improve the capacity of clinicians to tailor the consent process. (shrink)

ABSTRACTAmbitious Higher-order theories of consciousness – Higher-order theories that purport to give an account of phenomenal consciousness – face a well-known objection from the possibility of ra...

Saul Kripke ha presentado un conjunto de tesis esencialistas enmarcadas bajo la etiqueta«esencialismo aristotélico», esto es, la tesis que defiende la significatividad de la distinción entrepropiedades necesarias y accidentales de los objetos. Sin embargo, ¿es el «esencialismo aristotélico»acorde con el aristotelismo? Más aún, ¿puede alguna de las propiedades esenciales presentadas por Kripkeser interpretadas desde una perspectiva aristotélica? En este artículo pretendemos fundamentalmentedos cosas: 1) criticar la etiqueta «esencialismo aristotélico» a través de una hipótesis plausible acercade su elaboración; y 2) aportar (...) una explicación de las intuiciones que sustentan la metafísica kripkeanadesde la metafísica aristotélica, centrada en el paralelismo existente entre la necesidad del origenmaterial de los artefactos y la doctrina de la necesidad hipotética de la causa material desarrollada porel filósofo de Estagira. (shrink)

Recent challenges to non-traditional theories of natural kinds demand clarifications and revisions to those theories. Highlights: The semantics of natural kind terms is a special case of a general naturalistic conception of signaling in organisms that explains the epistemic reliability of signaling. Natural kinds and reference are two aspects of the same natural phenomenon. Natural kind definitions are phenomena in nature not linguistic or representational entities; their relation to conceptualized definitions is complex. Reference and truth are special cases of a (...) broader phenomenon of accommodation between aspects of signaling and epistemically relevant causal structures. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

This article examines Hilary Putnam's work in the philosophy of mathematics and - more specifically - his arguments against mathematical realism or objectivism. These include a wide range of considerations, from Gödel's incompleteness-theorem and the limits of axiomatic set-theory as formalised in the Löwenheim-Skolem proof to Wittgenstein's sceptical thoughts about rule-following, Michael Dummett's anti-realist philosophy of mathematics, and certain problems – as Putnam sees them – with the conceptual foundations of Peano arithmetic. He also adopts a thought-experimental approach – a (...) variant of Descartes' dream scenario – in order to establish the in-principle possibility that we might be deceived by the apparent self-evidence of basic arithmetical truths or that it might be ‘rational’ to doubt them under some conceivable set of circumstances. Thus Putnam assumes that mathematical realism involves a self-contradictory ‘Platonist’ idea of our somehow having quasi-perceptual epistemic ‘contact’ with truths that in their very nature transcend the utmost reach of human cognitive grasp. On this account, quite simply, ‘nothing works’ in philosophy of mathematics since wecan either cling to that unworkable notion of objective truth or abandon mathematical realism in favour of a verificationist approach that restricts the range of admissible statements to those for which we happen to possess some means of proof or ascertainment. My essay puts the case, conversely, that these hyperbolic doubts are not forced upon us but result from a false understanding of mathematical realism – a curious mixture of idealist and empiricist themes – which effectively skews the debate toward a preordained sceptical conclusion. I then go on to mount a defence of mathematical realism with reference to recent work in this field and also to indicate some problems – as I seethem – with Putnam's thought-experimental approach as well ashis use of anti-realist arguments from Dummett, Kripke, Wittgenstein, and others. (shrink)

In recent years, more and more people have become attracted by the idea that the imagination should play a central role in explaining our knowledge of what is possible and necessary and what would be the case if things were different from how they actually are. The biggest challenge for this account is to explain how the imagination can be restricted in such a way that it can play this epistemic role, for there are certainly also unrestricted uses of the (...) imagination in which it fails to yield the requisite knowledge. In this paper, I inquire how Kant’s account of the imagination could inspire the contemporary debate at this point. I first give an overview about Kant’s account of the imagination and its different roles for our cognition of the real world. I then show that some recent attempts to separate the epistemically valuable uses of the imagination from the epistemically worthless ones bear some striking similarities to Kant’s ideas about how the imagination helps us to get insight into metaphysical possibility. By discussing what Kant says about the method of a priori imaginative construction in the case of concepts such as that of matter and that of disembodied minds, I also point to those aspects of his view which make his views really distinct from all contemporary accounts, but which he himself thought bear the greatest potential of making the imagination a source of modal knowledge. (shrink)

According to Burge, it is not possible to commit brute errors in the process of critical reasoning. This thesis lies at the heart of Burge’s influential theory of self-knowledge. By appealing to a version of the slow-switching argument, this paper contends that Burge’s view is not compatible with his commitment to externalism about mental content. In particular, it is argued that accepting externalism opens up the possibility of brute errors in the process of critical reasoning.

This paper is about a certain view of intentionality, a problem faced by the view, and two ways in which, it has been proposed, the problem might be solved. The view is that every intentional state has an intentional object. The problem is that the putative intentional objects of some intentional states do not, or even cannot, exist. The two strategies to solve the problem and secure the view are those implemented by Tim Crane in his article “Intentional Objects”. In (...) this paper I argue that both Crane’s implementations and the strategies in general are unsuccessful. By way of overview, I also discuss other ways in which the problem has been addressed. (shrink)

Words form a fundamental basis for our understanding of linguistic practice. However, the precise ontology of words has eluded many philosophers and linguists. A persistent difficulty for most accounts of words is the type-token distinction [Bromberger, S. 1989. “Types and Tokens in Linguistics.” In Reflections on Chomsky, edited by A. George, 58–90. Basil Blackwell; Kaplan, D. 1990. “Words.” Aristotelian Society Supplementary Volume LXIV: 93–119]. In this paper, I present a novel account of words which differs from the atomistic and platonistic (...) conceptions of previous accounts which I argue fall prey to this problem. Specifically, I proffer a structuralist account of linguistic items, along the lines of structuralism in the philosophy of mathematics [Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. Oxford University Press], in which words are defined in part as positions in larger linguistic structures. I then follow Szabò [1999. “Expressions and Their Representations.” The Philosophical Quarterly 49 (195): 145–163] and Parsons [1990. “The Structuralist View of Mathematical Objects.” Synthese 84: 303–346] in further defining words as quasi-concrete objects according to a representation relation. This view aims for general correspondence with contemporary generative linguistic approaches to the study of language. (shrink)

According to Herman Cappelen’s Austerity Framework, conceptual engineering doesn’t involve concepts, and barely involves engineering. I begin by raising two objections to the Austerity Framework as it stands: the framework cannot account for important normative aspects of conceptual engineering; and it doesn’t give us an adequate response to Strawson-style objections that conceptual engineering serves only to change the subject. I then supplement the Austerity Framework with an account of semantic normativity, which builds on the speaker/semantic meaning distinction, and show that (...) so-supplemented the Austerity Framework successfully overcomes the two objections. I tentatively conclude that semantic normativity should play a key role in how we understand conceptual engineering. (shrink)

The dissertation is in the format of a collection of several academic texts, composed of a two-part presentation and three papers on the topic of conceivability and the epistemology of modality. The presentation is composed of, first, a general introduction to conceivability theses and objections and, second, a discussion of two cases. Following the presentation, Asger provides three papers. The first paper, Pretense and Conceivability: A reply to Roca-Royes, presents a problem and a dilemma for Roca-Royes’ Non-Standard Dilemma for conceivability-based (...) epistemologies of de re modality in which she concludes that conceivability cannot be the whole story of our de re modal knowledge. The second paper, Conceivability Externalized, proposes an externalist conceivability-based epistemology of possibility inspired by Stalnaker. The third paper, Inconceivability as a Guide to Impossibility, considers inconceivability as an epistemic guide to impossibility, aiming to explore and add support to the underexplored thesis that one can justify beliefs about the impossibility of P on the basis of the inconceivability of P. (shrink)

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

Many philosophers have tried to defend physicalism concerning phenomenal consciousness, by explaining dualist intuitions within a purely physicalist framework. One of the most common strategies to do so consists in interpreting the alleged “explanatory gap” between phenomenal states and physical states as resulting from a fallacy, or a cognitive illusion. In this paper, I argue that the explanatory gap does not rest on a fallacy or a cognitive illusion. This does not imply the falsity of physicalism, but it has consequences (...) on the kind of physicalism we should embrace. (shrink)

ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...) current contribution takes a look at these operators from a type-logical perspective. It is shown that extending Gallin's translation from intensional type logic to two-sorted type theory so as to include a version of Yanovich's backwards-looking operators, does not increase the expressive power of formulae with exclusively intensional parameters. The result, which makes use of a theorem by Zimmermann : 65–77]), is illustrated by pertinent examples from the literature. The paper closes by indicating alternative strategies of incorporating backwards-looking operators. (shrink)