Initiatives in Logic

  • Jan Srzednicki
Book

Part of the Reason and Argument book series (REAR, volume 2)

Table of contents

  1. Front Matter
    Pages i-x
    PDF
  2. Leibniz’s Calculus of Strict Implication
    Wolfgang Lenzen
    Pages 1-35
  3. Leibniz’s Modal Calculus of Concepts
    Maciej Juniewicz
    Pages 36-51
  4. The Logic of Conditions
    Ingemund Gullvåg
    Pages 52-69
  5. Philosophical Pragmatism in Poincare
    Gerhard Heinzmann
    Pages 70-80
  6. A Note on Zeno B3
    Nicholas Denyer
    Pages 81-83
  7. Generalizations and Strengthenings of Gödel’s Incompleteness Theorem
    Roman Murawski
    Pages 84-100
  8. The Logical Work of Mordchaj Wajsberg
    Stanisław J. Surma
    Pages 101-115
  9. Notes on Wajsberg’s Proof of the Separation Theorem
    M. N. Bezhanishvili
    Pages 116-127
  10. Logical Analysis of Thomism
    Edward Nieznański
    Pages 128-155
  11. On Justification of Questions
    Leon Koj
    Pages 156-179
  12. The Logic of Types
    Wojciech Buszkowski
    Pages 180-206
  13. Systems of Computer-Aided Reasoning for Mathematics and Natural Language
    Witold Marciszewski
    Pages 207-223
  14. An Application of Mizar MSE in a Course in Logic
    Anna Zalewska
    Pages 224-230
  15. The Use of Mizar MSE in a Course in Foundations of Geometry
    Lesław W. Szczerba
    Pages 231-232
  16. Back Matter
    Pages 233-261
    PDF

About this book

Keywords

English literature Gottfried Wilhelm Leibniz Polis computer concept foundation inca literature logic logical analysis mathematics pragmatism reason

Editors and affiliations

  • Jan Srzednicki
    • 1
  1. 1.The University of MelbourneAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-3673-7
  • Copyright Information Springer Science+Business Media B.V. 1987
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-8144-3
  • Online ISBN 978-94-009-3673-7
  • Buy this book on publisher's site