Skip to main content
SpringerLink
Log in
Book cover

Initiatives in Logic

  • Book
  • © 1987

Overview

Editors:
  1. Jan Srzednicki

    1. The University of Melbourne, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-x
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

Reviews

` .., 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

Editors and Affiliations

  • The University of Melbourne, Australia

    Jan Srzednicki

Bibliographic Information

  • Book Title: Initiatives in Logic

  • Editors: Jan Srzednicki

  • Series Title: Reason and Argument

  • DOI: https://doi.org/10.1007/978-94-009-3673-7

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Martinus Nijhoff Publishers, Dordrecht 1987

  • Hardcover ISBN: 978-90-247-3600-3Published: 30 November 1987

  • Softcover ISBN: 978-94-010-8144-3Published: 02 October 2011

  • eBook ISBN: 978-94-009-3673-7Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: X, 261

  • Topics: Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation