Volume 24, Issue 7, July 2024, Page 6-12.

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

The Caster Semenya debacle touched off by the 2009 Berlin World Athletics Championships resulted finally in IOC and IAAF abandonment of sex testing, which gave way to procedures that make female competition eligibility dependent upon the level of serum testosterone, which must be below the male range or instrumentally countered by androgen resistance. We argue that the new policy is unsustainable because (i) the testosterone-performance connection it posits is uncompelling; (ii) testosterone-induced female advantage is not ipso facto unfair advantage; (iii) (...) the new policy reflects the gender policing impulses endemic to sport as well as the broader cultural impulses to monstrify women and to doctor women who have nothing wrong with them; (iv) female?male performance disparities are not the only reason for sex-segregated sport, but co-exist with respectable cultural and practical reasons, which (v) provide a powerful case for allowing athletes to compete in the sex category congruent with their gender identity. (shrink)

The ninth-century Irish philosopher, theologian, and speculative grammarian Eriugena invented a number of words, chiefly in order to accommodate Greek terms in Latin. Filiolitas or “sonship” was one of these and a particularly distinctive new word, which almost no one but Eriugena seems to have used. Indeed it appears in all the works ascribed to him and serves both as a word for adoptive sonship in a theological context and as a relative noun in grammatical references. The appearance of the (...) word in a letter of King Charles the Bald may also suggest Eriugena’s authorship of that letter. (shrink)

Web-based platforms play an increasingly important role in managing and sharing research data of all types and sizes. This article presents a case study of the data storage, sharing, and management platform Figshare. We argue that such platforms are displacing and reconfiguring the infrastructure of norms, technologies, and institutions that underlies traditional scholarly communication. Using a theoretical framework that combines infrastructure studies with platform studies, we show that Figshare leverages the platform logic of core and complementary components to re-integrate a (...) presently splintered scholarly infrastructure. By means of this logic, platforms may provide the path to bring data inside a scholarly communication system still optimized mainly for text publications. Yet the platform strategy also risks turning over critical scientific functions to private firms whose longevity, openness, and corporate goals remain uncertain. It may amplify the existing trend of splintering infrastructures, with attendant effects on equity of service. (shrink)

This is the text of The Lindley Lecture for 1969, given by Paul Edwards, an Austrian-American philosopher.

Lacking in the philosophy of sport is discussion of the gendered numbers of sets played in Grand Slam tennis. We argue that the practice is indefensible. It can be upheld only through false beliefs about women or repressive femininity ideals. It treats male tennis players unfairly in forcing them to play more sets because of their sex. Its ideological consequences are pernicious, since it reinforces the respective identifications of the female and male with physical limitation and heroism. Both sexes have (...) compelling reason to reject the practice. (shrink)

When behaviours or character traits match sociocultural expectation, heteronomy is a natural suspicion. A further natural suspicion is that the behaviours or character traits are unhealthy for the agent or for objectives of social justice and liberation. Second Wave feminism therefore includes a robust narrative of unease about female self-sexualisation. Third Wave feminism has more upbeat narratives of the latter, in terms of confidence and empowerment. The preceding tension is refracted through cases such as Ronda Rousey and ‘derby girls’, as (...) well as those of many less ostentatious women. It is argued that such self-sexualisation can be autonomous as opposed to heteronomous. It is argued, furthermore, that it is not a priori unhealthy for the agent and that autonomous female self-sexualisation admits of degrees of self-consciousness and articulacy. At the same time, such self-sexualisation takes place within gendered social structures, with consequences that legitimate the reinvocation of Second Wave motifs such as the commodification of female sexuality and the privileging of precise images of female sexuality. (shrink)

The book provides a practical guide to the application of Critical Realism (CR), an increasingly popular philosophy of social science, in empirical research projects. Each purpose-written chapter reviews major social science research methods and contains extended illustration of how to conduct inquiry using CR.

In 2004, Google embarked on a massive book digitization project. Forty library partners and billions of scanned pages later, Google Book Search has provided searchable text access to millions of books. While many details of Google’s conversion processes remain proprietary secret, here we piece together their general outlines by closely examining Google Book Search products, Google patents, and the entanglement of libraries and computer scientists in the longer history of digitization work. We argue that far from simply “scanning” books, Google’s (...) efforts may be characterized as algorithmic digitization, strongly shaped by an equation of digital access with full-text searchability. We explore the consequences of Google’s algorithmic digitization system for what end users ultimately do and do not see, placing these effects in the context of the multiple technical, material, and legal challenges surrounding Google Book Search. By approaching digitization primarily as a text extraction and indexing challenge—an effort to convert print books into electronically searchable data—GBS enacts one possible future for books, in which they are defined largely by their textual content. (shrink)

Paul Ricoeur was one of the foremost interpreters and translators of Edmund Husserl's philosophy. These nine essays present Ricoeur's interpretation of the most important of Husserl's writings, with emphasis on his philosophy of consciousness rather than his work in logic. In Ricoeur's philosophy, phenomenology and existentialism came of age and these essays provide an introduction to the Husserlian elements which most heavily influenced his own philosophical position.

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

