Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic . 6, 1976 Synthese Library Volume 122
Paperback. 473 pages. Dimensions: 9.2in. x 6.1in. x 1.1in.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 SVENONIUSTwo 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Bookseller Inventory # 9789400998278
About this title:
About the Author: 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.
Title: Essays on Mathematical and Philosophical ...
Book Condition: New
Book Type: Paperback
Payment Methods Accepted by Seller
We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.
BuySomeBooks is operated by Drive-On-In, Inc., a Nevada co...[More Information]
Orders usually ship within 1-2 business days. Books are shipped from multiple locations so your order may arrive from Las Vegas,NV, Roseburg,OR, La Vergne,TN, Momence,IL, or Commerce,GA.
Store Description: BuySomeBooks is great place to get your books online. With over eight million titles available we're sure to have what you're looking for. Despite having a large selection of new books available for immediate shipment and excellent customer service, people still tell us they prefer us because of our prices.