Background
Jeffrey, Richard Carl was born on August 5, 1926 in Boston, Massachusetts, United States. Son of Mark M. and Jane (Markovitz) Jeffrey.
(A text for a second course in logic for graduate and adva...)
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
http://www.amazon.com/gp/product/0521389232/?tag=2022091-20
( "This book proposes new foundations for the Bayesian pr...)
"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
http://www.amazon.com/gp/product/0226395820/?tag=2022091-20
(Computability and Logic has become a classic because of i...)
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
http://www.amazon.com/gp/product/0521701465/?tag=2022091-20
Jeffrey, Richard Carl was born on August 5, 1926 in Boston, Massachusetts, United States. Son of Mark M. and Jane (Markovitz) Jeffrey.
As a graduate student he studied under Rudolf Carnap, and Carl Hempel. From the University of Chicago in 1952 and his Doctor of Philosophy from Princeton in 1957.
He was a native of Boston, Massachusetts. Jeffrey served in the United States. Navy during World World War World War II He received his Master of Arts After holding academic positions at Massachusetts Institute of Technology, City College of New York, Stanford University, and the University of Pennsylvania, he joined the faculty of Princeton University in 1974 and became a professor emeritus there in 1999. He was also a visiting professor at the University of California, Irvine.
As a philosopher, Jeffrey specialized in epistemology and decision theory.
Jeffrey also wrote or co-wrote two widely used and influential logic textbooks: Formal Logic: Its Scope and Limits, a basic introduction to logic, and Computability and Logic, a more advanced text dealing with, among other things, the famous negative results of twentieth century logic such as Gödel"s incompleteness theorems and Tarski"s indefinability theorem. Jeffrey, who died of lung cancer at the age of 76, was known for his sense of humor, which often came through in his breezy writing style.
In the preface of his posthumously published Subjective Probability, he refers to himself as "a fond foolish old fart dying of a surfeit of Pall Malls" (p xii).
(Computability and Logic has become a classic because of i...)
( "This book proposes new foundations for the Bayesian pr...)
(A text for a second course in logic for graduate and adva...)
He is perhaps best known for defending and developing the Bayesian approach to probability—specifically, for inventing "Jeffrey conditioning" (which he referred to as "probability kinematics"), a way of modeling the change in the probability of a proposition in light of new evidence.
Served with United States Naval Reserve, 1944-1946. Member American Philosophical Association, Association for Symbolic Logic, Philosophy of Science Association (president), American Academy Arts and Sciences.
Married Edith Kelman, January 2, 1955. Children— Daniel, Pamela.