Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defenses, objections, and replies into a convincing defense of the core of his theory, which is that we can analyze causation by appeal to the notion of manipulation.

Causality offers the first comprehensive coverage of causal analysis in many sciences, including recent advances using graphical methods. Pearl presents a unified account of the probabilistic, manipulative, counterfactual and structural approaches to causation, and devises simple mathematical tools for analyzing the relationships between causal connections, statistical associations, actions and observations. The book will open the way for including causal analysis in the standard curriculum of statistics, artificial intelligence, business, epidemiology, social science and economics.

In his new foreword to this edition, Hilary Putnam forcefully rejects these nativist claims.

Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...) try to find out whether it is true or not. But, from the point of view of empiricism, there is a still closer connection between the two problems. In a certain sense, there is only one answer to the two questions. If we knew what it would be for a given sentence to be found true then we would know what its meaning is. And if for two sentences the conditions under which we would have to take them as true are the same, then they have the same meaning. Thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. (shrink)

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...) them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations. (shrink)

The ‘Dialectical school’ denotes a group of early Hellenistic philosophers that were loosely connected by philosophizing in the — Socratic — tradition of Eubulides of Megara and by their interest in logical paradoxes, propositional logic and dialectical expertise. . Its two best known members, Diodorus Cronus and Philo the Logician, made groundbreaking contributions to the development of theories of conditionals and modal logic. Philo introduced a version of material implication; Diodorus devised a forerunner of strict implication. Each developed a system (...) of modal notions that satisfies the basic logical requirements laid down by modern standard modal theories. In antiquity, Diodorus Cronus was famous for his so called Master Argument, which aims to prove that only the actual is possible. (shrink)

It is not the aim of the present essay to defend the principle of empiricism against apriorism or anti-empiricist metaphysics. Taking empirism for granted, we wish to discuss, the question what is meaningful. The word ‘meaning’ will here be taken in its empiricist sense; an expression of language has meaning in this sense if we know how to use it in speaking about empirical facts, either actual or possible ones. Now our problem is what expressions are meaningful in this sense. (...) We may restrict this question to sentences because expressions other than sentences are meaningful if and only if they can occur in a meaningful sentence. (shrink)

Specifying and implementing dynamical systems with the situation calculus.

cuted actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowl-.

Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...) try to find out whether it is true or not. But, from the point of view of empiricism, there is a still closer connection between the two problems. In a certain sense, there is only one answer to the two questions. If we knew what it would be for a given sentence to be found true then we would know what its meaning is. And if for two sentences the conditions under which we would have to take them as true are the same, then they have the same meaning. Thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. (shrink)

In all cases, the problem concerns the proper meaning of subjunctive and counterfactual conditionals. For present purposes, a conditional sentence is one composed of at least two clauses, the central connective of which is, or is understood to be, "if... then." A subjunctive conditional is a conditional sentence in which the clause following the "if," the antecedent, may be true or false, but in which the truth or falsity of the entire sentence does not depend upon the truth or falsity (...) of its two clauses, the antecedent and consequent. A contrary-to-fact conditional, or counterfactual sentence, is a subjunctive conditional sentence which implicitly asserts that the antecedent is false. An example of the subjunctive conditional is. (shrink)