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.

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

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

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.

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 chapter is divided into three separate parts. In the first part I critically discuss Adorno's interpretation of Heidegger's concern with the question of Being. Central to this interpretation is Adorno's view that Being, for Heidegger, resonates with onto‐theological or metaphysical accounts of the highest and most general being – that of Plato's ideas, or Aristotle's substance. In various steps, looking at several key claims of Heidegger, I argue that this approach is misguided. Heidegger draws a clear and philosophically justified (...) distinction between his conception of Being and the Platonic vision of essence. The second part identifies a strand of Adorno's critique that does not depend on the onto‐theological reading. This is the critique of fetishization and reification – Adorno's view that Heidegger falsely seeks to imbue his thinking and diagnosis of modernity with a veneer of the timeless and transcendental. Adorno, I suggest, justifiably introduces his dialectical procedure as a means to correct this tendency: Concepts, he claims, should be viewed and analyzed in terms of the non‐identity between themselves and the states of affairs to which they purport to refer. In clear contrast to the Heideggerian call for some kind of essential or necessary reference – words that magically yet “necessarily” pick out their object, and that thereby aspire to overcome the fateful split between word and object (or subject and object) – Adorno insists on difference, differentiation, and absence, a historically indexed self‐reflection. In the final part I propose a reading of Heidegger that takes heed of Adorno's warnings against fetishization and reification. While far from trying to efface the decisive differences between the two thinkers, I highlight moments in Heidegger that lend themselves to a dialectical interpretation. I argue that these are moments of remembrance – moments in which human practice anticipate a more reconciled relation between subject and object. (shrink)

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)

From the time of Locke, discussions of personal identity have often ignored the question of our basic metaphysical nature: whether we human people are biological organisms, spatial or temporal parts of organisms, bundles of perceptions, or what have you. The result of this neglect has been centuries of wild proposals and clashing intuitions. What Are We? is the first general study of this important question. It beings by explaining what the question means and how it differs from others, such as (...) questions of personal identity and the mind-body problem. It then examines in some depth the main possible accounts of our metaphysical nature, detailing both their theoretical virtues and the often grave difficulties they face. The book does not endorse any particular account of what we are, but argues that the matter turns on more general issues in the ontology of material things. If composition is universal--if any material things whatever make up something bigger--then we are temporal parts of organisms. If things never compose anything bigger, so that there are only mereological simples, then we too are simples--perhaps the immaterial substances of Descartes--or else we do not exist at all (a view Olson takes very seriously). The intermediate view that some things compose bigger things and others do not leads almost inevitably to the conclusion that we are organisms. So we can discover what we are by working out when composition occurs. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

Concepts: Core Readings traces the develoment of one of the most active areas of investigation in cognitive science. This comprehensive volume brings together the essential background readings on concepts from philosophy, psychology, and linguistics, while providing a broad sampling of contemporary research. The first part of the book centers around the fall of the Classical Theory of Concepts in the face of attacks by W.V.O. Quine, Ludwig Wittgenstein, Eleanor Rosch, and others, emphasizing the emergence and development of the Prototype Theory (...) and the controversies it spurred. The second part surveys a broad range of contemporary theories—Neoclassical Theories, the Prototype Theory, the Theory-Theory, and Conceptual Atomism. (shrink)

I argue that to have an attitude is, primarily, (1.) to have a dispositional profile that matches, to an appropriate degree and in appropriate respects, a stereotype for that attitude, typically grounded in folk psychology, and secondarily, (2.) in some cases also to meet further stereotypical attitude-specific conditions. To have an attitude, on the account I will recommend here, is mainly a matter of being apt to interact with the world in patterns that ordinary people would regard as characteristic of (...) having that attitude. I contrast this view with alternative views that treat having an attitude as a matter of possessing some particular internally stored representational content or some other "deep" structural feature. (shrink)

