This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion (...) in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work. (shrink)

As a leading member of the Vienna Circle, Rudolph Carnap's aim was to bring about a "unified science" by applying a method of logical analysis to the empirical data of all the sciences. This work, first published in English in 1934, endeavors to work out a way in which the observation statements required for verification are not private to the observer. The work shows the strong influence of Wittgenstein, Russell, and Frege.

Coping with uncertainty is a necessary part of ordinary life and is crucial to an understanding of how the mind works. For example, it is a vital element in developing artificial intelligence that will not be undermined by its own rigidities. There have been many approaches to the problem of uncertain inference, ranging from probability to inductive logic to nonmonotonic logic. Thisbook seeks to provide a clear exposition of these approaches within a unified framework. The principal market for the book (...) will be students and professionals in philosophy, computer science, and AI. Among the special features of the book are a chapter on evidential probability, which has not received a basic exposition before; chapters on nonmonotonic reasoning and theory replacement, matters rarely addressed in standard philosophical texts; and chapters on Mill's methods and statistical inference that cover material sorely lacking in the usual treatments of AI and computer science. (shrink)

This intriguing and ground-breaking book is the first in-depth study of the development of philosophy of science in the United States during the Cold War. It documents the political vitality of logical empiricism and Otto Neurath's Unity of Science Movement when these projects emigrated to the US in the 1930s and follows their de-politicization by a convergence of intellectual, cultural and political forces in the 1950s. Students of logical empiricism and the Vienna Circle treat these as strictly intellectual non-political projects. (...) In fact, the refugee philosophers of science were highly active politically and debated questions about values inside and outside science, as a result of which their philosophy of science was scrutinized politically both from within and without the profession, by such institutions as J. Edgar Hoover's FBI. It will prove absorbing reading to philosophers and historians of science, intellectual historians, and scholars of Cold War studies. (shrink)

This is the sequel to my “Fifteen Arguments Against Finite Frequentism” ( Erkenntnis 1997), the second half of a long paper that attacks the two main forms of frequentism about probability. Hypothetical frequentism asserts: The probability of an attribute A in a reference class B is p iff the limit of the relative frequency of A ’s among the B ’s would be p if there were an infinite sequence of B ’s. I offer fifteen arguments against this analysis. I (...) consider various frequentist responses, which I argue ultimately fail. I end with a positive proposal of my own, ‘hyper-hypothetical frequentism’, which I argue avoids several of the problems with hypothetical frequentism. It identifies probability with relative frequency in a hyperfinite sequence of trials. However, I argue that this account also fails, and that the prospects for frequentism are dim. (shrink)

The Desire-as-Belief thesis (DAB) states that any rational person desires a proposition exactly to the degree that she believes or expects the proposition to be good. Many people take David Lewis to have shown the thesis to be inconsistent with Bayesian decision theory. However, as we show, Lewis's argument was based on an Invariance condition that itself is inconsistent with the (standard formulation of the) version of Bayesian decision theory that he assumed in his arguments against DAB. The aim of (...) this paper is to explore what impact the rejection of Invariance has on the DAB thesis. Without assuming Invariance, we first refute all versions of DAB that entail that there are only two levels of goodness. We next consider two theses according to which rational desires are intimately connected to expectations of (multi-levelled) goodness, and show that these are consistent with Bayesian decision theory as long as we assume that the contents of 'value propositions' are not fixed. We explain why this conclusion is independently plausible, and show how to construct such propositions. (shrink)

