Advertisement

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

  • Jaakko Hintikka
  • Ilkka Niiniluoto
  • Esa Saarinen

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Proof Theory

  3. Infinitary Languages

    1. Front Matter
      Pages 117-117
    2. Veikko Rantala
      Pages 119-151
  4. Set Theory and Model Theory

  5. Generalized Quantifiers

  6. Recursion Theory

    1. Front Matter
      Pages 273-273
    2. Dag Normann
      Pages 275-285
  7. Logic and Natural Language

    1. Front Matter
      Pages 293-293
    2. Jens Erik Fenstad
      Pages 315-340
  8. Philosophical Logic

  9. Truthlikeness

    1. Front Matter
      Pages 413-413
    2. Ilkka Niiniluoto
      Pages 437-458
  10. Back Matter
    Pages 459-473

About this book

Introduction

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~.

Keywords

logic philosophical logic philosophy of science semantics

Editors and affiliations

  • Jaakko Hintikka
    • 1
    • 2
  • Ilkka Niiniluoto
  • Esa Saarinen
  1. 1.Academy of FinlandFinland
  2. 2.Stanford UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-9825-4
  • Copyright Information Springer Science+Business Media B.V. 1979
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-009-9827-8
  • Online ISBN 978-94-009-9825-4
  • Buy this book on publisher's site