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)

Modal relationism is the view that our best physical theories can dispense with substantival space or spacetime in favor of possible configurations of particles. Kenneth Manders argued that the substantivalist conception is equivalent to this Leibnizian conception of space. To do so, Manders provides a translation f from the Newtonian theory T N into the Leibnizian modal relationist account T L. In this paper, we show that the translation does not establish equivalence, since there is no translation (...) g : T L → T N that preserves theoremhood. This seems to show that the modal relationist theory T L is less parsimonious than its substantivalist rival. (shrink)

Over the past decade Identity Management has become a central theme in information technology, policy, and administration in the public and private sectors. In these contexts the term ‘Identity Management’ is used primarily to refer to ways and methods of dealing with registration and authorization issues regarding persons in organizational and service-oriented domains. Especially due to the growing range of choices and options for, and the enhanced autonomy and rights of, employees, citizens, and customers, there is a growing demand for (...) systems that enable the regulation of rights, duties, responsibilities, entitlements and access of innumerable people simultaneously. ‘Identity Management’ or ‘Identity Management Systems’ have become important headings under which such systems are designed and implemented. But there is another meaning of the term ‘identity management’, which is clearly related and which has gained currency. This second construal refers to the need to manage our moral identities and our identity related information. This paper explores the relation between the management of our (moral) identities and ‘Identity Management’ as conceptualized in IT discourse. (shrink)

David Hume wrote that Berkeley's arguments `admit of no answer but produce no conviction'. This book aims at the kind of understanding of Berkeley's philosophy that comes from seeing how we ourselves might be brought to embrace it. Berkeley held that matter does not exist, and that the sensations we take to be caused by an indifferent and independent world are instead caused directly by God. Nature becomes a text, with no existence apart from the spirits who transmit and receive (...) it. Kenneth P. Winkler presents these conclusions as natural consequences of Berkeley's reflections on such topics as representation, abstraction, necessary truth, and cause and effect. In the closing chapters Proefssor Winkler offers new interpretations of Berkeley's view on unperceived objects, corpuscularian science, and our knowledge of God and other minds. (shrink)

Thomas A. Fay Heidegger and the Formalization of Thought 1 Dagfinn F011esdal The Justification of Logic and Mathematics in Husserl's Phenomenology 25 Guillermo E. Rosado Haddock On Husserl's Distinction between State of Affairs and Situation of Affairs.... 35 David Woodruff Smith On Situations and States of Affairs 49 Charles W. Harvey, Jaakko Hintikka Modalization and Modalities................... 59 Gilbert T. Null Remarks on Modalization and Modalities 79 J. N. Mohanty Husserl's Formalism 93 Carl J. Posy Mathematics as a Transcendental Science 107 (...) vi Gian-carlo Rota Mathematics and the Task of Phenomenology 133 John Scalon "Tertium Non Datur: " Husserl's Conception of a Definite Multiplicity..... 139 Thomas M. Seebohm Psychologism Revisited 149 Gerald J. Massey Some Reflections on Psychologism 183 Robert S. Tragesser How Mathematical Foundation all but come about: A Report on Studies Toward a Phenomenological Critique of Godel's Views on Mathematical Intuition.. 195 Kenneth L. Manders On Geometric Intentionality 215 Dallas Willard Sentences which are True in Virtue of their Color... 225 John J. Drummond Willard and Husserl on Logical Form 243 Index of Names 257 Index of Subjects 259 PREFACE The phenomenology of logic and ideal objects is the topic of Husserl's Logical Investigations. This book determined the early development of the so called phenomenological movement. It is still the main source for many phenomenologists, even if they disagree with Husserl's transcendental turn and developed other phenomenological positions or positions beyond phenomenology he early sense. (shrink)

Evolutionary processes such as natural selection and random drift are commonly regarded as causes of population-level change. We respond to a recent challenge that drift and selection are best understood as statistical trends, not causes. Our reply appeals to manipulation as a strategy for uncovering causal relationships: if you can systematically manipulate variable A to bring about a change in variable B, then A is a cause of B. We argue that selection and drift can be systematically manipulated to produce (...) different kinds of population-level change. They should therefore be regarded as causes. (shrink)

A well-regarded scientist who offered expert testimony at the high-profile 2005 trial over the teaching of evolution in Dover, Pennsylvania, presents an ...

Anne Conway’s Principles of the Most Ancient and Modern Philosophy, first published in 1690, is probably the most ambitious contribution to early modern metaphysics by a woman writing in the English language. This beautifully prepared edition makes Conway’s treatise available to twentieth-century readers in an accessible English translation of the 1690 Latin text—itself a translation of an original English manuscript that has long been lost.

Referentialism has underappreciated consequences for our understanding of the ways in which mind, language, and world relate to one another. In exploring these consequences, this book defends a version of referentialism about names, demonstratives, and indexicals, in a manner appropriate for scholars and students in philosophy or the cognitive sciences. To demonstrate his view, Kenneth A. Taylor offers original and provocative accounts of a wide variety of semantic, pragmatic, and psychological phenomena, such as empty names, propositional attitude contexts, the (...) nature of concepts, and the ultimate source and nature of normativity. (shrink)

Whether to treat autism as exculpatory in any given circumstance appears to be influenced both by models of autism and by theories of moral responsibility. This article looks at one particular combination of theories: autism as theory of mind challenges and moral responsibility as requiring appropriate experience of the reactive attitudes. In pursuing this particular combination of ideas, we do not intend to endorse them. Our goal is, instead, to explore the implications of this combination of especially prominent ideas about (...) autism and about moral responsibility. These implications can be quite serious and practical for autists and those who interact directly with autists, as well as for broader communities as they attend to the fair, compassionate, and respectful treatment of increasing numbers of autistic adults. We find that these theories point to a limited range of situations in which autists should not be blamed for transgressive actions for which neurotypical individuals should be blamed. We build on what others have written on these issues by bringing in a recent cognitive model of the role theory of mind plays in empathy, by discussing the social implications of the theoretical findings, and by raising questions about the compatibility of reactive attitude theories of moral responsibility with the neurodiversity approach to autism. (shrink)

Includes generous selections from the Essay, topically arranged passages from the replies to Stillingfleet, a chronology, a bibliography, a glossary, and an index based on the entries that Locke himself devised.

Dan Zahavi has argued persuasively that some versions of self- representationalism are implausible on phenomenological and dialectical grounds: they fail to make sense of primitive self-knowledge and lead to an infinite regress. Zahavi proposes an alternative view of ubiquitous prereflective self-consciousness.

This is a pre- publication copy of an article that appeared in "Debating Design from Darwin to DNA," edited by Michael Ruse and William Dembski. Debating Design..

It is widely held that there are no indigenous roots in China for the rule of law; it is an import from the West. The Chinese legal tradition, rather, is rule by law, as elaborated in ancient Legalist texts such as the Han Feizi. According to the conventional reading of these texts, law is amoral and an instrument in the hands of a central ruler who uses law to consolidate and maintain power. The ruler is the source of all law (...) and stands above the law, so that law, in the final analysis, is whatever pleases the ruler. This essay argues, to the contrary, that the instrumentalism of the Han Feizi is more sophisticated and more principled than the conventional reading acknowledges. It suggests that, by examining the text of the Han Feizi through the lens provided by American legal theorist Lon Fuller, we can detect an explicit articulation of what Fuller called the internal morality of law. The principles of this morality are elaborated and their importance explained. In this way, the Han Feizi is retrieved as a significant reference point for thinking about legal reform in China today. (shrink)

As a neurodevelopmental condition that affects cognitive functioning, autism has been used as a test case for theories of moral responsibility. Most of the relevant literature focuses on autism’s impact on theory of mind and empathy. Here I examine aspects of autism related to executive function. I apply an account of how we might fail to be reasons responsive to argue that autism can increase the frequency of excuses for transgressive behavior, but will rarely make anyone completely exempt from moral (...) responsibility in general. On this account, although excuses may apply more often to autists than to others, the excuses that apply to autists are just the same excuses that can apply to anyone. (shrink)

Kenneth Winkler's esteemed edition of Berkeley's _Principles_ is based on the second edition, the last one published in Berkeley's lifetime. Life other members of Hackett's philosophical classics series, it features editorial elements found to be of particular value to students and their teachers: analytical table of contents; chronology of the author's life; selected bibliography; note on the text; glossary; and index.

I consider Ralph Waldo Emerson’s creative appropriation of a philosophical doctrine that helps to make sense of an attitude towards life, its gifts and its burdens, that is often expressed in Puritan diaries. The doctrine, now known as the doctrine of continuous creation, holds that in conserving the world, God re-creates it at every moment, making the same creative effort at each ever-advancing now that God made at the very beginning. Continuous creation was explicitly endorsed by at least one Puritan (...) diarist, Jonathan Edwards, and it helps to explain the intense self-inspection and valiant response to life to which other Puritan diarists (including Emerson's aunt, Mary Moody Emerson) testify. Continuous creation was an important ingredient in the idealism of Edwards and, once translated, it became an important ingredient in the idealism of Emerson. My primary aim to describe Emerson’s creative translation of the doctrine as Edwards understood it, but I also discuss Emerson's relation to the Puritan diary, considered as a literary form. I close by suggesting that for us, a version of the doctrine of continuous creation can perhaps be a source of optimism and an incentive to action, as I believe it was for Emerson. I also comment briefly on Emerson's grateful reliance on text-to-text translations. When Emerson studied translations of sacred texts from around the world, what he heard was not difference and dissent, but agreement: agreement on the very points that united him with Edwards, different as they were in other ways. (shrink)

This paper explores the logical consequences of the the thesis that all of the essential properties of consciousness can be known introspectively (Completeness, called "Strong Transparency" in the paper, following D.M. Armstrong's older terminology). It is argued that it can be known introspectively that consciousness does not have complete access to its essential properties; and it is show how this undermines conceivability arguments for dualism.