Bertrand Russell was one of the greatest logicians since Aristotle, and one of the most important philosophers of the past two hundred years. As we approach the 125th anniversary of the Nobel laureate's birth, his works continue to spark debate, resounding with unmatched timeliness and power. The Problems of Philosophy, one of the most popular works in Russell's prolific collection of writings, has become core reading in philosophy. Clear and accessible, this little book is an intelligible and stimulating guide to (...) those problems of philosophy which often mistakenly lead to its status as too lofty and abstruse for the lay mind. Focusing on problems he believes will provoke positive and constructive discussion, Russell concentrates on knowledge rather than metaphysics, steering the reader through his famous 1910 distinction between "knowledge by acquaintance and knowledge by description," and introducing important theories of Descartes, Kant, Hegel, Hume, Locke, Plato, and others to lay the foundation for philosophical inquiry by general readers and scholars alike.With a new introduction by John Perry, this valuable work is a perfect introduction to the field and will continue to stimulate philosophical discussion as it has done for nearly forty years. (shrink)

Does the desirability of a proposition depend on whether it is true? Not according to the Invariance assumption, held by several notable philosophers. The Invariance assumption plays an important role in David Lewis’ famous arguments against the so-called Desire-as-Belief thesis (DAB), an anti-Humean thesis according to which a rational agent desires a proposition exactly to the degree that she believes the proposition to be desirable. But the assumption is of interest independently of Lewis’ arguments, for instance since both Richard Jeffrey (...) and James Joyce make the assumption (or, strictly speaking, accept a thesis that implies Invariance) in their influential books on decision theory. The main claim to be defended in this paper is that Invariance is incompatible with certain assumptions of decision theory. I show that the assumption fails on the most common interpretations of desirability and/or choice-worthiness found in decision theory. I moreover show that Invariance is inconsistent with Richard Jeffrey’s decision theory, on which Lewis’ arguments against DAB are based. Finally, I show that Invariance contradicts how we in general do and should think about conditional desirability. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...) that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

This definitive survey of the hottest issues in inductive logic sets the stage for further classroom discussion.

A comprehensive defence of the rationalist view that insight independent of experience is a genuine basis for knowledge.

Preface. I. BASICS OF LOGIC. Introduction. The Structure of Simple Statements. The Structure of Complex Statements. Simple and Complex Properties. Validity. 2. PROBABILITY AND INDUCTIVE LOGIC. Introduction. Arguments. Logic. Inductive versus Deductive Logic. Epistemic Probability. Probability and the Problems of Inductive Logic. 3. THE TRADITIONAL PROBLEM OF INDUCTION. Introduction. Hume’s Argument. The Inductive Justification of Induction. The Pragmatic Justification of Induction. Summary. IV. THE GOODMAN PARADOX AND THE NEW RIDDLE OF INDUCTION. Introduction. Regularities and Projection. The Goodman Paradox. The Goodman (...) Paradox, Regularity, and the Principle of the Uniformity of Nature. Summary. 5. MILL’S METHODS OF EXPERIMENTAL INQUIRY AND THE NATURE OF CAUSALITY. Introduction. Causality and Necessary and Sufficient Conditions. Mill’s Methods. The Direct Method of Agreement. The Inverse Method of Agreement. The Method of Difference. The Combined Methods. The Application of Mill’s Methods. Sufficient Conditions and Functional Relationships. Lawlike and Accidental Conditions. 6. THE PROBABILITY CALCULUS. Introduction. Probability, Arguments, Statements, and Properties. Disjunction and Negation Rules. Conjunction Rules and Conditional Probability. Expected Value of a Gamble. Bayes’ Theorem. Probability and Causality. 7. KINDS OF PROBABILITY. Introduction. Rational Degree of Belief. Utility. Ramsey. Relative Frequency. Chance. 8. PROBABILITY AND SCIENTIFIC INDUCTIVE LOGIC. Introduction. Hypothesis and Deduction. Quantity and Variety of Evidence. Total Evidence. Convergence to the Truth. ANSWERS TO SELECTED EXERCISES. INDEX. (shrink)

Of the first six chapters of the Phenomenology of the spirit -- Summary of the course in 1937-1938 -- Philosophy and wisdom -- A note on eternity, time, and the concept -- Interpretation of the third part of chapter VIII -- A dialectic of the real and the phenomenological method in Hegel.

Immensely intelligible, thought-provoking guide by Nobel prize-winner considers such topics as the distinction between appearance and reality, the existence and nature of matter, idealism, inductive logic, intuitive knowledge, many other subjects. For students and general readers, there is no finer introduction to philosophy than this informative, affordable and highly readable edition that is "concise, free from technical terms, and perfectly clear to the general reader with no prior knowledge of the subject."—The Booklist of the American Library Association.

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925-1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of logical (...) positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

In “Desire as Belief” and “Desire as Belief II,” David Lewis ( 1988 , 1996 ) considers the anti-Humean position that beliefs about the good require corresponding desires, which is his way of understanding the idea that beliefs about the good are capable of motivating behavior. He translates this anti-Humean claim into decision theoretic terms and demonstrates that it leads to absurdity and contradiction. As Ruth Weintraub ( 2007 ) has shown, Lewis’ argument goes awry at the outset. His decision (...) theoretic formulation of anti-Humeanism is one that no sensible anti-Humean would endorse. My aim is to demonstrate that Lewis’ infelicitous rendering of anti-Humeanism really does undermine the force of his arguments. To accomplish this, I begin by developing a more adequate decision theoretic rendering of the anti-Humean position. After showing that my formulation of anti-Humeanism constitutes a plausible interpretation of the anti-Humean thesis, I go on to demonstrate that if we adopt this more accurate rendition of anti-Humeanism, the view is no longer susceptible to arguments like the ones Lewis has devised. I thereby provide a more robust response to Lewis’ arguments than has yet been offered, and in the process I develop a formulation of anti-Humeanism that creates the possibility for future decision theoretic arguments that, unlike Lewis’, speak directly to the plausibility of anti-Humeanism. (shrink)

This paper deals with the problem of vindicating a particular type of inductive rule, a rule to govern inferences from observed frequencies to limits of relative frequencies. Reichenbach's rule of induction is defended. By application of two conditions, normalizing conditions and a criterion of linguistic invariance, it is argued that alternative rules lead to contradiction. It is then argued that the rule of induction does not lead to contradiction when suitable restrictions are placed upon the predicates admitted. Goodman's grue-bleen paradox (...) is considered, and an attempt to resolve it is offered. Finally, Reichenbach's pragmatic argument, hinging on convergence properties, is applied. (shrink)

David Lewis has argued against the thesis he calls "Desire as Belief", claiming it is incompatible with the fundamentals of evidential decision theory. I show that the argument is unsound, and demonstrate that a version of desire as belief is compatible with a version of causal decision theory.

No account of the development of contemporary empiricism is adequate which neglects the writings and the influence of Charles Peirce. Although he is not easily pigeon-holed and can not be claimed as the exclusive property of any school or movement, it is appropriate that the hundredth anniversary of his birth should be commemorated at this Congress. For the movement of which it is a manifestation is engaged in a coöperative, intensive cultivation of the methods of the sciences with the help (...) of the most advanced tools of modern logic; and Peirce's intellectual career was also a single-minded devotion to that task. It is fitting, also, that his birth-year be celebrated at Harvard by an international congress. For although he was denied the privilege of teaching at this university, much of his influence was propagated by William James and Josiah Royce, two of its great teachers; and however much he may have suffered from neglect during his life-time, his work surely merits recognition from a movement not confined by national bounds. It is characteristic of the best established sciences that though individuals may pursue researches in them independently of one another, the conclusions reached tend to support each other and to converge toward a common stream of sound beliefs; and such convergence is indeed the sole identifiable warrant for the confidence that some measure of the truth has been attained. It is therefore a happy sign that so many of the central ideas of the present movement have been independently developed on both sides of the Atlantic. One is not minimizing the contributions of the Vienna Circle in pointing out that many of its recent views have been taken for granted for some time by American colleagues, largely because the latter have come to intellectual maturity under the influence of Peirce. (shrink)

Argues for the humean theory of motivation on the grounds that rejecting it requires rejecting decision theory.