This paper addresses some problems related to the relation of truthmaking, especially those concerning its necessity, adopting an essentialist point of view and focusing on the nature of truthbearers. According to the orthodox view in truthmaker theory, the relation of truthmaking is necessary in some sense. Thus, an important question involves how the relation of truthmaking is made necessary. I adopt a version of Jonathan Lowe’s essentialist approach to this question. However, contra Lowe, I take token acts of predication as (...) the primary truthbearers. This is Peter Hanks’ view in the philosophy of language. I shall argue that some problems with the essentialist approach can be solved by taking the nature of token acts of predication to be the source of necessity in truthmaking. At the end of this paper, I shall also briefly outline two general consequences related to truthmaking that I suppose this move about truthbearers should have. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

Truth appears to be a predicate of sentence-like structures. This raises the question of what a sentence is (or what it is to be sentence-like) such that it is truth-apt. A natural move is to treat sentences and truth-aptness as somehow conceptually or metaphysical coeval—made for each other. This resolution conflicts, however, with now standard approaches in syntactic theory that treat sentences as mere epiphenomena. Siding with the developments in syntax, the paper argues that truth-aptness properly belongs, not to sentences, (...) but to clauses as structures that can be selected by verbs that specify truth-apt states. It is further argued that this arrangement is perfectly consistent with truth-conditional semantics. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to both realism (...) and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (shrink)

In this paper, I argue that, when it comes to explaining what can be described as “representational” properties of propositions, Soames’s new conception of propositions—on which the proposition that Seattle is sunny is the act of predicating the property being sunny of Seattle and to entertain that proposition is to perform that act—does not have an advantage over traditional ones.

In recent work, Peter Hanks and Scott Soames argue that propositions are types whose tokens are acts, states, or events. Let’s call this view the type view. Hanks and Soames think that one of the virtues of the type view is that it allows them to explain why propositions have semantic properties. But, in this paper, we argue that their explanations aren’t satisfactory. In Section 2, we present the type view. In Section 3, we present one explanation—due to Hanks (2007, (...) 2011) and Soames (2010)—of why propositions have semantic properties. We criticize this first explanation in Section 4. In Section 5, we present another explanation—due to Soames (2104)—of why propositions have semantic properties. We criticize this second explanation in Section 6. (shrink)

In a series of recent publications, Jeffrey King (The nature and structure of content, 2007; Proc Aristot Soc 109(3):257–277, 2009; Philos Stud, 2012) argues for a view on which propositions are facts. He also argues against views on which propositions are set-theoretical objects, in part because such views face Benacerraf problems. In this paper, we argue that, when it comes to Benacerraf problems, King’s view doesn’t fare any better than its set-theoretical rivals do. Finally, we argue that his view faces (...) a further Benacerraf problem, one that threatens to undercut his explanation of why propositions have truth-conditions. If correct, our arguments undercut King’s main motivation for accepting his view over its rivals. (shrink)

It is argued that although George Bealer's influential ‘Self-Consciousness argument’ refutes standard versions of reductive functionalism (RF), it fails to generalize in the way Bealer supposes. To wit, he presupposes that any version of RF must take the content of ‘pain’ to be the property of being in pain (and so on), which is expressly rejected in independently motivated versions of conceptual role semantics (CRS). Accordingly, there are independently motivated versions of RF, incorporating CRS, which avoid Bealer's main type of (...) refutation. I focus particularly on one such theory, which takes concepts to be event types that are individuated by their psychological roles, which has the resources of responding to each of the more specific worries Bealer expresses. (shrink)

Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal was (...) part of. Along the way, I also propose novel treatments of Arthur Pap’s and W.V.O. Quine’s notoriously hard-to-paraphrase sentences about abstracta. (shrink)

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions and other complex senses/concepts using a special kind of functor. I consider some formulations from Peacocke's works and highlight certain problems that arise as we try to quantify over propositional constituents while referring to propositions using "that"-clauses. With the functor notation, by contrast, we can quantify over senses/concepts with objectual, first-order quantifiers and speak without further ado about their involvement in propositions. The functor notation also turns (...) out to come with an important kind of expressive strengthening, and is shown to be neutral on several controversial issues. (shrink)

