The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...) However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...) special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

Region R Question: How many objects — entities, things — are contained in R? Ignore the empty space. Our question might better be put, 'How many material objects does R contain?' Let's stipulate that A, B and C are metaphysical atoms: absolutely simple entities with no parts whatsoever besides themselves. So you don't have to worry about counting a particle's top half and bottom half as different objects. Perhaps they are 'point-particles', with no length, width or breadth. Perhaps they are (...) extended in space without possessing spatial parts (if that is possible). Never mind. We stipulate that A, B and C are perfectly simple. We also stipulate that they are connected as follows. A and B are stuck together in such a way that when a force is applied to one of them, they move together 'as a unit'. Moreover, the two of them together exhibit behavior that neither would exhibit on its own — Perhaps they emit a certain sound, or glow in the dark — whereas C is.. (shrink)

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

The intuitive view that memories are characterized by a feeling of pastness, perceptions by a feeling of presence, while imagination lacks either faces challenges from two sides. Some researchers complain that the “feeling of pastness” is either unclear, irrelevant or isn’t a real feature. Others point out that there are cases of memory without the feeling of pastness, perception without presence, and other cross-cutting cases. Here we argue that the feeling of pastness is indeed a real, useful feature, and although (...) this feeling does not define memory ontologically, it is a characteristic marker which helps us easily categorise a mental state first-personally. We outline several cognitive features that underlie this experience, including the feeling of past accessibility, ergonomic significance, immersion, objectivity and mental strength. Our account is distinctly phenomenal, rather than doxastic, although our web of beliefs may contribute to this experience. (shrink)

Epistemic trespassers judge matters outside their field of expertise. Trespassing is ubiquitous in this age of interdisciplinary research and recognizing this will require us to be more intellectually modest.

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.

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)

We offer an original argument for the existence of universal fictions—that is, fictions within which every possible proposition is true. Specifically, we detail a trio of such fictions, along with an easy-to-follow recipe for generating more. After exploring several consequences and dismissing some objections, we conclude that fiction, unlike reality, is unlimited when it comes to truth.

Many philosophers think that punishment is intentionally harmful and that this makes it especially hard to morally justify. Explanations for the latter intuition often say questionable things about the moral significance of the intent to harm. I argue that there’s a better way to explain this intuition.

This article evaluates an emerging element in popular debate and inquiry: DYOR. (Haven’t heard of the acronym? Then Do Your Own Research.) The slogan is flexible and versatile. It is used frequently on social media platforms about topics from medical science to financial investing to conspiracy theories. Using conceptual and empirical resources drawn from philosophy and psychology, we examine key questions about the slogan’s operation in human cognition and epistemic culture.

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum of a predicate is (...) a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

Rather infamously, Kit Fine provided a series of counter-examples which purport to show that the modalist program of analysing essence in terms of metaphysical necessity is fundamentally misguided. Several would-be modalists have since responded, attempting to save the position from this Finean Challenge. This paper evaluates and rejects a trio of such responses, from Della Rocca, Zalta, and Gorman. But I’m not here arguing for Fine’s conclusion – ultimately, this is a fight amongst friends, with Della Rocca, Zalta, Gorman, and (...) I all wanting to be modalists, but disagreeing on the details. As such, while my primary aim is to show what’s wrong with this trio, the secondary aim is demonstrating how what’s right about them in fact pushes one towards my own sparse modalist account. So while the primary conclusion of this paper is negative, the secondary, positive, conclusion is that modalists shouldn’t give up hope – plausible responses to Fine are still out there. (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)

I argue that, contrary to what Tom Regan suggests, his rights view implies that subsistence hunting is wrong, that is, killing animals for food is wrong even when they are the only available food source, since doing so violates animal rights. We can see that subsistence hunting is wrong on the rights view by seeing why animal experimentation, specifically xenotransplanation, is wrong on the rights view: if it’s wrong to kill an animal to take organs to save a human life, (...) it’s wrong to kill an animal to eat that animal to save a human life or improve human health. I discuss these arguments’ implications for animal rights-based vegan advocacy, insofar as some people claim that they don’t feel their best on vegan diets and so their eating meat is morally justified. I argue that such an attempt to justify consuming animal products fails on Regan’s rights view, but discuss some attempts to morally excuse such violations of animals’ rights. These attempts are inspired by Regan’s attempts at potentially excusing animal rights advocates’ using medications developed using animals. (shrink)

Hvad der sker i vores sovende hjerner, kan være et mareridt at tyde for en drømmeforsker. Og vi er desværre elendige til at huske det, når vi vågner. Heldigvis kan teknologien hjælpe med at løfte sløret for, hvad der foregår, mens vi ligger og trækker torsk i land. Nogle drømme er dybt bizarre. Andre fører til Nobelpriser. Og så er der dem, som bare er pinlige. De sidste vil vi nødig sende i en hjernescanner. Ifølge Melanie Gillespie Rosen, lysvågen (...) filosof ved Aarhus Universitet, handler de fleste drømme om noget så søvndyssende som arbejde. (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)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

