Propositional identity is not expressed by a predicate. So its logic is not given by the ordinary first order axioms for identity. What are the logical axioms governing this concept, then? Some axioms in addition to those proposed by Arthur Prior are proposed.

This is a paper in which I argue that problems of transworld identity and the truth in-truth at distinction are motivated by unhelpful pictures we have in mind while doing metaphysics.

Semantic Minimalists make a proprietary claim to explaining the possibility of utterances sharing content across contexts. Further, they claim that an inability to explain shared content dooms varieties of Contextualism. In what follows, I argue that there are a series of barriers to explaining shared content for the Minimalist, only some of which the Contextualist also faces, including: (i) how the type-identity of utterances is established, (ii) what counts as repetition of type-identical utterances, (iii) how it can be determined (...) whether semantically minimal content has been repeated, and (iv) what the nature of such content is. (shrink)

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as (...) of yet, undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) (...) introduces. I will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

Johnston maintains that the notion of a proposition -- ”a language independent (abstract) particular” -- can be dispensed with in philosophical semantics and replaced with that of a propositional act. A propositional act is a component of a speech act that is responsible for the propositional content of the speech act. Traditionally, it is thought that a propositional act yields the propositional content of a speech act by being an act of expressing a proposition. And (...) it is the expressed proposition that serves as the propositional content of the speech act. Johnston points out, however, that a propositional act is a structured event consisting minimally of a referential act, a predicative act, and a time-designative act. And on Johnston's view, the propositional content is the structured propositional act itself. (Strictly speaking, Johnston analyzes sameness of propositional content in terms of sameness of propositional act type, from which I, perhaps rashly, inferred that the propositional content of a speech act should be taken to be the propositional act itself). Johnston argues that a semantic analysis in terms of propositional acts enables us to reconcile the necessity of both, (1) Hesperus is Phosphorus (2) Phosphorus is Phosphorus with their intuitive difference in meaning, while maintaining the direct reference theory of proper names. Moreover, he argues that invoking propositional acts rather than propositions has the advantage of being able to capture the various senses in which distinct statements might be said to "say the same thing", as well as that of ontological parsimony. I will address each of these claims in turn, but first, I want to point out that the propositionalist can easily reconcile the necessity of (1) and (2) with their intuitive difference in meaning, without forsaking direct reference. All one needs to do is invoke the Fregean idea that there is a meaning shift in “thatâ€-clauses of (opaque) indirect discourse (and other) ascriptions.. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (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)

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. (...) In particular, we show that the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

Two primary roles for propositions are to be i) the objects of the attitudes (especially belief) and ii) the primary bearers of truth and falsity. Interpreters of John Locke are in very broad agreement that propositions, as he presents them, serve this second role. However, whether Locke’s propositions can be said to serve the first role is a more difficult question, as Locke was frequently regarded as having overlooked the force/content distinction, meaning that many interpreters regard him as taking the (...) propositions not to be the objects of the attitudes, but instead, to be identical to the attitudes themselves. In this paper, I present the basics of Locke’s accounts of propositions, truth, and judgment. I then explain the interpretive divide between those scholars who interpret Locke as offering a more philosophically appealing proto-Fregean account of propositions (one which does recognize the force/content distinction), and those who defend the philosophically less satisfying account which identifies propositions with judgments on textual grounds. Finally, I defend the conflation account against one of it’s largest philosophical challenges, by showing how that view can address the Frege-Geach problem. (shrink)

Most direct reference theorists about indexicals and proper names have adopted the thesis that singular propositions about physical objects are composed of physical objects and properties.1 There have been a number of recent proponents of such a view, including Scott Soames, Nathan Salmon, John Perry, Howard Wettstein, and David Kaplan.2 Since Kaplan is the individual who is best known for holding such a view, let's call a proposition that is composed of objects and properties a K-proposition. In this paper, I (...) will attempt to show that a direct reference view about the content of proper names and indexicals leads very naturally to the position that all singular propositions about physical objects are K-propositions.3 Then, I will attempt to show that this view of propositions is false. I will spend the bulk of the paper on this latter task. My goal in the paper, then, is to show that adopting the direct reference thesis comes at a cost problems the view has with problems such as opacity and the significance of some identity statements; it comes at even more of a cost). (shrink)

