In this paper I begin to develop an account of the acquaintance that each of us has with our own conscious states and processes. The account is a speculative proposal about human mental architecture and specifically about the nature of the concepts via which we think in first personish ways about our qualia. In a certain sense my account is neutral between physicalist and dualist accounts of consciousness. As will be clear, a dualist could adopt the account I will offer (...) while maintaining that qualia themselves are non-physical properties. In this case the non-physical nature of qualia may play no role in accounting for the features of acquaintance. But although the account could be used by a dualist, its existence provides support for physicalism. (shrink)

Understanding the nature of pain depends, at least partly, on recognizing its subjectivity (thus, its first-person epistemology). This in turn requires using a first-person experiential method in addition to third-person experimental approaches to study it. This paper is an attempt to spell out what the former approach is and how it can be integrated with the latter. We start our discussion by examining some foundational issues raised by the use of introspection. We argue that such a first-person method in the (...) scientific study of pain (as in the study of any experience) is in fact indispensable by demonstrating that it has in fact been consistently used in conjunction with conventional third-person methodologies, and this for good reasons. We show that, contrary to what appears to be a widespread opinion, there is absolutely no reason to think that the use of such a first-person approach is scientifically and methodologically suspect. We distinguish between two uses of introspective methods in scientific experiments: one draws on the subjects’ introspective reports where any investigator has equal and objective access. The other is where the investigator becomes a subject of his own study and draws on the introspection of his own experiences. We give examples using and/or approximating both strategies that include studies of second pain summation and its relationship to neural activities, and brain imaging- psychophysical studies wherein sensory and affective qualities of pain are correlated with cerebral cortical activity. We explain what we call the experiential or phenomenological approach that has its origins in the work of Price and Barrell (1980). This approach capitalizes on the scientific prospects and benefits of using the introspection of the investigator. We distinguish between its vertical and horizontal applications. Finally, we conclude that integrating such an approach to standard third-person methodologies can only help us in having a fuller understanding of pain and of conscious experience in general. (shrink)

The elements of the referential proposal of Kripke and Putnam are presented. The consequences of such semantics in regard to the theory of truth and epistemology are examined. Some critical arguments are commented and, finally, it concludes with a general evaluation of the proposal of Kripke and Putnam.

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

a comprehensive, somewhat Gricean theory of speech acts, including an account of communicative intentions and inferences, a taxonomy of speech acts, and coverage of many topics in pragmatics -/- .

Modal counterpart theory identifies a thing’s possibly being F with its having a counterpart that is F at another possible world; temporal counterpart theory identifies a thing’s having been F or going to be F, with its having a counterpart that is F at another time. Benovsky, J. 2015. “Alethic Modalities, Temporal Modalities, and Representation.” Kriterion: Journal of Philosophy 29: 18–34 in this journal endorses modal counterpart theory but holds that temporal counterpart theory is untenable because it does not license (...) the ascription of the intuitively correct temporal properties to ordinary objects, and hence that we should understand ordinary objects, including persons, as transtemporal ‘worms’. I argue that the worm theory is problematic when it comes to accounting for what matters in survival and that temporal counterpart theory provides a plausible account of personal persistence. (shrink)