Some philosophers think that the challenge of justifying punishment can be met by a theory that emphasizes the expressive character of punishment. A particular type of theories of this sort - call it Expressive Retributivism [ER] - combines retributivist and expressivist considerations. These theories are retributivist since they justify punishment as an intrinsically appropriate response to wrongdoing, as something wrongdoers deserve, but the expressivist element in these theories seeks to correct for the traditional obscurity of retributivism. Retributivists often rely on (...) appeals to controversial intuitions involving obscure concepts. While retributive intuitions can be compelling, some worry that the justificatory challenge cannot be met merely by appealing to them. ER tries to enhance the clarity and justificatory power of these intuitions and the concepts they invoke by appealing to an expressive conception of punishment. I argue that these theories fail to justify punishment and that there is reason to think that they cannot, in principle, justify punishment. (shrink)

This paper is on Descartes’ account of modality and, in particular, his account of the necessity of the laws of nature. He famously argues that the necessity of the “eternal truths” of logic and mathematics depends on God’s will. Here I suggest he has the same view about the necessity of the laws of nature. Further, I argue, this is a plausible theory of laws. For philosophers often talk about something being nomologically or physically necessary because of the laws of (...) nature, but this necessity is thought to be metaphysically contingent. However, they struggle to explain how the laws could be genuinely necessary while being metaphysically contingent. The chief advantage of Descartes view, I argue, is that God’s will can plausibly explain both the necessity of the laws and the contingency of the laws. So, Descartes’ theistic account of laws provides a plausible explanation, perhaps the best explanation, of the contingent-necessity of laws of nature. (shrink)

Inflicting harm is generally preferable to inflicting death. If you must choose between the two, you should generally choose to harm. But prenatal harm seems different. If a mother must choose between harming her fetus or aborting it, she may choose either, at least in many cases. So it seems that prenatal harm is particularly objectionable, sometimes on a par with death. This paper offers an explanation of why prenatal harm seems particularly objectionable by drawing an analogy to the all-or-nothing (...) problem. It then argues that this analogy offers independent support for the ‘voluntarist’ view that at least some parental role obligations are grounded in the choice to be a parent. (shrink)

Other people figure in our experience of the world; they strike us as unique and gen- uinely other. This paper explores whether a Husserlian account of empathy as the way in which we constitute an intersubjective world can account for the uniqueness and otherness of other people in our experience. I contend that it can’t. I begin by explicating Husserl’s theory of empathy, paying particular attention to the reduction to a purely egoic sphere and the steps that ostensibly permit a (...) subject to re-inhabit a world of others from out of this sphere. In querying Husserl’s theory, I consider a series of problems, raised by Zhida Luo, concerning the apparent centrality of bod- ily similarity in empathy. I sketch Luo’s solution, which involves a shift to tactile similarity. While it makes for a better theory of empathy, this solution isn’t sufficient to make room for the givenness of another person not originally predicated on simi- larity. To clarify what’s at issue here, I turn to the Husserlian pictures of empathy presented by Heinz Kohut and Edith Stein. I conclude with a remark about what might be required, given the inability of Husserlian empathy to make room for the experience of others as singular and other, for a picture of our phenomenal life to have a shape that accounts for the coexistence of empathy to others who are like oneself and hospitality to others as genuine others. (shrink)

This paper presents a challenge for exemplar theories of moral concepts. Some have proposed that we acquire moral concepts by way of exemplars of actions that are prohibited as well as of actions that are required, and we classify newly encountered actions based on their similarity to these exemplars. Judgments of permissibility then follow from these exemplar-based classifications. However, if this were true, then we would expect that individuals who lacked, or were deficient in, the capacity to form or access (...) exemplars of this kind would be similarly deficient in the ability to classify new actions according to them, and this relative inability would be manifested in the moral judgments made by such individuals. However, there is reason to suspect, I think, that a number of individuals who have been diagnosed with Autism Spectrum Disorder actually have the deficiencies I have described here but are nevertheless fully able to make sound moral judgments. If this is so, then it must be th... (shrink)

The Counterfactual Comparative Account of Harm says that an event is overall harmful for someone if and only if it makes her worse off than she otherwise would have been. I defend this account from two common objections.

Many philosophers think that an agent punishes a subject only if the agent aims to harm the subject. Bill Wringe has recently argued against this claim. I show that his arguments fail.

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

​This article considers the place of moral concerns about hospitality and welcoming in the politics of the Ejército Zapatista de Liberación Nacional (Zapatista Army of National Liberation, or EZLN). I argue that the EZLN’s political model exemplifies some of what I think to be characteristic of the ideal relationship between politics, concerned with sameness and collective identities, and ethics, concerned with hospitality to those who are genuinely different.

This essay discusses the role that welcoming and hospitality play in communal and political life, and the role they ought to play. It also considers the relationship between ethics in its concern for hospitality to those who are different and politics in its concern for collective understanding and the solidification of group identities.

