This paper discusses the Einstein-Podolsky-Rosen paradox from a new point of view. In section II, the arguments by which Einstein, Podolsky and Rosen reach their paradoxical conclusions are presented. They are found to rest on two critical assumptions: (a) that before a measurement is made on a system consisting of two non-interacting but correlated sub-systems, the state of the entire system is exactly represented by: ψ a (r̄ 1 ,r̄ 2 )=∑ η a η τ η (r̄ 1 ,r̄ 2 (...) )=∑ i,k α ik ψ i (r̄ 1 )σ k (r̄ 2 ) (b) that the exact measurement of an observable A in one of the sub-systems is possible. In section III it is shown that assumption (b) is incorrect. Thus we conclude, as did Bohr, that the results of Einstein, Podolsky and Rosen are not valid. The arguments of section III are quite distinct from Bohr's, and therefore in Section IV this work is related to that of Bohr. (shrink)

As the expansion of the Internet and the digital formatting of all kinds of creative works move us further into the information age, intellectual property issues have become paramount. Computer programs costing thousands of research dollars are now copied in an instant. People who would recoil at the thought of stealing cars, computers, or VCRs regularly steal software or copy their favorite music from a friend's CD. Since the Web has no national boundaries, these issues are international concerns. The contributors-philosophers, (...) legal theorists, and business scholars, among others-address questions such as: Can abstract ideas be owned? How does the violation of intellectual property rights compare to the violation of physical property rights? Can computer software and other digital information be protected? And how should legal systems accommodate the ownership of intellectual property in an information age? Intellectual Property is a lively examination of these and other issues, and an invaluable resource for librarians, lawyers, businesspeople, and scholars. (shrink)

A plurality of axiomatic systems can be interpreted as referring to one and the same mathematical object. In this paper we examine the relationship between axiomatic systems and their models, the relationships among the various axiomatic systems that refer to the same model, and the role of an intelligent user of an axiomatic system. We ask whether these relationships and this role can themselves be formalized.

Just as it is impossible to understand the American religious landscape without some familiarity with evangelicalism, one cannot grasp the shape of contemporary Christian ethics without knowing the contributions of evangelical Protestants. This newest addition to the Library of Theological Ethics series begins by examining the core dynamic with which all evangelical ethics grapples: belief in an authoritative, inspired, and unchanging biblical text on the one hand, and engagement with a rapidly evolving and increasingly post-Christian culture on the other. It (...) explores the different roles that scholars and popular figures have played in forming evangelicals' understandings of Christian ethics. And it draws together the contributions of both senior and emerging figures in painting a portrait of this diverse, vibrant, and challenging theological and ethical tradition. This book represents the breadth of evangelical ethical voices, demonstrating that evangelical ethics involves nuance and theological insight that far transcend any political agenda. Contributors include David P. Gushee, Carl F. H. Henry, Jennifer McBride, Stephen Charles Mott, William E. Pannell, John Perkins, Soong-Chan Rah, Gabriel Salguero, Francis Schaeffer, Ron Sider, Helene Slessarev-Jamir, Glen H. Stassen, Eldin Villafañe, Allen Verhey, Jim Wallis, Nicholas Wolterstorff, and John Howard Yoder. The Library of Theological Ethics series focuses on what it means to think theologically and ethically. It presents a selection of important, and otherwise unavailable, texts—English-language texts and translations that have fallen out of print, new translations, and collections of significant statements about problems and themes of special importance—in an easily accessible form. This series enables sustained dialogue on new and classic works in the field. (shrink)

If there are vague numbers, it would be easier to use numbers as semantic values in a treatment of vagueness while avoiding precise cut-off points. When we assign a particular statement a range of values (less than 1 and greater than 0) there is no precise sharp cut-off point that locates the greatest lower bound or the least upper bound of the interval, I should like to say. Is this possible? “Vague Numbers” stands for awareness of the problem. I (...) do not present a serious theory of vague numbers. I sketch some reasons for using a many-value semantics. These reasons refer to my earlier treatments of determinacy and definitions of higher-order borderline cases. I also sketch how definitions of independence use the determinacy operator. The distinction between actually assigned values and values whose assignments are acceptable helps avoid unwanted precise cut-off points. (shrink)