The Football Association has been under pressure to allow girls to play in mixed teams since 1978, following 12-year old Theresa Bennett’s application to play with boys in a local league. In 1991, over a decade after Bennett’s legal challenge, the FA agreed to remove its ban on mixed football and introduced Rule C4 in order to permit males and females to play together in competitive matches under the age of 11. More recently, following a campaign by parents, coaches, local (...) Members of Parliament and the Women’s Sport Foundation, the FA agreed to trial mixed football for the under-12 to under-15 age categories in order to establish, among other things, the risk of injury to players in sex-integrated competitions. A series of exponential changes ensued: between 2010 and 2014, the age at which mixed football was permitted increased from U11 to U16. In 2015, the FA announced the decision to raise the age limit on mixed football from U16 to U18 for the forthcoming 2015–2016 season. We critically examine th... (shrink)

Consequentialism is a state of affairs centered moral theory that finds support in state of affairs centered views of value, reason, action, and desire/preference. Together these views form a mutually reinforcing circle. I map an exit route out of this circle by distinguishing between two different senses in which actions can be understood as bringing about states of affairs. All actions, reasons, desires, and values involve bringing about in the first, deflationary sense, but only some appear to involve bringing about (...) in a second, rationalizing sense. I demonstrate that the views making up this circle hold, implausibly, that all reasons, values, desires, and actions involve bringing about in both senses, and that failure to distinguish these senses obscures the implausibility of these views as a set. I demonstrate, in addition, that the distinction blocks two common arguments that otherwise threaten to leverage us back in to the consequentialist circle. (shrink)

Biodiversity studies comprise the systematic examination of the full array of different kinds of organisms together with the technology by which the diversity can be maintained and used for the benefit of humanity. Current basic research at the species level focuses on the process of species formation, the standing levels of species numbers in various higher taxonomic categories, and the phenomena of hyperdiversity and extinction proneness. The major practical concern is the massive extinction rate now caused by human activity, which (...) threatens losses in the esthetic quality of the world, in economic opportunity, and in vital ecosystem services. (shrink)

In Beyond Physicalism, an interdisciplinary group of physical scientists, behavioral and social scientists, and humanists from the Esalen Institute’s Center for Theory and Research argue that physicalism must be replaced by an expanded scientific naturalism that accommodates something spiritual at the heart of nature.

A long-standing theoretical tradition in clinical psychology and psychiatry sees deliberate self-harm , such as wrist-cutting, as “functional”—a means to avoid painful emotions, for example, or to elicit attention from others. There is substantial evidence that DSH serves these functions. Yet the specific links between self-harm and such functions remain obscure. Why don’t self-harmers use less destructive behaviors to blunt painful emotions or elicit attention? Economists and biologists have used game theory to show that, under certain circumstances, self-harmful behaviors by (...) economic agents and animals serve important strategic goals. In particular, “costly signals” can credibly reveal a “private state” in situations where verbal claims and other “cheap” signals might be disbelieved. Here, DSH is scrutinized using signaling theory, and a variant, the theory of bargaining with private information. The social contexts and associated features of DSH suggest that it might be a costly, and therefore credible, signal of need that compels social partners to respond. (shrink)

The Alleged Turning Point in European Philosophy Existentialists, especially those who follow either Heidegger or Jaspers, find a great deal objectionable in what they variously call ‘scientism’, ‘scientific rationalism’, and ‘positivism’. In this article I shall discuss one of the alleged defects of scientific rationalism, that it recognizes only one kind of truth—the kind that existentialists call ‘objective truth’. ‘One great achievement of existential philosophy,’ writes William Barrett, ‘has been a new interpretation of the idea of truth in order to (...) point out that there are different kinds of truth, where a rigid scientific rationalism had postulated but one kind: objective scientific truth.’ Not only scientific rationalists but traditional metaphysicians from Plato to Aquinas and Hegel are judged to be equally at fault here: they too have failed to recognize any truth other than the objective variety. It was Kierkegaard who for the first time effectively challenged the assumptions shared by scientific rationalists and traditional metaphysicians. Kierkegaard, in Barrett's words, ‘had to re-open the whole question of the meaning of truth … his stand on the question may well have marked a turning point in European philosophy.’. (shrink)

The Macmillan Reference Company and Prentice Hall International recently released a volume entitled . As the editor-in-chief of the original eight-volume Encyclopedia I wish to explain why I must disassociate from this Supplement.

An English adaptation of the publication that accompanied the exhibition BLAST: Vortizismus--Die erste Aventgarde in England 1914-1918 in Hanover and Munich in 1996-97. British and German art historians examine the only British avant-garde movement to make an original contribution to European Modernism. Initiated in 1914 by Wyndham Lewis and christened by Ezra Pound, it was a sustained act of aggression against the moribund and moderate Victorianism that they saw as stifling the artistic energies of the new generation. In addition to (...) 63 black-and-white illustrations, 40 color plates reproduce example paintings. c. Book News Inc. (shrink)