In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.
For centuries, philosophers have been puzzled by the fact that people often respect moral obligations as a matter of principle, setting aside considerations of self-interest.
The Logical Must is an examination of Ludwig Wittgenstein's philosophy of logic, early and late, undertaken from an austere naturalistic perspective Penelope Maddy has called "e;Second Philosophy.
In this short monograph, John Horty explores the difficulties presented for Gottlob Frege's semantic theory, as well as its modern descendents, by the treatment of defined expressions.
If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought?
Robert Batterman examines a form of scientific reasoning called asymptotic reasoning, arguing that it has important consequences for our understanding of the scientific process as a whole.
McCarthy develops a theory of radical interpretation--the project of characterizing from scratch the language and attitudes of an agent or population--and applies it to the problems of indeterminacy of interpretation first described by Quine.
The work of Thomas Aquinas has always enjoyed a privileged position as a pillar of Catholic theology, but for centuries his standing among western philosophers was less sure.
The Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as other theoretical entities essential to our best scientific theories.
John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency.
In this book, Scott Soames illuminates the notion of truth and the role it plays in our ordinary thought, as well as in our logical, philosophical, and scientific theories.
In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth.
Since the publication of Carl Hempel and Paul Oppenheim's ground-breaking work "e;Studies in the Logic of Explanation,"e; the theory of explanation has remained a major topic in the philosophy of science.
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "e;undecidable.
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics.
There are many proposed aims for scientific inquiry--to explain or predict events, to confirm or falsify hypotheses, or to find hypotheses that cohere with our other beliefs in some logical or probabilistic sense.
This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica.
Edited by three leading figures in the field, this exciting volume presents cutting-edge work in decision theory by a distinguished international roster of contributors.
Reasoning Practically deals with a classical philosophical topic, the link between thought and action--how we think about what we do or ought to do, and how we move from thinking to doing.
This fresh look at the philosophy of language focuses on the interface between a theory of literal meaning and pragmatics--a philosophical examination of the relationship between meaning and language use and its contexts.
This volume brings together mostly previously unpublished studies by prominent historians, classicists, and philosophers on the roles and effects of religion in Socratic philosophy and on the trial of Socrates.
This clear, accessible account of Hegelian logic makes a case for its enormous seductiveness, its surprising presence in the collective consciousness, and the dangers associated therewith.
This is a charming and insightful contribution to an understanding of the "e;Science Wars"e; between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy.
In this book Pollock deals with the subject of probabilistic reasoning, making general philosophical sense of objective probabilities and exploring their relationship to the problem of induction.
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic.
When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason.