Intermediate Logic, Bostock, David

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 0521008042 ISBN-13(EAN): 9780521008044
Издательство: Cambridge Academ
Рейтинг:
Цена: 4434.00 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Автор: Zegarelli, Mark
Название: Logic for dummies
ISBN: 0471799416 ISBN-13(EAN): 9780471799412
Издательство: Wiley
Рейтинг:
Цена: 3008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic concepts are more mainstream than you may realize. There`s logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies.

Автор: Ian Hacking
Название: An Introduction to Probability and Inductive Logic
ISBN: 0521775019 ISBN-13(EAN): 9780521775014
Издательство: Cambridge Academ
Рейтинг:
Цена: 6018.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is an introductory 2001 textbook on probability and induction written by one of the world`s foremost philosophers of science. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction.

Автор: Cocchiarella, Nino B.; Freund, Max A.
Название: Modal Logic
ISBN: 0195366573 ISBN-13(EAN): 9780195366570
Издательство: Oxford Academ
Рейтинг:
Цена: 7839.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 14890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.