Synthese Library

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

Editors: Hintikka, Jaakko, Niiniluoto, I., Saarinen, Esa (Eds.)

Free Preview

Buy this book

eBook $139.00
price for USA in USD (gross)
  • ISBN 978-94-009-9825-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $279.99
price for USA in USD
  • ISBN 978-90-277-0879-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $179.99
price for USA in USD
  • ISBN 978-94-009-9827-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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~.

About the authors

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.

Table of contents (24 chapters)

Table of contents (24 chapters)

Buy this book

eBook $139.00
price for USA in USD (gross)
  • ISBN 978-94-009-9825-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $279.99
price for USA in USD
  • ISBN 978-90-277-0879-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $179.99
price for USA in USD
  • ISBN 978-94-009-9827-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
  • I. Niiniluoto
  • Esa Saarinen
Series Title
Synthese Library
Series Volume
122
Copyright
1979
Publisher
Springer Netherlands
Copyright Holder
D. Reidel Publishing Company, Dordrecht, Holland
eBook ISBN
978-94-009-9825-4
DOI
10.1007/978-94-009-9825-4
Hardcover ISBN
978-90-277-0879-3
Softcover ISBN
978-94-009-9827-8
Edition Number
1
Number of Pages
VIII, 473
Topics