Language, Proof and Logic is an educational software package, devised and written by

Jon Barwise Kenneth Jon Barwise (; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. Education and career He was born in Indepen ...

and

John Etchemendy John W. Etchemendy (born 1952) is an American logician and philosopher who served as Stanford University's twelfth Provost (education), Provost. He succeeded John L. Hennessy to the post on September 1, 2000 and stepped down on January 31, 2017 ...

, geared to teaching

formal logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

through the use of a tight integration between a textbook (same name as the package) and four software programs, where three of them are logic related (Boole, Fitch and Tarski's World) and the other (Submit) is an internet-based grading service. The name is a

pun A pun, also known as a paronomasia in the context of linguistics, is a form of word play that exploits multiple meanings of a term, or of similar-sounding words, for an intended humorous or rhetorical effect. These ambiguities can arise from t ...

derived from '' Language, Truth, and Logic'', the philosophy book by A. J. Ayer. On September 2, 2014, there was launched a

massive open online course A massive open online course (MOOC ) or an open online course is an online course aimed at unlimited participation and open access via the World Wide Web, Web. In addition to traditional course materials, such as filmed lectures, readings, and p ...

(MOOC) with the same name, which utilizes this educational software package.

Description

A short description of the programs: * Boole (named after

George Boole George Boole ( ; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. H ...

) - a program that facilitates the construction and checking of truth tables and related notions ( tautology, tautological consequence, etc.); * Fitch (named after Frederic Brenton Fitch) - a natural deduction proof environment in Fitch-style calculus for giving and checking first-order proofs; * Tarski's World (named after

Alfred Tarski Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...

) - a program that teaches the basic first-order language and its semantics using a model theoretic-like approach, where the "world" consists of a little grid and some simple objects; * Submit - a program that allows students to submit exercises done with the above programs to the Grade Grinder, the online grading service.

References

{{Reflist

External links

Home page1st edition of ''Language, Proof and Logic''
at

Internet Archive The Internet Archive is an American 501(c)(3) organization, non-profit organization founded in 1996 by Brewster Kahle that runs a digital library website, archive.org. It provides free access to collections of digitized media including web ...

massive open online course (MOOC) of Language, Proof and Logic
Educational software Logic Digital media works about philosophy