New features in this edition, in addition to truth tree systems for classical and nonclassical logics, include new and simpler rules for modal logic, deontic ...

Designed for contemporary moral problems courses, Bonevac's Today's Moral Issues is unique in providing theoretical readings related to the contemporary issues readings that follow; students connect theory and practice, thereby making the theory interesting and relevant. In addition to providing readings on contemporary topics, the book lends historical perspective to current moral issues with its unique inclusion of classic selections by philosophers such as Aristotle, Mill, Kant, and Locke.

Ethics in the philosophical traditions of India -- Chinese ethics -- Ancient Greek ethics -- Medieval Christian, Jewish, and Islamic ethics -- Ethics in modern philosophy -- African ethics -- The self in Indian philosophy -- The self in Chinese Buddhism -- Ancient Greek philosophy of mind -- Mind and body in early modern philosophy -- African philosophy of mind -- Indian theories of knowledge -- Chinese theories of knowledge.

The crucial feature of obligation sentences to which the puzzles point is that such sentences, and evaluative sentences more generally, are defeasible. They may be warranted, given some information, only to be defeated by further information. A theory that recognizes this no longer needs to see conditional obligation as anything more than a simple combination of unary obligation and the conditional.

To say that this lump of sugar is soluble is to say that it would dissolve, if submerged anywhere, at any time and in any parcel of water. To say that this sleeper knows French, is to say that if, for example, he is ever addressed in French, or shown any French newspaper, he responds pertinently in French, acts appropriately or translates correctly into his own tongue.

John McDowell, Richard Rorty, and Robert Brandom invoke Sellars's arguments against the Myth of the Given as having shown that the Given is nothing more than a myth. But most of Sellars's arguments attack logical atomism, not the framework of givenness as such. Moreover, they do not succeed. At crucial points the arguments confuse the perspectives of a knower and those attributing knowledge to a knower. Only one argument—the “inconsistent triad” argument—addresses the Myth of the Given as such, and there (...) are several ways of escaping its conclusion. Invocations of Sellars's refutation of the Myth of the Given are empty. (shrink)

John McDowell, Richard Rorty, and Robert Brandom invoke Sellars’s arguments against the Myth of the Given as having shown that the Given is nothing more than a myth. But most of Sellars’s arguments attack logical atomism, not the framework of givenness as such. Moreover, they do not succeed. At crucial points the arguments confuse the perspectives of a knower and those attributing knowledge to a knower. Only one argument-the “inconsistent triad” argument-addresses the Myth of the Given as such, and there (...) are several ways of escaping its conclusion. Invocations of Sellars’s refutation of the Myth of the Given are empty. (shrink)

Pragma-dialectics is dynamic, context-sensitive, and multi-agent; it promises theories of fallacy and argumentative structure. But pragma-dialectic theory and practice are not yet fully in harmony. Key definitions of the theory fall short of explicating the analyses that pragma-dialecticians actually do. Many discussions involve more than two participants with different and mutually incompatible standpoints. Success in such a discussion may be more than success against each opponent. Pragma-dialectics does well at analyzing arguments advanced by one party, directed at another party; it (...) does much less well at analyzing arguments directed at several opponents at once or at convincing an audience. I suggest a strategy of construing fallacies as defeasible arguments relying on reasonable default principles but applying them in circumstances in which they are undercut or overridden. (shrink)

I extend theories of nonmonotonic reasoning to account for reasons allowing free choice. My approach works with a wide variety of approaches to nonmonotonic reasoning and explains the connection between reasons for kinds of action and reasons for actions or subkinds falling under them. I use an Anderson–Kanger reduction of reason statements, identifying key principles in the logic of reasons.

I investigate substitutional interpretations of quantifiers that count existential sentences true just in case they have true instances in a parametric extension of the language. I devise a semantics meeting four criteria: (1) it accounts adequately for natural language quantification; (2) it provides an account of justification in abstract sciences; (3) it constitutes a continuous semantics for natural and formal languages; and (4) it is purely substitutional, containing no appeal to referential interpretations. The prospects for a purely substitutional theory of (...) quantification are thus no worse than for a referential account. (shrink)

Simple Logic succeeds in conveying the standard topics in introductory logic with easy-to-understand explanations of rules and methods, whilst featuring a multitude of interesting and relevant examples drawn from both literary texts and contemporary culture.

This paper presents a nonmonotonic deontic logic based on commonsense entailment. It establishes criteria a successful account of obligation should satisfy, and develops a theory that satisfies them. The theory includes two conditional notions of prima facie obligation. One is constitutive; the other is epistemic, and follows nonmonotonically from the constitutive notion. The paper defines unconditional notions of prima facie obligation in terms of the conditional notions.

Free choice permission, a crucial test case concerning the semantics/ pragmatics boundary, usually receives a pragmatic treatment. But its pragmatic features follow from its semantics. We observe that free choice inferences are defeasible, and defend a semantics of free choice permission as strong permission expressed in terms of a modal conditional in a nonmonotonic logic.

In Acts 17, Paul offers general framework for demonstrating the existence of God—a supernatural being, a creator, designer, and ultimate purpose of the universe, who cannot be identified with anything natural but instead underlies and explains the natural world as a whole. What Paul says, combined with unstated theses about causation and explanation that his Stoic and Epicurean audience would have shared, adds up to a powerful argument for God’s existence. Cosmological and design arguments emerge as special cases.