This article considers recent arguments against the proposition that one and the same object cannot go out of existence and then come into existence again (so that, e.g., teleportation would involve change of identity.). It argues that these arguments can be evaded by adopting a four-dimensional ontology, according to which human beings, trees, etc., have temporal as well as spatial parts.

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. This chapter will argue that Ramsey’s (...) ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend (...) a restricted form of skepticism according to which the only knowable identity claims are trivial. (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical (...) point of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and (...) shows how problematic these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

In this paper, I am generally concerned with certain mental disorders and the doxastic attitudes that sometimes characterize them. According to recent Anglo-American philosophical studies on this topic, the latter involve beliefs that have somehow “gone wrong”: strange or irrational beliefs and cases of “motivated irrationality”. I aim to focus on pathological and deceptive phenomena such as delusion and self-deception. From a phenomenological perspective, these can also be investigated with regard to their experiential content. Adopting this approach, and starting in (...) particular with the eidetic connection between the living body and its own environment, I will examine disorders of the ecological self. Psychiatric delusion, which is at the core of this examination, is a symptom of a great number of mental disorders, such as Capgras disorder, Cotard disorder and schizophrenia. Integrating dominant (propositional) models of delusion which reduce this pathological phenomenon to a certain kind of belief, I propose an eco-phenomenological understanding of its contours. From this perspective, delusion reveals itself primarily as an illusory experience: a delusional value-perception. In particular, I offer a Schelerian-based description of a peculiar case of delusion: Capgras delusion. People who suffer from Capgras delusion claim that an otherwise familiar individual has been replaced by an impostor. I consider, although in its negative variations, the contextual (rather than internalist) character of this type of delusion. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

One of the early propositions on the nature of Southeast Asia comes from George Coedes’ 1968 The Indianized states of Southeast Asia, which assumes that Southeast Asia and its identity construction resulted from the region’s passive acceptance of culture from India and China. Such is the case that that the cultural landscape of the region becomes a mere accumulation of external influences. Robert Redfield’s notion of “great and little traditions” that Southeast Asian historians used in examining and understanding Southeast (...) Asian identity and history influenced these ideas. Zeus Salazar’s 1988 The Malayan connection, challenges this framing of Southeast Asian history. -/- This study aims to evaluate Salazar’s historiographical contributions to Southeast Asian studies, especially in terms of his efforts to problematize and establish the pan-Malayan identity of insular Southeast Asia. This will be undertaken through a critical review of his works such as Kabihasnang Asyano: Isang pangkasaysayang introduksyon [Asian civilization: A historical introduction] (1990); The Malayan connection (1998); Ang Pilipinong banua/banwa sa mundong Melano-Polynesiano [The Philippines in the Melano-Polynesian world] (2006); and, Asya: Kasaysayan at kabihasnan [Asia: History and civilization] (2010), as well as the works of some scholars in Southeast Asian Studies who have been influenced by Salazar and his works. The research will also show that the nationalist historiography that Salazar advocates emphasizes and highlights the Southeast Asian region’s Austronesian roots as the basis of the region’s cultural identity. (shrink)

My belief that Socrates was wise, and your belief that Socrates was mortal can be said to have a common focus, insofar as both these thoughts are about Socrates. In Peter Geach’s terminology, the objects of our beliefs bear the feature of intentional identity, because our beliefs share the same putative target. But what if it turned out that Socrates never existed? Can a pair of thoughts share a common focus if the object both thoughts are about, does not (...) actually, really exist? Object-centric accounts of intentionality which explain the aboutness or directedness of thought in terms of the intentional object the thought in question is about, contend that thoughts which share a common focus do so in virtue of both thoughts simply being about the same intentional object. However, Alexander Sandgren contends that such theories face difficulties in explaining a puzzle of intentional identity put forward by Walter Edelberg, in which a pair of sentences seem to differ in truth value but are purportedly logically equivalent on the object-centric theory. If this is right, then it seems that any account which explains intentionality with reference to an intentional object is threatened by this result, whether this object be abstract, merely possible, Meinongian, or otherwise. In this paper, I argue that Edelberg’s Puzzle is analogous to Frege’s Puzzle and the same tools conventionally used to solve Frege’s Puzzle can be used to solve Edelberg’s Puzzle. I then propose a new object-centric solution to Edelberg’s Puzzle which takes into account modes of presentation and which is able to accommodate all the relevant linguistic data. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, (...) crucial fine-grained intensional distinctions would be lost. (shrink)

Should we descry the nature of the self from thought experiments? Shaun Nichols says ‘maybe,’ but only if we use thought experiments that do not recruit the indexical “I” (non-I-recruiting). His reason is that the psychology of “I” perforce mandates that imagination responds to thought experiments that recruit it (I-recruiting) peculiarly. Here, I consider whether he is correct about non-I-recruiting personal identity thought experiments. I argue positively using the same framework, i.e., considering the underlying psychology.

I EXPLORE ONE WAY IN WHICH THE THEORY OF RELATIVE IDENTITY (DEVELOPED ALONG LINES SUGGESTED BY GEACH’S WRITINGS) CAN BE USED TO UNDERSTAND THE WAY LANGUAGE FUNCTIONS IN TRINITARIAN DOCTRINE. THIS INCLUDES A DISCUSSION OF REDUPLICATIVE PROPOSITIONS.

"Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...) it doesn't have three sides. Why did Lewis have such obviously wrong views? Because, like so many of his contemporaries, he failed to grasp the truth that it is the purpose of the present paper to demonstrate, to wit: No coherent doctrine assumes that statements about possible worlds are anything other than statements about the dependence-relations governing our world. The negation of this proposition has a number of obviously false consequences, for example: all true propositions are necessarily true (there is no modal difference between "2+2=4" and "Socrates was bald"); all modal terms (e.g. "possible," "necessary") are infinitely ambiguous; there is no difference between laws of nature (e.g. "metal expands when heated") and accidental generalizations (e.g. "all of the coins in my pocket are quarters"); and there is no difference between the belief that 1+1=2 and the belief that arithmetic is incomplete. Given that possible worlds are identical with mathematical models, it follows that the concept of model-theoretic entailment is useless in the way of understanding how inferences are drawn or how they should be drawn. Given that the concept of formal-entailment is equally useless in these respects, it follows that philosophers and mathematicians have simply failed to shed any light on the nature of the consequence-relation. Q's being either a formal or a model-theoretic consequence of P is parasitic on its bearing some third, still unidentified relation to P; and until this relation has been identified, the discipline of philosophical logic has yet to begin. (shrink)

Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, we must consider (...) the two different propositions (1) and (2) separately. Doing so reveals that a given proposition is either necessary and a priori or contingent and a posteriori. It cannot be both. (shrink)

Schelling and Deleuze are polarised respectively as philosopher of identity and philosopher of difference par excellence. Schelling grounds reason in his early Naturphilosophie in the a priori identity deduced from the abstraction of the proposition A=A. Deleuze, however, reworks the Platonic Idea and Nietzsche’s Eternal Return in the service of an a priori ‘problematic being’, an ontological difference-in-itself, which precedes metaphysical identity. Despite their apparently polarised metaphysical groundwork, they stumble across a similar consequence: the distinction between subject (...) and object, and any problematic derived thereof, is in consequence of the ontological constitution of the object itself. The paradox of objectivity as indifference to an a priori difference or identity is presented, and preliminarily suggested to be due to the Deleuze-Schelling opposition not being a difference-identity opposition, but an opposition between difference and a ‘blind act’ which retroactively precedes the making-identical to itself of the one as distinguished from the many. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a (...) modal predicative response to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

Wilhelm has recently shown that widely accepted principles about immediate ground are inconsistent with some principles of propositional identity. This note responds to this inconsistency by developing two ground-theoretic accounts of propositional individuation. On one account some of the grounding principles are incorrect; on the other account, the principles of propositional individuation are incorrect.

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and (...) class='Hi'>identity, as well as on the metaphysics of modality. (shrink)

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

In this paper, I want to address once more the venerable problem of intentional identity, the problem of how different thoughts can be about the same thing even if this thing does not exist. First, I will try to show that antirealist approaches to this problem are doomed to fail. For they ultimately share a problematic assumption, namely that thinking about something involves identifying it. Second, I will claim that once one rejects this assumption and holds instead that thoughts (...) are constituted either by what they are about, their intentional objects, or by what determines their proposition-like intentional contents, one can address the problem of intentional identity in a different way. One can indeed provide a new solution to it that basically relies on two factors: a) what sort of metaphysical nature intentional objects effectively possess, once they are conceived as schematic objects à la Crane (2001, 2013); b) whether such objects really belong to the overall ontological inventory of what there is. According to this solution, two thoughts are about the same nonexistent intentional object iff i) that object satisfies the identity criterion for objects of that metaphysical kind and ii) objects of that kind belong to the overall ontological inventory of what there is, independently of whether they exist (in a suitable first-order sense of existence). As such, this solution is neither realist nor antirealist: only if condition ii) is satisfied, different thoughts can be about the same nonexistent intentionale; otherwise, they are simply constituted by the same intentional content (provided that this content is not equated with that intentionale). Third, armed with this solution, I will hold that one can find a suitable treatment of the specific and related problem of whether different people may mock-think about the same thing, even if there really is no such thing. Finally, I will try to show that this treatment can be also applied to the case in which different thoughts are, according to phenomenology, about the same intentionale and yet this intentionale is of a kind such that there really are no things of that kind. For in this case, such thoughts are about the same intentionale only fictionally. (shrink)

