|
" Initiatives in Logic "
edited by Jan Srzednicki.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
736617
|
| Doc. No
|
:
|
b556482
|
| Main Entry
|
:
|
edited by Jan Srzednicki.
|
| Title & Author
|
:
|
Initiatives in Logic\ edited by Jan Srzednicki.
|
| Publication Statement
|
:
|
Dordrecht: Springer Netherlands, 1987
|
| Series Statement
|
:
|
Reason and argument, 2.
|
| Page. NO
|
:
|
(272 pages)
|
| ISBN
|
:
|
9400936737
|
|
|
:
|
: 9789400936737
|
| 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 Goedel'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.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
Philosophy (General)
|
| LC Classification
|
:
|
BC135.E358 1987
|
| Added Entry
|
:
|
Jan Srzednicki
|
| |