This is the first sustained, whole-Bible treatment on the theme of meeting God face to face. Starting with Genesis and ending with Revelation, the author systematically covers the major events in salvation history, all of which reveal the beauty of encountering God's grace in abundance.

Several situations are presented in which there is an ordinal γ such that ${\{ X \in [\gamma]^{\aleph_0} : X \cap \omega_1 \in S\,{\rm and}\, ot(X) \in T \}}$ is a stationary subset of ${[\gamma]^{\aleph_0}}$ for all stationary ${S, T\subseteq \omega_1}$ . A natural strengthening of the existence of an ordinal γ for which the above conclusion holds lies, in terms of consistency strength, between the existence of the sharp of ${H_{\omega_2}}$ and the existence of sharps for all reals. Also, (...) an optimal model separating Bounded Semiproper Forcing Axiom (BSPFA) and Bounded Martin’s Maximum (BMM) is produced and it is shown that a strong form of BMM involving only parameters from ${H_{\omega_2}}$ implies that every function from ω 1 into ω 1 is bounded on a club by a canonical function. (shrink)

This new edition includes three new chapters, updating the book to take into account developments in the field over the past fifteen years.

A primary purpose of argument is to increase the degree of reasonable confidence that one has in the truth of the conclusion. A question begging argument fails this purpose because it violates what W. E. Johnson called an epistemic condition of inference. Although an argument of the sort characterized by Robert Hoffman in his response (Analysis 32.2, Dec 71) to Richard Robinson (Analysis 31.4, March 71) begs the question in all circumstances, we usually understand the charge that an argument is (...) question begging with reference to the beliefs of the person, or the sort of person, to whom the argument is directed. (shrink)

Everything red is colored, and all squares are polygons. A square is distinguished from other polygons by being four-sided, equilateral, and equiangular. What distinguishes red things from other colored things? This has been understood as a conceptual rather than scientific question. Theories of wavelengths and reflectance and sensory processing are not considered. Given just our ordinary understanding of color, it seems that what differentiates red from other colors is only redness itself. The Cambridge logician W. E. Johnson introduced the terms (...) determinate and determinable to apply to examples such as red and colored. Chapter XI, of Johnson's Logic, Part I (1921), “The Determinate and the Determinable,” is the main text for discussion of this distinction. (shrink)

This article answers John Biro's "Knowability, Believability, and Begging the Question: a Reply to Sanford" in "Metaphilosophy" 15 (1984). Biro and I agree that of two argument instances with the same form and content, one but not the other can beg the question, depending on other factors. These factors include actual beliefs, or so I maintain (against Biro) with the help of some analysed examples. Brief selections from Archbishop Whatley and J S Mill suggest that they also regard reference to (...) actual beliefs as essential to explaining begging the question. (shrink)

I criticize and emend J L Mackie's account of causal priority by replacing ‘fixity’ in its central clause by 'x is a causal condition of y, but y is not a causal condition of x'. This replacement works only if 'is a causal condition of' is not a symmetric relation. Even apart from our desire to account for causal priority, it is desirable to have an account of nonsymmetric conditionship. Truth, for example, is a condition of knowledge, but knowledge is (...) not a condition of truth. My definitions of 'sufficient condition for' and 'necessary condition for' do not imply that p is a sufficient condition of q if and only if q is a necessary condition of p. (shrink)