Rationalization, in our intended sense of the term, occurs when a person favors a particular conclusion as a result of some factor (such as self-interest) that is of little justificatory epistemic relevance, if that factor then biases the person’s subsequent search for, and assessment of, potential justifications for the conclusion. Empirical evidence suggests that rationalization is common in people’s moral and philosophical thought. We argue that it is likely that the moral and philosophical thought of philosophers and moral psychologists is (...) also pervaded by rationalization. Moreover, although rationalization has some benefits, overall it would be epistemically better if the moral and philosophical reasoning of people, including professional academics, were not as heavily influenced by rationalization as it likely is. We discuss the significance of our arguments for cognitive management and epistemic responsibility. (shrink)

We present evidence that mainstream Anglophone philosophy is insular in the sense that participants in this academic tradition tend mostly to cite or interact with other participants in this academic tradition, while having little academic interaction with philosophers writing in other languages. Among our evidence: In a sample of articles from elite Anglophone philosophy journals, 97% of citations are citations of work originally written in English; 96% of members of editorial boards of elite Anglophone philosophy journals are housed in majority-Anglophone (...) countries; and only one of the 100 most-cited recent authors in the Stanford Encyclopedia of Philosophy spent most of his career in non-Anglophone countries writing primarily in a language other than English. In contrast, philosophy articles published in elite Chinese-language and Spanish-language journals cite from a range of linguistic traditions, as do non-English-language articles in a convenience sample of established European-language journals. We also find evidence that work in English has more influence on work in other languages than vice versa and that when non-Anglophone philosophers cite recent work outside of their own linguistic tradition it tends to be work in English. (shrink)

A Companion to Greek Democracy and the Roman Republic offers a comparative approach to examining ancient Greek and Roman participatory communities. Explores various aspects of participatory communities through pairs of chapters—one Greek, one Roman—to highlight comparisons between cultures Examines the types of relationships that sustained participatory communities, the challenges they faced, and how they responded Sheds new light on participatory contexts using diverse methodological approaches Brings an international array of scholars into dialogue with each other.

Philosophers tend to be pretty impressed by human self-knowledge. Descartes (1641/1984) thought our knowledge of our own stream of experience was the secure and indubitable foundation upon which to build our knowledge of the rest of the world. Hume – who was capable of being skeptical about almost anything – said that the only existences we can be certain of are our own sensory and imagistic experiences (1739/1978, p. 212). Perhaps the most prominent writer on self-knowledge in contemporary philosophy is (...) Sydney Shoemaker. The central aim of much of his work has been to show that certain sorts of error are impossible (1963, 1988, 1994). David Chalmers has likewise attempted to show that, for a suitably constrained class of beliefs about one’s own consciousness, error is impossible (2003, sec. 4.1). Even philosophers most of the community thinks of as pessimistic about self-knowledge of consciousness seem to me, really, to be fairly optimistic. Paul Churchland, famous for his disdain of ordinary people’s knowledge about the mind, compares the accuracy of introspection to the accuracy of sense perception – pretty good, presumably, about medium-sized, nearby matters (1985, 1988). Dan Dennett, often cited as a pessimist about introspective report, actually says that we can come close to infallibility when charitably interpreted (2002). The above references concern knowledge of the stream of conscious experience, but philosophers have also tended to be impressed with our self-knowledge of our attitudes, such as our beliefs and desires. Consider this: Although I can be wrong about its being sunny outside, I can’t in the same way be wrong, it seems, about the fact that I think it’s sunny outside. Some.. (shrink)

Unconscious logical inference seems to rely on the syntactic structures of mental representations (Quilty-Dunn & Mandelbaum 2018). Other transitions, such as transitions using iconic representations and associative transitions, are harder to assimilate to syntax-based theories. Here we tackle these difficulties head on in the interest of a fuller taxonomy of mental transitions. Along the way we discuss how icons can be compositional without having constituent structure, and expand and defend the “symmetry condition” on Associationism (the idea that associative links and (...) transitions are perfectly symmetric). In the end, we show how a BIT (“bare inferential transition”) theory can cohabitate with these other non-inferential mental transitions. (shrink)

