Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

This book is an introduction, entirely by example, to the possibilities of using computer models as tools in phosophical research in general and in philosophical logic in particular. Topics include chaos, fractals, and the semantics of paradox; epistemic dynamics; fractal images of formal systems; the evolution of generosity; real-valued game theory; and computation and undecidability in the spatialized Prisoner's Dilemma.

Given certain standard assumptions-that particular sentences are meaningful, for example, and do genuinely self-attribute their own falsity-the paradoxes appear to show intriguing patterns of generally unstable semantic behavior. In what follows we want to concentrate on those patterns themselves: the pattern of the Liar, for example, which if assumed either true or false appears to oscillate endlessly between truth and falsehood.

In this paper we argue for a simple version of Divine Command Morality, namely that an act’s being morally right consists in its being in accord with God’s will, and an act’s being morally wrong consists in its being contrary to God’s will. In so arguing, we contend that this simple version of Divine Command Morality is not subject to the Euthyphro dilemma, either as Plato or as contemporary critics have ordinarily proposed it. Nor, we maintain, is our position incompatible (...) with the most adequate formulation of natural law ethics. Finally we explain why Euthyphro could not have made a better case for his own position. (shrink)

Anselm claimed that his Proslogion was a “single argument” sufficient to prove “that God truly exists,” that God is “the supreme good requiring nothing else,” as well as to prove “whatever we believe regarding the divine Being.” In this paper we show how Anselm’s argument in the Proslogion and in his Reply to Gaunilo can be reconstructed as a single argument. A logically elegant result is that the various stages of Anselm’s argument are validated by standard axioms from contemporary modal (...) logic. (shrink)

This is a review of George Boolos's posthumous anthology of essays entitled "Logic, Logic, and Logic.".

Should evolution replace rational choice as the guiding paradigm for game theory? Evolutionary game theory provides an intriguing perspective from which to critique the hyper-rational assumptions of classical economic game theory. In contrast to economic game theory, evolutionary game theory is better suited to descriptive rather than normative domains. It is argued that a pluralism of paradigms holds the best promise for theoretical innovation in game theory.

Zeno's paradoxes of motion and the semantic paradoxes of the Liar have long been thought to have metaphorical affinities. There are, in fact, isomorphisms between variations of Zeno's paradoxes and variations of the Liar paradox in infinite-valued logic. Representing these paradoxes in dynamical systems theory reveals fractal images and provides other geometric ways of visualizing and conceptualizing the paradoxes.

_The Philosopher's Annual_ attempts to select the ten best articles published in philosophy the previous year. Impossible? Yes. By attempting the impossible this collection calls attention to truly exceptional critiques from the philosophical field. This is the 22nd volume of the series, collecting outstanding work from the philosophy literature of 1999. Each year the members of the distinguished nominating board are asked to name three papers that most impressed them from the literature of the previous year. No limitations are placed (...) on sources from which articles may be nominated, on subject matter, or on mode of treatment. The process delivers a diverse collection of engaging, high caliber work that stands as a valuable sample of contemporary work in philosophy. (shrink)

This latest volume of _The Philosopher's Annual_ presents the ten best articles published in the field during 2001. No limitations are placed on the articles' sources, subject matter or mode of treatment, providing for a diverse collection of engaging, high-caliber work that stands as a valuable sample of contemporary philosophy. This year's volume includes papers by Robert Bernasconi, Hans Halvorson, Christopher Hitchcock, Ignacio Jane, Brian Leiter, Liam Murphy and Thomas Nagel, Joel Pust, Alison Simmons, Jason Stanley and Timothy Williamson, and (...) Crispin Wright. (shrink)

Each year, _The Philosopher's Annual_ presents the ten best articles published in the field of philosophy during the previous twelve months—with the absence of limits on the articles' sources, subject matter, or modes of treatment making for a very diverse collection of engaging, high-caliber work. This year's volume includes papers by Katalin Balog, Tyler Burge, Cheshire Calhoun, Sally Haslanger, Thomas Hofweber, Philip Kitcher, Charles G. Morgan, Thomas W. Pogge, James Pryor, and Elliott Sober.

Journal of Chinese Philosophy, EarlyView.

This book addresses two questions: "How is genuine future contingency compatible with divine foreknowledge?" and "How is foreknowledge possible?" Craig attempts to reconcile future contingency within the constraints of a Biblically informed conception of God. This volume, a companion to Craig's historical survey The Problem of Divine Foreknowledge and Future Contingents from Aristotle to Suarez, is in contrast to that study, is a synoptic and critical survey of the recent literature on theological fatalism. It discusses such intriguing related topics as (...) logical fatalism, multivalent logic, backward causation, time travel, counterfactuals, Newcomb's problem, and middle knowledge. (shrink)

Hao Wang, a prolific philosopher and researcher, was known for his close intellectual friendship with Kurt Gödel, his advocacy for the study of logic at Oxford, and for his path-breaking contributions to logic and automated theorem proving. Yet in a memorial volume published sixteen years after Wang’s passing, the editors Charles Parsons and Montgomery Link noted “rather little has been published on Wang’s considerable body of work or on the man’s personality and unusual personal history.” The goal of this article (...) is to see what light Wang’s logical journey in life sheds on Chinese philosophy and the Western analytic tradition. (shrink)

In Conway's Game of Life every cell is either fully alive (has the value of 1) or completey dead (has the value of 0). In Real Life this restriction to bivalence is lieft to countenance "real-valued" degrees of life and death. real Life contains Conway's Game of Life as a special case; however, Real Life, in contrast to Conway's Game of Life, exhbits sensitive dependence on initial conditions which is characteristics of chaotic systems.