Language, Proof and Logic
id:
language-proof-and-logic-243-9042844
title:
Language, Proof and Logic
text:
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 and four software programs, where three of them are logic related 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 (
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Language,_Proof_and_Logic
date created:
date modified:
2022-11-23T17:09:02Z
main entity:
{"identifier":"Q6486608","url":"https://www.wikidata.org/entity/Q6486608"}
image:
fields total:
13
integrity:
13