I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being loved by Mary] (...) of John. Since the two properties are distinct, so are the act types. Hence, the sentence expresses two propositions. I also discuss a non-standard “pluralist” act-type theory, as well as some retreat positions, which all come with considerable problems. Finally, I extrapolate to a general constraint on theories of structured propositions, and find that Jeffrey King’s theory has the same unacceptable consequence as the act-type theory. (shrink)

It is often presumed by those who use propositions in their theories that propositions are representational; that is, that propositions represent the world as being some way. This paper makes two claims against this presumption. First, it argues that it does not follow from the fact that propositions play the theoretical roles usually attributed to them that they are representational. This conclusion is reached by rebutting three arguments that can be made in support of the claim that propositions are representational. (...) This paper then advances the further claim that propositions are not representational. It considers several ways to overcome the difficulties traditionally associated with this claim, particularly how to account for falsity. (shrink)

This paper identifies a tension in Frege’s philosophy and offers a diagnosis of its origins. Frege’s Context Principle can be used to dissolve the problem of propositional unity. However, Frege’s official response to the problem does not invoke the Context Principle, but the distinction between ‘saturated’ and ‘unsaturated’ propositional constituents. I argue that such a response involves assumptions that clash with the Context Principle. I suggest, however, that this tension is not generated by deep-seated philosophical commitments, but by Frege’s occasional (...) attempt to take a dubious shortcut in the justification of his conception of propositional structure. (shrink)

Expressivists about normative thought and discourse traditionally deny that there are nondeflationary normative propositions. However, it has recently been suggested that expressivists might avoid a number of problems by providing a theory of normative propositions compatible with expressivism. This paper explores the prospects for developing an expressivist theory of propositions within the framework of cognitive act theories of propositions. First, I argue that the only extant expressivist theory of cognitive propositions—Michael Ridge's ‘ecumenical expressivist’ theory—fails to explain identity conditions for normative (...) propositions. Second, I argue that this failure motivates a general constraint—the ‘unity requirement’—that any expressivist theory of propositions must provide a unified nonrepresentational explanation of that in virtue of which propositional attitudes have the content that they have. Third, I argue that conceptual role accounts of content provide a promising framework in which to develop an expressivist theory of cognitive propositions. (shrink)

Friederike Moltmann has recently proposed an account of truth-bearers that draws on Kazimierz Twardowski’s action/product distinction. Her account is meant to provide a third way between the dominant view of primary truth-bearers as mind-independent entities and the recently revived construal of them as mental or linguistic acts. This paper argues that there is no room for Twardowskian accounts because they are based on a notion of “nonenduring product” that defies comprehension, and no need for them because the linguistic data that (...) Twardowskians take to refute the act-theoretic approach can, in fact, be handled by that approach. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or cognizing, (...) an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...) not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

A coin rotating back in depth in some sense presents a changing, elliptical shape. How are we to understand such (in this case) ‘appearances of ellipticality’? How is the experiential sense of such shifting shape appearances related to the experiential sense of enduring shape definitive of perceived shape constancy? Is the experiential recovery of surface shape based on the prior (perhaps more fundamental) recovery of point or element 3D spatial locations?—or is the perception of shape a largely independent perceptual achievement? (...) Do we gain access to enduring shape properties by first detecting and working from ‘shape appearances’? These are some of the topics taken up in this paper. (shrink)

In this paper, I outline and defend a novel approach to alethic pluralism, the thesis that truth has more than one metaphysical nature: where truth is, in part, explained by reference, it is relational in character and can be regarded as consisting in correspondence; but where instead truth does not depend upon reference it is not relational and involves only coherence. In the process, I articulate a clear sense in which truth may or may not depend upon reference: this involves (...) distinguishing semantic denotation from pragmatic speaker reference and claiming that there may or may not exist a metasemantic connection between these two notions. Finally, I argue that reference is not in general inscrutable—that this metasemantic connection does exist in the case of our ordinary discourse about present macroscopic concrete objects—but that it is in pure mathematics, where reference cannot be secured, and which therefore plays no role in accounting for truth. In this manner, alethic pluralism is upheld. (shrink)

1 La ressemblance comme problème philosophique transversal Personne ne nierait que les chats se ressemblent sous un grand nombre de rapports, ni ne douterait du fait qu’ils ressemblent plus aux chiens qu’aux bactéries ou aux matchs de tennis. En réalité, il semble légitime de croire que c’est en vertu de cette similarité d’ensemble que nous pouvons dire que certains individus appartiennent à une même espèce, qu’ils sont tous des chats. Ces intuitions partagées suggèrent que la notion de resse...

