You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
"[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, Journal of Philosophy
This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
Spanning a period of 35 years, this collection of essays includes some of the classic works of one of the most distinquished and influential philosophers working in the field of decision theory and the theory of knowledge.
Richard Jeffrey is beyond dispute one of the most distinguished and influential philosophers working in the field of decision theory and the theory of knowledge. His work is distinctive in showing the interplay of epistemological concerns with probability and utility theory. Not only has he made use of standard probabilistic and decision theoretic tools to clarify concepts of evidential support and informed choice, he has also proposed significant modifications of the standard Bayesian position in order that it provide a better fit with actual human experience. Probability logic is viewed not as a source of judgment but as a framework for explaining the implications of probabilistic judgments and their mutual compatability This collection of essays spans a period of some 35 years and includes what have become some of the classic works in the literature. There is also one completely new piece, while in many instances Jeffrey includes afterthoughts on the older essays.
The author shares his feelings upon learning that a diving accident had left his teenage son Jeffrey paralyzed from the neck down, and discusses his resolve over the ten days following the diagnosis to "save" Jeffrey by removing his life support.
The eminent philosopher of science Carl G. Hempel, Stuart Professor of Philosophy at Princeton University and a Past President of the American Philosophical Association, has had a long and distinguished academic career in the course of which he has been professorial mentor to some of America's most distinguished philosophers. This volume gathers together twelve original papers by Hempel's students and associates into a volume intended to do homage to Hempel on the occasion of his 65th year in 1970. The papers are grouped around the unifying topic of Hempel's own interests in logic and philosophy of science, the great majority dealing with issues on inductive logic and the theory of scientifi...
The first beginning logic text to employ the tree method--a complete formal system of first-order logic that is remarkably easy to understand and use--this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems. The tree method is elaborated in manageable steps over five chapters, in each of which its adequacy is reviewed; soundness and completeness proofs are extended at each step, and the decidability proof is extended at the step from truth functions to the logic of nonoverlapping quantifiers with a single variable, after which undecidability is demonstrated by example. The first three chapters are bilingual...
Explores how decision-makers can manage uncertainty that varies in both kind and severity by extending and supplementing Bayesian decision theory.