Автор: Gensler Harry J Название: Introduction to Logic ISBN: 1138910597 ISBN-13(EAN): 9781138910591 Издательство: Taylor&Francis Цена: 8529 р. Наличие на складе: Есть у поставщикаПоставка под заказ. Описание:
Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition, include:
simpler ways to test arguments, including an innovative proof method and the star test for syllogisms;
a wide scope of materials, suiting it for introductory or intermediate courses;
engaging examples, from philosophy and everyday life;
useful for self-study and preparation for standardized tests, like the LSAT;
a reasonable price (a third the cost of some competitors); and
exercises that correspond to the free LogiCola instructional program.
This Third Edition:
improves explanations, especially on areas that students find difficult;
has a fuller explanation of traditional Copi proofs and of truth trees; and
updates the companion LogiCola software, which now is touch friendly (for use on Windows tablets and touch monitors), installs more easily on Windows and Macintosh, and adds exercises on Copi proofs and on truth trees. You can still install LogiCola for free (from http: //www.harryhiker.com/lc or http: //www.routledge.com/cw/gensler).
Старое издание
Автор: Gensler, Harry J. Название: Introduction to logic ISBN: 0415226759 ISBN-13(EAN): 9780415226752 Издательство: Taylor&Francis Цена: 4222 р. Наличие на складе: Поставка под заказ. Описание: This text offers one of the most clear and accessible introductions to logic and engages students with the basics of logic through practical examples and important arguments in both the history of and contemporary philosophy.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 0521008042 ISBN-13(EAN): 9780521008044 Издательство: Cambridge Academ Рейтинг: Цена: 5060 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Gensler, Harry J. Название: Introduction to logic ISBN: 0415226759 ISBN-13(EAN): 9780415226752 Издательство: Taylor&Francis Рейтинг: Цена: 4222 р. Наличие на складе: Поставка под заказ.
Описание: This text offers one of the most clear and accessible introductions to logic and engages students with the basics of logic through practical examples and important arguments in both the history of and contemporary philosophy.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 14641 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
Автор: Ian Hacking Название: An Introduction to Probability and Inductive Logic ISBN: 0521775019 ISBN-13(EAN): 9780521775014 Издательство: Cambridge Academ Рейтинг: Цена: 6325 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introductory textbook on probability and induction written by one of the world’s foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. 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. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.
Автор: Mints Grigori Название: A Short Introduction to Intuitionistic Logic ISBN: 0306463946 ISBN-13(EAN): 9780306463945 Издательство: Springer Рейтинг: Цена: 17076 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.
Описание: This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521670268 ISBN-13(EAN): 9780521670265 Издательство: Cambridge Academ Рейтинг: Цена: 5783 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
Автор: Ian Hacking Название: An Introduction to Probability and Inductive Logic ISBN: 0521772877 ISBN-13(EAN): 9780521772877 Издательство: Cambridge Academ Рейтинг: Цена: 16087 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introductory textbook on probability and induction written by one of the world’s foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. 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. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.
Автор: Zimmermann Jens Название: Hermeneutics: A Very Short Introduction ISBN: 0199685355 ISBN-13(EAN): 9780199685356 Издательство: Oxford Academ Рейтинг: Цена: 1625 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Very Short Introduction to hermeneutics demonstrates the central role of interpretation in our daily lives. By considering the historic developments in hermeneutic theory as well as its contemporary relevance, Zimmermann explains how humans continue to draw knowledge from the world around them.
Автор: Smith Название: An Introduction to G?del`s Theorems ISBN: 1107606756 ISBN-13(EAN): 9781107606753 Издательство: Cambridge Academ Рейтинг: Цена: 4879 р. Наличие на складе: Поставка под заказ.
Описание: In 1931, the young Kurt G?del published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. G?del also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book – extensively rewritten for its second edition – will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.
Автор: Restall, Greg Название: Introduction to substructural logics ISBN: 041521534X ISBN-13(EAN): 9780415215343 Издательство: Taylor&Francis Рейтинг: Цена: 5988 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.
Описание: Student Workbooks are designed to support and complement the OCR AS and A2 Critical Thinking Resource Packs. The aims of these workbooks is to help students understand the skills required in each unit exam through a varied selection of exercises.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
