Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de Jaakko Hintikka

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: Synthese Library, cartea 122

Editat de Jaakko Hintikka, I. Niiniluoto, Esa. Saarinen
en Limba Engleză Hardback – 31 dec 1978
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~.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 122562 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 17 oct 2011 122562 lei  6-8 săpt.
Hardback (1) 123209 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 dec 1978 123209 lei  6-8 săpt.

Din seria Synthese Library

  • 15% Truth in Fiction: Rethinking its Logic
    Preț: 63843 lei
  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 98998 lei
  • 15% Ultralogic as Universal?: The Sylvan Jungle - Volume 4
    Preț: 59669 lei
  • 18% Believing in Accordance with the Evidence: New Essays on Evidentialism
    Preț: 90393 lei
  • 15% Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content
    Preț: 58688 lei
  • 15% Scientific Discovery in the Social Sciences
    Preț: 69650 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 89290 lei
  • 15% Vagueness as Arbitrariness: Outline of a Theory of Vagueness
    Preț: 64334 lei
  • Philosophy of Astrophysics: Stars, Simulations, and the Struggle to Determine What is Out There
    Preț: 28233 lei
  • 5% The Behavior of Human Infants
    Preț: 37219 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 44310 lei
  • 15% A Precis of Mathematical Logic
    Preț: 63759 lei
  • 18% Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
    Preț: 95888 lei
  • 15% Belief and Probability
    Preț: 64236 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931–1963
    Preț: 123066 lei
  • 15% Unity of Science
    Preț: 64283 lei
  • 18% Mathematical Thought: An Introduction to the Philosophy of Mathematics
    Preț: 100039 lei
  • Advanced Logic for Applications
    Preț: 38970 lei
  • 15% Tense Logic
    Preț: 63728 lei
  • 18% Position and Change: A Study in Law and Logic
    Preț: 95226 lei
  • 18% Dispositions
    Preț: 123132 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 64596 lei
  • Human Action and Its Explanation: A Study on the Philosophical Foundations of Psychology
    Preț: 39585 lei
  • Semiotics in Poland 1894–1969
    Preț: 40047 lei
  • 18% Mathematical Epistemology and Psychology
    Preț: 122548 lei
  • 15% Action Theory and Social Science: Some Formal Models
    Preț: 63889 lei
  • Studies in Inductive Probability and Rational Expectation
    Preț: 38045 lei
  • Essays in Honour of Jaakko Hintikka: On the Occasion of His Fiftieth Birthday on January 12, 1979
    Preț: 39487 lei
  • 15% Quantum Logic
    Preț: 64037 lei
  • 15% Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
    Preț: 63908 lei
  • Dismantling the Memory Machine: A Philosophical Investigation of Machine Theories of Memory
    Preț: 38198 lei
  • 15% Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals
    Preț: 64300 lei
  • 15% Hans Reichenbach: Logical Empiricist
    Preț: 67229 lei

Preț: 123209 lei

Preț vechi: 150255 lei
-18% Nou

Puncte Express: 1848
Preț estimativ în valută:
23581€ • 24523$ • 19733£

Carte tipărită la comandă

Livrare economică 15-29 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789027708793
ISBN-10: 9027708797
Pagini: 486
Ilustrații: VIII, 473 p.
Dimensiuni: 210 x 297 x 32 mm
Greutate: 0.86 kg
Ediția:1979
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

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

Notă biografică

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.