On an intellectualist approach to belief, the intellectual endorsement of a proposition (such as “The working poor deserve as much respect as the handsomely paid”) is sufficient or nearly sufficient for believing it. On a pragmatic approach to belief, intellectual endorsement is not enough. Belief is behaviorally demanding. To really, fully believe, you must also “walk the walk.” This chapter argues that the pragmatic approach is preferable on pragmatic grounds: It rightly directs our attention to what matters most in thinking (...) about belief. (shrink)

In On Empirically Equivalent Systems of the World from 1975, Quine formulated a thesis of underdetermination roughly to the effect that every scientific theory has an empirically equivalent but logically incompatible rival, one that cannot be discarded merely as a terminological variant of the former. For Quine, the truth of this thesis was an open question. If true, some would argue that it undermines any belief in scientific theories that is based purely on their empirical success. But despite its potential (...) significance, surprisingly little has been done by way of establishing or refuting it. My aim is to establish the thesis for as large a class of theories as possible. Under various precisifications of the concepts involved, I show that it holds for all consistent and recursively axiomatizable theories that postulate infinitely many theoretical entities. (shrink)

Once again available in paperback, Plato is the first half of Eric Voegelin's Plato and Aristotle, the third volume of his five-volume Order and History, which ...

Can large language models produce expert‐quality philosophical texts? To investigate this, we fine‐tuned GPT‐3 with the works of philosopher Daniel Dennett. To evaluate the model, we asked the real Dennett 10 philosophical questions and then posed the same questions to the language model, collecting four responses for each question without cherry‐picking. Experts on Dennett's work succeeded at distinguishing the Dennett‐generated and machine‐generated answers above chance but substantially short of our expectations. Philosophy blog readers performed similarly to the experts, while ordinary (...) research participants were near chance distinguishing GPT‐3's responses from those of an “actual human philosopher”. (shrink)

In this book, Eric Havelock presents a challenging account of the development of the idea of justice in early Greece, and particularly of the way justice changed as Greek oral tradition gradually gave way to the written word in a literate society. He begins by examining the educational functions of poets in preliterate Greece, showing how they conserved and transmitted the traditions of society, a thesis adumbrated in his earlier book Preface to Plato. Homer, he demonstrates, has much to (...) say about justice, but since that idea is nowhere in the epics directly stated or expressed, it must be deduced from the speech and actions of the characters. Havelock's careful reading of the Iliad and the Odyssey is original and revealing; it sheds light both on Homeric notions of justice and on the Archaic Greek society depicted in the poems. As Havelock continues his inquiry from Hesiod to Aeschylus, his findings become more complex. The oral Greek world shades into a literate one. Words lose some kinds of meanings, gain others, and steadily become more suited to the conceptualization that Plato strove for and achieved. This evolution of language itself, Havelock shows, was one of the principal accomplishments of the Greek world. Lucidly written and forcefully argued, this book is a major contribution to our knowledge of ancient Greece--its politics, philosophy, and literature, from Homer to Plato. (shrink)

One big question in biology is what life is, but another is how life divides into living things. This is the problem of biological individuality. Proposed statements of the problem have been vague and incomplete. And proposed theories of biological individuality are not detailed enough to solve the problem even if they are correct. The root of these troubles is that their authors have not recognized the metaphysical claims presupposed in their statement of the problem. Making these claims explicit will (...) enable us to see better what the problem is and what form a solution to it would need to have. (shrink)

Trust me: my chair isn't big enough for two. You may doubt that every rational, conscious being is a person; perhaps there are beings that mistakenly believe themselves to be people. If so, read ‘rational, conscious being’ or the like for 'person'.

Preface -- Introduction -- How to value democracy -- Paper stones, the ethics of participation -- Philosophers-citizens -- Superdeliberators -- What is it like to be a citizen? -- Democracy's ethics of belief -- The division of democratic labor -- Representing principles -- Democratic complicity -- Not in my name, macrodemocratic design.

Eric Martin and Daniel N. Osherson present a theory of inductive logic built on model theory. Their aim is to extend the mathematics of Formal Learning Theory to a more general setting and to provide a more accurate image of empirical inquiry. The formal results of their study illuminate aspects of scientific inquiry that are not covered by the commonly applied Bayesian approach.