This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 \textbf{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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{8} examines the interaction between Elohim's 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 $\Omega$-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 \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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. Elohim invents 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 \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{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)

1. During the 1960s and 1970s, Keith Donnellan (1966, 1970, 1974) and Saul Kripke ([1972] 1980) developed influential critiques of then-prevailing ‘description theories’ of reference. In place of s...

In “A New Problem for Kripkean Defenses of Origin Theses”, Sungil Han calls attention to a gap between the negative conclusions of arguments for origin essentialism (claims to the effect that a given thing could not originate in a certain way), and the positive conclusions one might hope for (claims to the effect that a given thing must originate in a certain way if it exists at all). Han proposes a way of bridging the gap. While I agree with Han (...) that there is indeed such a gap, there is an important difference in what Han and I take the negative claims of Kripke(ans) to be. As a result, I propose a bridge that is significantly different from his. I argue that my approach is superior to Han’s. (shrink)

Discussions of artificial intelligence have been shaped by two brilliant thought-experiments: Turing’s Imitation Test for thinking systems and Searle’s Chinese Room Argument. In many ways, debates about large language models (LLMs) struggle to move beyond these original, opposing thought-experiments. So, in this paper, I ask whether we can move debate forward by exploring the features Sceptics about LLM abilities take to ground meaning. Section 1 sketches the options, while Sections 2 and 3 explore the common requirement for a robust relation (...) between linguistic signs and external objects. Section 3 argues that concerns about worldly connections can be met and thus that outputs of LLMs should be viewed as genuinely meaningful. Section 4 then turns to the argument that the kind of derived meaning explored in Section 3 is insufficient for LLMs to count as meaningful systems per se, looking at the claim that they must possess original intentionality before we admit them to the space of meaning. I argue that this demand is not a prerequisite for meaning per se, but rather for some kinds of agency or conscious understanding. I suggest that the demands for original intentionality are not currently met by LLMs and that we should be cautious about whether we want them to be. (shrink)

I shall discuss Han’s analysis of the necessity of origin theses. His analysis comes in two parts. The negative part argues that well-known Kripkean arguments leave an inferential gap, thus falling short of establishing the necessity of origin theses. The positive part contends that the gap can only be bridged by Aristotelian metaphysics of essence and causation. I shall critically examine both the negative and positive parts of Han’s analysis.

In this paper, I examine two connected strands of the 4th Set of Objections and Replies to Descartes' Meditations on First Philosophy. On the one hand, I look at Arnauld's defence of the view that real distinction proofs require adequate knowledge and Descartes' view that they only require complete understanding. On the other hand, I engage Arnauld's famous right‐angled triangle, T, and Pythagorean property, P, counterexample to Descartes that vivid and clear thought of separability entails knowledge of separability by God. (...) Following a comment in Almog, I extend out the exchange over the counterexample by considering non‐Euclidean geometries. I argue that while at first it seems that Descartes has a plausible response to Arnauld's counterexample by considering T in a non‐Euclidean space where P does not hold. However, Arnauld actually has a powerful response when we consider what is the essence of T across geometries, Euclidean or otherwise. (shrink)

Modalizmas, arba filosofinė teorija, teigianti, kad modalinės sąvokos, tokios kaip galima ir būtina, yra neredukuojamos ir neanalizuojamos, reikšmingai skiriasi nuo galimų pasaulių semantikos, kur modalinės sąvokos interpretuojamos kaip galimų pasaulių kvantifikavimas. Straipsnyje nagrinėjami pagrindiniai modalizmo principai, remiantis šią teoriją plėtojusių Arthuro Prioro, Kito Fine’o ir Graeme’o Forbeso darbais. Tuomet aptariama tokių mąstytojų kaip Davidas Lewisas, kuris teigia, kad antireduktyvizmas modalumų atžvilgiu apskritai nelaikytinas teorine prieiga, bei Josephas Melia, kuris tvirtina, jog modalizmas implicitiškai mėgdžioja galimų pasaulių semantiką, kritika. Straipsnyje įrodinėjama, kad (...) formali modalizmo kalba grindžiama ne kuo kitu, kaip natūralia kalba, ir kad modalizmas nesiremia galimų pasaulių semantika. Be to, pabrėžiama, kad modalizmas siūlo intuityvesnį modalinių sąvokų supratimą, lyginant su galimų pasaulių semantika. (shrink)

It is argued that the theory of opposition is in position to contribute as a formal method of conceptual engineering, by means of an increasing dichotomy-making process that augments the number of elements into any structured lexical field. After recalling the roots of this theory and its logical tenets, it is shown how the processes of expansion and contraction of discourse can modify a lexical field and, with it, our collective representation of ideas. This theory can also bring some order (...) to the question of disagreement in philosophical discourse: what do philosophers disagree about; how can we clarify the distinction between verbal disagreement (focused on words) and substantive disagreement (focused on things)? The ensuing construction of conceptual systems will be exemplified through three case studies of philosophy: desire, truth judgment, and the left–right political divide. The construction rules of such systems resort to the theory of opposition, which intends to improve our understanding of what entails either agreement or disagreement about the meaning of concepts. Such a better understanding of philosophical discourse relies on its formalization in terms of closed lexical fields, thereby leading to a comparative analysis of concepts in light of logical relations between their definitions. (shrink)

A distinctive and widely recognized feature of proper names is that, unlike other words, names can be used across languages without modification. Yet, this feature of names—the prevalence and acceptability of their ‘cross‐linguistic’ uses—has been mostly overlooked within philosophy. This article highlights the theoretical importance of the cross‐linguistic uses of names in the debate concerning their syntax and semantics. It identifies an anomalous phonological feature of names in their cross‐linguistic uses and argues that the source of the anomaly is the (...) widespread view that proper names are syntactically simple. It also argues that such uses provide evidence for the syntactic view that the phonological articulation of a name is mentioned and not used in the syntax—a view that is consistent with some but not all semantic views of names. By examining the hitherto overlooked cross‐linguistic uses of names, this article provides new evidence in favour of a certain variety of metalinguistic views concerning the syntax and semantics of names. (shrink)

Vaidya & Wallner [2021] have recently formulated the Problem of Modal Epistemic Friction (PMEF) for three of the most discussed accounts in the epistemology of modality: conceivability-based, counterfactual-based and deduction-based accounts. They propose essentialist solutions in all three cases, arguing that all three discussed accounts should be supplemented by a suitable epistemology of essence. In this paper I argue that the PMEF also applies to Roca-Royes’ similarity-based account in the epistemology of modality. I also discuss if or to what extent (...) the version of the PMEF that applies to Roca-Royes can be given an essentialist solution. With regard to this question, I argue that besides the inductivist variant of the similarity-based account that Roca-Royes favors, there might also be an essentialist variant that would be successful in at least some cases. As for Roca-Royes’ inductivist variant I argue that the PMEF ultimately boils down to the notorious Problem of Induction. I shall discuss a popular solution to the Problem of Induction and the role essences might play in it. (shrink)

This paper gives experimental evidence against the claim that speakers’ intuitions support semantic relativism about assertions of epistemic modal sentences and uses this evidence as part of a broader argument against assessment relativism. It follows other papers that reach similar conclusions, such as that of Knobe and Yalcin (Semant Pragmat 7:1–21, 2014). Its results were achieved simultaneously and independently of the more recent work of Kneer (Perspectives on taste. Aesthetics, language, metaphysics, and experimental philosophy. Routledge, 2022). The experimental data in (...) this paper supports two claims. The first is that, as Knobe and Yalcin (Semant Pragmat 7:1–21, 2014) also found, speakers diverge in their judgments about the truth-values and about the appropriate retraction of epistemic modal claims. The second is that speakers diverge in their judgments about when a retraction is appropriate and when it is required. This divergence was not tested by Knobe and Yalcin (Semant Pragmat 7:1–21, 2014) but aligns with the results independently reached by Kneer ((Kneer, Synthese 199(3–4): 6455–6471; Perspectives on taste. Aesthetics, language, metaphysics, and experimental philosophy. Routledge, 2022), and supports the arguments previously developed by Marques (Synthese 199(3–4): 6455–6471). The present studies tested the intuitions of both North American English speakers and of peninsular Spanish speakers, whose judgements on the topic had never been tested. The broader argument involves the relation between required retractions and falsity. (shrink)

A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions. A surprising theorem about epistemic necessity is proved. A proposition p can be epistemically necessary for a knowing subject S even though p is /a posteriori/ and S does not know p. The identity relation (...) is well-behaved in metaphysically possible worlds but can go rogue in epistemically possible worlds. Whereas it can be epistemically possible that Lewis Carroll is not Charles Lutwidge Dodgson, this is not epistemically possible in the manner that anti-Millianism requires. (shrink)

Philosophers have conjectured that human cognitive limitations might preclude our ever resolving the hard problem of consciousness. Few, however, have offered suggestions as to what it might be about our conceptual apparatus that poses the problem. I do so in this essay, arguing that our central difficulties lie with two conceptual categories that pervade philosophical discussion of the hard problem. They are compositional concepts -- part/whole, constituents/constitution, and the like – and instantiational concepts: properties/objects, universals/particulars, and the like. I look (...) at the uses of these two conceptual categories in four contexts in which the hard problem is considered: multiple realizability, zombies, mental causation, and panpsychism. I show that the two conceptual categories run into the same kinds of obstacles in each case, which suggests that they might be key to the cognitive limitations about which some have speculated. (shrink)

I defend Haze’s argument against the Breckenridge-Magidor theory of instantial reasoning from an objection by Meléndez Gutiérrez. According to Breckenridge and Magidor, in reasoning like ‘Some x is mortal. Let n be such an x…’, the ‘n’ refers to a particular object but we cannot know which. This surprisingly defensible view poses an obvious threat to widespread notions in the philosophy of language. Haze argues that the theory leads to absurdity in cases like ‘Some x is unreferred-to by any expression. (...) Let n be such an x…’ and should therefore be rejected. Meléndez Gutiérrez counters that Haze’s argument is just a case of Berry-like paradox and thus fails to refute the Breckenridge-Magidor theory. I argue that the analogy breaks down: unlike the intuitively compelling and widely believed well-ordering principle about positive integers, the principle drawn from Breckenridge and Magidor that plays a supposedly analogous role enjoys no such status, and is instead simply shown to be false by Haze’s reductio. The possibility of such a response is obscured when Meléndez Gutiérrez portrays Haze’s argument as involving a stipulation that ‘n’ is to refer to an unreferred-to object. On the contrary, Haze’s argument does not assume that expressions like ‘n’ work by means of referring at all, and simply lets stipulations like ‘Let n be such an x’ be themselves, without imposing a theory on them. Once this is clarified, we can see that Haze’s argument is unaffected by Meléndez Gutiérrez’s objection. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen to (...) be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

The problem of self-knowledge has been thoroughly discussed in the context of traditional epistemology. In parallel to the traditional approach to epistemology, Radically Embodied Cognitive Science (RECS) has emerged in the last 30 years as a genuine contender in its field. According to RECS, the unity of analysis of cognitive processes is the dynamics between brain, body and environment. In this paper, I advance a RECS approach to self-knowledge, which immediately suggests that knowing oneself is a matter of knowing what (...) one’s body can do. I then turn to resistance training, particularly weightlifting, and argue that it offers a paradigmatic case of self-knowledge in RECS’s terms. More precisely, resistance training allows the trainee to achieve knowledge of themselves in a fundamentally practical manner—and doing so is transformative of the kind of actions they are capable of. (shrink)

This paper explores the complex nature of social biases, arguing for a functional framework that recognizes their unity and diversity. The functional approach posits that all biases share a common functional role in overcoming underdetermination. This framework, I argue, provides a comprehensive understanding of how all psychological biases, including social biases, are unified. I then turn to the question of disunity, demonstrating how psychological social biases differ systematically in the mental states and processes that constitute them. These differences indicate that (...) biases at various levels of the cognitive architecture require distinct treatment along at least two dimensions: epistemic evaluation and mitigation strategies. By examining social biases through this dual lens of unity and diversity, we can more effectively identify when and how to intervene on problematic biases. Ultimately, this approach provides a nuanced understanding of the nature of social bias, offering practical guidance for addressing existing biases and proactively managing emerging biases in both human and artificial minds. (shrink)

The concepts to be considered in this chapter are those that occur in everyday common human thought and language – the “natural history” of concepts in use. While many may appear to be constituted by similarity relations, which make them suitable for modelling in conceptual spaces for example, other concepts in everyday use may be differently constituted. These concepts include abstract concepts, essentialist kinds, natural kinds, and logical or mathematical concepts. I discuss the different sources, uses and epistemological bases of (...) these different forms of concept, and propose a three-level hierarchy of concepts based on their sources of validation. (shrink)

The standard semantics for modality, together with the influential restrictor analysis of conditionals (Kratzer, 1986, 2012) renders conditional ought claims like “If John’s stealing, he ought to be stealing” trivially true. While this might seem like a problem specifically for the restrictor analysis, the issue is far more general. Any account must predict that modals in the consequent of a conditional sometimes receive obligatorily unrestricted interpretation, as in the example above, but sometimes appear restricted, as in, e.g., “If John’s speeding, (...) he ought to pay the fine.” And the problem runs deeper, for there are non-conditional variants of the data. Thus, the solution cannot lie in adopting a particular analysis of conditionals, nor a specific account of the interaction between conditionals and modals. Indeed, with minimal assumptions, the standard account of modality will render a myriad of claims about what one ought to, must, or may, do trivially true. Worse, the problem extends to a wide range of non-deontic modalities, including metaphysical modality. But the disaster has a remedy. I argue that the source of the problem for the standard account lies in its failure to capture an inferential evidence constraint encoded in the meaning of a wide range of modal constructions. I offer an account that captures this constraint, and show it provides a general and independently motivated solution to the problem. (shrink)

We argue that (1) a purported example of an infinite inference we humans can actually perform admits a faithful, finitary description, and (2) infinite inference contravenes any view which does not grant our minds uncomputable powers. These arguments block the strategy, dating back to Carnap's Logical Syntax of Language, of using infinitary inference rules to secure the determinacy of arithmetical truth on conventionalist grounds.

Fictional realism is the view that creatures of fiction exist. Mythical realism is the view that creatures of myth and mistaken theories exist. Call the combined view “Ecumenical Realism.” We critically evaluate three arguments for Ecumenical Realism and argue they are unsound because fictional storytelling differs from mistaken theorizing in important ways. We think these considerations support a more conservative view, “Sectarian Realism,” which results from subtracting “creatures of mistaken theorizing” from Ecumenical Realism. We close by considering an important challenge (...) to Sectarian Realism involving immigrants in fiction. (shrink)

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

This thesis provides an account of acquaintance with abstract objects. The notion of acquaintance is integral to theorising on reference and singular thought, since it is generally taken to be the relation that must exist between a subject and an object, in order for the subject to refer to, and entertain singular thoughts about the object. The most common way of understanding acquaintance is as a form of causal connection. However, this implies a problem. We seem to be able to (...) refer and have singular thoughts about abstract objects. But given that abstract objects are causally inert, this would mean that we are unable to become acquainted with them. This problem shall be the focus of this thesis. I first argue that these traditional causal interpretations of acquaintance are lacking. Instead, I show that acquaintance is dependent to some degree on factors internal to the subject, namely the skills that they possess. From doctors to sommeliers to mathematicians (and possibly even philosophers!) – these subjects seem to succeed in becoming acquainted with certain objects precisely in virtue of their respective skills. Thus, building off from Evans’ The Varieties of Reference, I present a novel account of acquaintance, which I term as Skill-based Acquaintance (SBA). On SBA, a subject is said to be acquainted with an object when they possess discriminating knowledge of that object, gained through the use of their capacities and skills. The SBA account is applied to virtual (Ch.3), fictional (Ch.4), and mathematical objects (Ch.5), as well as God (Ch.6). SBA is successful in explaining how subjects can indeed become acquainted with these problematic categories of objects - some of which are abstract – thus being able to refer and entertain singular thoughts about them. Overall, then, SBA is shown to have greater explanatory power than competing accounts and should thus be preferred. (shrink)

Necessity, but not possibility, is typically thought to be rare and suspicion-worthy. This manifests in an asymmetry in the burden of proof incurred by modal claims. In general, claims to the effect that some proposition is impossible/necessary require significant argumentative support and, in general, claims to the effect that some proposition is possible/contingent are thought to be justified freely or by default. Call this the possibility bias. In this paper, I argue that the possibility bias is not epistemically justified. We (...) should regard possibility with at least as much suspicion, that is to say as incurring at least as much of an explanatory demand, as necessity. In fact, I suggest that we might even be justified in reversing the burden of proof asymmetry and adopting a necessity bias. This has quite radical implications for philosophical methodology and hence for many first-order philosophical concerns. (shrink)

This paper argues for a distinction between fictional characters, as parts of intentionally created abstract artifacts, and intentional objects, as nonexistent objects generated by referential acts that fail to refer. It argues that intentional objects as the nonexistent objects of imagination and other objectual attitudes are well-reflected in natural language, though in a highly restricted way, reflecting their ontological dependence on referential acts. The paper elaborates how that ontological dependence can be understood.

Many philosophers today accept that phenomenal truths cannot be explained in terms of ordinary physical truths. Two possible routes to accounting for consciousness have received much attention: the emergentist route is to accept that ordinary experience is inexplicable in physical terms but that microscopic entities as described in physics nonetheless bring about conscious experience. The second route is to argue that microscopic entities have features not described in physics which can fully explain conscious experience. The view associated with panprotopsychism is (...) that microscopic entities have no phenomenal properties. The view associated with panpsychism is that microscopic entities do have phenomenal properties. In this paper it is argued that if consciousness is extended in space only the latter view is possible. According to this argument for micropsychism, if phenomenal truths are not merely structural, all truths about a whole are truths about its parts plus structural relational truths. If there are phenomenal truths about the whole, this must be because there are phenomenal truths about its parts. It wouldn’t follow that panpsychism is true, since it does not follow that consciousness exists outside the wholes we know to be conscious, but it does follow that emergentism and protopanpsychism are false. (shrink)

Upon introspection, we judge that suffering feels bad. I argue there is no appearance-reality gap when it comes to introspective judgments about simple, intrinsic, nonrepresentational phenomenal states like itches, tingling, and suffering's feeling bad. On constitutivism about phenomenal introspection, there is no appearance-reality gap here because these judgments are literally constituted by the phenomenal states they are about. As a result, we are directly acquainted with the intrinsic properties of experience in having these judgments. Reflecting on our direct acquaintance with (...) intrinsic badness, we can know that our suffering instantiates this judgment-independent evaluative property. (shrink)

What is it to know someone? Epistemologists rarely take up this question, though recent developments make such inquiry possible and desirable. This paper advances an account of how such interpersonal knowledge goes beyond mere propositional and qualitative knowledge about someone, giving a central place to second-personal treatment. It examines what such knowledge requires, and what makes it distinctive within epistemology as well as socially. It assesses its theoretic value for several issues in moral psychology, epistemic injustice, and philosophy of mind. (...) And it offers an account of the complex content in play if interpersonal knowledge is to be understood in terms of its mental states and their functions. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Algorithms are used across a wide range of societal sectors such as banking, administration, and healthcare to make predictions that impact on our lives. While the predictions can be incredibly accurate about our present and future behavior, there is an important question about how these algorithms in fact represent human identity. In this paper, we explore this question and argue that machine learning algorithms represent human identity in terms of what we shall call the statistical individual. This statisticalized representation of (...) individuals, we shall argue, differs significantly from our ordinary conception of human identity, which is tightly intertwined with considerations about biological, psychological, and narrative continuity—as witnessed by our most well-established philosophical views on personal identity. Indeed, algorithmic representations of individuals give no special attention to biological, psychological, and narrative continuity and instead rely on predictive properties that significantly exceed and diverge from those that we would ordinarily take to be relevant for questions about how we are. (shrink)

Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of modality. (...) I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

This paper reevaluates Kaplan’s (Themes from Kaplan, Oxford University Press, Oxford, pp 481–563, 1989b) infamous ‘compulsive talker’ objection to Reichenbach’s (Elements of symbolic logic, AQ1 Macmillan, New York, 1947 ) token-reflexive theory of indexicals. It argues that Kaplan’s objection depends on the modal status of Reichenbachian tokens. On one interpretation, Kaplan’s objection stands. But on another, equally plausible interpretation, the following points hold: (i) Reichenbach’s theory effectively preempts contemporary discussion of rigid definite descriptions, (ii) Kaplan’s own analysis of indexicals in (...) terms of _dthat_-terms comes extremely close to Reichenbach’s own analysis, and (iii) Kaplan’s ‘compulsive talker’ objection should be rejected. (shrink)

Although thinkers of the past might have started from presumptions of fundamental difference and inequality between (say) the genders, or people of different races, this is no longer the case. At least in mainstream political philosophy, we are all now presumed to be, in some fundamental sense, basic equals. Of course, what follows from this putative fact of basic equality remains enormously controversial: liberals, libertarians, conservatives, Marxists, republicans, and so on, continue to disagree vigorously with each other, despite all presupposing (...) some kind of basic equality. They may argue about who gets what, how much, and why, but the starting point - that all people are in some sense deserving of prima facie equal consideration - has become an axiom of our moral and political thinking. But why? Why are we basic equals? The trouble is that as soon as one asks for an explanation of this foundational premise, it begins to look shaky. After all, on any conceivable metric human beings are notably unequal, and often to striking degrees. Philosophers in this area tend to talk of equal worth, but often without trying to specify what exactly that means. Philosophically, basic equality is neither acceptable nor rejectable. It is not rejectable because we appear to be, as a matter of fact, profoundly committed to the truth of the claim that we are all one another's basic equals. But to the extent that there appear to be no philosophical arguments for believing in the truth of basic equality, it is not acceptable either. The aim of this book is to try and show why basic equality is acceptable. To do so, however, it will also contend that we need to approach the question rather differently to how it has mostly been handled so far. What's required is an exercise in what Bernard Williams called 'impure philosophy': it must include insights from other areas of human intellectual endeavour, whether psychology and history or even what we learn from how we go about practicing basic equality in our collective lives. (shrink)

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)

It might be that intuitions are central to philosophy, and it might be that this is true because when philosophers give case‐based arguments for philosophical claims (in published philosophy), the case verdict is typically (a) an intuited proposition and (b) either left undefended or defended on the grounds that it is an intuited proposition. This paper remains neutral on these global issues, however, and instead focuses on whether there is a nontrivial (or many‐membered) class of case‐based arguments in philosophy in (...) which the case verdict is defended by appeal to background beliefs and not on the grounds that it is an intuited proposition. The paper argues that the answer is affirmative by examining seven such arguments that are referred to as “paradigm cases” of case‐based arguments in which the verdict is justified via an appeal to intuition. (shrink)

Conceptual engineering wants analytic philosophy to be centered around the assessment and improvement of philosophical concepts. But contemporary debates about conceptual engineering do not engage much with the vast literature on conceptual change that exists in philosophy of science. In this article, I argue that an adequate appreciation of the history of philosophy of science can contribute to discussions about conceptual engineering. Specifically, I show that the evolution of debates over scientific conceptual change arguably demonstrates that, contrary to what is (...) commonly assumed in the literature about conceptual engineering, conceptual change is possible within an externalist metasemantics and that any adequate theory of conceptual change should be metasemantically plastic. (shrink)

While knowledge of mere possibilities is difficult to understand, knowledge of possibilities that are actual seems unproblematic (as far as we know the actual world). The principle that what is actual is possible has been near-universally accepted. After summarizing some sporadic dissent, I present a proposal for how the validity of the principle might be restricted. While the principle certainly holds for sufficiently inclusive objective and epistemic possibilities, it may not hold when the accessibility of possibilities is contextually restricted.

By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...) should be reconsidered. First, I argue that logical apriorists are more tolerant of logical evidence than empiricists. Second, I argue that evidence for logic should not be read out of natural language. Third, I argue that if logical intuitions are to count as logical evidence, then their evidential content must not be propositional. Finally, I argue that the empiricist proposal of treating experts' judgments as evidence suffers from the same problems as the rationalist conception. (shrink)

