A Model–Theoretic Approach to Proof Theory, Henryk Kotlarski; Zofia Adamowicz; Teresa Bigorajs
Автор: Thomas Piecha; Peter Schroeder-Heister Название: Advances in Proof-Theoretic Semantics ISBN: 3319367811 ISBN-13(EAN): 9783319367811 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister.- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artлmov.- Chapter 3. Two Ways of General Proof Theory; Kosta Dosen.- Chapter 4. Generalised elimination rules; Roy Dyckhoff.- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnдs.- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges.- Chapter 7. The mode of presentation; Reinhard Kahle.- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz.- Chapter 9. Unification of logics by reflection; Giovanni Sambin.- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Gцran Sundholm.- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait.- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti.- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato.- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing.- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa.- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.
Автор: E.B. Ruttkamp Название: A Model-Theoretic Realist Interpretation of Science ISBN: 9048160669 ISBN-13(EAN): 9789048160662 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text can be read by specialists working in philosophy of science or formal semantics, by logicians working on the structure of theories, and by students in philosophy of science - this text offers a thorough introduction to non-statement accounts of sciences as well as a discussion of the traditional statement account of science.
Автор: Hans van Ditmarsch; Gabriel Sandu Название: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics ISBN: 3319874144 ISBN-13(EAN): 9783319874142 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory.This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of Hintikka’s career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters.The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.
This volume probes into themes and arguments developed over seven decades by Hilary Putnam's multidimensional way of analytic thinking. Putnam composed a number of substantive papers and an interview specifically for this book, which reveal directions, connections and ruptures within his extensive philosophical achievements. The contributors, among them longstanding interlocutors of Putnam, are critically directed to Putnamian topics across areas that range from epistemology, metaphysics and the philosophy of language, of logics, of physics, of mind, of perception to metaphilosophy, axiology, ethics, and political philosophy. This many-voiced book offers new insights into seminal Putnamian views and concerns, which get examined in relevant philosophical and transdisciplinary contexts and comprise issues ranging from the Twin Earth thought experiment, cognitive capacities transcending formalization, perception and thought, interpreting quantum mechanics to liberal naturalism, scientific and common-sense realism, conceptual pluralism, truth-aptness of ethical judgements, and much more. Contributors: H. Putnam, D. Wiggins, D. Follesdal, C. Travis, P. Jacob, M. De Caro, C. Wuthrich, A. Burri, W.K. Essler, M. Frauchiger.
Автор: Hans G. Othmer; Philip K. Maini; James D. Murray Название: Experimental and Theoretical Advances in Biological Pattern Formation ISBN: 1461360331 ISBN-13(EAN): 9781461360339 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of a NATO ARW held in Oxford, United Kingdom, August 27-31, 1992
Автор: Kant Название: Theoretical Philosophy after 1781 ISBN: 0521147646 ISBN-13(EAN): 9780521147644 Издательство: Cambridge Academ Рейтинг: Цена: 6653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume, originally published in 2002, assembles the writings that Kant published to popularize, summarize, amplify and defend the doctrines of his masterpiece, the 1781 Critique of Pure Reason. The Prolegomena is often recommended to students, but the other texts are also important windows overlooking Kant`s intellectual development.
Автор: Frans H. van Eemeren; Bart Garssen Название: Reflections on Theoretical Issues in Argumentation Theory ISBN: 3319370111 ISBN-13(EAN): 9783319370118 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon.
Автор: Hans van Ditmarsch; Gabriel Sandu Название: Jaakko Hintikka on Knowledge and Game Theoretical Semantics ISBN: 3319628631 ISBN-13(EAN): 9783319628639 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory.This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of Hintikka’s career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters.The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.
Автор: Frans H. van Eemeren; Bart Garssen Название: Reflections on Theoretical Issues in Argumentation Theory ISBN: 3319211021 ISBN-13(EAN): 9783319211022 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
