Fifty Great Moments in the History of Logic, Greg Restall
Автор: 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.
Автор: Giuseppina D`Oro (Editor) Название: The Cambridge Companion to Philosophical Methodology ISBN: 1107547369 ISBN-13(EAN): 9781107547360 Издательство: Cambridge Academ Рейтинг: Цена: 33790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The volume provides clear and comprehensive coverage of the main methodological debates and approaches within philosophy. The book gives equal weight to analytical and continental approaches, and pays attention to approaches that are often overlooked.
Автор: Anthony Weston Название: A Rulebook for Arguments ISBN: 162466654X ISBN-13(EAN): 9781624666544 Издательство: Gazelle Book Services Рейтинг: Цена: 21430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: From academic writing to personal and public discourse, the need for good arguments and better ways of arguing is greater than ever before. This timely fifth edition of A Rulebook for Arguments sharpens an already-classic text, adding updated examples and a new chapter on public debates that provides rules for the etiquette and ethics of sound public dialogue as well as clear and sound thinking in general.
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.
Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schr der, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt G del conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Автор: Houlgate, Stephen (Editor) Название: Opening of hegel`s logic ISBN: 1557532575 ISBN-13(EAN): 9781557532572 Издательство: Mare Nostrum (Eurospan) Цена: 29220.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Hegel`s ""Science of Logic"", still remains for most philosophers (both figuratively and literally) a firmly closed book. The purpose of this title is to dispel the myths that surround the ""Logic"" and to show that Hegel`s unjustly neglected text is a work of extraordinary subtlety and insight.
Автор: Greg Restall Название: Fifty Great Moments in the History of Logic ISBN: 1844655962 ISBN-13(EAN): 9781844655960 Издательство: Taylor&Francis Рейтинг: Цена: 35720.00 T Наличие на складе: Невозможна поставка. Описание: This book aims to explore the designed landscapes associated with factories and corporations in the UK and US created since the industrial revolution. It is largely historical, focusing on the period between 1890 and 1930 but it comes right up to date with initiatives such as secret gardens and vegetable allotments at the London Google offices. -- .
Автор: Morrow, David R. Weston, Anthony Название: A Workbook for arguments ISBN: 162466427X ISBN-13(EAN): 9781624664274 Издательство: Gazelle Book Services Рейтинг: Цена: 41450.00 T Наличие на складе: Нет в наличии. Описание: A Workbook for Arguments builds on Anthony Westons A Rulebook for Arguments to provide a complete textbook for a course in critical thinking or informal logic. The second edition adds: Updated and improved homework exercises—nearly one third are new—to ensure that the examples continue to resonate with students. Increased coverage of scientific reasoning, demonstrating how scientific reasoning dovetails with critical thinking more generally Two new activities in which students analyze arguments in their original form, as provided in brief selections from the original texts. This edition continues to include The entire text of Rulebook , supplemented with extensive explanations and exercises. Homework exercises adapted from a wide range of arguments in a wide variety of sources. Practical advice to help students succeed. Model answers to odd-numbered problems, including commentaries on the strengths and weaknesses of selected sample answers and further discussion of some of the substantive intellectual, philosophical, or ethical issues they raise. Detailed instructions for in-class activities and take-home assignments. An appendix on mapping arguments, giving students a solid introduction to this vital skill in constructing complex and multi-step arguments and evaluating them.
Автор: Greg Restall Название: Logic ISBN: 0415400686 ISBN-13(EAN): 9780415400688 Издательство: Taylor&Francis Рейтинг: Цена: 39800.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.
Автор: 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.
Автор: 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.
Автор: Priest Название: Logic ISBN: 0192893203 ISBN-13(EAN): 9780192893208 Издательство: Oxford Academ Рейтинг: Цена: 8440.00 T Наличие на складе: Невозможна поставка. Описание: An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.
Автор: Nolt John, Rohatyn Dennis, Varzi Achille Название: Schaum`s Outline of Logic, Revised Second Edition ISBN: 0071755462 ISBN-13(EAN): 9780071755467 Издательство: McGraw-Hill Рейтинг: Цена: 33170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
The ideal review for your logic course
More than 40 million students have trusted Schaum's Outlines for their expert knowledge and helpful solved problems. Written by renowned experts in their respective fields, Schaum's Outlines cover everything from math to science, nursing to language. The main feature for all these books is the solved problems. Step-by-step, authors walk readers through coming up with solutions to exercises in their topic of choice. 500 solved problems Includes non-classical logics Covers the probability calculus Complements or supplements the major Logic textbooks Appropriate for the following courses: Introduction to Formal Logic, Informal Logic, Logic Programming, Algebra Complete course content in easy-to-follow outline form Hundreds of solved problems for effective test preparation
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
