Formal Logic
Publisher: Wikibooks 2009
Description:
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. Formal Logic is a study of inference with purely formal content. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital to many modern disciplines like Linguistics and Computer Science.
Download or read it online for free here:
Read online
(online html)
Similar books
What is Mathematics: Gödel's Theorem and Aroundby Karlis Podnieks - University of Latvia
Textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Godel's Theorem.
(2798 views)
A Manual of Intensional Logicby Johan van Benthem - CSLI
An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.
(6767 views)
Intuitionistic Logicby Nick Bezhanishvili, Dick de Jongh - Universiteit van Amsterdam
In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems.
(6965 views)
The Principles Of Mathematicsby Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(8337 views)