So-called Neo-Russellians, such as Salmon, Braun, Crimmins, and Perry, hold that the semantic content of ‘ n is F ’ in a context c is the singular proposition ⟨ o, P ⟩, where o is the referent of the name n in c, and P is the property expressed by the predicate F in c. This is also known as the Neo-Russellian theory. Using truth ascriptions with names designating propositions, such as ‘Goldbach's conjecture’, in this paper, I will argue that, (...) together with highly plausible principles regarding a priori knowledge, the Neo-Russellian theory leads to unacceptable consequences. I will call this ‘the Goldbach puzzle’. Since the solution to the Goldbach puzzle cannot be to reject the discussed principles regarding a priori knowledge, the puzzle will undermine the Neo-Russellian theory. (shrink)

In this article, we advocate the use of “epistemic” ontologies, i.e., systems of categories representing our knowledge of the world, rather than the world directly. We first expose a metaphysical framework based on a dual mental and physical realism, which underpins the development of these epistemic ontologies. To this end, we refer to the theories of intentionality and representation established within the school of Franz Brentano at the turn of the 20th century and choose to rehabilitate the notion of a (...) ‘representation object’, as theorized by Kasimir Twardowski. We therefore propose that the categories of epistemic ontologies correspond to ‘general representation objects’. Secondly, we apply these proposals to the treatment of technical artefacts, material qualities of objects and events (notably as a continuation of our previous work on events). This leads us to sketch out a foundational epistemic ontology. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