In this paper I shall attempt to outline a nominalistic theory of mathematical truth. I call my theory nominalistic because it avoids a real (see [4]) ontological commitment to abstract entities. Traditionally, nominalists have found it difficult to justify any reference to infinite collections in mathematics. Even those who have tried to do so have typically restricted themselves to predicative and, thus, denumerable realms. I Indeed, many have linked impredicative definitions to platonism; nominalists have tended to agree with Weyl that (...) impredicative analysis is "a house built on sand" in a "logician's paradise."2 As a result, they have either worried about how much of mathematics empirical science requires (e.g., [34]) or renounced mathematical truth altogether (e.g., [12], [17]). My theory, in contrast, seeks a nominalistic interpretation of the entire body of classical mathematics. It tries to secure for the nominalist not merely the natural numbers but the reals, the ordinals, and inaccessible cardinals as well. If I am right, then nominalists can declare, with Goodman and Quine, that "any system that countenances abstract entities we deem unsatisfactory as a final philosophy" ([17],105), and, at the same time, with Hilbert, that "no one shall drive us out of the paradise which Cantor has created for us" ([20], 141). I cannot hope to convince you, in this small space, that my goal is fully achievable. Here I shall try to justify a smaller contention: that if we can explain our knowledge of logic (and of language generally), we can also explain our knowledge of mathematics. Given a nominalistic theory of logic, therefore, we can construct a nominalistic theory of mathematical truth. I shall thus argue for an epistemological thesis of logicism: any epistemology that suffices for our knowledge of logic also suffices for mathematics. (shrink)

This paper develops a metaphysically flexible theory of quantification broad enough to incorporate many distinct theories of objects. Quite different, mutually incompatible conceptions of the nature of objects and of reference find representation within it. Some conceptions yield classical first-order logic; some yield weaker logics. Yet others yield notions of validity that are proper extensions of classical logic.

Christine Korsgaard sees normative generalizations as provisionally universal, in the sense that exceptions to them have reasons for being exceptions and that they could in principle be revised into more specific and precise absolutely universal rules. Do exceptions to normative generalizations have such explanations? Can such generalizations always be revised into or replaced by absolutely universal rules? The answer depends on the structure of practical space, and, specifically, the degree to which normative relations are definable. Distinguishing degrees of definability in (...) practical space opens up paths for generalist and particularist conceptions of normativity. (shrink)

Reader Recommendations: Recommend a Web site you feel is appropriate to this work, list recommended Web sites , or visit a random recommended Web site.

In what follows I have merely tried to state, one by one, some of the most important points in which my philosophical position differs from positions which have been taken up by some other philosophers. It may be that the points which I have had room to mention are not really the most important, and possibly some of them may be points as to which no philosopher has ever really differed from me. But, to the best of my belief, each (...) is a point as to which many have really differed; although (in most cases, at all events) each is also a point as to which many have agreed with me. (shrink)

About the online edition. This was scanned from the 1910 edition and mechanically checked against a commercial copy of the text from CDROM. Differences were corrected against the paper edition. The text itself is thus a highly accurate rendition. The footnotes were entered manually.

One of the leading member of logical positivism, he was born in Orianenburg, Germany, in 1905. Between March 17 and 24, 1982, Hempel gave an interview to Richard Nolan; the text of that interview was published for the first time in 1988 in Italian translation (Hempel, 'Autobiografia intellettuale' in Oltre il positivismo logico , Armando : Rome, Italy : 1988). This interview is the main source of the following biographical notes.

It has been remarked, my Hermippus, that though the ancient philosophers conveyed most of their instruction in the form of dialogue, this method of composition has been little practised in later ages, and has seldom succeeded in the hands of those who have attempted it. Accurate and regular argument, indeed, such as is now expected of philosophical enquirers, naturally throws a man into the methodical and didactic manner; where he can immediately, without preparation, explain the point at which he aims; (...) and thence proceed, without interruption, to deduce the proofs on which it is established. To deliver a SYSTEM in conversation, scarcely appears natural; and while the dialogue-writer desires, by departing from the direct style of composition, to give a freer air to his performance, and avoid the appearance of Author and Reader, he is apt to run into a worse inconvenience, and convey the image of Pedagogue and Pupil. Or, if he carries on the dispute in the natural spirit of good company, by throwing in a variety of topics, and preserving a proper balance among the speakers, he often loses so much time in preparations and transitions, that the reader will scarcely think himself compensated, by all the graces of dialogue, for the order, brevity, and precision, which are sacrificed to them. (shrink)

Justification or criticism of the processes or the results of reasoning may involve, inter alia , questions of meaningfulness, of truth (or of reliability), of consistency, and of formal correctness (or conclusiveness). We shall concentrate on the two last mentioned criteria in the present section.

My aim is to show that supervenience claims follow from instances of a principle I call the principle of defeasibly sufficient reason. This principle construes the completeness of physics quite differently from strong or reductive physicalism and encodes both scientific and common sense patterns of explanation and justification. Rather than thoroughly defending the principle in the short space of this paper, I will sketch how one might defend it and a resulting fainthearted physicalism.