37 research outputs found
K. Jaakko J. Hintikka. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki1953, 71 pp. With separate sheet of Corrections.
Boole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic and probability theory
Logic with a probability semantics
The book extends the development of probability logic_a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives 'not,' 'and,' and 'or' are described in depth to include quantified formulas. Also discussed is the notion of the suppositional, and resolution of the paradox of confirmation