At least since Descartes, philosophers have been interested in the special knowledge or authority that we exhibit when we speak about our own thoughts, attitudes, and feelings. This book contends that even the best work in contemporary philosophy of mind fails to account for this sort of knowledge or authority because it does not pay the right sort of attention to the notion of expression. What's at stake is not only how to understand self-knowledge and first-person authority, but also what (...) it is that distinguishes conscious from unconscious psychological states, what the mental life of a nonlinguistic animal has in common with our sort of mental life, and how to think about Wittgenstein's legacy to the philosophy of mind. (shrink)

To accommodate vague statements and predicates, I propose an infinite-valued, non-truth-functional interpretation of logic on which the tautologies are exactly the tautologies of classical two-valued logic. iI introduce a determinacy operator, analogous to the necessity operator in alethic modal logic, to allow the definition of first-order and higher-order borderline cases. On the interpretation proposed for determinacy, every statement corresponding to a theorem of modal system T is a logical truth, and I conjecture that every logical truth on the interpretation corresponds (...) to a theorem of T. the interpretation is extended to predicate logic. A borderline case of a predicate 'F’ is neither determinately F nor determinately not-F. Traditional sorites arguments are seen to fall apart early in their gradual stepwise passage from truth to falsity. (shrink)

Locke thought it was a necessary truth that no two material bodies could be in the same place at the same time. Leibniz wasn't so sure. This paper sides with Leibniz. I examine the arguments of David Wiggins in defense of Locke on this point (Philosophical Review, January 1968). Wiggins’ arguments are ineffective.

If two statements are contraries if and only if they cannot both be true, but can both be false, then some corresponding A and E categorical statements are not contraries, even on the presupposition that something exists which satisfies the subject term. For some such statements are necessarily true and thus cannot be false. There is a similar problem with subcontraries.

Myles Brand and Marshall Swain advocate the principle that if A is the set of conditions individually necessary and jointly sufficient for the occurrence of B, then if C is a set of conditions individually necessary for the occurrence of B, every member of C is a member of A. I agree with John Barker and Risto Hilpinen who each argue that this principle is not true for causal necessity and sufficiency, but I disagree with their claim that it is (...) true for logical necessity and sufficiency. The original appeal of the principle may be due to confusing two kinds of totality: to say that when every member of set A obtains, then every condition necessary for E obtains is not to say that every condition necessary for E is a member of A. All the authors mentioned believe that causal necessity precludes logical necessity. I deny this on the basis of an example from kinematics. Hume has not refuted definitions of causation in terms of logically necessary and sufficient conditions, nor have Brand and Swain. (shrink)

Self-consciousness and the self -- Diachronic unity, diachronic singularity, and the subject of consciousness -- A modal argument for immateriality -- Intelligibility concerns and causal objections -- Concluding remarks.

According to John A Barker, whether an argument begs the question is purely a matter of logical form. According to me, it is also a matter of epistemic conditions; some arguments which beg the question in some contexts need not beg the question in every context. I point out difficulties in Barker's treatment and defend my own views against some of his criticisms. In the concluding section, "Alleged difficulties with disjunctive syllogism," I defend the validity of disjunctive syllogism against the (...) views of Alan Ross Anderson and Nuel D Belnap, Jr., ask pointed questions about the notion of intensional disjunction, and suggest how my treatment of begging the question can be extended to deal with the so-called paradoxes of strict implication. (shrink)

Hume's arguments for the contention that causal necessity precludes logical necessity depend on the questionable principle that a cause must precede its effect. Hobbes' definition of entire cause, although it fails to account for causal priority, is not refuted by Hume. The objections of Myles Brand and Marshall Swain (Philosophical Studies, 1976) to my counterexample against Hume (Philosophical Studies, 1975) are ineffective. Their other objections to my criticisms of their argument against defining causation in terms of necessary and sufficient conditions (...) (Synthese, 1970) are also mostly ineffective. (shrink)

