Language, Proof and Logic

Language, Proof and Logic covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

Textbook

Language, Proof, and Logic is a textbook and software package, intended for use in undergraduate level logic courses. The text covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. The last few chapters include material on soundness, completeness, and Godel's incompleteness theorems. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

LPL Textbook Overview

Online Course

We constructed an online course based on Language, Proof and Logic courseware package, with lectures by the authors. With more than sixteen hours of video, the course covers the first two parts of Language, Proof and Logic, on propositional and first-order logic. The course is structured like the book, divided into 14 chapters each containing between two and six individual lectures. We recommend studying approximately one chapter per week. You can sign up at EdX.org to get access to video lectures, quizzes and assignments. Or watch videos on our website.

LPL Online Course Overview

Software

Language, Proof and Logic contains three logic programs (Boole, Fitch and Tarski's World), and an Internet-based grading service (which is free to students who purchase the package). Tarski's World is a program that teaches the basic first-order language and its semantics; Fitch is a natural deduction proof environment for giving and checking first-order proofs; Boole is a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit is a program that allows students to submit exercises done with the above programs to the Grade Grinder, the online grading service.

LPL Software Overview

Language, Proof and Logic

The Second Edition

ISBN: 978-1-57586-632-1

Also available in
Table of Contents
Errata
About the Authors

Language, Proof and Logic
Online Course Overview
What is in the Course?
Online Course Videos

Course Introduction

We constructed an online course based on Language, Proof and Logic courseware package, with lectures by the authors. With more than sixteen hours of video, the course covers the first two parts of Language, Proof and Logic, on propositional and first-order logic. The course is structured like the book, divided into 14 chapters each containing between two and six individual lectures. We recommend studying approximately one chapter per week. You can sign up at EdX to get access to video lectures, quizzes and assignments. Or watch videos on our website.

How to Utilize This Course

To use the online materials for the Language, Proof and Logic online course, you can either sign up at EdX to get access to video lectures, quizzes and assignments, or watch just video lectures here under the tab "Online Course Materials".

For learners who are not associated with a class at a university or college, we recommend signing up to be a "Verified Learner" at EdX (for a fee). On successful completion of the course, "Verified Learners", receive a Statement of Accomplishment from EdX.

If you are a student in a course being offered at a university or college that uses our textbook, you should follow your instructor's recommendations regarding your use of this material. Some instructors may require you to watch some of these videos, some may recommend but not require that you do so, and some may prefer that you don't watch them at all. Whether you want to view the lectures alone, enroll in the course for your own enjoyment, or to supplement a more traditional physical course, the Language, Proof and Logic course is available to you courtesy of Stanford Online. However you choose to use the course material, we hope that you find it useful, interesting and entertaining. Please send feedback to us using the comment form.

Language, Proof and Logic

Included Software
This package includes four pieces of software: Tarski's World, a program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the online grading service.

All applications are browser-based and no installation is required.

Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value.

Language, Proof and Logic

Team member
Language, Proof and Logic was conceived by Jon Barwise and John Etchemendy. We have benefitted greatly from the feedback of the many instructors who have adopted the LPL package in their teaching. The Openproof project continues to benefit from generous funding from Stanford University and from its home in the intellectually stimulating environment of Stanford's Center for the Study of Language and Information (CSLI). As always, we are grateful to our publisher, Dikran Karagueuzian, and his team at CSLI Publications for their continued enthusiasm for LPL.