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)

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)

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)

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 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.

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.

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.

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)

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.

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)

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)

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)

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”.

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)

"_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)

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)

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)

Was sind wir? Wie immer man sich zu dieser Frage stellt, eines scheint offenkundig: Wir sind Tiere, genauer gesagt: menschliche Tiere, Mitglieder der Art Homo sapiens. Dabei mag es überraschen, daß viele Philosophen diese vermeintlich banale Tatsache abstreiten. Plato, Augustinus, Descartes, Locke, Berkeley, Hume, Kant und Hegel, um nur einige herausragende zu nennen, waren alle der Meinung, wir seien keine Tiere. Es mag zwar sein, daß unsere Körper Tiere sind. Doch sind wir nicht mit unseren Körpern gleichzusetzen. Wir sind etwas (...) anderes als Tiere. Kaum anderer Meinung sind Denker nicht-westlicher Traditionen. Und rund neun von zehn Philosophen, die heutzutage über Probleme der personalen Identität nachdenken, vertreten Ansichten, die ausschließen, daß wir Tiere sind. (shrink)

John Hartley opens his short history of cultural studies by evoking a sense of the contested nature of the field in the contemporary moment and the intense debates about its objects, scope, methods, and goals: “Even within intellectual communities and academic institutions, there is little agreement about what counts as cultural studies, either as a critical practice or an institutional apparatus. On the contrary, the field is riven by fundamental disagreements about what cultural studies is for, in whose interests it (...) is done, what theories, methods and objects of study are proper to it, and where to set its limits” (1). (shrink)

The rise of neo-integrative worldviews : towards a rational spirituality for the coming planetary civilization -- Beyond fundamentalism : spiritual realism, spiritual literacy and education -- Realism, literature and spirituality -- Judgemental rationality and the equivalence of argument : realism about God, response to Morgan's critique -- Transcendence and God : reflections on critical realism, the "new atheism", and Christian theology -- Human sciences at the edge of panentheism : God and the limits of ontological realism -- Beyond East (...) and West -- Meta-Reality (re-)contextualized -- Anti-anthropic spirituality : dualism, duality and non-duality -- "The more you kick God out the front door, the more he comes in through the window" : Sean Creaven's critique of transcendental dialectical critical realism and the philosophy of meta-Reality -- Resisting the theistic turn -- The pulse of freedom and the existential dilemma of alienation -- Meta-Reality, creativity and the experience of making art. (shrink)

In this essay I propose to explicate and defend a new and improved version of a Lockean proviso—the self-ownership proviso . I shall presume here that individuals possess robust rights of self-ownership. I shall take it that each individual has strong moral claims over the elements which constitute her person, e.g., her body parts, her talents, and her energies. However, in the course of the essay, I shall be challenging what I take to be the standard conception of self-ownership and (...) proposing an enrichment of that conception. The SOP is presented and in part justified as an implication of the right of self-ownership as it is more richly conceived—hence its designation as the self-ownership proviso. As an implication of the right of self-ownership which is also compatible, in theory and practice, with extensive and robust private property rights, the SOP is offered as an integral element of classical-liberal political theory. (shrink)

This is a book about Kant's views on causality as understood in their proper historical context. Specifically, Eric Watkins argues that a grasp of Leibnizian and anti-Leibnizian thought in eighteenth-century Germany helps one to see how the critical Kant argued for causal principles that have both metaphysical and epistemological elements. On this reading Kant's model of causality does not consist of events, but rather of substances endowed with causal powers that are exercised according to their natures and circumstances. This (...) innovative conception of Kant's view of causality casts a light on Kant's philosophical beliefs in general, such as his account of temporality, his explanation of the reconciliation of freedom and determinism, and his response to the skeptical arguments of Hume. (shrink)

