Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 107010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: Rafal Urbaniak Название: Le?niewski`s Systems of Logic and Foundations of Mathematics ISBN: 3319344161 ISBN-13(EAN): 9783319344164 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school.
Автор: Rafal Urbaniak Название: Le?niewski`s Systems of Logic and Foundations of Mathematics ISBN: 3319004816 ISBN-13(EAN): 9783319004815 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school.
Автор: Mikko Yrj?nsuuri Название: Medieval Formal Logic ISBN: 0792366743 ISBN-13(EAN): 9780792366744 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.
Автор: Frederick J. Crosson; P. Lorenzen Название: Formal Logic ISBN: 902770080X ISBN-13(EAN): 9789027700803 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: "Logic", one of the central words in Western intellectual history, compre- hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell.
Автор: Dutilh Novaes Название: Formal Languages in Logic ISBN: 110746031X ISBN-13(EAN): 9781107460317 Издательство: Cambridge Academ Рейтинг: Цена: 33790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on human reasoning, drawing on historical developments, psychology, cognitive science and philosophy. For students and researchers in the areas of logic and computer science.
Автор: Thomas Macaulay Ferguson Название: Meaning and Proscription in Formal Logic ISBN: 3319708201 ISBN-13(EAN): 9783319708201 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.
It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.
Автор: Mikko Yrj?nsuuri Название: Medieval Formal Logic ISBN: 9048156041 ISBN-13(EAN): 9789048156047 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 0521008042 ISBN-13(EAN): 9780521008044 Издательство: Cambridge Academ Рейтинг: Цена: 29560.00 T Наличие на складе: Поставка под заказ. Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible ‘tree’ method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Автор: Janusz Czelakowski; V.F. Rickey; Jan J.T. Srzednic Название: Le?niewski`s Systems ISBN: 9400960913 ISBN-13(EAN): 9789400960916 Издательство: Springer Рейтинг: Цена: 167660.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Fitting Название: First-Order Modal Logic ISBN: 0792353358 ISBN-13(EAN): 9780792353355 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Поставка под заказ. Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.
Автор: Andrzej Indrzejczak Название: Natural Deduction, Hybrid Systems and Modal Logics ISBN: 9048187842 ISBN-13(EAN): 9789048187843 Издательство: Springer Рейтинг: Цена: 241310.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