Michael Ridge argues that metaethical expressivism can avoid its most worrisome problems by going ‘Ecumenical’. Ridge emphasizes that he aims to develop expressivism at the level of metasemantics rather than at the level of semantics. This is supposed to allow him to avoid a mentalist semantics of attitudes and instead offer an orthodox, truth-conditional or propositional semantics. However, I argue that Ridge's theory remains committed to mentalist semantics, and that his move to go metasemantic doesn't bring any clear advantages to (...) the debate between expressivism and its opponents. (shrink)

This paper discusses a problem for Russellian propositions. According to Russellianism, each word in a sentence contributes its referent to the proposition expressed by the sentence. Russellian propositions have normally been conceived of as problematic for two reasons, viz. they cannot account for the unity of the proposition and they have problems with non-referring singular names. In this paper, I argue that Russellianism also faces a problem with respect to properties. It is inconsistent with both traditional realism and trope-theories. The (...) only theory of properties which is consistent with Russellianism is Platonism. Moreover, it is argued that Russellianism needs a particularly implausible version of Platonism. (shrink)

RésuméRécemment, Indrek Reiland a proposé une nouvelle version de la théorie des propositions comme type d'actes (ATT) dans laquelle la prédication demeure un acte d'engagement. Cependant, le problème Frege-Geach peut être abordé sans recourir à la manœuvre d'annulation de Peter Hanks. Dans cet article, je soutiens que si nous considérons la prédication comme un acte d'engagement, nous devrons alors nous attaquer à un autre problème : celui des actes représentationnels qui n'ont pas de dimension d'engagement. Je soutiens que Reiland a (...) encore besoin d'une notion d'annulation pour traiter ce dernier problème. De ce fait, il ne peut éviter le défaut majeur qu'il attribue à la version de Hanks. (shrink)

A first-person proposition is a proposition that only a single subject can assert or believe. When I assert ‘I am on fire’ I assert a first-person proposition that only I have access to, in the sense that no one else can assert or believe this proposition. This is in contrast to third-person propositions, which can be asserted or believed by anyone.

This chapter is devoted to criticisms of the views of propositions defended by my co-authors, Jeff King and Scott Soames. The focus is on criticism of their attempts to explain the representational properties of propositions. The criticisms are varied, but one theme is a tension between their view that our actions can explain the representational properties of propositions and their commitment to the idea that propositions have their representational properties essentially.

What is objectivity? What would it take to have objective representations and do we have what it takes? This paper aims to contribute to answering these questions. To this end, it isolates one relevant sense of objectivity and proposes a generalization of standard frameworks of representational content in order to engage with the question in a way that is rhetorically fair. Armed with a general conception of perspectival content, taken from the literature on centred or de se content, the paper (...) articulates one necessary condition for objective representation: the possession of objective concepts and therefore objective contents. Two ways of meeting this condition are discussed in an exploratory way. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

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

The most pressing worry for panpsychism is arguably the combination problem, the problem of intelligibly explaining how the experiences of microphysical entities combine to form the experiences of macrophysical entities such as ourselves. This chapter argues that the combination problem is similar in kind to other problems of mental combination that are problems for everyone: the problem of phenomenal unity, the problem of mental structure, and the problem of new quality spaces. The ubiquity of combination problems suggests the ignorance hypothesis, (...) the hypothesis that we are ignorant of certain key facts about mental combination, which allows the panpsychist to avoid certain objections based on the combination problem. (shrink)

This paper explores Kant’s account of propositional content and its implications for the relationship between his notions of knowledge (Wissen) and cognition (Erkenntnis). While previous commentators commonly read Kant as holding a Fregean theory of propositional content, in this paper I argue that Kant’s theory of propositional content aligns more closely with Peter Hanks’ recent account. According to my reading, Kant holds that individual acts of judging are both ontologically and explanatorily prior to propositions or Kantian judgments (Urteil). Furthermore, on (...) my reading, acts of judging for Kant are acts of assertively predicating a property of an object rather than merely acts of neutral predication. This reading challenges the lately popular view that Kant’s notions of knowledge and cognition are not only distinct but also disjunct. I instead suggest that we should regard Kantian knowledge that requires cognitions as its grounds as a species of Kantian cognitions. (shrink)

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

