Skip to main content
SpringerLink
Log in

Essays on Mathematical and Philosophical Logic

Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976

  • Conference proceedings
  • © 1979

Overview

Editors:
  1. Jaakko Hintikka

    1. Academy of Finland, Finland
      Stanford University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ilkka Niiniluoto
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Esa Saarinen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 (24 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  3. Infinitary Languages

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Game-Theoretical Semantics and Back-and-Forth

      • Veikko Rantala
      Pages 119-151

    3. Infinitary Languages N∞λ and Generalized Partial Isomorphisms

      • Maaret Karttunen
      Pages 153-168

  6. Recursion Theory

    1. Front Matter

      Pages 273-273
      Download chapter PDF

    2. Recursion in 3 E and a Splitting Theorem

      • Dag Normann
      Pages 275-285
Back to top

Keywords

About this book

The Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference were held in JyvaskyIa, Finland, June 29-July 6, 1976. The Conferences were organized by a committee which consisted of the editors of the present volume. The Conferences were supported financially by the Ministry of Education of Finland, by the Academy of Finland, and by the Division of Logic, Methodology, and Philosophy of Science of the International Union of History of Science. The Philosophical Society of Finland and the Jyvaskyla Summer Festival gave valuable help in various practicalities. 35 papers by authors representing 10 countries were presented at the two meetings. Of those papers 24 appear here. THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory 3 DAG PRAWITZ / Proofs and the Meaning and Completeness of the Logical Constants 25 v. A. SMIRNOV / Theory of Quantification and tff-calculi 41 LARS SVENONIUS/Two Kinds of Extensions of Primitive Recursive Arithmetic 49 DIRK VAN DALEN and R. STATMAN / Equality in the Presence of Apartness 95 PART II / INFINITARY LANGUAGES VEIKKO RANTALA / Game-Theoretical Semantics and Back-and- Forth 119 MAARET KAR TTUNEN / Infinitary Languages N oo~.

Editors and Affiliations

  • Academy of Finland, Finland

    Jaakko Hintikka

  • Stanford University, USA

    Jaakko Hintikka

About the editors

Jaakko Hintikka is the author or co-author of thirty volumes and of some 300 scholarly articles in mathematical and philosophical logic, epistemology, language theory, philosophy of science, history of ideas and history of philosophy, including Aristotle, Descartes, Leibniz, Kant, Peirce, The Bloomsbury Group, Husserl and Wittgenstein. He has also been active in international scholarly organizations, most recently as the First Vice-President of FISP, Vice-President of IIP and Co-Chair of the American Organizing Committee of the Twentieth World Congress of Philosophy. He has been Editor-in-Chief of the International Journal Synthese and the Managing Editor of Synthese Library since 1965.

Bibliographic Information

  • Book Title: Essays on Mathematical and Philosophical Logic

  • Book Subtitle: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976

  • Editors: Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-009-9825-4

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

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

  • Hardcover ISBN: 978-90-277-0879-3Published: 31 December 1978

  • Softcover ISBN: 978-94-009-9827-8Published: 17 October 2011

  • eBook ISBN: 978-94-009-9825-4Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: VIII, 473

  • Topics: Philosophy of Science, Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation