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)

Berkeley's philosophy is meant to be a defense of commonsense. However, Berkeley's claim that the ultimate constituents of physical reality are fleeting, causally passive ideas appears to be radically at odds with commonsense. In particular, such a theory seems unable to account for the robust structure which commonsense (and Newtonian physics) takes the world to exhibit. The problem of structure, as I understand it, includes the problem of how qualities can be grouped by their co-occurrence in a single enduring object (...) and how these enduring objects can bear spatiotemporal, causal, and other relations to one another. I argue that Berkeley's solution to these problems lies in his views about language. At one level, human language allows us to exploit patterns in our perceptions to construct a highly structured representation of the physical world which allows us to make accurate predictions at minimal cognitive expense. At a deeper level, these patterns occur in perception because our perceptions themselves form a language in which God speaks to us. (shrink)

The argument from contingency for the existence of God is best understood as a request for an explanation of the total sequence of causes and effects in the universe (‘History’ for short). Many puzzles about how there could be such an explanation arise from the assumption that God is being introduced as one more cause prepended to the sequence of causes that (allegedly) needed explaining. In response to this difficulty, this chapter defends three theses. First, it argues that, if the (...) argument from contingency is to succeed, the explanation of History in terms of God must not be a causal explanation; second, that a particular hypothesis about God’s relation to History—that God is what I call the foundational ground of History—is intelligible and explanatory; third and finally, that the explanatory advantages of this hypothesis cannot be had within the confines of naturalism. (shrink)

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.

Kenneth R. Westphal presents an original interpretation of Hume's and Kant's moral philosophies, the differences between which are prominent in current philosophical accounts. Westphal argues that focussing on these differences, however, occludes a decisive, shared achievement: a distinctive constructivist account of the basic principles of justice which justifies their strict objectivity without invoking moral realism nor moral anti- or irrealism. Westphal explores how Hume developed a kind of constructivism for basic property rights and for government, and how Kant greatly (...) refined Hume's construction of justice within his 'metaphysical principles of justice', whilst preserving the core model of Hume's innovative account. Westphal contends that Hume's and Kant's constructivism avoids the conventionalist and relativist tendencies latent if not explicit in contemporary forms of moral constructivism. (shrink)

Each author first presents his own side, and then they interact through two rounds of objections and replies. Pedagogical features include standard form arguments, section summaries, bolded key terms and principles, a glossary, and annotated reading lists.

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.

Berkeley's philosophy is meant to be a defense of commonsense. However, Berkeley's claim that the ultimate constituents of physical reality are fleeting, causally passive ideas appears to be radically at odds with commonsense. In particular, such a theory seems unable to account for the robust structure which commonsense (and Newtonian physics) takes the world to exhibit. The problem of structure, as I understand it, includes the problem of how qualities can be grouped by their co-occurrence in a single enduring object (...) and how these enduring objects can bear spatiotemporal, causal, and other relations to one another. I argue that Berkeley's solution to these problems lies in his views about language. At one level, human language allows us to exploit patterns in our perceptions to construct a highly structured representation of the physical world which allows us to make accurate predictions at minimal cognitive expense. At a deeper level, these patterns occur in perception because our perceptions themselves form a language in which God speaks to us. (shrink)

In the Introduction to the Treatise concerning the Principles of Human Knowledge, Berkeley attacks the “received opinion that language has no other end but the communicating our ideas, and that every significant name stands for an idea” (PHK, Intro §19). How far does Berkeley go in rejecting this ‘received opinion’? Does he offer a general theory of language to replace it? If so, what is the nature of this theory? In this chapter, I consider three main interpretations of Berkeley's view: (...) the modified ideational theory, the speaker intentions theory, and the use theory. I argue that the use theory does, and its competitors do not, make sense of Berkeley's remarks on language in both the earlier and later works. (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)

Despite the accumulation of substantial cognitive science research relevant to education, there remains confusion and controversy in the application of research to educational practice. In support of a more systematic approach, we describe the Knowledge-Learning-Instruction (KLI) framework. KLI promotes the emergence of instructional principles of high potential for generality, while explicitly identifying constraints of and opportunities for detailed analysis of the knowledge students may acquire in courses. Drawing on research across domains of science, math, and language learning, we illustrate the (...) analyses of knowledge, learning, and instructional events that the KLI framework affords. We present a set of three coordinated taxonomies of knowledge, learning, and instruction. For example, we identify three broad classes of learning events (LEs): (a) memory and fluency processes, (b) induction and refinement processes, and (c) understanding and sense-making processes, and we show how these can lead to different knowledge changes and constraints on optimal instructional choices. (shrink)

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)

In the article Privacy and Health Practices in the Digital Age, the authors describe current privacy challenges for digital health data and review the theoretical framework on privacy in the contex...

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.

In the Preface to the Three Dialogues<, Berkeley says that one of his main aims is to refute the free-thinkers. Puzzlingly, however, we are then treated to a dialogue between two Christians in which the free-thinkers never reappear. This is related to a second, more general puzzle about Berkeley's religious polemics: although Berkeley says he is defending orthodox conclusions, he also reminds himself in his notebooks "To use the utmost Caution not to give the least Handle of offence to the (...) Church or Church-men." What is Berkeley worried about? Both of these puzzles are solved by the recognition that the argument against matter in the Three Dialogues is patterned after an argument for atheism that Berkeley attributed to Anthony Collins. Berkeley's aim is thus to use the free-thinkers' own premises and arguments against them. In doing this, however, he rejects doctrines many churchmen held dear -- most notably, the doctrine of divine analogy. (shrink)

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)

William King's De Origine Mali contains an interesting, sophisticated, and original account of free will. King finds 'necessitarian' theories of freedom, such as those advocated by Hobbes and Locke, inadequate, but argues that standard versions of libertarianism commit one to the claim that free will is a faculty for going wrong. On such views, free will is something we would be better off without. King argues that both problems can be avoided by holding that we confer value on objects by (...) valuing them. Such a view secures sourcehood and alternative possibilities while denying that free will is simply a capacity to choose contrary to our best judgment. This theory escapes all of the objections levelled against it by Leibniz and also has interesting consequences for ethics: although constructed within a eudaimonist framework, King's theory gives rise to a very strong moral requirement of respect for individual self-determination. (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.