Collected Papers, Volume 10, Studies in the History of Logic, Rescher Nicholas

Автор: Priest Graham
Название: Logic: A Very Short Introduction
ISBN: 0198811705 ISBN-13(EAN): 9780198811701
Издательство: Oxford Academ
Рейтинг:
Цена: 10550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy - a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.

Автор: Cheng Eugenia
Название: Art of Logic
ISBN: 1788160398 ISBN-13(EAN): 9781788160391
Издательство: Profile
Рейтинг:
Цена: 12130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical, illuminating and timeless guide to thinking better, from a Royal Society Prize shortlisted mathematician - now in paperback.

Автор: Ju Shier, Lцwe Benedikt, Mьller Thomas
Название: Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
ISBN: 3319810537 ISBN-13(EAN): 9783319810539
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Alfred Tarski
Название: Collected Papers
ISBN: 303005540X ISBN-13(EAN): 9783030055400
Издательство: Springer
Рейтинг:
Цена: 423910.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Karl Menger; Henk L. Mulder
Название: Selected Papers in Logic and Foundations, Didactics, Economics
ISBN: 9027703205 ISBN-13(EAN): 9789027703200
Издательство: Springer
Рейтинг:
Цена: 198450.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: S.J. Surma; Jan J.T. Srzednicki; D.I. Barnett; V.F
Название: Stanislaw Lesniewski: Collected Works - Volumes I and II
ISBN: 079231512X ISBN-13(EAN): 9780792315124
Издательство: Springer
Рейтинг:
Цена: 512430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Wise R. a.
Название: Wise Words of Wisdom Volume III: Another Lifetime of Collected Quotes, Sayings, Philosophies, Viewpoints & Thoughts
ISBN: 1977209882 ISBN-13(EAN): 9781977209887
Издательство: Неизвестно
Рейтинг:
Цена: 21530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the third book in a continuing series. These books are for those wishing to expand their knowledge base. There are two sides to every coin...this book offers alternative viewpoints. Credit is given to the originator when known.

Автор: Cocchiarella, Nino B.; Freund, Max A.
Название: Modal Logic
ISBN: 0195366573 ISBN-13(EAN): 9780195366570
Издательство: Oxford Academ
Рейтинг:
Цена: 52260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for
sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.

A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de
dicto sentence.

An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems.
Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity.

Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding
second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general.

Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.

Автор: Tarski Alfred
Название: Collected Papers: Volume 3: 1945-1957
ISBN: 3319954229 ISBN-13(EAN): 9783319954226
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Potter, Michael
Название: Wittgenstein`s Notes on Logic
ISBN: 0199215839 ISBN-13(EAN): 9780199215836
Издательство: Oxford Academ
Рейтинг:
Цена: 88710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Michael Potter shows, for the first time, that Wittgenstein`s early Notes on Logic are a work of philosophical and historical importance. Using a challenging blend of biography and philosophy, he draws new conclusions about the nature of the Notes, the genesis of the Tractatus, and Wittgenstein`s working methods.

Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi
Название: Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
ISBN: 1402001118 ISBN-13(EAN): 9781402001116
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.