Jaakko Hintikka

I. Niiniluoto

Esa. Saarinen

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

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

Essays on Mathematical and Philosophical Logic

S. Peters

SECTION I In 1972, Donald Davison and Gilbert Hannan wrote in the introduction to the volume Semantics of Natural Language: "The success of linguistics in treating natural languages as formal ~yntactic systems has aroused the interest of a number of linguists in a parallel or related development of semantics. For the most part quite independently, many philosophers and logicians have recently been applying formal semantic methods to structures increasingly like natural languages. While differences in training, method and vocabulary tend to veil the fact, philosophers and linguists are converging, it seems, on a common set of interrelated problems. " Davidson and Harman called for an interdisciplinary dialogue of linguists, philosophers and logicians on the semantics of natural language, and during the last ten years such an enterprise has proved extremely fruitful. Thanks to the cooperative effort in these several fields, the last decade has brought about striking progress in our understanding of the semantics of natural language. This work on semantics has typically paid little attention to psychological aspects of meaning. Thus, psychologists or computer scientists working on artificial intelligence were not invited to join the forces in the influential introduction of Semantics of Natural Language. No doubt it was felt that while psychological aspects of language are important in their own right, they are not relevant to our immediate semantic concerns. In the last few years, several linguists and logicians have come to question the fundamental anti-psychological assumptions underlying their theorizing.

Esa. Saarinen

About

Books

Join the club