Peter Hanks and Scott Soames have recently developed similar views of propositional attitudes on which they consist at least partly of being disposed to perform mental acts. Both think that to believe a proposition is at least partly to be disposed to perform the primitive propositional act: one the performance of which is part of the performance of any other propositional act. However, they differ over whether the primitive act is the forceless entertaining or the forceful judging. In this paper (...) I argue that Soames’s “forceless” approach has an advantage over Hanks’s “forceful” approach which faces a serious problem. (shrink)

Naïve Realists hold that perceptual experience is a conscious relation to an object and its property-instances. In contrast, Representationalists hold that it is a conscious representational state with content, something which is accurate or inaccurate in certain conditions. The most common versions of Representationalism take perceptual content to be either general (Generalism) or singular in the object-place and otherwise consisting of attribution of properties (Singularism/Attributionism). Susanna Schellenberg has recently developed a version on which perceptual content is singular even in the (...) property-place in containing a de re mode of presentation of a property-instance (Particularism) (Schellenberg 2018). Particularism is explicitly motivated by its ability to capture certain Naïve Realist insights and it would be genuine progress if it were the best version of Representationalism. Then the debate between Naïve Realism and Representationalism would reduce to the debate over Disjunctivism. In this paper I show that Particularism faces a version of the problem of the Unity of Perceptual Content. Namely, its supporters haven’t told us how objects can be bound together with property-instances into a content such that it represents them and has accuracy-conditions. Furthermore, I argue that Particularists face an in-principle obstacle in solving it. In contrast, Attributionists can say that objects are bound together with properties into a content because the latter are attributed to the former. This establishes Attributionism as the only Representationalist game in town. But Attributionism can’t capture all Naïve Realist insights that the Particularists are after. Thus, the debate between Naïve Realism and Representationalism doesn’t reduce to the debate over Disjunctivism. (shrink)

Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing the idea give (...) rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

Over the course of the past ten-plus years, Peter Hanks and Scott Soames have developed detailed versions of Act-Based views of propositions which operate with the notions of reference to objects, indicating properties, predication, and judgment (or entertaining). In this paper I discuss certain foundational aspects of the Act-Based approach having to do with the relations between these notions. In particular, I argue for the following three points. First, that the approach needs both an atomistically understood thin notion of reference, (...) a bare act of thinking of o, as well as a more involved notion, something like making o a target of predication. Second, that the acts of thinking of o and indication of the property of being F are in no sense parts of the acts of predication of being F of o and judgment that o is F. Rather, the former are simply necessary preconditions for the performance of the latter. The acts of predication or judgment are emphatically not structured sequences of separate acts but unities in and of themselves. Finally, that we should understand the Act-Based theorists’ claim that to predicate is to judge as the claim that judgment can be reductively analyzed in terms of predication. Furthermore, while predication is metaphysically a multiple relation between a predicator, a target, and the property predicated, judgment is a monadic property, just one that has propositional content. (shrink)

Ever since the publication of Kripke’s Wittgenstein on Rules and Private Language, there’s been a raging debate in philosophy of language over whether meaning and thought are, in some sense, normative. Most participants in the normativity wars seem to agree that some uses of meaningful expressions are semantically correct while disagreeing over whether this entails anything normative. But what is it to say that a use of an expression is semantically correct? On the so-called orthodox construal, it is to say (...) that it doesn’t result in a factual mistake, that is, in saying or thinking something false. On an alternative construal it is instead to say that it doesn’t result in a distinctively linguistic mistake, that is, in misusing the expression. It is natural to think that these two construals of semantic correctness are simply about different things and not in competition with each other. However, this is not the common view. Instead, several philosophers who subscribe to the orthodox construal have argued that the alternative construal of correctness as use in accordance with meaning doesn’t make any sense, partly because there are no clear cases of linguistic mistakes (Whiting 2016, Wikforss 2001). In this paper I develop and defend the idea that there’s a distinctively linguistic notion of correctness as use in accordance with meaning and argue that there are clear cases of linguistic mistakes. (shrink)

Can humans and artificial intelligences share concepts and communicate? Making AI Intelligible shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. (...) Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)