Initiatives in Logic

.., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations.' Studia Logica 12 (1) 1990

List of contents

Leibniz's Calculus of Strict Implication.- Leibniz's Modal Calculus of Concepts.- The Logic of Conditions.- Philosophical Pragmatism in Poincare.- A Note on Zeno B3.- Generalizations and Strengthenings of Gödel's Incompleteness Theorem.- The Logical Work of Mordchaj Wajsberg.- Notes on Wajsberg's Proof of the Separation Theorem.- Logical Analysis of Thomism The Polish Programme that originated in 1930's.- On Justification of Questions.- The Logic of Types.- Systems of Computer-Aided Reasoning for Mathematics and Natural Language.- Two Reports on Educational Applications of MIZAR MSE, a System of Computer-Aided Reasoning The application of MIZAR MSE in a course in logic.- The use of MIZAR MSE in a course in foundations of geometry.- Literature.- Index of Names.

Report

` .., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. '
Studia Logica 12 (1) 1990

Product details

• Assisted by: J. T. Srzednicki (Editor), J.T. Srzednicki (Editor), Jan J. T. Srzednicki (Editor)
• Publisher: Springer Netherlands
• Languages: English
• Product format: Hardback
• Released: 29.06.2009
• EAN: 9789024736003
• ISBN: 978-90-247-3600-3
• No. of pages: 261
• Weight: 567 g
• Illustrations: X, 261 p.
• Series: Reason and Argument; Reason and Argument
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works