This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary (...) for this to work. Case-branching occurs when a construction renders a diagram un-representative. The roles of diagrams in reductio arguments, and of objection in probing a demonstration, are discussed. (shrink)

This chapter provides a survey of issues about diagrams in traditional geometrical reasoning. After briefly refuting several common philosophical objections, and giving a sketch of diagram-based reasoning practice in Euclidean plane geometry, discussion focuses first on problems of diagram sensitivity, and then on the relationship between uniform treatment and geometrical generality. Here, one finds a balance between representationally enforced unresponsiveness (to differences among diagrams) and the intellectual agent's contribution to such unresponsiveness that is somewhat different from what one has come (...) to expect in modern logic. Finally, challenges and opportunities for further work are indicated. (shrink)

In the correspondence with Clarke, Leibniz proposes to construe physical theory in terms of physical (spatio-temporal) relations between physical objects, thus avoiding incorporation of infinite totalities of abstract entities (such as Newtonian space) in physical ontology. It has generally been felt that this proposal cannot be carried out. I demonstrate an equivalence between formulations postulating space-time as an infinite totality and formulations allowing only possible spatio-temporal relations of physical (point-) objects. The resulting rigorous formulations of physical theory may be seen (...) to follow Leibniz' suggestion quite closely. On the other hand, physical assumptions implicit in the postulation of space-time totalities are made explicit in the reconstruction of the space-time versions from the physical-relation versions. (shrink)

An infinitary characterisation of the first-order sentences true in all substructures of a structure M is used to obtain partial reduction of the decision problem for such sentences to that for Th(M). For the relational structure $\langle\mathbf{R}, \leq, +\rangle$ this gives a decision procedure for the ∃ x∀ y-part of the theory of all substructures, yet we show that the ∃ x 1x 2 ∀ y-part, and the entire theory, is Π 1 1 -complete. The theory of all ordered subsemigroups (...) of $\langle\mathbf{R}, \leq, +\rangle$ is also shown Π 1 1 -complete. Applications in the philosophy of science are mentioned. (shrink)

We suggest that there can be epistemologically significant reasons why certain mathematical structures - such as the Real numbers - are more important than others. We explore several contexts in which considerations bearing on the choice of a fundamental numerical domain might arise. 1) Set theory. 2) Historical cases of extension of mathematical domains - why were negative numbers resisted, and why should we accept them as part of our fundamental numerical domain? 3) Using fewer reals in physics, without really (...) noticing. (shrink)

Through clear explanation of its characteristic concepts and doctrines, and paying close attention to the published works of its philosophers, the volume ...

In this chapter, we defend an explanationist version of proper functionalism. After explaining proper functionalism’s initial appeal, we note two major objections to proper functionalism: creatures with no design plan who appear to have knowledge (Swampman) and creatures with malfunctions that increase reliability. We then note how proper functionalism needs to be clarified because there are cases of what we call warrant-compatible malfunction. We then formulate our own view: explanationist proper functionalism, which explains the warrant-compatible malfunction cases and helps to (...) block the above objections. We also advance a positive argument for explanationist proper functionalism. (shrink)

According to commonsense, some collections of objects compose wholes, and others do not. However, philosophers have found serious difficulties with attempts to preserve this thesis, and especially with attempts to preserve the existence of just those composite objects recognized by commonsense. In this paper, I defend a classical solution to this problem: "it is the mind that maketh each thing to be one" (Berkeley, Siris, sect. 356). According to this view, which I call 'mereological idealism,' it is when a plurality (...) is united in thought under a concept that a unified whole comes to exist. After explaining the view in more detail, I show how it escapes three standard arguments against commonsense views of composition. (shrink)

Probes the nature of linguistic or symbolic action as it relates to specific novels, plays, and poems.

Alexander Pruss and I have proposed an analysis of omnipotence which makes no use of the problematic terms 'power' and 'ability'. However, this raises an obvious worry: if our analysis is not related to the notion of power, then how can it count as an analysis of omnipotence, the property of being all-powerful, at all? In this paper, I show how omnipotence can be understood as the possession of infinite power (general, universal, or unlimited power) rather than the possession of (...) particular powers. I then argue that the ordinary notions of particular powers or abilities can be understood as applying vague limitations to the notion of infinite power. The vagueness of these limitations is the source of the well-known difficulties in the analysis of ability. (shrink)

INTRODUCTION In an age of specialists, Kenneth Burke's writings offend those who are content with a partial view of human motivation. ...

This chapter contains sections titled: Introduction Hegel's Semantics of Singular Cognitive Reference Hegel's Justification of His Semantics of Singular Cognitive Reference in “Consciousness” “Self‐Consciousness,” Thought, and the Semantics of Singular Cognitive Reference Hegel's Interim Critique of the Ego‐Centric Predicament Conclusion References.

This chapter contains sections titled: Introduction The Co‐extensiveness of Understanding and Sensibility Identity and Predication Objective Purport and Kant's Transcendental Deduction Proving Mental Content Externalism Transcendentally Notes References.

“Buddhisms” captures the challenge inherent in the diverse practices and beliefs of this religion. In this book, grounding the analysis in the bodies of practitioners provides a new opportunity for coherence that reaches across vast expanses of time and space.

Five Groundbreaking Moments in Heidegger's Thinking presents a fresh interpretation of some of Heidegger's most difficult but important works, including his early Beiträge (Contributions) and engages with his theoretical concept of "the reading in thinking." In new translations of central texts, Kenneth Maly invites the reader to think along the way by reading, contemplating, and translating Heidegger's ideas into context. An introduction to the field of philosophy and more specifically to Heidegger's thought, Five Groundbreaking Moments in Heidegger's Thinking asks (...) the reader, in some manner, to actively do the philosophizing. (shrink)

This pioneering translation of Plato's Phaedrus, with detailed summary and full philological and exegetical notes taking into consideration all commentaries since Hermias, followed by a painstaking dialogical analysis of the text that shows what we must think at every moment in order to understand the thinking that brings the Greek text to life. In Kenneth Quandt's treatment, Plato's seminal work is allowed to create its own horizon and a new and profoundly unified interpretation emerges: Socrates's conversation with Phaedrus reaches (...) a vision of eros that explains the paradoxes of human nature, explodes the zero-sum game of master and slave, exposes the crabbed fetishism of the written word, and releases the mind to a life of contemplation fixed in a cloudless noon. (shrink)

This collection of essays, written between 1975 and 1987, covers topics including the doctrine of analogy, the Trinity, theological realism, the problims of evil and suffering, ecclesiology, and the so-called theistic proofs. The earlier writings relect the author's training as a philosopher in the Anglo-Aamerican analytic tradition. Later essays have a more explicitly theological focus, and they attempt to deal with and move beyond the tradition through hermeneutics, and literary and social theory. This collection thus addresses a wider list of (...) topics than is usual in works of philsophical theology, and is unique in its use of interdisciplinary methods and approaches. (shrink)

My purpose in this paper is to present a non-Marxist conception of exploitation. While this analysis of exploitation may share features with a Marxist conception, its acceptability is not dependent upon a prior agreement with that world view.

This chapter contains sections titled: References and Further Reading.

Histories of communication are still relatively rare birds, but this one is distinctive on several grounds. The two authors are/were undisputed giants in the field. Ken Cmiel, the originator of the book, still unfinished when he suddenly died in 2006, was a cultural historian of communication; his best friend, John Peters, is one of the world leaders in the intellectual history of communication. In completing that unfinished manuscript, Peters has performed astonishing prestidigitation here in creating an effective hybrid: he retains (...) the core of Cmiel's account, while creating a unique book that, courtesy of Peters, brilliantly spins out the solid Cmielian core and its material traces into gorgeous reflections on aspects of how we make our way through a world of images and information. Promiscuous Knowledge constructs a cultural and intellectual history of information, images, and conceptions of knowledge since the 17th century, with an emphasis on the American context since the 19th century. Cmiel/Peters sketch the way in which various containers for information-knowledge, expertise, abridgment, books, digests, encyclopedias, museums, etc.-have variably organized gluts of information, and how these containers have eroded since the 1970s. A parallel throughline traces social attitudes and practices around images and key media for circulating and experiencing them. Cmiel envisioned the largest contour of the book as a contribution to the history of truth and truth-making. His protagonists are pictures and facts, images and information. They enact a process of gradual dismantling, erosion, or collapse of the mass culture system from last century into the present. Promiscuous knowledge has a new face, courtesy of the online universe full of filter bubbles, echo chambers, and fake news. Google offers a single portal to a churning mass of confusion; it lacks a principle of inclusion/inclusivity, it has no way of framing the whole. Peters has shaped what Cmiel started out with into a better Trump-era book than an Obama-era book. And he has retained its core: a brief history of how we left the world of fact for the world of information. (shrink)

Focuses on the theory and practice of presidentialism and constitutionalism.