In this collection of provocative essays, historians and literary theorists assess the influence of Michel Foucault, particularly his History of Sexuality, on the study of classics. Foucault's famous work presents a bold theory of sexuality for both ancient and modern times, and yet until now it has remained under-explored and insufficiently analyzed. By bringing together the historical knowledge, philological skills, and theoretical perspectives of a wide range of scholars, this collection enables the reader to explore Foucault's model of Greek culture (...) and see how well his interpretation accounts for the full range of evidence from Greece and Rome. Not only do the essays bring to light the assumptions, ideas, and practices that constituted the intimate lives of men and women in the ancient Mediterranean world, but they also demonstrate the importance of the History of Sexuality for fields as diverse as Greco-Roman antiquity, women's history, cultural studies, philosophy, and modern sexuality. The essays include "Situating The History of Sexuality" (the editors), "Taking the Sex Out of Sexuality: Foucault's Failed History" (Joel Black), "Incipit Philosophia" (Alain Vizier), "The Subject in Antiquity after Foucault" (Page duBois), "This Myth Which Is Not One: Construction of Discourse in Plato's Symposium" (Jeffrey S. Carnes), "Foucault's History of Sexuality: A Useful Theory for Women?" (Amy Richlin), "Catullan Consciousness, the 'Care of the Self,' and the Force of the Negative in History" (Paul Allen Miller), "Reversals of Platonic Love in Petronius' Satyricon" (Daniel B. McGlathery), and an essay from Dislocating Masculinity (Lin Foxhall). (shrink)

Unger claims that we can block sorites arguments for the conclusion that there are no ordinary things only by invoking some kind of miracle, but no such miracle is needed if we reject the principle that every statement has a truth value. Wheeler's argument for the nonexistence of ordinary things depends on the assumptions that if ordinary things exist, they comprise real kinds, and that if ordinary predicates really apply to things, the predicates refer to real properties. If we accept (...) Wheeler's criteria for the reality of kinds and properties, we have no good reason to accept these assumptions. (shrink)

Philosophers have had difficulty in explaining the difference between disjunctive and non-disjunctive predicates. Purely syntactical criteria are ineffective, and mention of resemblance begs the question. I draw the distinction by reference to relations between borderline cases. The crucial point about the disjoint predicate 'red or green', for example, is that no borderline case of 'red' is a borderline case of 'green'. Other varieties of disjunctive predicates are: inclusively disjunctive (such as 'red or hard'), disconnected (such as 'grue' on the usual (...) definitions), and skew (such as 'grue' on an emended definition). 'Green' is not a disjunctive predicate. Nelson Goodman's new riddle of induction elicits yet another response. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

This chapter develops and defends a formal epistemology of conjunctive explanation by determining the conditions under which multiple distinct explanations are better than one. The general approach is to identify an appropriate measure of explanatory goodness that can then be applied to conjunctive explanations. If a conjunctive explanation is to be preferred it needs to have greater explanatory virtue (e.g., power or scope) with respect to the evidence, but this explanatory gain is insufficient on its own. Given a conjunctive explanation’s (...) greater complexity, it also has a cost associated with it and so a balance needs to be struck between the gain and the cost. This is achieved by employing a Bayesian measure proposed by I. J. Good. This chapter explores some properties of this measure and its application to the epistemology of conjunctive explanation. In so doing, it addresses the general question of whether it is desirable to have more informative, less probable hypotheses when seeking good explanations. (shrink)

Roderick Chisholm provides, in different places, two formulations of Brentano's thesis about the relation between the psychological and the intentional: (1) all and only psychological sentences are intentional; (2) no psychological intentional sentence is equivalent to a nonintentional sentence. Chisholm also presents several definitions of intentionality. Some of these allow that a sentence is intentional while its negation is nonintentional, which ruins the prospects of defending the more plausible and interesting thesis (2). A generalization of the notion of logical independence (...) to any number of mutually independent sentences permits a revision of Chisholm's criteria of intentionality that ensures that a sentence is intentional on a criterion exactly when its negation is as well. (shrink)