Skip to main content
SpringerLink
Log in
Book cover

Modern Logic — A Survey

Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications

  • Book
  • © 1981

Overview

Editors:
  1. Evandro Agazzi

    1. Dept. of Philosophy, University of Genoa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 149)

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.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 (25 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Introduction

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The General Sense and Character of Modern Logic

      • J. M. Bochenski
      Pages 3-14

    3. The Growth of Logic Out of the Foundational Research in Mathematics

      • Stanislaw J. Surma
      Pages 15-33

  3. Pure Logic

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. Proof Theory

      • Kurt Schütte
      Pages 37-43

    3. Model Theory

      • Angus Macintyre
      Pages 45-65

    4. Constructivist Approaches to Logic

      • G. Kreisel
      Pages 67-91

    5. Infinitary Logics

      • Jon Barwise
      Pages 93-112

    6. Many-Valued Logics

      • A. Rose
      Pages 113-129

    7. Modal and Relevance Logics: 1977

      • Nuel D. Belnap Jr.
      Pages 131-151

  4. The Interplay Between Logic and Mathematics

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. Logic and the Foundations of Mathematics

      • E. Casari
      Pages 155-166

    3. Logic and Set Theory

      • Gaisi Takeuti
      Pages 167-171

    4. Recursion Theory

      • Hans Hermes
      Pages 173-195

    5. The Interplay Between Logic and Mathematics: Intuitionism

      • A. S. Troelstra
      Pages 197-221

    6. Logic and Probability

      • Jens Erik Fenstad
      Pages 223-233

    7. Logic and Category Theory

      • Gonzalo E. Reyes
      Pages 235-252

  5. The Relevance of Logic to other Scientific Disciplines

    1. Front Matter

      Pages 253-253
      Download chapter PDF

    2. Logic and the Methodology of Empirical Sciences

      • Evandro Agazzi
      Pages 255-282
Back to top

Keywords

About this book

Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom­ prehension of this discipline seems nowadays unavoidable. This splitting into several subdomains is the natural consequence of the fact that Logic has intended to adopt in our century the status of a science. This always implies that the general optics, under which a certain set of problems used to be con­ sidered, breaks into a lot of specialized sectors of inquiry, each of them being characterized by the introduction of specific viewpoints and of technical tools of its own. The first impression, that often accompanies the creation of one of such specialized branches in a diSCipline, is that one has succeeded in isolating the 'scientific core' of it, by restricting the somehow vague and redundant generality of its original 'philosophical' configuration. But, after a while, it appears that some of the discarded aspects are indeed important and a new specialized domain of investigation is created to explore them. By follOwing this procedure, one finally finds himself confronted with such a variety of independent fields of research, that one wonders whether the fact of labelling them under a common denomination be nothing but the contingent effect of a pure historical tradition.

Editors and Affiliations

  • Dept. of Philosophy, University of Genoa, Italy

    Evandro Agazzi

Bibliographic Information

  • Book Title: Modern Logic — A Survey

  • Book Subtitle: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications

  • Editors: Evandro Agazzi

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-009-9056-2

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1981

  • Hardcover ISBN: 978-90-277-1137-3Published: 30 November 1980

  • Softcover ISBN: 978-94-009-9058-6Published: 12 February 2012

  • eBook ISBN: 978-94-009-9056-2Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: VIII, 483

  • Topics: Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation