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)

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)

Competing theories on the semantics of group pejorative terms (also known as‘slurs’)comprise both advocates and opponents to the Identity Thesis (IT), according to whichthese terms and their neutral counterparts do not differ in semantic value. In the oppo-nents’camp, Christopher Hom has offered an argument based on substitution of slurs andneutral counterparts that both supports his semanticist approach and cast doubts on all IT-based approaches to slurs. We aim to point to a dilemma triggered by this argument based on (...) evidence showing that substitution of some words (including but not restricted to slurs)for non-problematically co-referential pairs may fail to preserve truth-values in some linguistics contexts. (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

Trinitarians are charged with at least two contradictions. First, the Father is God and the Son is God, so it seems to follow that the Father is the Son. Trinitarians affirm the premises but deny the conclusion, which seems contradictory. Second, the Father is a God, the Son is a God, and the Holy Spirit is a God, but the Father is not the Son, the Father is not the Holy Spirit, and the Son is not the Holy Spirit. This (...) argument seems to entail that there are three Gods. Again, Trinitarians affirm the premises but deny the conclusion. In this article, I present a novel Trinitarian solution to these alleged contradictions. The solution allows one to maintain that the premises in the above arguments are absolute identity statements, forestalls the need to develop a new way of counting (e.g. by sortals or numerical sameness), and is compatible with divine simplicity. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in (...) a variety of forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that (...) 'Twain' names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result. (shrink)

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations (...) provide better candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

Property-identical divine-command theory (PDCT) is the view that being obligatory is identical to being commanded by God in just the way that being water is identical to being H2O. If these identity statements are true, then they express necessary a posteriori truths. PDCT has been defended in Robert M. Adams (1987) and William Alston (1990). More recently Mark C. Murphy (2002) has argued that property-identical divine-command theory is inconsistent with two well-known and well-received theses: the free-command thesis and the (...) supervenience thesis. I show that Murphy's argument is vitiated by mistaken assumptions about the substitutivity of metaphysical identicals in contexts of supervenience. The free-command thesis and the supervenience thesis therefore pose no serious threat to PDCT. (Published Online August 11 2004). (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible (...) objects. I then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

Citizenship is the cornerstone of a democratic polity. It has three dimensions: legal, civic and affiliative. Citizens constitute the polity's demos, which often coincides with a nation. European Union (EU) citizenship was introduced to enhance ‘European identity’ (Europeans’ sense of belonging to their political community). Yet such citizenship faces at least two problems. First: Is there a European demos? If so, what is the status of peoples (nations, demoi) in the Member States? The original European project aimed at ‘an (...) ever closer union among the peoples of Europe.’ Second: Citizens are members of a political community; to what kind of polity do EU citizens belong? Does the EU substitute Member States, assume them or coexist alongside them? After an analytical exposition of the demos and telos problems, I will argue for a normative self‐understanding of the EU polity and citizenship, neither in national nor in federal but in analogical terms. (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)

In this study, I aimed to subject to philosophical analysis the scientific data from biological science researches that are conducted into the phenomenon of homosexuality in order to give philosophical interpretation to it thereby establishing the normative values of the scientific findings. From the study, I observed that much of the scientific data on homosexuality established the phenomenon as ingrained in the human biological construct. I argued that although homoeroticism is biological construct of the homosexual, parenting plays significant role in (...) the sexual identity ultimately developed by an individual. I have presented three conceptual frameworks to show how this happens. I determined that homoeroticism and homosexuality are not exactly the same thing; homoeroticism is a biological construct, while homosexuality is a social construct. I also determine that sexual orientation (which results from eros) is not necessarily the same thing as sexual identity (such as homosexuality or heterosexuality, which results from socialization processes). I argued that sexuality is a synthesis of dialectical interactions between the factors internal within and external to the homosexual’s body; but that the external is conditioned by the internal. I adopted the paradigm of existentialism as the philosophical framework for the analysis. In conclusion, I argued that if the homosexual’s sexual orientation is native biological construct of his/her body, then the homosexual has no control over his/her sexual orientation. The philosophical implication of that finding is that homoeroticism is facticity; and as facticity the homosexual cannot escape from being homosexual. Despite this, I used the Two-Way Test (TWT) to show that homosexuality is immoral act; although the homosexual is not an immoral person. However, I have demonstrated that the failed moral status of homosexuality is not enough ground to criminalize homosexuality. (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)

I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility (...) of Identicals, and understood the Identity of Indiscernibles as a metaphysical principle. In the debate about Leibniz’s Law, I focus on four commentators: (1) W. V. O. Quine’s construal of salva veritate as the Indiscernibility of Identicals, (2) Nicholas Rescher’s contention that both the Identity of Indiscernibles and salva veritate may be construed as Leibniz’s Law, (3) Fred Feldman’s argument that Leibniz did not state a law or definition of identity, but only a criterion of identity for concepts, and (4) Edwin Curley’s response to Feldman, that Feldman’s assumptions, along with passages in Leibniz, show Leibniz did state Leibniz’s Law. I argue that Feldman’s position is not completely correct but can be amended with insights from Quine, Rescher, and Curley and by reference to Leibniz’s Complete Concept Theory. (shrink)

I critically discuss both the particular doctrinal and general meta-philosophical or methodological tenets of Mark Johnston's paper "Human Beings", attending to several weaknesses in his argument. One of the most important amongst them is an apparent reliance on a substitution of identicals within an intensional context as he argues that continuity of functioning brain is essential to the persistence of "Human Beings" as allegedly singled out by his methodology; another equally important is a simple lacuna in place of an (...) argument that candidate entities for re-identification by means we take for granted in the case of persons cannot be what I call "mentalistically" individuated. (shrink)

Patient and public involvement is widely thought to be important in the improvement of health care delivery and in health equity. Purpose: The article examines the role of experiential knowledge in service co-production in order to develop opiate substitution treatment services (OST) for high-risk opioid users. Method: Drawing on social representations theory and the concept of social identity, we explore how experts’ by experience and registered nurses’ understandings of OST contain discourses about the social representations, identity, and (...) citizenship of the participants and the effects these may have on developing or hindering inclusive and bottom-up forms of patient and public involvement. Results: The meeting sessions that potentially offer room for creativity and problem-solving fail to provide any new propositions for fixing the system. The health care professionals primarily identify themselves as regulators who protect the correctness of their actions and show little interest in considering experiential knowledge on opioid addiction. Conclusion: The participation of patients has been one of the prominent reforms implemented in health care. The goal of client-centered thinking is often emphasised; however, the implementation is not simple due to the strongly institutionalised knowledge and related working patterns and practices in health care. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then (...) I show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets (...) assumed because logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

Auditory perception is traditionally conceived as the perception of sounds — a friend’s voice, a clap of thunder, a minor chord. However, daily life also seems to present us with experiences characterized by the absence of sound — a moment of silence, a gap between thunderclaps, the hush after a musical performance. In these cases, do we positively hear silence? Or do we just fail to hear, and merely judge or infer that it is silent? This longstanding question remains controversial (...) in both the philosophy and science of perception, with prominent theories holding that sounds are the only objects of auditory experience and thus that our encounter with silence is cognitive, not perceptual. However, this debate has largely remained theoretical, without a key empirical test. Here, we introduce a novel empirical approach, presenting experimental evidence that silence can be genuinely perceived (not just cognitively inferred). We ask whether silences can ‘substitute’ for sounds in event-based auditory illusions — empirical signatures of auditory event representation in which auditory events distort perceived duration. Seven experiments introduce three new ‘silence illusions’ — the one-silence-is-more illusion, silence-based warping, and the oddball-silence illusion — each adapted from a prominent perceptual illusion previously thought to arise only from sounds. Subjects were immersed in ambient noise interrupted by silences structurally identical to the sounds in the original illusions. In all cases, silences elicited temporal distortions perfectly analogous to the illusions produced by sounds. Our results suggest that silence is truly heard, not merely inferred, introducing a general approach for studying absence perception. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity (...) of identicals into modal contexts. (shrink)

According to rational will views of paternalism, the wrongmaking feature of paternalism is that paternalists disregard or fail to respect the rational will of the paternalized, in effect substituting their own presumably superior judgments about what ends the paternalized ought to pursue or how they ought to pursue them. Here I defend a version of the rational will view appealing to three rational powers that constitute rational agency, which I call recognition, discrimination, and satisfaction. By appealing to these powers, my (...) version of the rational will view can rank the wrongfulness of paternalistic acts in terms of the extent to which such acts (a) amount to supplanting the paternalized individual’s identity as a rational agent with that of the paternalist, and (b) the degree of mistrust the paternalistic act shows in the paternalized individual’s rational agency. My rational powers account thus provides a more complete account of why paternalism is a powerful, but not decisive or absolute, objection to an act or policy. My rational powers account also provides powerful explanations of why rational suasion deflects charges of paternalism; why consenting to intercessions in one’s rational agency negates paternalism; why we ordinarily believe that strong paternalism is more objectionable than weak paternalism; and why we ordinarily believe that hard paternalism is more objectionable than soft paternalism. (shrink)

I argue that Frege's puzzle can extend beyond semantics and to, for example, pictures and scent. Accordingly, attempted solutions to the puzzle should not focus solely on semantics. Solutions that do so can at best provide a partial solution to the puzzle. They will not provide a solution that explains the broader phenomenon, including the one where I, as a child, learned the identity of Clark Kent and Superman without possessing their names. Below I will provide a solution that (...) accounts for the typical Frege case as well as my childhood case. The solution will, accordingly, not be a semantic solution. Instead it will focus on information we have on objects and how we organize and access the information. The solution I will provide is psychological and not semantic in nature. At the same time I will show that the solution I provide aligns itself well with Millianism. (shrink)

his paper is an excerpt from a larger project that aims to open a new pathway into Spinoza's Ethics by formally reconstructing an initial fragment of this text. The semantic backbone of the project is a custom-made Spinozian model theory that lays out some of the formal prerequisites for more ne-grained investigations into Spinoza's fundamental ontology and modal metaphysics. We implement Spinoza's theory of attributes using many-sorted models with a rich system of identity that allows us to clarify the (...) puzzling status of such logical principles as the Substitution of Identicals and Transitivity of Identity in Spinoza's thought. The intensional structure of our Spinozian models also captures his proposal that states of a airs can be necessitated or excluded by the essences of particular things, an essence-relative modality that should be of interest to philosophers who have sought to rehabilitate the concept of essence in contemporary analytic metaphysics. (shrink)

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: (...) From ¬(p ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the standard interpretation assumes (...) that mental processes are identical to certain kinds of computational processes, and so solving the Frame Problem is a matter of finding a computational architecture that can effectively represent relations of semantic relevance. Instead, we must take seriously the possibility that the way in which intelligent agents use information is inherently different. Whereas intelligent agents are plausibly genuinely causally sensitive to semantic properties as such (to what they perceive, desire, believe intend, etc.), computational systems can only be causally sensitive to the formal features that represent these properties. Indeed, it is this very substitution of formal generalizations for genuinely semantic ones that is responsible for the way current AI systems are brittle, inflexible, and highly specialized. What we need is a more sophisticated way of investigating the relationship between computational information processing and genuinely semantic information use, so that these two senses of using information are not conflated, but instead the question of how they are related to one another can be studied directly. I apply the generative methodology I have developed elsewhere for cognitive science and AI research (Miracchi, 2017, 2019a) to show how the Frame Problem can be appropriately updated. (shrink)

This paper focuses on Levinas’ concept of ipseity and on its change between the 1960’s and the 1970’s, arguing that this change implies the undoing of the subject. In Totality and Infinity (1961), ipseity is considered as the deep core of the I, whereas, in Otherwise Than Being (1974), it is the other person inside the self. Levinas also theorizes another kind of other-in-the-same, which is illeity, the trace of God inside the human soul. It is shown that illeity is (...) not problematic for the subject, since it does not cause its undoing. Furthermore, it is argued that ipseity, in Otherwise Than Being, is not a mere opening to alterity, but a source of alienation. Finally, it is shown that Levinas starts to change his mind on ipseity in 1968 (“Substitution”), however this modification becomes clear only in 1970 (“No Identity”). (shrink)

The concept of quantum information is introduced as both normed superposition of two orthogonal sub-spaces of the separable complex Hilbert space and in-variance of Hamilton and Lagrange representation of any mechanical system. The base is the isomorphism of the standard introduction and the representation of a qubit to a 3D unit ball, in which two points are chosen. The separable complex Hilbert space is considered as the free variable of quantum information and any point in it (a wave function describing (...) a state of a quantum system) as its value as the bound variable. A qubit is equivalent to the generalization of ‘bit’ from the set of two equally probable alternatives to an infinite set of alternatives. Then, that Hilbert space is considered as a generalization of Peano arithmetic where any unit is substituted by a qubit and thus the set of natural number is mappable within any qubit as the complex internal structure of the unit or a different state of it. Thus, any mathematical structure being reducible to set theory is re-presentable as a set of wave functions and a subspace of the separable complex Hilbert space, and it can be identified as the category of all categories for any functor represents an operator transforming a set (or subspace) of the separable complex Hilbert space into another. Thus, category theory is isomorphic to the Hilbert-space representation of set theory & Peano arithmetic as above. Given any value of quantum information, i.e. a point in the separable complex Hilbert space, it always admits two equally acceptable interpretations: the one is physical, the other is mathematical. The former is a wave function as the exhausted description of a certain state of a certain quantum system. The latter chooses a certain mathematical structure among a certain category. Thus there is no way to be distinguished a mathematical structure from a physical state for both are described exhaustedly as a value of quantum information. This statement in turn can be utilized to be defined quantum information by the identity of any mathematical structure to a physical state, and also vice versa. Further, that definition is equivalent to both standard definition as the normed superposition and in-variance of Hamilton and Lagrange interpretation of mechanical motion introduced in the beginning of the paper. Then, the concept of information symmetry can be involved as the symmetry between three elements or two pairs of elements: Lagrange representation and each counterpart of the pair of Hamilton representation. The sense and meaning of information symmetry may be visualized by a single (quantum) bit and its interpretation as both (privileged) reference frame and the symmetries of the Standard model. (shrink)

One of the issues that has been hotly discussed in connection with the direct designation theory is whether or not coreferential names can be substituted salva veritate in epistemic contexts. Some direct designation theorists believe that they can be so substituted. Some direct designation theorists and all Fregeans and neo-Fregeans believe that they cannot be so substituted. Fregeans of various stripes have used their intuition against free substitution to argue against the direct designation theory. Some direct designation theorists have (...) used the same intuitions to argue against the view that belief reports of simple declarative sentences can be accounted for with singular propositions. This paper has two main goals; first, to show that the discussion of the issue has tended to treat all epistemic contexts equally, and second, to argue that we should not treat substitutions in contexts that involve justification (and hence knowledge) in the same way as we treat substitution in simple belief contexts, i.e., contexts that just involve the belief relation. (shrink)

This essay considers the relation between Don Quixote's hunger and the disenchantment (Entzauberung) that Max Weber understood as paradigmatic of the modern condition. Whereas hunger functions within a Hegelian dialectic of desire in Cervantes' novel, literary representations of hunger from later periods (in Kafka and post-Holocaust Polish poetry) acknowledge the cosmic insignificance of human need by substituting the desire for recognition with a desire for self-abdication. While Don Quixote's hunger drives him to seek recognition for his dream world, modern literature's (...) hungry heroes respond to hunger by changing their metaphysical identities. Like desire, hunger functions in the literatures of modernity as an index of psychic wholeness or of its lack, both enabling and resisting the hero's assimilation with the world outside the self. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the (...) factual content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential (...) properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

Disciplinary issues -- Field studies -- Appendix: Theory of law : legal ethnography, or, the theoretical fruits of the inquiries into folkways. /// Reedition of papers in English spanning from 1995 to 2008 /// DISCIPLINARY ISSUES -- LAW AS CULTURE? [2002] 9–14 // TRENDS IN COMPARATIVE LEGAL STUDIES [2002] 15–17 // COMPARATIVE LEGAL CULTURES: ATTEMPTS AT CONCEPTUALISATION [1997] 19–28: 1. Legal Culture in a Cultural-anthropological Approach 19 / 2. Legal Culture in a Sociological Approach 21 / 3. Timely Issues of (...) Central and Eastern Europe 24 // COMPARATIVE LEGAL CULTURES? [2001] 29–48: 1. Legal Comparativism Challenged 29 / 2. Comparative Legal Cultures versus Comparative Law 34 / 3. Contrasting Fields 40 [a) The Historical Understanding of Socialist Law 42 / b) Convergence of Civil Law and Common Law 44] 4. Concluding Remarks 46 // THEATRUM LEGALE MUNDI: ON LEGAL SYSTEMS CLASSIFIED [2005] 49–75: 1. Preliminaries 49 / 2. Proposals 50 / 3. Impossible Taxonomy, or the Moment of Practicality in Legal Mapping 69 / 4. Diversity as a Fundamental Quality of Human Existence 74 // LEGAL TRADITIONS? IN SEARCH FOR FAMILIES AND CULTURES IN LAW [2004] 77–97: 1. Comparative Law and the Comparative Study of Legal Traditions 78 / 2. ‘System’, ‘Family’, ‘Culture’, and ‘Tradition’ in the Classification of Law 80 / 3. Different Traditions, Differing Ways of Thinking 85 / 4. Different Expectations, Differings Institutionalisations in Law 88 / 5. Different “Rationalities”, Differing “Logics” 92 / 6. Mentality in Foundation of the Law 94 / 7. Defining a Subject for Theoretical Research in Law 96 // SOMETHING NEW, SOMETHING OLD IN THE EUROPEAN IDENTITY OF LAW? [1995] 99–102 --- FIELD STUDIES -- MEETING POINTS BETWEEN THE TRADITIONS OF ENGLISH–AMERICAN COMMON LAW AND CONTINENTAL-FRENCH CIVIL LAW: DEVELOPMENTS AND EXPERIENCE OF POSTMODERNITY IN CANADA [2002] 105–130: I. Canadian Law in General 105 / II. Canadian Legal Developments in Particular [1. The Transformation of the Role of Precedents 112 / 2. The Transformation of Law-application into a Collective, Multicultural and Multifactorial Search for a Solution 116 / 3. Practical Trends of Dissolving the Law’s Positivity 120 / 4. New Prerogatives Acquired by Courts 125 {a) Unfolding the Statutory Provisons in Principles 126 / b) Constitutionalisation of Issues 127 / c) The Supreme Court as the Nation’s Supreme Moral Authority 129}] // MAN ELEVATING HIMSELF? DILEMMAS OF RATIONALITY IN OUR AGE [2000] 131–163: I. Reason and its Adventures 1. Progress and Advance Questioned 131 / 2. The Human Search for Safety Objectified 133 / 3. Knowledge Separated from Wisdom 135 / 4. Pure Intellectuality thereby Born 137 / II. The Will-Element Formalised in Law 5. Mere Voluntas in the Foundation of Legal Positivism 141 / 6. Formalism with Operations Fragmented 145 / III. The State of America Exemplified 7. “Slouching into Gomorrah” 147 / IV. Consequences 8. Utopianism-cum-Voluntarism 154 / 9. With Logic in Posterior Control of Human Formulations Only 159 / V. Perspectives 10. And a Final Resolution Dreamed about 161 // RULE OF LAW? MANIA OF LAW? ON THE BOUNDARY BETWEEN RATIONALITY AND ANARCHY IN AMERICA [2002] 165–180: {Transformation of American Law and Legal Mentality 165 / With Repercussions on the Underlying Ethos 168 / Legislation through Processualisation 170 / With Hyperrationalism Added 172 / Example: Finding Lost Property 172 / Practicalness Veiled by Verbal Magic 173 / Ending in Jurispathy 175 / Transubstantiating the Self-interest of the Legal Profession 178 / Post-modernity, Substituting for Primitiveness 178} // TRANSFERS OF LAW: A CONCEPTUAL ANALYSIS [2003] 181–207: 1. Terms 182 / 2. Technicality 190 / 3. Contrasts in Transfers of Law 200 {Contrasts 200 / Criticisms 202 / Alternatives205} 4. Conclusions 206 // THE DANGERS FOR THE SELF OF BEING SELF-CENTRED: ON STANDARDS AND VALUES [2002] 209–212 --- APPENDIX -- THEORY OF LAW – LEGAL ETHNOGRAPHY, OR THE THEORETICAL FRUITS OF THE INQUIRIES INTO FOLKWAYS [2008] 213–234 1. Encounters 213 / 2. Disciplines 218 / 3. The Lawyerly Interest 223 / 4. Law and/or Laws 226 / 5. Conclusion 233 --- Index of Subjects 235 / Index of Normative Materials 242 / Index 244 . (shrink)

According to René Girard, mimetic theory and philosophy cannot go together; mimetic theory must go beyond philosophy. More than an ideological disagreement, there is here an actual methodological divergence. Philosophy, he argues, tends to remain at the superficial level of pure intellectual understanding, whereas other human faculties must be accessed to overcome the illusions of an independent desire: In reality, no purely intellectual process and no experience of a purely philosophical nature can secure the individual the slightest victory over mimetic (...) desire and its victimage delusions. Intellection can achieve only displacement and substitution, though these may give individuals the sense of having .. (shrink)

In this article I offer a three-pronged defense of Millian theories, all of which share the rough idea that all there is to a proper name is its referent, so it has no additional sense. I first give what I believe to be the first correct analysis of Kripke’s puzzle and its anti-Fregean lessons. The main lesson is that the Fregean’s arguments against Millianism and for the existence of semantically relevant senses (that is, individuative elements of propositions or belief contents (...) that are sensitive to our varying personal conceptions of the referents of those elements) are viciously circular. Thus, the Fregean must give new arguments for her central claims. Second, I offer an original, positive argument for the Millian idea that the thoughts that Cicero was bald and that Tully was bald are identical. Incredibly, the argument appeals to nothing but highly intuitive, pre-theoretical principles regarding folk psychological usage—traditionally the source of Fregean intuitions. Third, I examine one of the most important recent papers on Kripke’s puzzle, that by David Sosa (1996). Sosa claims to have found a way to turn the tables on Kripke’s puzzle by using it to argue against Millian theories. I argue that Sosa’s argument on behalf of the Fregean is question-begging. I conclude that Millian theories can be seriously defended without any use of theoretical constructs such as guises or Russellian propositions, and Fregeans need to start over arguing for their theory’s central claims. (shrink)

In this admirable book, Scott Soames provides well defended answers to some of the most difficult and important questions in the philosophy of language, and he does so with characteristic thoroughness, clarity, and rigor. The book's title is appropriate, since it does indeed go ‘beyond rigidity’ in many ways. Among other things, Soames does the following in the course of the book. He persuasively argues that the main thesis of Kripke's Naming and Necessity—that ordinary names are rigid designators—can be extended (...) to the more general thesis that simple proper names are synonymous with neither nonrigid nor rigidified descriptions, and so have no descriptive content whatever. He thoroughly defends and places in the context of a larger semantic theory the Millian thesis that the sole semantic contents of most proper names are the names' referents, so that sentences containing such names semantically express singular Russellian propositions. He provides and defends at length an innovative pragmatic account of why substitution of co-referring proper names in cognitive contexts intuitively fails to be truth preserving, even though it seems to follow from the Millian thesis that such substitution must be semantically valid. And he thoroughly and persuasively defends a semantic theory of natural kind terms that explains how, following Kripke and Putnam, theoretical identities involving such terms can express a posteriori necessities, even though on Soames's theory, and contrary to the Kripke-Putnam view, such terms are neither names of natural kinds nor rigid designators in any interesting sense. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. For (...) this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

In this admirable book, Scott Soames provides well defended answers to some of the most difficult and important questions in the philosophy of language, and he does so with characteristic thoroughness, clarity, and rigor. The book's title is appropriate, since it does indeed go ‘beyond rigidity’ in many ways. Among other things, Soames does the following in the course of the book. He persuasively argues that the main thesis of Kripke's Naming and Necessity—that ordinary names are rigid designators—can be extended (...) to the more general thesis that simple proper names are synonymous with neither nonrigid nor rigidified descriptions, and so have no descriptive content whatever. He thoroughly defends and places in the context of a larger semantic theory the Millian thesis that the sole semantic contents of most proper names are the names' referents, so that sentences containing such names semantically express singular Russellian propositions. He provides and defends at length an innovative pragmatic account of why substitution of co-referring proper names in cognitive contexts intuitively fails to be truth preserving, even though it seems to follow from the Millian thesis that such substitution must be semantically valid. And he thoroughly and persuasively defends a semantic theory of natural kind terms that explains how, following Kripke and Putnam, theoretical identities involving such terms can express a posteriori necessities, even though on Soames's theory, and contrary to the Kripke-Putnam view, such terms are neither names of natural kinds nor rigid designators in any interesting sense. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

It is hoped that modern sensory substitution and augmentation devices will be able to replace or expand our senses. But to what extent has this been achieved to date? To what extent are the experiences created by sensory substitution devices like the sensory experiences that we are trying to replace? To what extent can we augment people’s senses providing them with new information and new experiences? The first aim of this introduction is to delve deeply into this question (...) to discover the usefulness of these devices, to outline the different sorts of experience that might be created, and what the evidence tells us about these experiences. While there are some reasons to be hopeful about the powers of sensory substitution devices, there are also reasons to wonder whether they will ever really have the practical applications that we hope they might have. The second aim is to look to see whether the study of modern sensory substitution and augmentation devices can shed light on the nature of our senses and perception in general. Much of the philosophical, psychological, and neuroscientific work that takes place concerning sensory substitution and augmentation is keenly aware of the possibility that it might help our understanding and it seeks to comprehend many different aspects of perception. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Sensory substitution devices make use of one substituting modality to get access to environmental information normally accessed through another modality . Based on behavioural and neuroimaging data, some authors have claimed that using a vision-substituting device results in visual perception. Reviewing these data, we contend that this claim is untenable. We argue that the kind of information processed by a SSD is metamodal, so that it can be accessed through any sensory modality and that the phenomenology associated with the (...) use of a SSD is best described in terms of spatial phenomenology, only. (shrink)

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

When a user integrates a sensory substitution device into her life, the process involves perceptual learning, that is, ‘relatively long-lasting changes to an organism’s perceptual system that improve its ability to respond to its environment’ (Goldstone 1998: 585). In this paper, I explore ways in which the extensive literature on perceptual learning can be applied to help improve sensory substitution devices. I then use these findings to answer a philosophical question. Much of the philosophical debate surrounding sensory (...) class='Hi'>substitution devices concerns what happens after perceptual learning occurs. In particular, should the resultant perceptual experience be classified in the substituted modality (as vision), in the substituting modality (as auditory or tactile), or in a new sense modality? I propose a novel empirical test to help resolve this philosophical debate. (shrink)

The aim of this article is to provide a plausible conceptual model of a specific use of images described as substitution in recent art-historical literature. I bring to light the largely implicit shared commitments of the art historians’ discussion of substitution, each working as they do in a different idiom, and I draw consequences from these commitments for the concept of substitution by image—the major being the distinction between nonportraying substitution and substitution by portrayal. I (...) then develop an argument that substitution by image in the desired, nonportraying sense needs to be thought of in terms of a figurative representation of an image’s subject as a generic object, what I will call its figurative instantiation. (shrink)

This report highlights and explores five questions that arose from the workshop on sensory substitution and augmentation at the British Academy, March 26th through 28th, 2013.

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: Does sensory substitution generate perceptual or cognitive states?

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: How does sensory substitution interact with the brain’s architecture?

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean (...) that identity criteria could not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)