APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

Continuing his exploration of the organization of complexity and the science of design, this new edition of Herbert Simon's classic work on artificial ...

It is my view that one essential difference between persons and other creatures is to be found in the structure of a person's will. Besides wanting and choosing and being moved to do this or that, men may also want to have certain desires and motives. They are capable of wanting to be different, in their preferences and purposes, from what they are. Many animals appear to have the capacity for what I shall call "first-order desires" or "desires of the (...) first order," which are simply desires to do or not to do one thing or another. No animal other than man, however, appears to have the capacity for reflective self-evaluation that is manifested in the formation of second-order desires. (shrink)

Wesley Salmon is renowned for his seminal contributions to the philosophy of science. He has powerfully and permanently shaped discussion of such issues as lawlike and probabilistic explanation and the interrelation of explanatory notions to causal notions. This unique volume brings together twenty-six of his essays on subjects related to causality and explanation, written over the period 1971-1995. Six of the essays have never been published before and many others have only appeared in obscure venues. The volume includes a section (...) of accessible introductory pieces, as well as more advanced and technical pieces, and will make essential work in the philosophy of science readily available to both scholars and students. (shrink)

At the end of a thoughtful article on the future of nuclear war, Wiesner and York concluded that: "Both sides in the arms race are... confronted by the dilemma of steadily increasing military power and steadily decreasing national security. It is our considered professional judgment that this dilemma has no technical solution. If the great powers continue to look for solutions in the area of science and technology only, the result will be to worsen the situation.".

Kenneth F. Schaffner compares the practice of biological and medical research and shows how traditional topics in philosophy of science—such as the nature of theories and of explanation—can illuminate the life sciences. While Schaffner pays some attention to the conceptual questions of evolutionary biology, his chief focus is on the examples that immunology, human genetics, neuroscience, and internal medicine provide for examinations of the way scientists develop, examine, test, and apply theories. Although traditional philosophy of science has regarded scientific discovery—the (...) questions of creativity in science—as a subject for psychological rather than philosophical study, Schaffner argues that recent work in cognitive science and artificial intelligence enables researchers to rationally analyze the nature of discovery. As a philosopher of science who holds an M.D., he has examined biomedical work from the inside and uses detailed examples from the entire range of the life sciences to support the semantic approach to scientific theories, addressing whether there are "laws" in the life sciences as there are in the physical sciences. Schaffner's novel use of philosophical tools to deal with scientific research in all of its complexity provides a distinctive angle on basic questions of scientific evaluation and explanation. (shrink)

The pragmatic character of the Dutch book argument makes it unsuitable as an "epistemic" justification for the fundamental probabilist dogma that rational partial beliefs must conform to the axioms of probability. To secure an appropriately epistemic justification for this conclusion, one must explain what it means for a system of partial beliefs to accurately represent the state of the world, and then show that partial beliefs that violate the laws of probability are invariably less accurate than they could be otherwise. (...) The first task can be accomplished once we realize that the accuracy of systems of partial beliefs can be measured on a gradational scale that satisfies a small set of formal constraints, each of which has a sound epistemic motivation. When accuracy is measured in this way it can be shown that any system of degrees of belief that violates the axioms of probability can be replaced by an alternative system that obeys the axioms and yet is more accurate in every possible world. Since epistemically rational agents must strive to hold accurate beliefs, this establishes conformity with the axioms of probability as a norm of epistemic rationality whatever its prudential merits or defects might be. (shrink)

First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

Introductory survey -- Atomic theory and mechanics -- The quantum postulate and the recent development of atomic theory -- The quantum of action and the description of nature -- The atomic theory and the fundamental principles underlying the description of nature.