An extensive exploration of the special properties of ‘exist’ is here undertaken. Two of several results are: Denying that `exist’ has associated with it a set of necessary and sufficient conditions has seemed to a number of philosophers to imply metaphysical nihilism . This is because it has seemed that without such conditions the target domain of `existence’ is arbitrarily open. I show this is wrong. Second, my analysis sheds light on the puzzling question of what we are asking when (...) we ask of something, `Does it exist?’ and mean that question in an ontically relevant way. (shrink)

I argue that Stich's Syntactic Theory of Mind (STM) and a naturalistic narrow content functionalism run on a Language of Though story have the same exact structure. I elaborate on the argument that narrow content functionalism is either irremediably holistic in a rather destructive sense, or else doesn't have the resources for individuating contents interpersonally. So I show that, contrary to his own advertisement, Stich's STM has exactly the same problems (like holism, vagueness, observer-relativity, etc.) that he claims plague content-based (...) psychologies. So STM can't be any better than the Representational Theory of Mind (RTM) in its prospects for forming the foundations of a scientifically respectable psychology, whether or not RTM has the problems that Stich claims it does. (shrink)

This paper is an attempt to spell out what makes the scientific study of pain so distinctive from a philosophical perspective. Using the IASP definition of ‘pain’ as our guide, we raise a number of questions about the philosophical assumptions underlying the scientific study of pain. We argue that unlike the study of ordinary perception, the study of pain focuses from the very start on the experience itself and its qualities, without making deep assumptions about whether pain experiences are perceptual. (...) This in turn puts scientific explanation in a curious position due to pain’s inherently subjective epistemic nature. The reason for this focus on the experience itself and its qualities, we argue, has to do with pain’s complex phenomenology involving an affective/motivational dimension. We argue for the scientific legitimacy of first‐person phenomenological studies and attempts to correlate phenomenology with neural events. We argue that this methodological procedure is inevitable and has no anti‐physicalist ontological implications when properly understood. We end the paper by commenting on a discussion between two prominent pain scientists in the field, Don Price and Howard Fields, about the need to distinguish more dimensions in the phenomenology of pain and how to classify them vis‐à‐vis the recent scientific findings. Our interest in this discussion is not only to introduce some clarifications but also to show how “neurophenomenology” has already been shaping the scientific research and to back our claim about why this methodology is inevitable with an example. (shrink)

This paper examines pain states (and other intransitive bodily sensations) from the perspective of the problems they pose for pure informational/representational approaches to naturalizing qualia. I start with a comprehensive critical and quasi-historical discussion of so-called Perceptual Theories of Pain (e.g., Armstrong, Pitcher), as these were the natural predecessors of the more modern direct realist views. I describe the theoretical backdrop (indirect realism, sense-data theories) against which the perceptual theories were developed. The conclusion drawn is that pure representationalism about pain (...) in the tradition of direct realist perceptual theories (e.g., Dretske, Tye) leaves out something crucial about the phenomenology of pain experiences, namely, their affective character. I touch upon the role that introspection plays in such representationalist views, and indicate how it contributes to the source of their trouble vis-à-vis bodily sensations. The paper ends by briefly commenting on the relation between the affective/evaluative component of pain and the hedonic valence of emotions. (shrink)

This essay is a sustained attempt to bring new light to some of the perennial problems in philosophy of mind surrounding phenomenal consciousness and introspection through developing an account of sensory and phenomenal concepts. Building on the information-theoretic framework of Dretske (1981), we present an informational psychosemantics as it applies to what we call sensory concepts, concepts that apply, roughly, to so-called secondary qualities of objects. We show that these concepts have a special informational character and semantic structure that closely (...) tie them to the brain states realizing conscious qualitative experiences. We then develop an account of introspection which exploits this special nature of sensory concepts. The result is a new class of concepts, which, following recent terminology, we call phenomenal concepts: these concepts refer to phenomenal experience itself and are the vehicles used in introspection. On our account, the connection between sensory and phenomenal concepts is very tight: it consists in different semantic uses of the same cognitive structures underlying the sensory concepts, such as the concept of red. Contrary to widespread opinion, we show that information theory contains all the resources to satisfy internalist intuitions about phenomenal consciousness, while not offending externalist ones. A consequence of this account is that it explains and predicts the so-called conceivability arguments against physicalism on the basis of the special nature of sensory and phenomenal concepts. Thus we not only show why physicalism is not threatened by such arguments, but also demonstrate its strength in virtue of its ability to predict and explain away such arguments in a principled way. However, we take the main contribution of this work to be what it provides in addition to a response to those conceivability arguments, namely, a substantive account of the interface between sensory and conceptual systems and the mechanisms of introspection as based on the special nature of the information flow between them. (shrink)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have profound epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)

Sciences able to identify appropriate analytical units for their domain, their natural kinds, have tended to be more progressive. In the biological sciences, evolutionary natural kinds are adaptations that can be identified by their common history of selection for some function. Human brains are the product of an evolutionary history of selection for component systems which produced behaviours that gave adaptive advantage to their hosts. These structures, behaviour production systems, are the natural kinds that psychology seeks. We argue these can (...) be identified deductively by classing behaviour first according to its level of behavioural control. Early animals in our lineage used only reactive production, Vertebrates evolved motivation, and later Primates developed executive control. Behaviour can also be classified by the type of evolutionary benefit it bestows: it can deliver either immediate benefits (food, gametes), improvements in the individual’s position with respect to the world (resource access, social status), or improvements in the ability to secure future benefits (knowledge, skill). Combining history and function implies the existence of seven types of behaviour production systems in human brains responsible for reflexive, instinctual, exploratory, driven, emotional, playful and planned behaviour. Discovering scientifically valid categories of behaviour can provide a fundamental taxonomy and common language for understanding, predicting and changing behaviour, and a way of discovering the organs in the brain––its natural kinds––that are responsible for behaviour. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Millianism is the familiar view that some expressions, such as proper names, contribute only their referent to the semantic content of sentences in which they occur. Inan (Philosophical Studies 2010) has recently argued that the Millian is committed to the following odd conclusion: There may be questions that he is able to grasp but that he cannot answer, either affirmatively, negatively, or with a simple I don’t know . The Millian is indeed committed to this conclusion. But we intend to (...) show that Inan’s argument generalizes, so that everyone who accepts certain largely uncontroversial principles is committed to the odd conclusion that there may be questions that are graspable but not answerable. (shrink)

The creative aspect of language use provides a set of phenomena that a science of language must explain. It is the “central fact to which any signi- ficant linguistic theory must address itself” and thus “a theory of language that neglects this ‘creative’ aspect is of only marginal interest” (Chomsky 1964: 7–8). Therefore, the form and explanatory depth of linguistic science is restricted in accordance with this aspect of language. In this paper, the implications of the creative aspect of language (...) use for a scientific theory of language will be discussed, noting the possible further implications for a science of the mind. It will be argued that a corollary of the creative aspect of language use is that a science of language can study the mechanisms that make language use possible, but that such a science cannot explain how these mechanisms enter into human action in the form of language use. (shrink)

In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon which it (...) relies, but rather to the knowability principle itself. Further, we show that, from a verifiability perspective, the knowability principle fails in the classical logic setting because it is missing the explicit incorporation of a hidden assumption of /stability/: ‘the proposition in question does not change from true to false in the process of discovery.’ Once stability is taken into account, the resulting /stable knowability principle/ and its nuanced versions more accurately represent verification-based knowability and do not yield omniscience. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Some people may think that libertarianism and meritocracy have much in common; that the libertarian's ideal world looks like the meritocrat's ideal world; and that the public policies guiding us to each are one and the same. This is wrong in all respects. In this essay I explain why. -/- After providing an overview of meritocratic justice, I argue that meritocracy is a more compelling theory of distributive justice than libertarianism. Meritocracy better protects the core value of personal responsibility; incorporates (...) efficiency-enhancing regulation which libertarianism cannot; provides more positive liberty; and solves salient, real-world debates about distributive justice. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

In his recent work, Michael Slote argues that empathy is what Hutcheson called 'the moral sense'. The most innovative argument he offers for this claim is that our empathic reactions play a crucial role in fixing the reference of moral terms. I argue that Slote's bold proposal faces all the main problems of analytical naturalism, as well as some of its own. I suggest that empathy may nevertheless play a more modest and indirect role in acquiring moral knowledge.

A singular thought about an object o is one that is directly about o in a characteristic way—grasp of that thought requires having some special epistemic relation to the object o, and the thought is ontologically dependent on o. One account of the nature of singular thought exploits a Russellian Structured Account of Propositions, according to which contents are represented by means of structured n-tuples of objects, properties, and functions. A proposition is singular, according to this framework, if and only (...) if it contains an object as a constituent. One advantage of the framework of Russellian Structured propositions is that it promises to provide a metaphysical basis for the notion of a singular thought about an object, grounding it in terms of constituency. In this paper, we argue that the attempt to ground the peculiar features of singular thoughts in terms of metaphysical constituency fails, and draw some consequences of our discussion for other debates. (shrink)

The paper attempts a novel defense of the main claim of Wittgenstein's Private Language Argument, i.e. that 'inner' ostensive definition is impossible. Part 1 traces Wittgenstein's target to the idea that 'ostensive definition' is a mental act, an idea that makes it tempting to think that its objects might just as well be private as public. Part 2 discusses a recent interpretation and defence of Wittgenstein's position due to Stroud and McGinn. On their view, private ostensive definition establishes no pattern (...) of use because it fails to specify the type of inner episode that is being ostended. But not explicitly specifying a type is harmless so long as the ostension in fact brings it about that the subject's usage is sensitive to it. Part 3 proposes a new argument. Private ostensive definition does sustain a pattern of use, but that use is semantically indeterminate: nothing in it (or in the subject's mind) settles which of two alternative schemes of reference applies. The conclusion discusses Wittgenstein's best-known remarks on the subject from the perspective of this new argument. (shrink)

Broadly, the subject of this paper is the relation between logic and linguistics. More narrowly, it concentrates on formal semantics. The first part of the text discusses the topics and methods of formal semantics, and the second part the history of formal semantics. Formal semantic analysis has not been widely known and applied in our research community, and formal methods have been applied extremely rarely in linguistic analyses. This is why it is useful to point out the significant achievements of (...) formal semantics. This inspiring interdisciplinary field of research has been successfully connecting research in linguistics, logic and philosophy since the early 1970s. (shrink)

Tema je ovoga teksta u širem smislu osvrt na odnos logike i lingvistike. U užem smislu tekst će se u prvome dijelu osvrnuti na teme i instrumentarij, a u drugom na povijest formalne semantike. Recepcija formalnosemantičkih radova na našim područjima nema čvršću tradiciju, kao ni primjena formalnih metoda na proučavanje jezika, pa se i stoga čini korisnim ukazati na njezine dosege. Formalna semantika inspirativno je i plodonosno interdisciplinarno polje istraživanja koje je od 70-tih godina 20. stoljeća iznimno uspješno povezivalo istraživanja (...) lingvista, logičara i filozofa.Broadly, the subject of this paper is the relation between logic and linguistics. More narrowly, it concentrates on formal semantics. The first part of the text discusses the topics and methods of formal semantics, and the second part the history of formal semantics. Formal semantic analysis has not been widely known and applied in our research community, and formal methods have been applied extremely rarely in linguistic analyses. This is why it is useful to point out the significant achievements of formal semantics. This inspiring interdisciplinary field of research has been successfully connecting research in linguistics, logic and philosophy since the early 1970s. (shrink)

A popular response to the Exclusion Argument for physicalism maintains that mental events depend on their physical bases in such a way that the causation of a physical effect by a mental event and its physical base needn’t generate any problematic form of causal overdetermination, even if mental events are numerically distinct from and irreducible to their physical bases. This paper presents and defends a form of dualism that implements this response by using a dispositional essentialist view of properties to (...) argue that the psychophysical laws linking mental events to their physical bases are metaphysically necessary. I show the advantages of such a position over an alternative form of dualism that merely places more “modal weight” on psychophysical laws than on physical laws. The position is then defended against the objection that it is inconsistent with dualism. Lastly, some suggestions are made as to how dualists might clarify the contribution that mental causes make to their physical effects. (shrink)

Unlike versions of open theism that appeal to the alethic openness of the future, defenders of limited foreknowledge open theism (hereafter LFOT) affirm that some propositions concerning future contingents are presently true. Thus, there exist truths that are unknown to God, so God is not omniscient simpliciter. LFOT requires modal definitions of divine omniscience such that God knows all truths that are logically knowable. Defenders of LFOT have yet to provide an adequate response to Richard Purtill’s argument that fatalism logically (...) follows from the omnitemporality of truth. Hasker believes a distinction between hard and soft facts prevents fatalism, but I argue that his defense fails in light of arguments involving divine necessity. Additionally, I point out that Hasker’s philosophy of language concerning divine names faces problems that cannot be overcome, given the versions of the dilemma of freedom and foreknowledge that motivate LFOT. Thus, contra Hasker, Swinburne, and van Inwagen, open theism necessitates the alethic openness of the future. (shrink)

This paper seeks to utilize mathematical methods to formally define and analyze the metaethical theory that is ethical reductionism. In contemporary metaethics, realist-antirealist debates center on the ontology of moral properties. Our research reflects an innovative methodology using methods from Graph Theory to clarify a debated position of Meta-Ethics, previously encumbered by intrinsic vagueness and ambiguity. We employ rigorous mathematical formalism to symbolize, parse, and thus disambiguate, particular philosophical questions regarding ethical ontological materialism of the reductionist variety. In this paper, (...) we seek to revisit the once vexed question regarding the multiple-realizability of moral properties by employing the mathematical machinery of hypergraphs and category theory. The utilization of Mathematical formalism offers explanatory flexibility specifically to the hypothesis that there are potentially an infinite number of unrelated subvening facts which may constitute supervening moral properties. We by no means have attempted to settle the argument on the side of naturalism, but have only identified an obstacle to rigorous argumentation, and pioneered a method to eliminate it. We hope our research will be of interest to both the Analytic Philosophy and the Applied Mathematics communities, and will help facilitate discussions of metaethics, particularly pertaining to ethical naturalism. We believe there is much research yet to be done. (shrink)

El artículo es un comentario crítico a“Realismo, esencialismo yextensionalismo”, del profesor IgnacioÁvila. En particular, se contestan lascríticas que el profesor Ávila hace a lametafísica esencialista, argumentando,principalmente, que esta metafísica escompatible con el fenómeno de larelatividad conceptual.This paper is a critical commentary to“Realism, Essentialism and Extensionalism”, by professor Ignacio Ávila. In particular, professor Ávila’s criticisms to an essentialist metaphysics are answered,arguing, mainly, that this metaphysicsis compatible with the phenom-enon of conceptual relativity.

I put forward a micro realistic, probabilistic version of quantum theory, which specifies the precise nature of quantum entities thus solving the quantum wave/particle dilemma, and which both reproduces the empirical success of orthodox quantum theory, and yields predictions that differ from orthodox quantum theory for as yet unperformed experiments.

In this article, I undertake the tasks: (i) of reconsidering Feigl’s notion of a ‘nomological dangler’ in light of recent discussion about the viability of accommodating phenomenal properties, or qualia, within a physicalist picture of reality; and (ii) of constructing an argument to the effect that nomological danglers, including the way qualia are understood to be related to brain states by contemporary dualists, are extremely unlikely. I offer a probabilistic argument to the effect that merely nomological danglers are extremely unlikely, (...) the only probabilistically coherent candidates being ‘anomic danglers’ (not even nomically correlated) and ‘necessary danglers’ (more than merely nomically correlated). After I show, based on similar probabilistic reasoning, that the first disjunct (anomic danglers) is very unlikely, I conclude that the identity thesis is the only remaining candidate for the mental–physical connection. The novelty of the argument is that it brings probabilistic considerations in favor of physicalism, a move that has been neglected in the recent burgeoning literature on the subject. (shrink)

Perhaps all concrete phenomena obtain solely in virtue of physical phenomena. Even so, it seems that the world could have been otherwise. It seems that physicalism, if true, is contingently true. In fact, many believe that the actual truth of physicalism allows metaphysically possible worlds duplicating the actual world in all physical respects while containing immaterial extras, e.g. ghosts, spirits, or Cartesian souls, that no physicalist would believe actually exist. Here I focus on physicalism regarding mentality and argue that the (...) doctrine does not allow possible worlds that physically duplicate the actual world while differing mentally. By revealing what physicalism (regarding the mind) does not allow, this essay helps us get clear on what the view really amounts to and why it is contingent. (shrink)

Clinical delusions have traditionally been characterized as beliefs in psychiatry. However, philosophers have recently engaged with the empirical literature and produced a number of objections to the so-called doxastic status of delusion, stemming mainly from the mismatch between the functional role of delusions and that expected of beliefs. In response to this, an appeal to dispositionalism about the nature of belief has been proposed to vindicate the doxastic status of delusion. In this paper, I first present the objections to attributing (...) beliefs to delusional patients and the application of dispositionalism in the attempt to vindicate doxasticism. I then assess this application and some responses to the objections to the doxastic characterization. Finally, I offer some conclusions about the limits of folk-psychological concepts in the characterization and explanation of complex psychological phenomena such as delusions. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

I spell out and update the individuality thesis, that species are individuals, and not classes, sets, or kinds. I offer three complementary presentations of this thesis. First, as a way of resolving an inconsistent triad about natural kinds; second, as a phylogenetic systematics theoretical perspective; and, finally, as a novel recursive account of an evolved character. These approaches do different sorts of work, serving different interests. Presenting them together produces a taxonomy of the debates over the thesis, and isolates ways (...) it has been productive. This goes to the larger point of this paper: a defense of the individuality thesis in terms of its utility, and an update of it in light of recent theoretical developments and empirical work in biology. (shrink)

The idea of the present Issue originated in a workshop held at the University of Urbino, Italy, in June 2014, and subsequently developed into an independent editorial project by including contributions that were not initially presented at the workshop. The eight essays that follow authored by young and emerging philosophers as well as fully accomplished ones—touch upon various aspects of the most recent debate surrounding TEs, closely engaging with many influential proposals that have been put forward over the last few (...) years. They can be organised around three main areas of concern. The first group deals with general issues raised by the use of TEs, such as the possibility of drawing a principled distinction between scientific and philosophical TEs (Marco Buzzoni), the role played by intuitions within philosophical TEs (Julia Langkau), and the different ways in which the intended conclusion of a TE can be resisted (Roy Sorensen). The second group focuses on the logical form of philosophical TEs (Sören Häggqvist; Daniele Sgaravatti), and on the kind of access to modal knowledge they are standardly taken to provide (Vittorio Morato). The third and last group explores the virtues and limits of TEs used in two specific philosophical areas, namely the philosophy of science (Margherita Benzi), and the philosophy of mind (Elizabeth Schier). (shrink)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

A tacit assumption in the literature devoted to singular thought is that singular thought constitutes a unitary phenomenon, and so a correct account of it must encompass all instances. In this essay, I argue against such a unitary account. The superficial feature of singularity might result from ver y different deep-level phenomena. Following Taylor (2010) and Crane (2013), I distinguish between the referential fitness and the referential success of a thought. I argue that facts responsible for referential fitness (e.g., mental (...) files or individual concepts), as well as facts responsible for referential success (e.g., acquaintance conditions on referential success), are relevant in explaining the data pertaining to a theory of singular thought. What makes this approach particularly attractive is that there are good independent reasons to introduce both kinds of facts in theorizing about thought. (shrink)

As regards the question of what matters in survival two views have been identified: on the one hand, we have the view that what matters is identity (the so-called ?commonsense view?) and, on the other hand, we have the view that what matters is the holding of certain psychological connections between various mental states over time (the relation R). Several attempts have tried to reconcile these two views involving the so-called ?multiple occupancy view? or ?cohabitation thesis?. Even if the latter (...) comes in several formulations, common elements are, positing the appropriateness of a description of the fission case according to which the post-fission persons existed prior to fission and also, that what determines that two persons who exist at a certain time are distinct can be facts about what is the case at other times. The paper discusses three of the most influential formulations of the multiple occupancy view, which intend to reconcile identity with what matters, and argues that for various reasons these at least do not work in this regard. (shrink)

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)