The evolution of Euler diagrams is examined from Euler's original system through the modifications made by Venn and Peirce. It is shown that these modifications were motivated by an attempt to increase the expressivity of the diagrams, but that a side effect of these modifications was a loss of the visual clarity of Euler's original system. Euler's original system is reconstructed from a modern, logical point of view. Formal semantics and rules of inference are provided for this reconstruction of Euler's (...) system, and basic logical properties are proved. (shrink)

This paper describes a way of creating and maintaining a `dynamic encyclopedia', i.e., an encyclopedia whose entries can be improved and updated on a continual basis without requiring the production of an entire new edition. Such an encyclopedia is therefore responsive to new developments and new research. We discuss our implementation of a dynamic encyclopedia and the problems that we had to solve along the way. We also discuss ways of automating the administration of the encyclopedia.

How diverse is philosophy? In this paper we explore recent data on the racial, ethnic, and gender diversity of philosophy students and faculty in the United States. We have found that women are underrepresented in philosophy at all levels from first-year intention to major through senior faculty. The past four years have seen an increase in the percentage of women philosophy majors at the undergraduate level, but it remains to be seen if this recent increase in the percentage of women (...) will eventually also show at more advanced stages. Temporal trends since 2000 also show substantial increases in the racial and ethnic diversity of philosophy majors at all levels of education from first-year undergraduate through PhD, with substantial declines in the percentage of non-Hispanic White philosophy majors and substantial increases in all other commonly measured racial/ethnic groups except for Native American / Alaska Native. Despite generally increasing diversity, people who identify as Hispanic (any race), or non-Hispanic Native American, Alaska Native, or Black remain substantially underrepresented in philosophy at all levels compared to their presence in the U.S. population, and in some cases also as compared to other majors. (shrink)

This book examines the logical foundations of visual information: information presented in the form of diagrams, graphs, charts, tables, and maps. The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in compution. Chapters of the book develop the logics of familiar systems of diagrams such as Venn diagrams and Euler circles. Other chapters develop the logic of higraphs, Pierce diagrams, and a system having both diagrams and sentences among its well-formed representations. (...) Syntax, semantics, rules of inference and soundness and completeness results are provided for each of the systems. In addition to developing the logic of diagrams, key questions about the status of visual information Hammer discusses, such as the relationship between the language and visually-presented information. (shrink)

This paper examines Charles Peirce's graphical notation for first-order logic with identity. The notation forms a part of his system of "existential graphs," which Peirce considered to be his best work in logic. In this paper a Tarskian semantics is provided for the graphical system.

A formal system is studied having both sentences and diagrams as well-formed representations. Proofs in the system allow inference back and forth between sentences and diagrams, as well as between diagrams and diagrams, and between sentences and sentences. This sort of heterogeneous system is of interest because external representations other than linguistic ones occur commonly in actual reasoning in conjunction with language. Syntax, semantics, and rules of inference for the system are given and it is shown to be sound and (...) complete. (shrink)

A linear notation for Charles S. Peirce's alpha and beta diagrammatic systems of existential graphs is presented. These two systems are equivalent to propositional and first-order logic. Some differences between the linear and graphical notation are analyzed, revealing some of the strengths and weaknesses of Peirce's system.

A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams.

This paper is a logical study of valid uses of symmetry in deductive reasoning, of what underlying principles make some appeals to symmetry legitimate but others illegitimate. The issue is first motivated informally. A framework is then given covering a fairly broad range of symmetry arguments, and the formulation of symmetry provided is shown to be a valid principle of reasoning, as is a slightly stronger principle of reasoning, one that is shown to be in some sense as strong as (...) possible. The relationship between symmetry and isomorphism is discussed, and finally the framework is extended to a more general model-theoretic setting. (shrink)

Several accounts of logical truth are compared and shown to define distinct concepts. Nevertheless, conditions are given under which they happen to declare exactly the same sentences logically true. These conditions involve the variety of objects in the domain, the richness of the language, and the logical resources available. It is argued that the class of sentences declared logically true by each of the accounts depends on particularities of the actual world.

ABSTRACTWilliam Morgan presents two diametrically opposed normative conceptions of sport and athletic excellence from late nineteenth/early twentieth-century British and American athletes. He claims that this example shows that the normative theory of sport presented by broad internalism is false or at least inadequate. As an alternative, he presents the concept of deep conventions, which, he claims, can successfully adjudicate such normative disputes. I argue that Morgan’s counterexample is not nearly so decisive against broad internalism as it might seem (...) and that his own solution, deep conventionalism does no better in solving the dispute and suffers from further issues of its own. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Dans la deuxième moitié des années 1980 s’est développée, dans l’ensemble du champ de la culture, une véritable esthétique de la bêtise. Quelques jeunes critiques d’art se sont alors emparés du phénomène et ont tenté de le théoriser, entre 1994 et 1998, dans les revues les plus lues de l’époque : Flash Art International, Artpress, Frieze. L’étude de ce corpus d’articles (signés par Joshua Decter, Éric Troncy, Jon Savage, Andrew Hulktrans et Jean-Yves Jouannais) témoigne à la fois des mutations de (...) la critique d’art de l’époque et de l’enjeu que représente alors l’art délibérément bête. On remarquera que la critique d’art se fait alors critique culturelle : elle regarde peu les œuvres, réduites au statut d’illustrations et d’arguments visuels. On s’interrogera également sur la place que les revues d’art contemporain ont accordée à la culture populaire médiatique la plus régressive du temps. Beavis & Butt-Head, Melrose Place ou encore Alerte à Malibu ont été ainsi disséqués dans les colonnes d’ Artforum ou de Flash Art. Alors que les œuvres d’art estampillées « art contemporain » donnaient lieu à des analyses étonnamment sommaires, ce sont les séries télévisées et les dessins animés qui ont conduit aux analyses les plus stimulantes. Elles l’ont fait en recourant au paradigme de la méta-criticalité cher au modernisme, conférant aux œuvres les plus régressives le statut d’image spéculaire, à la fois duplice et critique, de la culture de la bêtise qui les générait. Pointe alors le paradoxe suivant : alternant entre l’enthousiasme forcené et la déploration, la critique d’art des années 1990 a intellectualisé l’anti-intellectualisme le plus radical. (shrink)

The Problem of Biological Individuality is the problem of how to count organisms. Whilst counting organisms may seem easy, the biological world is full of difficult cases such as colonial siphonophores and aspen tree groves. One of the main solutions to the Problem of Biological Individuality is the Physiological Approach. Drawing on an argument made by Eric Olson in the personal identity debate, I argue that the Physiological Approach faces a metaphysical problem - the ‘Foetus Problem’. This paper illustrates (...) how metaphysics can contribute to debates about organisms in the philosophy of biology. (shrink)

The sociological literature on race operates under the progressive ideological assumption that systemic racism is the predominant cause of racial disparities. This assumption has become “paradigmatic,” shaping the selection of research questions and the interpretation of research results. Consequently, the literature offers a rather narrow “Overton window” concerning what we, as sociologists, know about: (1) the causes of racial disparities, (2) the accuracy and motivation behind the public’s views on race-related issues, and (3) race-related policy preferences. A paradigm shift is (...) needed to improve our understanding of racial disparities and devise more effective ways to address them. To achieve this end, sociologists should broaden their perspectives beyond attributing all racial disparities to systemic racism and consider additional hypotheses. From a policy perspective, to reduce racial disparities we should reconsider addressing social class and related factors early in life. (shrink)

ABSTRACTIn a recent article in this Journal, Eric Moore criticized an earlier essay of mine published in this same Journal on two fronts. On the first, he criticized my criticisms of broad internalism for relying on abstract moral principles too far removed from the practice of sport to adjudicate normative conflicts in which disputants cannot agree on what is the purpose of sport. On the second front, he criticized my reliance on what he called Rorty’s “controversial” views of truth (...) and rationality to back up my criticisms of broad internalism. I find both criticisms forceful but not persuasive. In my reply, therefore, I defend both use of Rorty’s and other similar historicist takes on rational justification and my criticisms of broad internalism principles-based approach to normative inquiry in sport. (shrink)

This is the story, told in the light of a new analysis of historical data, of a mathematical biology problem that was explored in the 1930s in Thomas Morgan’s laboratory at the California Institute of Technology. It is one of the early developments of evolutionary genetics and quantitative phylogeny, and deals with the identification and counting of chromosomal inversions in Drosophila species from comparisons of genetic maps. A re-analysis of the data produced in the 1930s using current mathematics and (...) computational technologies reveals how a team of biologists, with the help of a renowned mathematician and against their first intuition, came to an erroneous conclusion regarding the presence of phylogenetic signals in gene arrangements. This example illustrates two different aspects of a same piece: the appearance of a mathematical in biology problem solved with the development of a combinatorial algorithm, which was unusual at the time, and the role of errors in scientific activity. Also underlying is the possible influence of computational complexity in understanding the directions of research in biology. (shrink)

"_Weaving the World_ is a well-written and lucid overview of Simone Weil's writings on science and mathematics. This book will be of great benefit for anyone who wishes to pursue Weil's thought in depth." —_Eric O. Springsted, President of the American Weil Society_ "_Weaving the World_ is a detailed account of the philosophy of science and knowledge of Simone Weil. It is a very useful contribution to our understanding of one of the deepest and most incandescent thinkers of the twentieth (...) century." —_Martin Andic, University of Massachusetts, Boston_ This clearly written book introduces readers to Simone Weil’s philosophy of science and mathematics. Weil held that, for the ancient Greeks, the ultimate purpose of science and mathematics was the knowledge and love of the divine. Her creative assimilation of this vision led her to a conception of science and mathematics that connects the human person with not only the physical world but also the spiritual and aesthetic aspects of human existence. Vance Morgan sketches an outline of a metaphysical foundation for mathematics and science that, according to Weil, opens the door to a reinvigorated discussion among science, philosophy, art, and religion. (shrink)

On the centennial of the death of William James (1842-1910), I approached faculty members at eighteen major theological centers of learning requesting them to identify the twelve most important books in the field of the psychology of religion written between James' 1902 classic The Varieties of Religious Experience up to Peter Homan's 1970 Theology After Freud. The request was for each faculty member (by agreement to remain anonymous) to identify the twelve books during that time period (1902-1970) which, in their (...) opinion, constituted major contributions to the development of the discipline of psychology of religion. By mutual agreement, James was credited with being the purported founder of the psychology of religion and Homans the quintessential culmination of the discipline's respectability. Though obviously subjective, the survey did register a consensus of scholars teaching in the field and what follows is a critical assessment of the merits of those books which they selected. (shrink)

Religions teach their adherents how to see and feel at the same time, so learning to see is not a disembodied process but one hammered out on the forge of human need, social relations, and material practice. Therefore, religions may be studied through the lens of salient visual themes. This book tells a history of Catholic and Protestant Christianity since the sixteenth century by selecting visual themes that have shaped the development of the religion throughout the modern era. Chapters examine (...) a variety of visual practices, including imagination, envisioning nationhood, the likeness of Jesus, modern art as a spiritual quest, the material life of words, and the importance of images for education, devotion, worship, and domestic life."--Provided by publisher. (shrink)

Miklowitz’s central historical thesis is that Hegel’s “bold claims of metaphysics were burst into fragments under blows from Nietzsche’s hammer”. This thesis fails to account for the many profitable readings of Hegel as an epistemologist rather than a metaphysician. In Miklowitz’s reading, Hegel seems to fit the Schopenhauerian caricature of the pompous Schwabian concocting “grandiose... hubristic” pretensions to absolute knowledge “that would have made even Faust blush”.

This piece is a comment on Quilty-Dunn, Jake, Nicolas Porot, and Eric Mandelbaum. 2023. “The Best Game in Town: The Reemergence of the Language-of-Thought Hypothesis across the Cognitive Sciences.” Behavioral and Brain Sciences 46: e261. -/- The target article signal boosts important ongoing work across the cognitive sciences. However, its theoretical claims, generative value, and purported contributions are – where not simply restatements of arguments extensively explored elsewhere – imprecise, noncommittal, and underdeveloped to a degree that makes them difficult (...) to evaluate. The article's apparent force results from engaging with straw rather than steel opponents. (shrink)

We describe the results and implications of a literature review that identifies the number of normative and empirical articles, respectively, that have appeared in Nursing Ethics in each year from 1994 to 2017. The results of our analysis suggest a powerful trend away from normative scholarship and toward empirical investigation within the field of nursing ethics, both overall and comparatively. We argue that there are several important negative consequences of this trend, and we propose some potential solutions to address them.

From Clouds to Corsair: Kierkegaard, Aristophanes, and Socrates -- The pure fool and the knight of faith: Wolfram's Parzival and the stages of existence -- From romantic aesthete to Christian analogue: Don Quixote's sallies in Kierkegaard's authorship -- Saying not quite "everything just as it is": Shakespeare on life's way -- "Sorrow's changeling": irony, humor, and laughter in Kierkegaard and Carlyle.

Mack critically surveys a range of arguments characteristic of Randian writings in ethics (including Craig Biddle's Loving Life). He focuses on "the Shuffle," a set of argumentative moves in which there is illicit shifting back and forth between causal and conceptual understandings and defenses of claims of the form: Man's survival requires man's behaving in manner X (e.g., being rational, being productive). Mack concludes that much Randian argumentation is deeply flawed and urges admirers to discriminate between Rand's genuine individualist ethical (...) crusade and her line-by-line argumentation, which includes a much too strict identification of man's good with man's survival. (shrink)

I apply some of the lessons from quantum theory, in particular from Bell’s theorem, to a debate on the foundations of decision theory and causation. By tracing a formal analogy between the basic assumptions of causal decision theory (CDT)—which was developed partly in response to Newcomb’s problem— and those of a local hidden variable theory in the context of quantum mechanics, I show that an agent who acts according to CDT and gives any nonzero credence to some possible causal interpretations (...) underlying quantum phenomena should bet against quantum mechanics in some feasible game scenarios involving entangled systems, no matter what evidence they acquire. As a consequence, either the most accepted version of decision theory is wrong, or it provides a practical distinction, in terms of the prescribed behaviour of rational agents, between some metaphysical hypotheses regarding the causal structure underlying quantum mechanics. (shrink)

We investigate whether age profiles of ethnobiological knowledge development are consistent with predictions derived from life history theory about the timing of productivity and reproduction. Life history models predict complementary knowledge profiles developing across the lifespan for women and men as they experience changes in embodied capital and the needs of dependent offspring. We evaluate these predictions using an ethnobiological knowledge assessment tool developed for an off-grid pastoralist population known as Choyeros, from Baja California Sur, Mexico. Our results indicate that (...) while individuals acquire knowledge of most dangerous items and edible resources by early adulthood, knowledge of plants and animals relevant to the age and sex divided labor domains and ecologies (e.g., women’s house gardens, men’s herding activities in the wilderness) continues to develop into middle adulthood but to different degrees and at different rates for men and women. As the demands of offspring on parents accumulate with age, reproductive-aged adults continue to develop their knowledge to meet their children’s needs. After controlling for vision, our analysis indicates that many post-reproductive adults show the greatest ethnobiological knowledge. These findings extend our understanding of the evolved human life history by illustrating how changes in embodied capital and the needs of dependent offspring predict the development of men’s and women’s ethnobiological knowledge across the lifespan. (shrink)

The notion of digital virus covers, in our view, two points: computer viruses that infect our computers and technological solutionism, the unreasonable passion that consists in considering that the solution to all social problems lies in the digital world. Yet the digital world is as vulnerable as the biological world. Moreover, it is dangerous because it pushes us into a digital bondage that undermines democracy. The solution to the crisis is not less democracy, but more democracy. More precisely, we will (...) argue that digital devices do not strengthen democratic communication, they promote a digital connection that hinders deliberation and threatens the very idea of democracy. (shrink)