Abstract: In Mind and World, McDowell conceives of the content of perceptual experiences as conceptual. This picture is supposed to provide a therapy for skepticism, by showing that empirical thinking is objectively and normatively constrained. The paper offers a reconstruction of McDowell's view and shows that the therapy fails. This claim is based on three arguments: 1) the identity conception of truth he exploits is unable to sustain the idea that perception-judgment transitions are normally truth conducing; 2) it could (...) be plausible only from an externalist point of view that is in tension with the view of normativity that motivates conceptualism; 3) the identity conception of truth is incompatible with McDowell's recent version of conceptualism in terms of ‘non-propositional intuitive contents’. (shrink)

According to the propositional view of belief, a belief situation involves a believer’s standing in the relation of belief to a proposition. It is argued that the propositional view has unacceptable implications concerning the identity conditions of belief situations involving beliefs with indexical contents, especially where such beliefs are held over a period of time during which background circumstances change. After a critical discussion of Perry’s alternative to the propositional view, a version of the adverbial theory (...) of belief, which accounts satisfactorily for the identity conditions of belief situations, is advanced. This theory, which avoids the standard objections to adverbialism, is defended against the charge that it cannot provide an account of the semantics of sentences attributing the same belief to two or more believers. In the course of this defense it is argued that the standard propositional account of such sentences is insensitive to everyday language. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due (...) in large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

