Well-structured Mathematical Logic

ISBN-10: 1611633680
ISBN-13: 9781611633689
Category: Logic, Symbolic and mathematical
Language: English
Published: 2013
Author: Damon Scott

Description

Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs. A very important feature of the new system is that it structures the expression of mathematics in much the same way that people already do informally. In this way, the new system is simultaneously machine-parsable and user-friendly, just as Structured Programming is for algorithms. Unlike traditional logic, the new system works with you, not against you, as you use it to structure--and understand--the mathematics you work with on a daily basis. The book provides a complete guide to its subject matter. It presents the major results and theorems one needs to know in order to use the new system effectively. Two chapters provide tutorials for the reader in the new way that symbols move when logical calculations are performed in the well-structured system. Numerous examples and discussions are provided to illustrate the system's many results and features. Well-Structured Mathematical Logic is accessible to anyone who has at least some knowledge of traditional logic to serve as a foundation, and is of interest to all who need a system of pliant, user-friendly mathematical logic to use in their work in mathematics and computer science.

Get the book

Similar books

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
By J. Roger Hindley, J. P. Seldin
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
Prophecy and Dissent, 1914-16
By Bertrand Russell
Brynmor Jones Library , Hull University for the Records of the Union of Democratic Control ; the British ... the E. D. Morel letters and the Graham Wallas letters ) ; King's College , Cambridge ( the letters of Goldsworthy Lowes ...
数理逻辑实验教程
By 李娜
本书共分三个部分,第一部分介绍了一些在线的逻辑软件的使用以及逻辑软件LPL Software的使用;第二部部分介绍了命题逻辑;第三部分介绍了量词逻辑.
哲学研究
By 维特根斯坦
本书是作者从事哲学研究积淀下来的思想, 这种课题:含义, 理解, 命题, 逻辑等概念, 数学基础, 意识状态, 等等.
The Collected Works of Ludwig Wittgenstein
By Ludwig Wittgenstein
The Collected Works of Ludwig Wittgenstein
逻辑哲学论
By 维特根斯坦
本书从符号系统的原则和任何语言中词和事物之间必须具有的关系出发, 将这种考察的结果应用于传统哲学的各部分.
Logos: Introduction to Symbolic Logic
By Nicholas T. Habib
P : Penny is a physician R : Ralph is a physician The argument presented in SL is : ~ ( PvR ) ~ P The truth table analysis is : Pr Cn P R PVR ~ ( PVR ) ~ P T T T F F T F T F F FT T F T F F F T T By looking carefully at the truth table ...
Transition to Higher Mathematics: Structure and Proof
By John Edward McCarthy, Bob A. Dumas
This book is written for students who have taken calculus and want to learn what "real mathematics" is.
数理逻辑
By 王兵山
研究生教材
Introduction to Mathematical Logic and Resolution Principle
By Guo-Jun Wang, Hong-Jun Zhou
Introduction to Mathematical Logic and Resolution Principle