Trong thảo luận ngắn này, xin giới thiệu lại một bài điều tra tổng hợp về trường hợp cơ quan quản lý Scotland đã thống nhất với ý kiến của các đại diện công nghiệp nuôi trồng-chế biến cá hồi nhằm nới lỏng kiểm soát hóa chất diệt ký sinh, vốn được biết là độc hại (gọi chung là pesticide), có tên emamectin. Cụ thể các giới hạn sử dụng được nới lỏng để tăng 23 lần, sau các “thương thảo (...) trong bóng tối” với đại diện giới chủ. Bài báo đăng trên Ferret, ngày 21-5-2023, ký tên tác giả R. Edwards. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (0), (...) expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (This article is contained within the author’s more definitive essay, “Singular Concepts”.). (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of an (...) effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is here rebutted. As Church recognized, Russell-Myhill is not a problem specifically (...) for Alternative (0). Rather it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions--propositions conceived as classes of possible worlds--is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

The acquisition of a new skill usually proceeds through five stages, from novice to expert, with a sixth stage of mastery available for highly motivated performers. In this chapter, we re-state the six stages of the Dreyfus Skill Model, paying new attention to the transitions and interrelations between them. While discussing the fifth stage, expertise, we unpack the claim that, “when things are proceeding normally, experts don’t solve problems and don’t make decisions; they do what normally works” (Dreyfus & Dreyfus, (...) 1988, pp. 30 – 31). This leads us to offer an account of the “perspectival deliberation” that arises for experts and masters and that is distinct from the calculative deliberation characteristic of the lower stages of skillfulness. (shrink)

University of California, Santa Barbara.

In this paper, I argue that self-awareness is intertwined with one's awareness of possibilities for action. I show this by critically examining Dan Zahavi's multidimensional account of the self. I argue that the distinction Zahavi makes among 'pre-reflective minimal', 'interpersonal', and 'normative' dimensions of selfhood needs to be refined in order to accommodate what I call 'pre-reflective self-understanding'. The latter is a normative dimension of selfhood manifest not in reflection and deliberation, but in the habits and style of a person’s (...) pre-reflective absorption in the world. After reviewing Zahavi's multidimensional account and revealing this gap in his explanatory taxonomy, I draw upon Heidegger, Merleau-Ponty, and Frankfurt in order to sketch an account of pre-reflective self-understanding. I end by raising an objection to Zahavi’s claim for the primitive and foundational status of pre-reflective self-awareness. To carve off self-awareness from the self’s practical immersion in a situation where things and possibilities already matter and draw one to act is to distort the phenomena. A more careful phenomenology of pre-reflective action shows that pre-reflective self-awareness and pre-reflective self-understanding are co-constitutive, both mutually for each other and jointly for everyday experience. (shrink)

According to Heidegger's Being and Time, social relations are constitutive of the core features of human agency. On this view, which I call a ‘strong conception’ of sociality, the core features of human agency cannot obtain in an individual subject independently of social relations to others. I explain the strong conception of sociality captured by Heidegger's underdeveloped notion of ‘being-with’ by reconstructing Heidegger's critique of the ‘weak conception’ of sociality characteristic of Kant's theory of agency. According to a weak conception, (...) sociality is a mere aggregation of individual subjects and the core features of human agency are built into each individual mind. The weak conception of sociality remains today widely taken for granted. I show that Christine Korsgaard, one of the most creative contemporary appropriators of Kant, operates with a weak conception of sociality and that this produces a problematic explanatory deficiency in her view: she is unable to explain the peculiar motivational efficacy of shared social norms. Heidegger's view is tailor made to explain this phenomenon. I end by sketching how Heidegger provides a social explanation of a major systematic concern animating Korsgaard, the concern with the importance of individual autonomy and answerability in human life. (shrink)

Both Martin Heidegger and Harry Frankfurt have argued that the fundamental feature of human identity is care. Both contend that caring is bound up with the fact that we are finite beings related to our own impending death, and both argue that caring has a distinctive, circular and non-instantaneous, temporal structure. In this paper, I explore the way Heidegger and Frankfurt each understand the relations among care, death, and time, and I argue for the superiority of Heideggerian version of this (...) nest of claims. Frankfurt claims that we should conceive of the most basic commitments which practically orient a person in the world and define his identity (“volitional necessities”) as naturalistic facts, foundational for and located completely without the normative space of reasons. In support of this he appeals to the supposedly foundational role played in human life by the instinct for self-preservation, what Frankfurt calls the “love of living.” The claim is that in questions of practical identity there is a definite priority of the factual over the normative. Frankfurt’s naturalistic model of volitional necessity is motivated by a misunderstanding of the temporal structure of care, a misunderstanding that helps lead him to an implausible conception of the basic structures of human identity. Heidegger advances an anti-naturalistic conception of caring, one bound up with his way of understanding how human beings relate to their own future. I argue that the existential, temporal, and normative significance that Frankfurt attributes to the naturalized “love of living” is better captured by the Heideggerian claim that human identity is defined by being “for-the-sake-of” certain projects and commitments, a way of being lived out in the way Heidegger calls “being-towards-death.”. (shrink)

This paper provides an interpretation of the existential conception of selfhood that follows from Merleau-Ponty’s account of perception. On this view, people relate to themselves not by “looking within” in acts of introspection but, first, by “looking without” at the field of solicitations in which they are immersed and, eventually, in Merleau-Ponty’s words, by “making explicit” the “melodic unity” or “immanent sense” of their behavior. To make sense of this, I draw out a distinction latent in Merleau-Ponty’s view between a (...) pre-reflective sense of self and a reflective self-interpretation. The former is a suite of abilities and dispositions in light of which a person is aware of and drawn to act in a situation. This sense of self undergoes transitions over time, is constitutively susceptible to moments of disorientation, and tends toward but never achieves full coherence. Reflective self-interpretation is an activity whereby someone—provisionally and defeasibly—clarifies, articulates, and gets a better “grip” on how they are prereflectively drawn to act. I ground this interpretation in a detailed reading of Merleau-Ponty’s treatment of romantic love and I corroborate it by examining his account of the emergence of class-consciousness in the self-interpretation of a worker. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the (...) purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

A sequel to the author’s book /Frege’s Puzzle/ (1986).

Early Heidegger argues that a “homogenous space of nature” can be revealed by stripping away the intelligibility of Dasein's everyday world, a process he calls “deworlding.” Given this, some interpreters have suggested that Heidegger, despite not having worked out the details himself, is also committed to a notion of deworlded time. Such a “natural time” would amount to an endogenous sequentiality in which events are ordered independently of Dasein and the stand it takes on its being. I show that Heidegger (...) was indeed committed to such a temporal realism even though his treatment of these issues is somewhat scattered and pulled in different directions. In the course of my reconstruction, I renew an interpretation of Heidegger that stresses Dasein's thrownness into nature and I answer William Blattner's powerful interpretation of Heidegger as a failed temporal idealist who was unable to derive the sequentiality of ordinary time from Dasein's non-sequential originary temporality. Heidegger did not attempt to derive sequentiality; instead, he understood it as a built-in feature of the natural universe by which Dasein's activities are constrained. World-time turns out to be a co-production of Dasein's non-sequential originary temporality and the endogenous sequentiality of events in nature. (shrink)

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (shrink)

Movies have a striking aesthetic power: they can draw us in and induce a peculiar mode of involvement in their images – they absorb us. While absorbed in a movie, we lose track both of the passage of time and of the fact that we are sitting in a dark room with other people watching the play of light upon a screen. What is the source of the power of movies? Noël Carroll, who cites Maurice Merleau-Ponty as an influence on (...) his account of the power of movies, agrees with Merleau-Ponty that our perceptual experience of movies draws on many of the capacities at work in our perceptual experience of everyday situations. Yet Merleau-Ponty’s account of perception shows that Carroll’s emphasis on intellectual inference and the entertaining of unasserted thoughts is a distortion of the phenomenology of cinematic absorption. According to Merleau-Ponty, such intellectual operations come into play in cases of breakdown but should not be read back into the primary absorbed experience as being implicitly operative.. (shrink)

The proposal that the earth has entered a new epoch called “the Anthropocene” has touched a nerve . One unsettling part of having our ecological finitude thrust upon us with the term “Anthropocene” is that, as Nietzsche said of the death of God, we ourselves are supposed to be the collective doer responsible here, yet this is a deed which no one individual meant to do and whose implications no one fully comprehends. For the pessimists about humanity, the implications seem (...) rather straightforward: humanity will die. Yet, as we will explore in this paper, the death that we may be facing cannot be assumed to be simply biological death or extinction. Indeed, even if we are not running headlong into a mass extinction and biological demise, we do seem to be facing an ontological death. Our ecological finitude is the harbinger of our ontological finitude. The vulnerability we confront in the Anthropocene is what Jonathan Lear, in a different context, called ontological vulnerability. Worlds die too; the ways of life they sustain can become impossible, ceasing to make sense and matter. The constitutive susceptibility of all human worlds to their eventual collapse is what we mean by ontological finitude. This is what we face as presumed denizens in a dawning Anthropocene. (shrink)

In this candid autobiographical essay, Nathan Salmon recounts and assesses the impact of various philosophers and events on his philosophical development.

Nathan Salmon; XII*—How to Measure the Standard Metre, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 193–218.

In this paper, I address some puzzles about Frege’s conception of how we “grasp” thoughts. I focus on an enigmatic passage that appears near the end of Frege’s great essay “The Thought.” In this passage Frege refers to a “non-sensible something” without which “everyone would remain shut up in his inner world.” I consider and criticize Wolfgang Malzkorn’s interpretation of the passage. According to Malzkorn, Frege’s view is that ideas [Vorstellungen] are the means by which we grasp thoughts. My counter-proposal (...) is that language enables us to grasp thoughts (ideas are merely their baggage or “trappings,” as Frege puts it). One significant consequence of my interpretation is that it helps challenge the standard reading of Frege according to which he is a metaphysical platonist about thoughts. My interpretation thus provides support for the deflationary, anti-ontological reading spelled out by readers like Thomas Ricketts and Wolfgang Carl. As Ricketts puts it, Frege’s distinction between the objective and the subjective, rather than being an ontological doctrine, “lodges in the contrast between asserting something and giving vent to a feeling.”. (shrink)

A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

Although Professor Schiffer and I have many times disagreed, I share his deep and abiding commitment to argument as a primary philosophical tool. Regretting any communication failure that has occurred, I endeavor here to make clearer my earlier reply in “Illogical Belief” to Schiffer’s alleged problem for my version of Millianism.1 I shall be skeletal, however; the interested reader is encouraged to turn to “Illogical Belief” for detail and elaboration. I have argued that to bear a propositional attitude de re (...) is to bear that attitude toward the corresponding singular proposition, no more and no less. If this is right, then according to Millianism every instance of the following modal schema is true. (shrink)

Quine’s criterion of theoretical ontological commitment is subject to a variety of interpretations, all of which save one yield incorrect verdicts. Moreover, the interpretation that yields correct verdicts is not what Quine meant. Instead the intended criterion unfairly imputes ontological commitments to theories that lack those commitments and fails to impute commitments to theories that have them. Insofar as Quine’s criterion is interpreted so that it yields only correct verdicts, it is trivial and of questionable utility. Moreover, the correct criterion (...) invokes analyticity, a notion that Quine spent most of his life tirelessly combating. This yields a dilemma for Quinean philosophy: Either his criterion of ontological commitment is incorrect, or else Quine is committed to a traditional philosophical notion that he emphatically rejected as disreputable. (shrink)

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though Naming and Necessity is concerned (...) with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)