Author: Martin Gardner
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 188

Get Book

Book Description

Author: Martin Gardner
Publisher:
ISBN:
Category : Logic diagrams
Languages : en
Pages : 157

Get Book

Book Description

Author: Paul Sandori
Publisher: Courier Dover Publications
ISBN: 0486807002
Category : Technology & Engineering
Languages : en
Pages : 193

Get Book

Book Description
This study focuses on statics' original simplicity as an exercise in logic, without resort to extensive mathematical detail. Discussions of significant historical discoveries offer an enjoyable, useful view of the field. 1982 edition.

Author: Frederick C. Hennie
Publisher:
ISBN:
Category : Logic machines
Languages : en
Pages : 488

Get Book

Book Description

Author: Deborah J. Bennett
Publisher: W. W. Norton & Company
ISBN: 0393326926
Category : Mathematics
Languages : en
Pages : 257

Get Book

Book Description
An easy-to-follow introduction to logic that examines the relationship between language and logic, with dozens of visual and real-life examples of how language often defies logic.

Author: Alan P. Parkes
Publisher: Springer Science & Business Media
ISBN: 144710143X
Category : Computers
Languages : en
Pages : 352

Get Book

Book Description
A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.

Author: Harry J. Gensler
Publisher: Rowman & Littlefield
ISBN: 0810875969
Category : History
Languages : en
Pages : 354

Get Book

Book Description
The A to Z of Logic introduces the central concepts of the field in a series of brief, non-technical, cross-referenced dictionary entries. The 352 alphabetically arranged entries give a clear, basic introduction to a very broad range of logical topics. Entries can be found on deductive systems, such as propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and paraconsistent logic. Similarly, there are entries on topics relating to those previously mentioned such as negation, conditionals, truth tables, and proofs. Historical periods and figures are also covered, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Gödel, and Quine. There are even entries relating logic to other areas and topics, like biology, computers, ethics, gender, God, psychology, metaphysics, abstract entities, algorithms, the ad hominem fallacy, inductive logic, informal logic, the liar paradox, metalogic, philosophy of logic, and software for learning logic. In addition to the dictionary, there is a substantial chronology listing the main events in the history of logic, an introduction that sketches the central ideas of logic and how it has evolved into what it is today, and an extensive bibliography of related readings. This book is not only useful for specialists but also understandable to students and other beginners in the field.

Author: John Venn
Publisher: BoD – Books on Demand
ISBN: 3385453607
Category :
Languages : en
Pages : 490

Get Book

Book Description

Author: Sun-Joo Shin
Publisher: MIT Press
ISBN: 9780262194709
Category : Mathematics
Languages : en
Pages : 228

Get Book

Book Description
A case study of multimodal systems and a new interpretation of Charles S. Peirce's theory of reasoning and signs based on an analysis of his system of Existential Graphs. At the dawn of modern logic, Charles S. Peirce invented two types of logical systems, one symbolic and the other graphical. In this book Sun-Joo Shin explores the philosophical roots of the birth of Peirce's Existential Graphs in his theory of representation and logical notation. Shin demonstrates that Peirce is the first philosopher to lay a solid philosophical foundation for multimodal representation systems. Shin analyzes Peirce's well-known, but much-criticized nonsymbolic representation system. She presents a new approach to his graphical system based on her discovery of its unique nature and on a reconstruction of Peirce's theory of representation. By seeking to understand graphical systems on their own terms, she uncovers the reasons why graphical systems, and Existential Graphs in particular, have been underappreciated among logicians. Drawing on perspectives from the philosophy of mind, cognitive science, logic, and computer science, Shin provides evidence for a genuinely interdisciplinary project on multimodal reasoning.

Author: Dov M. Gabbay
Publisher: Newnes
ISBN: 0080931707
Category : Mathematics
Languages : en
Pages : 706

Get Book

Book Description
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. Covers in depth the notion of logical consequence Discusses the central concept in logic of modality Includes the use of diagrams in logical reasoning