In this book, Michael Arbib, a researcher in artificial intelligence and brain theory, joins forces with Mary Hesse, a philosopher of science, to present an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. The book is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983. The authors reconcile a theory of the individual's construction of reality as a network of (...) schemas 'in the head' with an account of the social construction of language, science, ideology and religion to provide an integrated schema-theoretic view of human knowledge. The authors still find scope for lively debate, particularly in their discussion of free will and of the reality of God. The book integrates an accessible exposition of background information with a cumulative marshalling of evidence to address fundamental questions concerning human action in the world and the nature of ultimate reality. (shrink)

Presents a mathematically rigorous, philosophically sound foundation for a science of information.

This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...) graduates, but also of interest to professional philosophers. There are well-thought-out exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tie-ins with current research, and will have some indications concerning recent and relevant literature. (shrink)

This book introduces a new approach to the issue of radical scientific revolutions, or "paradigm-shifts," given prominence in the work of Thomas Kuhn. The book articulates a dynamical and historicized version of the conception of scientific a priori principles first developed by the philosopher Immanuel Kant. This approach defends the Enlightenment ideal of scientific objectivity and universality while simultaneously doing justice to the revolutionary changes within the sciences that have since undermined Kant's original defense of this ideal. Through a modified (...) Kantian approach to epistemology and philosophy of science, this book opposes both Quinean naturalistic holism and the post-Kuhnian conceptual relativism that has dominated recent literature in science studies. Focussing on the development of "scientific philosophy" from Kant to Rudolf Carnap, along with the parallel developments taking place in the sciences during the same period, the author articulates a new dynamical conception of relativized a priori principles. This idea applied within the physical sciences aims to show that rational intersubjective consensus is intricately preserved across radical scientific revolutions or "paradigm-shifts and how this is achieved. (shrink)

If we are eventually to understand the capability of higher organisms for perceptual recognition, generalization, recall, and thinking, we must first have answers to three fundamental questions: 1. How is information about the physical world sensed, or detected, by the biological system? 2. In what form is information stored, or remembered? 3. How does information contained in storage, or in memory, influence recognition and behavior? The first of these questions is in the.

This essay explains what the Causal Markov Condition says and defends the condition from the many criticisms that have been launched against it. Although we are skeptical about some of the applications of the Causal Markov Condition, we argue that it is implicit in the view that causes can be used to manipulate their effects and that it cannot be surrendered without surrendering this view of causation.

There is a social or collective sense of ‘knowledge’, as used, for example, in the phrase ‘the growth of scientific knowledge’. In this paper I show that social knowledge does not supervene on facts about what individuals know, nor even what they believe or intend, or any combination of these or other mental states. Instead I develop the idea that social knowing is an analogue to individual knowing, where the analogy focuses on the functional role of social and individual knowing.

Utilisant les concepts psychanalytiques, l'auteur montre comment, dans la science, le language constitue le véhicule privilégié de l'anthropomorphisme et comment les projections affectives constituent autant d'obstacles épistémiologiques à son développement.

Several different approaches to the conceptual analysis of causation are guided by the idea that a cause is something that makes a difference to its effects. These approaches seek to elucidate the concept of causation by explicating the concept of a difference-maker in terms of better-understood concepts. There is no better example of such an approach than David Lewis’ analysis of causation, in which he seeks to explain the concept of a difference-maker in counterfactual terms. Lewis introduced his counterfactual theory (...) of causation with these words: 'We think of a cause as something that makes a difference, and the difference it makes must be a difference from what would have happened without it. Had it been absent, its effects—some of them, at least, and usually all—would have been absent as well.' (Lewis 1973b: pp. 160-1) According to Lewis, a cause c makes a difference to an effect e in the sense that if the cause c had not occurred, the effect e would not have occurred either. All we shall see in section 2, Lewis’ theory says there is more to the concept of causation than this counterfactual condition. Lewis is on the right track, I think, in saying that we think of a cause as something that makes a difference and that this thought is best explicated in terms of counterfactual concepts. However, I shall argue that the particular way in which Lewis spells out the concept of a cause as difference-maker is unsatisfactory. For Lewis’ articulation of this concept is distorted by a specific metaphysical assumption: specifically, that causation is an absolute relation, specifiable independently of any contextual factors. The distortion induced by this assumption is reflected in the undiscriminating manner in which his theory generates countless causes for any given effect. However, commonsense judgement is much more discriminating about causes than Lewis’ theory. Accordingly, I claim that Lewis' analysis faces the problem of profligate causes and I outline some specific problem cases in section 3.. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

