Misplaced Pages

Language, Proof and Logic

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Language, Proof and Logic" – news · newspapers · books · scholar · JSTOR (May 2011)
The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Language, Proof and Logic" – news · newspapers · books · scholar · JSTOR (May 2011) (Learn how and when to remove this message)
(Learn how and when to remove this message)

Language, Proof and Logic is an educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic 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 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 (MOOC) with the same name, which utilizes this educational software package.

Description

A short description of the programs:

  • Boole (named after George Boole) - 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) - 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

  1. Grim, P. (2001). "Language, Proof and Logic". The Bulletin of Symbolic Logic. 7 (3): 377–379. doi:10.2307/2687756. JSTOR 2687756.

External links

Categories:
Language, Proof and Logic Add topic