Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Essays on Mathematical and Philosophical Logic als Buch
- 12 % **

Essays on Mathematical and Philosophical Logic

Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference,…
Buch (gebunden)
Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976.
Jetzt

220,49*

inkl. MwSt.
Bisher: € 252,49
Portofrei
Lieferbar innerhalb von zwei bis drei Werktagen
Essays on Mathematical and Philosophical Logic als Buch

Produktdetails

Titel: Essays on Mathematical and Philosophical Logic

ISBN: 9027708797
EAN: 9789027708793
Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976.
'Synthese Library'.
Auflage 1979.
Book.
Sprache: Englisch.
Herausgegeben von Jaakko Hintikka, I. Niiniluoto, Esa. Saarinen
Springer Netherlands

31. Dezember 1978 - gebunden - 486 Seiten

Beschreibung

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

Inhaltsverzeichnis

I Proof Theory.- Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory.- Proofs and the Meaning and Completeness of the Logical Constants.- Theory of Quantification and 0/00-calculi.- Two Kinds of Extensions of Primitive Recursive Arithmetic.- Equality in the Presence of Apartness.- II Infinitary Languages.- Game-Theoretical Semantics and Back-and-Forth.- Infinitary Languages N?? and Generalized Partial Isomorphisms.- III Set Theory and Model Theory.- Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets.- Hierarchies of Model Theoretic Definability - An Approach to Second Order Logics.- Open Problems in the Theory of Ultrafilters.- IV Generalized Quantifiers.- The Reals Cannot Be Characterized Topologically with Strictly Local Properties and Countability Axioms.- On the Expressive Power of the Language Using the Henkin Quantifier.- Remarks on Free Quantifier Variables.- V Recursion Theory.- Recursion in 3E and a Splitting Theorem.- Retracts of Post's Numbering and Effectivization of Quantifiers.- VI Logic and Natural Language.- Quantifiers in Natural Languages: Some Logical Problems, I.- Models for Natural Languages.- Backwards-Looking Operators in Tense Logic and in Natural Language.- VII Philosophical Logic.- Paradoxes in a Semantic Perspective.- Hintikka's Possible Worlds and Rigid Designators.- On the Content Analysis of Two Normative Notions.- Singular Terms, Existence and Truth: Some Remarks on a First Order Logic of Existence.- VIII Truthlikeness.- On Distance From the Truth as a True Distance.- Truthlikeness in First-Order Languages.- Index of Names.

Portrait

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.


Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.