In the addenda to his Naming and Necessity, Kripke provides an account of how necessary aposteriori statements are possible. In such a case, there is an apriori general principle telling us that it is necessary if true at all. Though straightforward in its broad compass, this account faces two obvious questions in its application: in each case of necessary aposteriori statements, what is the underlying principle and how is it established apriori? I treat these questions with respect to theoretical identity (...) statements concerning chemical substances, such as ‘water is H2OH2O’. I argue that the general principle underlying the necessity of the statements is that if a chemical substance has a certain chemical composition, then it could not have had any other chemical composition. Then I defend the view that the principle is a conceptual truth by providing a novel derivation of it from the theoretical concept of chemical substance with a sufficient level of formal rigor. The logical principles required for the derivation will also be stated and defended. (shrink)

There are strong reasons for assuming that Thomas Aquinas conceived of God’s existence in terms of logical necessity in a broad sense. Yet this seems to stand in some tension with the fact that he excludes the possibility of a priori arguments for the existence of God. One apparently attractive way of handling this tension is to use a two-dimensional framework inspired by Saul Kripke. Against this, this article demonstrates that a Kripke-inspired framework is inapt in this context because it (...) allows for the conceivability of God’s non-existence, thereby rendering his non-existence possible in some important, and for Aquinas inacceptable, sense. Drawing on David Chalmers, the article submits that the existence of God can only be necessary if God’s non-existence is ideally inconceivable. On the basis of Aquinas’ own understanding of God, however, the article argues further that God’s non-existence in fact is inconceivable. The alleged conceivability of God’s non-existence is ultimately due to our (human) inability to grasp the nature of being, whereas creatures who grasp the nature of being are unable to conceive of God’s non-existence. This removes God’s non-existence from the realm of relevant conceivability and, therefore, from the range of possible worlds. (shrink)

Recent work in cognitive psychology and experimental semantics indicates that people do not categorize natural kinds solely by virtue of their purported scientific essence. Two attempts have been made to explain away the data by appealing to the idea that participants in these studies are reasoning diagnostically. I will argue that an appeal to diagnostic reasoning will likely not help to explain away the data.

A wide variety of concepts are nowadays considered to be hyperintensional, and some of them do not seem to involve our representational attitudes. This led some philosophers to identify and defend a notion of worldly hyperintensionality: the idea that some hyperintensional phenomena derive from features of objective reality, independently of how we represent it. Against this view, Darragh Byrne and Naomi Thompson argue that the correct understanding of such phenomena must be conceptualist in nature, and claim that hyperintensionality always derives (...) from features of representations. In the present work I defend the genuine distinction between worldly and representational hyperintensionality through a new framing of the issue: the comparison with worldly intensionality. I argue that locating the sources of hyperintensionality should not be affected by preferences towards any specific semantic framework, and reject Byrne and Thompson's argument against worldly hyperintensionality. (shrink)

We distinguish between different problems of “aboutness”: the “hard” problem of explaining the everyday phenomenon of intentionality and three less challenging “easy” sets of problems concerning the posits of folk psychology, the notions of representation invoked in the mind‐brain sciences, and the intensionality (with an “s”) of mental language. The problem of intentionality is especially hard in that, as is the case with the hard problem of phenomenal consciousness, there is no clear path to a solution using current methods. We (...) argue that naturalistic theories of mental representation do not address the hard problem—either they are only intended to address the easy problems, or the claims they make help address the problem of intentionality only under undefended andprima facieimplausible assumptions to the effect that the hard problem reduces to some combination of the easy problems. We offer a positive account of what would be required to properly face up to the problem of intentionality. (shrink)