A consensus exists among contemporary philosophers of biology about the history of their field. According to the received view, mainstream philosophy of science in the 1930s, 40s, and 50s focused on physics and general epistemology, neglecting analyses of the 'special sciences', including biology. The subdiscipline of philosophy of biology emerged (and could only have emerged) after the decline of logical positivism in the 1960s and 70s. In this article, I present bibliometric data from four major philosophy of science journals (Erkenntnis, (...) Philosophy of Science, Synthese, and the British Journal for the Philosophy of Science), covering 1930-59, which challenge this view. (shrink)

The symmetrization postulates of quantum mechanics (symmetry for bosons, antisymmetry for fermions) are usually taken to entail that quantum particles of the same kind (e.g., electrons) are all in exactly the same state and therefore indistinguishable in the strongest possible sense. These symmetrization postulates possess a general validity that survives the classical limit, and the conclusion seems therefore unavoidable that even classical particles of the same kind must all be in the same state—in clear conflict with what we know about (...) classical particles. In this article we analyze the origin of this paradox. We shall argue that in the classical limit classical particles emerge, as new entities that do not correspond to the “particle indices” defined in quantum mechanics. Put differently, we show that the quantum mechanical symmetrization postulates do not pertain to particles, as we know them from classical physics, but rather to indices that have a merely formal significance. This conclusion raises the question of whether many discussions in the literature about the status of identical quantum particles have not been misguided. (shrink)

This essay examines the role of social interactions in the search for blood stem cells, in a recent episode of biomedical research. Linked to mid-20th century cell biology, genetics and radiation research, the search for blood stem cells coalesced in the 1960s and took a developmental turn in the late 1980s, with significant ramifications for immunology, stem cell and cancer biology. Like much contemporary biomedical research, this line of inquiry exhibits a complex social structure and includes several prominent scientific successes, (...) recognized as such by participating researchers. I use personal interviews and the published record to trace the social interactions crucial for scientific success in this episode. All recognized successes in this episode have two aspects: improved models of blood cell development, and new interfaces with other lines of research. The narrative of the search for blood stem cells thus yields a robust account of scientific success in practice, which generalizes to other scientific episodes and lends itself to expansion to include wider social contexts. (shrink)

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that IL (...) can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.

Stem cell biology and systems biology are two prominent new approaches to studying cell development. In stem cell biology, the predominant method is experimental manipulation of concrete cells and tissues. Systems biology, in contrast, emphasizes mathematical modeling of cellular systems. For scientists and philosophers interested in development, an important question arises: how should the two approaches relate? This essay proposes an answer, using the model of Waddington’s landscape to triangulate between stem cell and systems approaches. This simple abstract model represents (...) development as an undulating surface of hills and valleys. Originally constructed by C. H. Waddington to visually explicate an integrated theory of genetics, development and evolution, the landscape model can play an updated unificatory role. I examine this model’s structure, representational assumptions, and uses in all three contexts, and argue that explanations of cell development require both mathematical models and concrete experiments. On this view, the two approaches are interdependent, with mathematical models playing a crucial but circumscribed role in explanations of cell development. (shrink)

Tracking theories of knowledge are widely known to have the consequence that knowledge is not closed. Recent arguments by Vogel and Hawthorne claim both that there are no legitimate examples of knowledge without closure and that the costs of theories that deny closure are too great. This paper considers the tracking theories of Dretske and Nozick and the arguments by Vogel and Hawthorne. We reject the arguments of Vogel and Hawthorne and evaluate the costs of closure denial for tracking theories (...) of knowledge. (shrink)

The normal and the pathological are terms used for structures, activities, individual or collective situations proper to living beings and especially to man. The relation of a fact and a norm is its positive or negative value. Can the assessment of behaviours be reduced to noting a necessity? Is a living being's disease a fact similar to universal attraction? The author maintains that diseases are not merely predetermined effects, but are revealing of a normative regulation proper to living beings and (...) man. (shrink)

According to “disjunctivist neo-Mooreanism”—a position Duncan Pritchard develops in a recent book—it is possible to know the denials of radical sceptical hypotheses, even though it is conversationally inappropriate to claim such knowledge. In a recent paper, on the other hand, Pritchard expounds an “überhinge” strategy, according to which one cannot know the denials of sceptical hypotheses, as “hinge propositions” are necessarily groundless. The present article argues that neither strategy is entirely successful. For if a proposition can be known, it can (...) also be claimed to be known. If the latter is not possible, this is not because certain propositions are either “intrinsically” conversationally inappropriate or else “rationally groundless”, but rather that we are dealing with something that merely presents us with the appearance of being an epistemic claim. (shrink)

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no". Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical theories, with (...) an empirical-experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operationalrealistic tradition of Jauch and Piron, i. e. as an investigation of "the logic of yes-no experiments" (or "questions"). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the "non-classicality" of quantum behavior than any perspective based on static Propositional Logic. (shrink)

The article investigates the sceptical challenge from an informationtheoretic perspective. Its main goal is to articulate and defend the view that either informational scepticism is radical, but then it is epistemologically innocuous because redundant; or it is moderate, but then epistemologically beneficial because useful. In order to pursue this cooptation strategy, the article is divided into seven sections. Section 1 sets up the problem. Section 2 introduces Borei numbers as a convenient way to refer uniformly to (the data that individuate) (...) different possible worlds. Section 3 adopts the Hamming distance between Borei numbers as a metric to calculate the distance between possible worlds. In Sects. 4 and 5, radical and moderate informational scepticism are analysed using Borei numbers and Hamming distances, and shown to be either harmless (extreme form) or actually fruitful (moderate form). Section 6 further clarifies the approach by replying to some potential objections. In the conclusion, the Peircean nature of the overall approach is briefly discussed. (shrink)

In a series of recent articles, Duncan Pritchard argues for a ‘neo-Moorean’ interpretation of John McDowell’s anti-sceptical strategy. Pritchard introduces a distinction between ‘favouring’ and ‘discriminating’ epistemic grounds in order to show that within the radical sceptical context an absence of ‘discriminating’ epistemic grounds allowing one to distinguish brain-in-a-vat from non-brain-in-a-vat scenarios does not preclude possessing knowledge of the denials of sceptical hypotheses. I argue that Pritchard’s reading is mistaken for three reasons. First, the distinction between ‘favouring’ and ‘discriminating’ epistemic (...) grounds only works for ‘mules-disguised-as zebras’ examples, but breaks down in the radical sceptical case. Second, McDowellian disjunctivism neutralizes the radical sceptical threat, but does not refute it. Third, any attempt to refute scepticism is confronted by the following dilemma: either one accepts the ‘highest common factor’ conception of perceptual experience thus rendering radical scepticism in principle irrefutable, or one discards it in favour of the disjunctive conception, but then there is no radical sceptical scenario left to refute. So, whichever horn of this dilemma Pritchard grasps, refutation is either impossible or superfluous. (shrink)

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical (...) first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter. (shrink)

The advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy. The enigmatic style that is common in philosophical logic must give way to explicit discussions of the problematic relationship between formal models and the philosophical concepts and issues that motivated their development.

Most of us think we can always enlarge our knowledge base by accepting things that are entailed by (or logically implied by) things we know. The set of things we know is closed under entailment (or under deduction or logical implication), which means that we know that a given claim is true upon recognizing, and accepting thereby, that it follows from what we know. However, some theorists deny that knowledge is closed under entailment, and the issue remains controversial. The arguments (...) against closure include the following. (shrink)