Studies in Logic and Probability


Book Description

Authoritative account of the development of Boole's ideas in logic and probability theory ranges from The Mathematical Analysis of Logic to the end of his career. The Laws of Thought formed the most systematic statement of Boole's theories; this volume contains incomplete studies intended for a follow-up volume. 1952 edition.




Boole's Logic and Probability


Book Description

Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by the several conferences on the history of logic, by a journal devoted to the subject, and by an accumulation of new results. This increased activity and the new results - the chief one being that Boole's work in probability is best viewed as a probability logic - were influential circumstances conducive to a new edition.Chapter 1, presenting Boole's ideas on a mathematical treatment of logic, from their emergence in his early 1847 work on through to his immediate successors, has been considerably enlarged. Chapter 2 includes additional discussion of the ``uninterpretable'' notion, both semantically and syntactically. Chapter 3 now includes a revival of Boole's abandoned propositional logic and, also, a discussion of his hitherto unnoticed brush with ancient formal logic. Chapter 5 has an improved explanation of why Boole's probability method works. Chapter 6, Applications and Probability Logic, is a new addition. Changes from the first edition have brought about a three-fold increase in the bibliography.




Boolean Algebra and Its Applications


Book Description

Introductory treatment begins with set theory and fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching circuits, relay circuits, binary arithmetic, and probability theory. 1961 edition.




Philosophical Lectures on Probability


Book Description

Bruno de Finetti (1906–1985) is the founder of the subjective interpretation of probability, together with the British philosopher Frank Plumpton Ramsey. His related notion of “exchangeability” revolutionized the statistical methodology. This book (based on a course held in 1979) explains in a language accessible also to non-mathematicians the fundamental tenets and implications of subjectivism, according to which the probability of any well specified fact F refers to the degree of belief actually held by someone, on the ground of her whole knowledge, on the truth of the assertion that F obtains.




Probability Theory


Book Description

Probability theory




Algebra of Probable Inference


Book Description

In Algebra of Probable Inference, Richard T. Cox develops and demonstrates that probability theory is the only theory of inductive inference that abides by logical consistency. Cox does so through a functional derivation of probability theory as the unique extension of Boolean Algebra thereby establishing, for the first time, the legitimacy of probability theory as formalized by Laplace in the 18th century. Perhaps the most significant consequence of Cox's work is that probability represents a subjective degree of plausible belief relative to a particular system but is a theory that applies universally and objectively across any system making inferences based on an incomplete state of knowledge. Cox goes well beyond this amazing conceptual advancement, however, and begins to formulate a theory of logical questions through his consideration of systems of assertions—a theory that he more fully developed some years later. Although Cox's contributions to probability are acknowledged and have recently gained worldwide recognition, the significance of his work regarding logical questions is virtually unknown. The contributions of Richard Cox to logic and inductive reasoning may eventually be seen to be the most significant since Aristotle.




Theories of Probability


Book Description

Standard probability theory has been an enormously successful contribution to modern science. However, from many perspectives it is too narrow as a general theory of uncertainty, particularly for issues involving subjective uncertainty. This first-of-its-kind book is primarily based on qualitative approaches to probabilistic-like uncertainty, and includes qualitative theories for the standard theory as well as several of its generalizations.One of these generalizations produces a belief function composed of two functions: a probability function that measures the probabilistic strength of an uncertain event, and another function that measures the amount of ambiguity or vagueness of the event. Another unique approach of the book is to change the event space from a boolean algebra, which is closely linked to classical propositional logic, to a different event algebra that is closely linked to a well-studied generalization of classical propositional logic known as intuitionistic logic. Together, these new qualitative theories succeed where the standard probability theory fails by accounting for a number of puzzling empirical findings in the psychology of human probability judgments and decision making.




Decision Making and Modelling in Cognitive Science


Book Description

This book discusses the paradigm of quantum ontology as an appropriate model for measuring cognitive processes. It clearly shows the inadequacy of the application of classical probability theory in modelling the human cognitive domain. The chapters investigate the context dependence and neuronal basis of cognition in a coherent manner. According to this framework, epistemological issues related to decision making and state of mind are seen to be similar to issues related to equanimity and neutral mind, as discussed in Buddhist perspective. The author states that quantum ontology as a modelling tool will help scientists create new methodologies of modelling in other streams of science as well.




Analysis of Boolean Functions


Book Description

This graduate-level text gives a thorough overview of the analysis of Boolean functions, beginning with the most basic definitions and proceeding to advanced topics.




Lectures on Boolean Algebras


Book Description

This presentation on the basics of Boolean algebra has ranked among the fundamental books on this important subject in mathematics and computing science since its initial publication in 1963. Concise and informal as well as systematic, the text draws upon lectures delivered by Professor Halmos at the University of Chicago to cover many topics in brief individual chapters. The approach is suitable for advanced undergraduates and graduate students in mathematics. Starting with Boolean rings and algebras, the treatment examines fields of sets, regular open sets, elementary relations, infinite operations, subalgebras, homomorphisms, free algebras, ideals and filters, and the homomorphism theorem. Additional topics include measure algebras, Boolean spaces, the representation theorem, duality for ideals and for homomorphisms, Boolean measure spaces, isomorphisms of factors, projective and injective algebras, and many other subjects. Several chapters conclude with stimulating exercises; the solutions are not included.