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.
No full textBoole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic and probability theory
No full textLogic with a probability semantics
No full textThe 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
B. H. Arnold. Logic and Boolean algebra. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1962, viii + 144 pp.
No full textMax Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Revised edition of XXX 401(10–13). D. C. Heath and Company, Boston1964, ix + 598 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Teacher's edition. Revised edition of XXX 401(14–17). D. C Heath and Company, Boston1964, pages irregularly numbered. (The pages of the students' edition are reproduced with their same numbers, and with most pages, added material for the teacher is inserted on extra pages.)
No full textG. C. Smith. The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York1982, vii + 156 pp.
No full textGeorge Boole. Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol. 20. Birkhäuser Verlag, Basel, Boston, and Berlin, 1997, lxiv + 236 pp. - Ivor Grattan-Guinness. Boole's quest for the foundations of his logic. Therein, pp. xiii–xlvii. - Gérard Bornet. Boole's psychologism as a reception problem. Therein, pp. xlvii–lviii.
No full text
H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 (1968), pp. 125–164.
No full text
