Skip to main content
SpringerLink
Log in
Book cover

Foundations of Logic and Linguistics

Problems and Their Solutions

  • Book
  • © 1985

Overview

Editors:
  1. Georg Dorn

    1. Institut für Philosophie, Universität Salzburg, Salzburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paul Weingartner

    1. Institut für Philosophie, Universität Salzburg, Salzburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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 219.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 (28 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Foundations of Logic: Mathematical Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Consequence Relations of 2-element Algebras

      • Wolfgang Rautenberg
      Pages 3-22

    3. On a Form of Equational Interpolation Property

      • Andrzej Wroński
      Pages 23-29

    4. Structural Completeness of Purely Implicational Intermediate Logics

      • Tadeusz Prucnal
      Pages 31-41

    5. Proof-theoretic Validity and the Completeness of Intuitionistic Logic

      • Peter Schroeder-Heister
      Pages 43-87

    6. Gentzen-type or Beth-type Systems, Constructive Completeness Proofs and Practical Decision Procedures (with Special Attention to Relevance Logic)

      • H. C. M. de Swart
      Pages 89-122

    7. Sequential Calculi for Symmetric Dynamic Logic

      • Regimantas Pliuškevičius
      Pages 123-151

    8. Semantic Games on Finite Trees

      • Jari Talja
      Pages 153-180

    9. To the Decision Problem for Branching Time Logic

      • Yuri Gurevich, Saharon Shelah
      Pages 181-198

    10. Reductions of Theories for Analysis

      • Wilfried Sieg
      Pages 199-231

    11. The Incompleteness Theorems and Related Results for Nonconstructive Theories

      • Vladimir I. Stepanov
      Pages 233-243

    12. A Typed λ-calculus and Girard’s Model of Ptykes

      • Peter Päppinghaus
      Pages 245-279

    13. Wellordering Theorems in Topology

      • Norbert Brunner
      Pages 281-289

  3. Foundations of Logic: Philosophical Logic

    1. Front Matter

      Pages 291-291
      Download chapter PDF

    2. Mathematical Logic and Continental Philosophers

      • Josef M. Bocheǹski
      Pages 293-301

    3. The Non-existence of Probabilistic Inductive Support

      • Karl R. Popper
      Pages 303-318

    4. Unary Probabilistic Semantics

      • Hugues Leblanc
      Pages 319-344

    5. Epistemic Importance and the Logic of Theory Change

      • Peter Gärdenfors
      Pages 345-367

    6. Leśniewski’s Logic and its Relation to Classical and Free Logics

      • Peter M. Simons
      Pages 369-400
Back to top

Keywords

About this book

This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2. model theory and its applica ti on 3. recursion theory and theory of computation 4. axiomatic set theory 5. philosophical logic 6. general methodology of science 7. foundations of probability and induction 8. foundations and philosophy of the physical sciences 9. foundati ons and phi 1 osophy of biology 10. foundations and philosophy of psychology foundations and philosophy 11. of the social sciences 12. foundati ons and philosophy of linguistics 13. history of logic, methodology and philosophy of science 14. fundamental principles of the ethics of science In each section, three or four invited addresses were given, which will be published in the Congress Proceedings (Ruth Barcan Marcus, Georg J. W. Dorn and Paul Weingartner, eds. : Logic, Metho­ dology and Philosophy of Science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of v PREFACE Science, Salzburg, 1983. - Amsterdam, New York, Oxford: North-Holland Publishing 'Company, 1985. ) Every section with the exception of section 14 also contained contributed papers.

Editors and Affiliations

  • Institut für Philosophie, Universität Salzburg, Salzburg, Austria

    Georg Dorn, Paul Weingartner

Bibliographic Information

  • Book Title: Foundations of Logic and Linguistics

  • Book Subtitle: Problems and Their Solutions

  • Editors: Georg Dorn, Paul Weingartner

  • DOI: https://doi.org/10.1007/978-1-4899-0548-2

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1985

  • Hardcover ISBN: 978-0-306-41916-4Published: 30 April 1985

  • Softcover ISBN: 978-1-4899-0550-5Published: 20 June 2013

  • eBook ISBN: 978-1-4899-0548-2Published: 21 November 2013

  • Edition Number: 1

  • Number of Pages: XI, 715

  • Topics: Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation