Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a discussion of (...) the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

Mellor's subject is singular causation between facts, expressed 'E because C'. His central requirement for causation is that the chance that E if C be greater than the chance that E if $\sim \text{C}\colon \ ch_{\text{C}}>ch_{\sim \text{C}}$. The book is as much about chance as it is about causation. I show that his way of distinguishing ch C from the traditional notion of conditional chance leaves him with a problem about the existence of ch Q when Q is false ; (...) and also that any notion of chance which conforms to the standard calculus has wider application than the causal instances to which Mellor's notion is restricted. Other topics discussed may be gleaned from the headings below. (shrink)

This book, published in 2000, is a clear account of causation based firmly in contemporary science. Dowe discusses in a systematic way, a positive account of causation: the conserved quantities account of causal processes which he has been developing over the last ten years. The book describes causal processes and interactions in terms of conserved quantities: a causal process is the worldline of an object which possesses a conserved quantity, and a causal interaction involves the exchange of conserved quantities. Further, (...) things that are properly called cause and effect are appropriately connected by a set of causal processes and interactions. The distinction between cause and effect is explained in terms of a version of the fork theory: the direction of a certain kind of ordered pattern of events in the world. This particular version has the virtue that it allows for the possibility of backwards causation, and therefore time travel. (shrink)

Machine generated contents note: Essay 1.

In this study of events and their places in our language and thought, Bennett propounds and defends views about what kind of item an event is, how the language of events works, and about how these two themes are interrelated. He argues that most of the supposedly metaphysical literature is really about the semantics of their names, and that the true metaphysic of events--known by Leibniz and rediscovered by Kim--has not been universally accepted because it has been tarred with the (...) brush of a false semantic theory. (shrink)

In this book, J. L. Mackie makes a careful study of several philosophical issues involved in his account of causation. Mackie follows Hume's distinction between causation as a concept and causation as it is ‘in the objects’ and attempts to provide an account of both aspects. Mackie examines the treatment of causation by philosophers such as Hume, Kant, Mill, Russell, Ducasse, Kneale, Hart and Honore, and von Wright. Mackie's own account involves an analysis of causal statements in terms of counterfactual (...) conditionals though these are judged to be incapable of giving a complete account of causation. Mackie argues that regularity theory too can only offer an incomplete picture of the nature of causation. In the course of his analysis, Mackie critically examines the account of causation offered by Kant, as well as the contemporary Kantian approaches offered by philosophers such as Bennett and Strawson. Also addressed are issues such as the direction of causation, the relation of statistical laws and functional laws, the role of causal statements in legal contexts, and the understanding of causes both as ‘facts’ and ‘events’. Throughout the discussion of these topics, Mackie develops his own complex account of the nature of causation, finally bringing his analysis to bear in regard to the topic of teleology and the question of whether final causes can be justifiably reduced to efficient causes. (shrink)

This book is an original examination of attempts to dislodge a cornerstone of modern philosophy: the idea that our thoughts and utterances are representations ...

In this wide-ranging philosophical work, Koons takes on two powerful dogmas--anti-realism and materialism.

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

Studies causation both as a concept and as it is 'in the objects.' Offers new accounts of the logic of singular causal statements, the form of causal regularities, the detection of causal relationships, the asymmetry of cause and effect, and necessary connection, and it relates causation to functional and statistical laws and to teleology.

Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.

The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will wish (...) to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part 1 (in which the logical properties of propositions, propositional functions, classes and relations are established); section 6 of Part 2 (dealing with unit classes and couples); and Appendices A and B (which give further developments of the argument on the theory of deduction and truth functions). (shrink)

When philosophers talk about descriptions, usually they have in mind singular definite descriptions such as ‘the finest Greek poet’ or ‘the positive square root of nine’, phrases formed with the definite article ‘the’. English also contains indefinite descriptions such as ‘a fine Greek poet’ or ‘a square root of nine’, phrases formed with the indefinite article ‘a’ (or ‘an’); and demonstrative descriptions (also known as complex demonstratives) such as ‘this Greek poet’ and ‘that tall woman’, formed with the demonstrative articles (...) ‘this’ and ‘that’. Following the custom in philosophy, in this chapter often we use ‘description’ as short for ‘definite description’; and following the custom in linguistics, often we use ‘definite’, ‘indefinite’, and ‘demonstrative’ as shorthand nouns. For the most part we focus on definite and indefinites, although a few words about demonstratives are called for. At the centre of debates about descriptions is the matter of whether they are devices of reference or of predication (simple or higher-order), and much discussion focuses on how various proposals are to be incorporated into broader theories of the semantics of natural language. But philosophical interest goes beyond the confines of linguistics, logic, and the philosophy of language because choices made about the semantics of descriptions have repercussions elsewhere, particularly in epistemology and metaphysics. A simple match of form and meaning appears to fail.1 First, many occurrences of expressions of both forms ‘the φ’ and ‘a φ’ appear to be used to talk about particular individuals. Consider (1). (shrink)

Causation is widely assumed to be a binary relation: c causes e. I will argue that causation is a quaternary, contrastive relation: c rather than C* causes e rather than E*, where C* and E* are nonempty sets of contrast events. Or at least, I will argue that treating causation as contrastive helps resolve some paradoxes.

The paper defends the view that events are the basic relata of causation, against arguments based on linguistic analysis to the effect that only facts can play that role. According to those arguments, causal contexts let the meaning of the expressions embedded in them shift: even expressions possessing the linguistic form that usually designates an event take a factual meaning.However, defending events as fundamental relata of causation turns out to be possible only by attributing a – different – causal role (...) to facts as well. The role of facts in causation is characterized as «causal responsibility». This relation, and its connection to causation between events, is clarified by way of the analysis of different inference patterns between causal statements of the two sorts: statements linking events and statements linking facts. (shrink)

I argue that 'c' occurs extensionally in 'c caused e' and 'D' occurs extensionally in 'c caused e because c is D'. I claim that this has been insufficiently appreciated because the two contexts are often run together and because it has not been clear that the description D of c is among the referents of an explanatory argument. I argue as well that Hume's analysis of causation is consistent with taking causation to be a relation between single events, and (...) that even if events are eliminated as virtual entities, extensionality holds for all terms in the resulting context. (shrink)

This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

Logical Atomism is a philosophy that sought to account for the world in all its various aspects by relating it to the structure of the language in which we articulate information. In _The Philosophy of Logical Atomism,_ Bertrand Russell, with input from his young student Ludwig Wittgenstein, developed the concept and argues for a reformed language based on pure logic. Despite Russell’s own future doubts surrounding the concept, this founding and definitive work in analytical philosophy by one of the world’s (...) most significant philosophers is a remarkable attempt to establish a novel way of thinking. (shrink)

Quine argued that any context allowing substitution of logical equivalents and coextensive terms is truth functional. We argue that Quine's proof for this claim is flawed.

Everything we do relies on causation. We eat and drink because this causes us to stay alive. Courts tell us who causes crimes, criminology tell us what causes people to commit them. D.H. Mellor shows us that to understand the world and our lives we must understand causation. The Facts of Causation , now available in paperback, is essential reading for students and for anyone interested in reading one of the ground-breaking theories in metaphysics. We cannot understand the world and (...) our place in it without understanding causation. Yet a complete account of the nature and implications of causation does not exist. D.H Mellor's new book is that account. (shrink)