Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Автор: Tarski Alfred Название: Collected Papers: Volume 1: 1921-1934 ISBN: 3319953656 ISBN-13(EAN): 9783319953656 Издательство: Springer Рейтинг: Цена: 20733.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
Автор: Tarski Alfred Название: Collected Papers: Volume 4: 1958-1979 ISBN: 3319954164 ISBN-13(EAN): 9783319954165 Издательство: Springer Рейтинг: Цена: 26832.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
Автор: Tarski Alfred Название: Collected Papers: Volume 3: 1945-1957 ISBN: 3319954229 ISBN-13(EAN): 9783319954226 Издательство: Springer Рейтинг: Цена: 20733.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
Автор: Guillermo E. Rosado Haddock Название: Against the Current: Selected Philosophical Papers ISBN: 3110321653 ISBN-13(EAN): 9783110321654 Издательство: Walter de Gruyter Рейтинг: Цена: 27884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The present collection of seventeen papers, most of them already published in international philosophical journals, deals both with issues in the philosophy of logic, the philosophy of mathematics, the philosophy of language and epistemology. The first part contains critical assessments and somewhat deviant renderings of the work of two seminal philosophers, Frege and Husserl, as well as of the young Carnap and Kripke. The second part contains analyses of central issues in the philosophy of logic, the philosophy of mathematics and semantics, including arguments on behalf of Platonism in the philosophy of mathematics, a defense of second-order logic, a new definition of analyticity, a sketch of a semantics for mathematical statements and a critique of Kripke’s possible world semantics for modal logic.
Автор: Karl Menger; Henk L. Mulder Название: Selected Papers in Logic and Foundations, Didactics, Economics ISBN: 9027703205 ISBN-13(EAN): 9789027703200 Издательство: Springer Рейтинг: Цена: 25979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics.
Автор: Karl Menger; Henk L. Mulder Название: Selected Papers in Logic and Foundations, Didactics, Economics ISBN: 9027703213 ISBN-13(EAN): 9789027703217 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics.
Описание: This bookgathers the proceedings of the conference "Cultures of Mathematics andLogic," held in Guangzhou, China. In this context, thecultural diversity can be diachronical (different cultures in differenthistorical periods), geographical (different cultures in different regions), orsociological in nature.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
