Author: Robert AdamsonPublisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 284
Book Description
A Short History of Logic
Author: Robert AdamsonPublisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 358
Book Description
A Short History of Logic by William Ritchie Sorley, first published in 1911, is a rare manuscript, the original residing in one of the great libraries of the world. This book is a reproduction of that original, which has been scanned and cleaned by state-of-the-art publishing tools for better readability and enhanced appreciation. Restoration Editors' mission is to bring long out of print manuscripts back to life. Some smudges, annotations or unclear text may still exist, due to permanent damage to the original work. We believe the literary significance of the text justifies offering this reproduction, allowing a new generation to appreciate it.
A Short History of Logic
Author: Robert AdamsonThe Evolution of Logic
Author: W. D. HartPublisher: Cambridge University Press
ISBN: 1139491202
Category : Philosophy
Languages : en
Pages :
Book Description
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.
A Short History of Logic
Author: R. AdamsonA Short History of Logic
Author: Robert AdamsonPublisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 284
Book Description
SHORT HISTORY OF LOGIC
Author: ROBERT. ADAMSONPublisher:
ISBN: 9781033382974
Category :
Languages : en
Pages : 0
Book Description
The History of Philosophical and Formal Logic
Author: Alex MalpassPublisher: Bloomsbury Publishing
ISBN: 1472507177
Category : Philosophy
Languages : en
Pages : 333
Book Description
The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages (Aristotle and The Stoics) The early modern period (Bolzano, Boole) High modern period (Frege, Peano & Russell and Hilbert) Early 20th century (Godel and Tarski) Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions. By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic.
Concise Guide to Formal Methods
Author: Gerard O'ReganPublisher: Springer
ISBN: 3319640216
Category : Mathematics
Languages : en
Pages : 336
Book Description
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.
A Short History of Logic
Author: Adamson RobertPublisher: Wentworth Press
ISBN: 9780526359523
Category : History
Languages : en
Pages : 276
Book Description
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
The Logic of the History of Ideas
Author: Mark BevirPublisher: Cambridge University Press
ISBN: 9780521016841
Category : History
Languages : en
Pages : 356
Book Description
Human cultures generate meanings, and the history of ideas, broadly conceived, is the study of these meanings. An adequate theory of culture must therefore rest on a suitable philosophical enquiry into the nature of the history of ideas. Mark Bevir's book explores the forms of reasoning appropriate to the history of ideas, enhancing our understanding by grappling with central questions such as: What is a meaning? What constitutes objective knowledge of the past? What are beliefs and traditions? How can we explain why people held the beliefs they did? The book ranges widely over issues and theorists associated with post-analytic philosophy, post-modernism, hermeneutics, literary theory, political thought, and social theory.