According to “debunking arguments,” our moral beliefs are explained by evolutionary and cultural processes that do not track objective, mind-independent moral truth. Therefore (the debunkers say) we ought to be skeptics about moral realism. Huemer counters that “moral progress”—the cross-cultural convergence on liberalism—cannot be explained by debunking arguments. According to him, the best explanation for this phenomenon is that people have come to recognize the objective correctness of liberalism. Although Huemer may be the first philosopher to make this explicit empirical (...) argument for moral realism, the idea that societies will eventually converge on the same moral beliefs is a notable theme in realist thinking. Antirealists, on the other hand, often point to seemingly intractable cross-cultural moral disagreement as evidence against realism (the “argument from disagreement”). This paper argues that the trend toward liberalism is susceptible to a debunking explanation, being driven by two related non-truth-tracking processes. First, large numbers of people gravitate to liberal values for reasons of self-interest. Second, as societies become more prosperous and advanced, they become more effective at suppressing violence, and they create conditions where people are more likely to empathize with others, which encourages liberalism. The latter process is not truth tracking (or so this paper argues) because empathy-based moral beliefs are themselves susceptible to an evolutionary debunking argument. Cross-cultural convergence on liberalism per se does not support either realism or antirealism. (shrink)

I argue that there is moral luck, i.e., that factors beyond our control can affect how laudable or culpable we are.

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (shrink)

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (shrink)

When the environment in which an organism lives deviates in some essential way from that to which it is adapted, this is described as “evolutionary mismatch,” or “evolutionary novelty.” The notion of mismatch plays an important role, explicitly or implicitly, in evolution-informed cognitive psychology, clinical psychology, and medicine. The evolutionary novelty of our contemporary environment is thought to have significant implications for our health and well-being. However, scientists have generally been working without a clear definition of mismatch. This paper defines (...) mismatch as deviations in the environment that render biological traits unable, or impaired in their ability, to produce their selected effects. The machinery developed by Millikan in connection with her account of proper function, and with her related teleosemantic account of representation, is used to identify four major types, and several subtypes, of evolutionary mismatch. While the taxonomy offered here does not in itself resolve any scientific debates, the hope is that it can be used to better formulate empirical hypotheses concerning the effects of mismatch. To illustrate, it is used to show that the controversial hypothesis that general intelligence evolved as an adaptation to handle evolutionary novelty can, contra some critics, be formulated in a conceptually coherent way. (shrink)

This volume of collected essays brings together conversations, papers, and debates from the Third Annual North American Anarchist Studies Network Conference in San Juan, Puerto Rico. Nathan Jun and Jorell A. Meléndez aspire to go beyond a simple collection of papers and instead aim to maintain a dialogue among different academic fields with the sole task of comprehending and re-thinking anarchist studies. With over twenty-one chapters written by a diverse range of activists, organizers, musicians, artists, poets, and academics, this (...) book transgresses the apparent simplicity of the study of anarchism with a dynamic and interdisciplinary approach that crystallizes and emulates the heterogeneous nature of the anarchist ideal. From theory and philosophy to historical analyses, methodologies, and perspectives, from different manifestations in the arts, media, and culture to religion, ethics, and spirituality, from the intersectionality of animal liberation and queer struggles to contemporary praxis and organizing, the authors explore different topics from a critical perspective that is often lacking in their respective academic fields. This book is a must-buy for critical teachers, students, and activists interested in studying anarchism and the different ways in which we can transform our reality. (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express different (...) propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

I argue that Davidson's conception of motivating reasons as belief-desire pairs suggests a model of normative reasons for action that is superior to the orthodox conception according to which normative reasons are propositions, facts, or the truth-makers of such facts.

Some prominent scientists and philosophers have stated openly that moral and political considerations should influence whether we accept or promulgate scientific theories. This widespread view has significantly influenced the development, and public perception, of intelligence research. Theories related to group differences in intelligence are often rejected a priori on explicitly moral grounds. Thus the idea, frequently expressed by commentators on science, that science is “self-correcting”—that hypotheses are simply abandoned when they are undermined by empirical evidence—may not be correct in all (...) contexts. In this paper, documentation spanning from the early 1970s to the present is collected, which reveals the influence of scientists’ moral and political commitments on the study of intelligence. It is suggested that misrepresenting findings in science to achieve desirable social goals will ultimately harm both science and society. (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 misguided. 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, 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)

In mid-2019, the controversy regarding South African runner Caster Semenya’s eligibility to participate in competitions against other female runners culminated in a Court of Arbitration for Sport judgement. Semenya possessed high endogenous testosterone levels (arguably a performance advantage), secondary to a disorder of sexual development. In this commentary, Aristotelean teleology is used to defend the existence of ‘male’ and ‘female’ as discrete categories. It is argued that once the athlete’s sex is established, they should be allowed to compete in the (...) category of their sex without obligatory medical treatment. Indeed, other athletes who possess advantageous genetic or phenotypic traits that fall outside of the human norm have been allowed to compete as humans without restraint. In both cases, if an athlete possesses the essential attributes of being a human or being male or female they should be permitted to compete in those respective categories; athletes’ eligibilities should not be based upon accidental attributes. (shrink)