Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
From MaRDI portal
Publication:1235692
zbMath0352.02002MaRDI QIDQ1235692
Publication date: 1976
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Axioms; other general questions in probability (60A05)
Related Items
Projection, consistency, and George Boole ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ The probabilistic analysis of testimony ⋮ Applications of product space algebra of conditional events and one-point random set representations of fuzzy sets to the development of conditional fuzzy sets ⋮ Eigenlogic in the spirit of George Boole ⋮ Inference in Nineteenth-Century British Logic ⋮ Symbolism in Boole: Its Inability to be Interpreted ⋮ Aleatoric propositions: reasoning about coins ⋮ Foundations for an algebraic theory of conditioning ⋮ The development of probability logic from leibniz to maccoll ⋮ An anytime deduction algorithm for the probabilistic logic and entailment problems ⋮ Numbers as moments of multisets: a new-old formulation of arithmetic ⋮ Automatic derivation of probabilistic inference rules ⋮ Probability logic in the twentieth century ⋮ Probabilistic sentence satisfiability: an approach to PSAT ⋮ Non-additive probabilities in the work of Bernoulli and Lambert ⋮ Concept of multiset in cybernetics ⋮ Categoricity ⋮ Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer ⋮ Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem ⋮ New methods for computing inferences in first order logic ⋮ Probabilistic satisfiability and coherence checking through integer programming