How should we determine the distribution of psychological traits—such as Theory of Mind, episodic memory, and metacognition—throughout the Animal kingdom? Researchers have long worried about the distorting effects of anthropomorphic bias on this comparative project. A purported corrective against this bias was offered as a cornerstone of comparative psychology by C. Lloyd Morgan in his famous “Canon”. Also dangerous, however, is a distinct bias that loads the deck against animal mentality: our tendency to tie the competence criteria for cognitive (...) capacities to an exaggerated sense of typical human performance. I dub this error “anthropofabulation”, since it combines anthropocentrism with confabulation about our own prowess. Anthropofabulation has long distorted the debate about animal minds, but it is a bias that has been little discussed and against which the Canon provides no protection. Luckily, there is a venerable corrective against anthropofabulation: a principle offered long ago by David Hume, which I call “Hume’s Dictum”. In this paper, I argue that Hume’s Dictum deserves a privileged place next to Morgan’s Canon in the methodology of comparative psychology, illustrating my point through a discussion of the debate over Theory of Mind in nonhuman animals. (shrink)

On October 1, 1988, thirty-five years after co-discovering the structure of the DNA molecule, Dr. James Watson launched an unprecedented experiment in American science policy. In response to a reporter's question at a press conference, he unilaterally set aside 3 to 5 percent of the budget of the newly launched Human Genome Project to support studies of the ethical, legal, and social implications of new advances in human genetics. The Human Genome Project, by providing geneticists with the molecular maps of (...) the human chromosomes that they use to identify specific human genes, will speed the proliferation of a class of DNA-based diagnostic and risk-assessment tests that already create professional ethical and health-policy challenges for clinicians. “The problems are with us now, independent of the genome program, but they will be associated with it,” Watson said. “We should devote real money to discussing these issues.” By 1994, the “ELSI program” had spent almost $20 million in pursuit of its mission, and gained both praise and criticism for its accomplishments. (shrink)

David Silver has argued that there is an illegitimate circularity in Plantinga's account of how a Christian theist can defend herself against the potential defeater presented by Paul Draper's formulation of the problem of evil. The way out of the circle for the theist, thinks Silver, would be by adopting a kind of evidentialism: she needs to make an appeal to evidence that is independent of the reasons she has for holding theistic belief in the first place. I shall argue (...) that Silver's argument is unsuccessful, mainly because he does not get Plantinga's thought right. Silver's confusion is in taking causes of belief as reasons for belief, and in failing to account for the impact of belief holism and our web of beliefs on the very hope for independent reasons. (shrink)

In this paper I offer three main challenges to James (2011). All three turn on the nature of philosophy and secure knowledge in Spinoza. First, I criticize James's account of the epistemic role that experience plays in securing adequate ideas for Spinoza. In doing so I criticize her treatment of what is known as the ‘conatus doctrine’ in Spinoza in order to challenge her picture of the relationship between true religion and philosophy. Second, this leads me into a criticism of (...) her account of the nature of philosophy in Spinoza. I argue it is less piecemeal and less akin to what we would recognize as ‘science’ than she suggests. Third, I argue against James's core commitment that Spinoza's three kinds of knowledge differ in degree; I claim they differ in kind. My argument will offer a new interpretation of Spinoza's conception of ‘common notions’. Moreover, I argue that Spinozistic adequate knowledge involves something akin to angelic disembodiment. (shrink)

My goal in this essay is to say something helpful about the philosophical foundations of deontic restraints, i.e., moral restraints on actions that are, roughly speaking, grounded in the wrongful character of the actions themselves and not merely in the disvalue of their results. An account of deontic restraints will be formulated and offered against the backdrop of three related, but broader, contrasts or puzzles within moral theory. The plausibility of this account of deontic restraints rests in part on how (...) well this account resolves the puzzles or illuminates the contrasts which make up this theoretical backdrop. (shrink)

Henry More was probably the most important English philosopher between Hobbes and Locke. Described as the 'hammer' of the Cartesians, More attacked Descartes' conception of spirit as undermining its very intelligibility. This work, which analyses an episode in the evolution of the concept of spiritual substance in early modernity, looks at More's rational theology within the context of the great seventeenth century Cartesian controversies over spirit, soul-body interaction, and divine omnipresence. This work argues that More's new, univocal spirit conception, (...) highly influential upon Newton and Clarke, contributed unwittingly to a slow secularisation process internal to theistic culture. It thus fills a lacuna in scholarship by examining how conceptual changes in early modern metaphysics, as opposed to better researched transformations in moral philosophy, were an additional ingredient in the origins of modern speculative atheism. It also suggests that these controversies are by no means merely of historical interest but represent a resource for contemporary philosophical reflection. (shrink)