scientific article

Publication date: 19 January 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items

Projection, consistency, and George Boole, Probabilistic logic under coherence: complexity and algorithms, The multifaceted impact of Ada Lovelace in the digital age. Book review of: R. Hammerman (ed.) and A. L. Russell (ed.), Ada's legacy. Cultures of computing from the Victorian to the digital age, Nonparametric predictive inference and interval probability, Product of partition logics, orthoalgebras, and automata, Semantic forgetting in expressive description logics, Nonparametric predictive inference with right-censored data, Direct algorithms for checking consistency and making inferences from conditional probability assessments, On the diagrammatic representation of existential statements with Venn diagrams, From Boolean algebra to unified algebra, \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?, Bruno de Finetti and imprecision: imprecise probability does not exist!, Applications of cut polyhedra. II, Probabilistic modelling, inference and learning using logical theories, An algebraic synthesis of the foundations of logic and probability, Boole's conditions of possible experience and reasoning under uncertainty, A ``neoclassic probabilist: Francesco Paolo Cantelli, Kurt Weichselberger's contribution to imprecise probabilities and statistical inference, The philosophical issues raised by fuzzy set theory, On nonparametric predictive inference and objective Bayesianism, Understanding one another: making out meanings with Boolean equations, Negative probabilities and contextuality, Is the principle of contradiction a consequence of \(x^2=x\)?, The probabilistic analysis of testimony, A possible neural representation of mathematical group structures, Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing, Matrix expression of finite Boolean-type algebras, Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation, Bohrification of operator algebras and quantum logic, Aaron Schuyler: the missing link between Euler and Venn diagrams?, Argument strength in probabilistic argumentation based on defeasible rules, Eigenlogic in the spirit of George Boole, The problem of the invariance of dimension in the growth of modern topology, part I, The objective and the subjective in mid-nineteenth-century British probability theory, Comments on a numerical method for solving Boolean equations, Quantum effect logic in cognition, A catalog of Boolean concepts., Generalized fuzzy set systems and particularization, Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Toward a visual proof system: Lewis Carroll's method of trees, On the suppression of variables in Boolean equations, On the observational implications of Knightian uncertainty, Generalized random events, Probabilistic satisfiability: algorithms with the presence and absence of a phase transition, Generalizing inference rules in a coherence-based probabilistic default reasoning, From values to probabilities, Quantum mechanics over sets: a pedagogical model with non-commutative finite probability theory as its quantum probability calculus, Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics, Optimization and probabilistic satisfiability on nested and co-nested formulas, Probability boxes on totally preordered spaces for multivariate modelling, Best second order bounds for two-terminal network reliability with dependent edge failures, Soft rough approximation operators on a complete atomic Boolean lattice, Probabilities on sentences in an expressive logic, Quantum correlations and the measurement problem, Consistency checking and querying in probabilistic databases under integrity constraints, Solution of Boolean equations, On the history of the strong law of large numbers and Boole's inequality, A deterministic event tree approach to uncertainty, randomness and probability in individual chance processes, Order of state functions and logic functions, Logics of imprecise comparative probability, Generating facets for the cut polytope of a graph by triangular elimination, Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic, Compatibility, desirability, and the running intersection property, Fréchet optimal bounds on the probability of a union with supplementary information, A new view of relationship between atomic posets and complete (algebraic) lattices, Towards classifying propositional probabilistic logics, Approximations of modal logics: \(\mathbf K\) and beyond, Domains of Sciences, Universes of Discourse and Omega Arguments, The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900, Probabilization of logics: completeness and decidability, Sequential Convergences on Boolean Algebras Defined by Systems of Maximal Filters, Normal form backward induction for decision trees with coherent lower previsions, Nearly commuting projections, Equivalence of syllogisms, Merging the local and global approaches to probabilistic satisfiability, Probability logic and optimization SAT: The PSAT and CPA models, Frege's \textit{Begriffsschrift} as a lingua characteristica, Comment: ``On the history and limitations of probability updating, Brittleness of Bayesian inference under finite information in a continuous world, Non-additive probabilities in the work of Bernoulli and Lambert, On the computation of the Möbius transform, Logic diagrams, sacred geometry and neural networks, Quantum version of Aumann's approach to common knowledge: sufficient conditions of impossibility to agree on disagree, Elimination problems in logic: a brief history, Erroneous Euler and Venn diagrams, Key notions of Tarski's methodology of deductive systems, Betting on continuous independent events, Introspective forgetting, The concepts of equivalence, equality and identity, Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem, Doubts and controversies: the debate on logic and probability in Italy during the first years of the 20th century, Information algebras in the theory of imprecise probabilities, an extension, Parallel dynamical systems over graphs and related topics: a survey, A logic for inductive probabilistic reasoning, Quantum decoherence: a logical perspective, Deduction with uncertain conditionals, Simplification in a satisfiability checker for VLSI applications, Hilbert's paradox, Probabilistic satisfiability with imprecise probabilities, Unnamed Item, Remarkable Similarities: A dialogue between Boole and De Morgan, An American Postulate Theorist: Edward V. Huntington, Did Lewis Carroll own a copy of George Boole'sLaws of thought? An argument from the sale catalogues, Four ways from universal to particular: how Chomsky’s principles-and-parameters model is not selectionist, Modeling biased information seeking with second order probability distributions, Logical perspectives on the foundations of probability, Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic, Lewis Carroll’s Almost Diagrammatic Logic Notation, Is Logic Exceptional?, Ordinal sums: from triangular norms to bi- and multivariate copulas, In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming, From forgetting signature elements to forgetting formulas in epistemic states, An empirically supported approach to the treatment of imprecision in vague reasoning, Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus, On the complete description of entangled systems. I: Exploring hidden variables and context communication cost in simulating quantum correlations, Philosophy of Notation in the 19th Century. Peirce, Husserl, and All the Others on Inclusion and Assertion, PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC, Schopenhauer’s Eulerian Diagrams, Metalogic, Schopenhauer and Universal Logic, William Rowan Hamilton and George Boole, Mistakes concerning a chance encounter between Francis Galton and John Venn, ON TRUTH, UNCERTAINTY, EQUILIBRIUM AND HARMONY — A TAXONOMY FOR YINYANG SCIENTIFIC COMPUTING, Roots and (Re)sources of Value (In)definiteness Versus Contextuality, On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs, Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic, Unnamed Item, Lotze and frege: The dating of the ’Kernsätze’^∗, The development of probability logic from leibniz to maccoll, Mathematical Logic: Mathematics of Logic or Logic of Mathematics, Transhumanism and Artificial Intelligence: Philosophical Aspects, Unnamed Item, The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction, Quantitative Logic Reasoning, Frege and the resolution calculus, Facing the truth: Some advantages of direct interpretation, Unnamed Item, McColl and Minimization, UNCERTAINTY AND ESTIMATION IN RECONSTRUCTABILITY ANALYSIS, The Reception of Leibniz’s Logic in 19th Century German Philosophy, THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS, Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism, Lewis Carroll's Formal Logic, Boole's annotations on ‘the mathematical analysis of logic’, De Morgan in the Prehistory of Statistical Hypothesis Testing, Automatic derivation of probabilistic inference rules, Probability logic in the twentieth century, A graph-theoretic method to define any Boolean operation on partitions, The maximal probability that k‐wise independent bits are all 1, Geometric probability theory and Jaynes’s methodology, THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS, A Note on Learning Dependence under Severe Uncertainty, Diagrammatic Reasoning: Some Notes on Charles S. Peirce and Friedrich A. Lange, Completeness: from Gödel to Henkin, Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer, The parts and the whole: inquiring how the interaction of simple subsystems generates complexity, Lewis Carroll's visual logic, Boole's abandoned propositional logic, From Schütte’s Formal Systems to Modern Automated Deduction, A RESONANCE MODEL OF LOGIC, Logics with Probability Operators, On Quantifying Literals in Boolean Logic and its Applications to Explainable AI, Quantum Mathematics in Artificial Intelligence, FORMAL QUALITATIVE PROBABILITY