Описание: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger`s most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger`s work.
Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi Название: Collected Papers of Stig Kanger with Essays on his Life and Work ISBN: 1402000227 ISBN-13(EAN): 9781402000225 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger`s dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. This book presents a collection of Kanger`s philosophical papers.
Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi Название: Collected Papers of Stig Kanger with Essays on his Life and Work ISBN: 1402000219 ISBN-13(EAN): 9781402000218 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger`s dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger`s philosophical papers.
Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F Название: Proof Theory ISBN: 0792365445 ISBN-13(EAN): 9780792365440 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues.
Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F Название: Probability Theory ISBN: 9048156971 ISBN-13(EAN): 9789048156979 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http: //mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).
Автор: Vincent F. Hendricks; Klaus Frovin J?rgensen; Stig Название: Knowledge Contributors ISBN: 1402017480 ISBN-13(EAN): 9781402017483 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on `active agenthood` and multi-modal systems.
Автор: Vincent F. Hendricks; Klaus Frovin J?rgensen; Stig Название: Knowledge Contributors ISBN: 1402017472 ISBN-13(EAN): 9781402017476 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on `active agenthood` and multi-modal systems.
Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F Название: Proof Theory ISBN: 9048155533 ISBN-13(EAN): 9789048155538 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This generalization of Hilbert`s original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.
Описание: The concepts of inodel world and of logical space, together with those of homomorphism and isomorphism be- tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.
Описание: The concepts of model world and of logical space, together with those of homomorphism and isomorphism be- tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.
Описание: The concepts of model world and of logical space, together with those of homomorphism and isomorphism be- tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.
Автор: Jean-Pierre Serre Название: Oeuvres - Collected Papers II ISBN: 3642377254 ISBN-13(EAN): 9783642377259 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