ABSTRACT Act-based theories of content hold that propositions are identical to acts of predication that we perform in thought and talk. To undergo an occurrent thought with a particular content is just to perform the act of predication that individuates that content. But identifying the content of a thought with the performance of an act of predication makes it difficult to explain the intentionality of bouletic mental activity, like wanting and desiring. In this paper, I argue that this difficulty is (...) insurmountable: the contents of occurrent desires cannot be determined by acts of predication. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions (...) are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient (...) for identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to (...) correctly present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my appropriating insights about (...) indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

Philosophical literature has focused on the concept of trust, but often considers distrust merely as an afterthought. Distrust however, because of its pervasive role in our everyday lives, can be quite damaging. Thus, understanding the rationality of distrust is crucial for understanding our testimonial practices. In this paper I analyze whether it is rational or irrational to distrust an informant on the basis of identity bias. My aim is to show that distrust is irrational when based on negative (...) class='Hi'>identity bias. First, I adopt Annalisa Coliva’s account of social hinge epistemology where it is rationally required to assume certain basic presuppositions, such that people are generally reliable informants, to obtain propositional justification and participate in the testimonial practice. Secondly, I show how distrust based on negative identity bias can spread across other domains of interaction and jeopardize the testimonial practice as we fail to assume that people are generally reliable informants. Thirdly, I argue that considering bias as a defeater is beneficial to maintain the claim that bias-based distrust is irrational, as it prevents the acquisition of propositional justification. Finally, I show that distrust is rational when based on evidence and reason that the speaker is not reliable or sincere. (shrink)

My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After (...) having shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

Direct reference theory faces serious prima facie counterexamples which must be explained away (e.g., that it is possible to know a priori that Hesperus = Phosphorus). This is done by means of various forms of pragmatic explanation. But when those explanations that provisionally succeed are generalized to deal with analogous prima facie counterexamples concerning the identity of propositions, a fatal dilemma results. Either identity must be treated as a four-place relation (contradicting what just about everyone, including direct reference (...) theorists, takes to be essential to identity). Or direct reference theorists must incorporate a view that was rejected in pretty much our first lesson about identity—namely, that Hesperus at twilight is not identical to Hesperus at dawn. One way of the other, the direct reference theory is thus inconsistent with basic principles concerning the logic of identity, which nearly everyone, including direct reference theorists, take as starting points. (shrink)

According to conventionalist or conativist views about personal-identity, utterances of personal-identity sentences express propositions that are, in part, made true by the conative attitudes of relevant persons-stages. In this paper I introduce assessor relative conativism: the view that a personal-identity proposition can be true when evaluated at one person-stage's context and false when evaluated at another person-stage's context, because person-stages have different patterns of conative attitudes. I present several reasons to embrace assessor relative conativism over its more (...) familiar realizer relative cousin. (shrink)

There is a thesis that assure the computability between externalize about mental content and self-knowledge (BURGE, 1988). However, this theses, that explore the auto-verification property of claims of the type “I think that p”, works only for assertive claims that are express in the simple present tense. Among the problematic cases are the claims in the past tense and claims about specific propositional attitude. This fails about the thesis of the compatibility is pointed by Boghossian (1992) as a prove (...) of the incompatibility between externalism and self-knowledge. There is a wide bibliography that try to manage the claims in past tense. In these articles (BURGE, 1995), It's argued that the preservative function of memory assure the veracity of the claims in past tense (at last in normal situations). However, there isn't a lot of work about the problem of the claims about specific propositional attitude. This article propose a expanse the preservative memory theory, with the purpose that It manages the self-knowledge of past propositional attitudes. We propose some criteria that define when a claim of this type is true, mainly in the cases that the content of the attitude of the past thought is not identical with the actual thought. The criterion about the similarity of content is the Bernecker's one (2009). The criterion about similarity of attitudes is new: the attitude that S thinks in t1 as if he have had in t2 is similar with the attitude that he had in t 1 iff the actual attitude is entailed by the former. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS (...) and show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)