Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Language,_Proof_and_Logic> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Language,_Proof_and_Logic abstract "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 launched also a massive open online course (MOOC) with the same name which utilizes this educational software package.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.↑".
- Language,_Proof_and_Logic wikiPageExternalLink lpl.stanford.edu.
- Language,_Proof_and_Logic wikiPageExternalLink lpl%20textbook.pdf.
- Language,_Proof_and_Logic wikiPageExternalLink about.
- Language,_Proof_and_Logic wikiPageID "31629330".
- Language,_Proof_and_Logic wikiPageLength "2268".
- Language,_Proof_and_Logic wikiPageOutDegree "17".
- Language,_Proof_and_Logic wikiPageRevisionID "679312048".
- Language,_Proof_and_Logic wikiPageWikiLink A._J._Ayer.
- Language,_Proof_and_Logic wikiPageWikiLink Alfred_Tarski.
- Language,_Proof_and_Logic wikiPageWikiLink Category:Educational_software.
- Language,_Proof_and_Logic wikiPageWikiLink Category:Logic.
- Language,_Proof_and_Logic wikiPageWikiLink Category:Works_about_philosophy.
- Language,_Proof_and_Logic wikiPageWikiLink Fitch_notation.
- Language,_Proof_and_Logic wikiPageWikiLink Frederic_Fitch.
- Language,_Proof_and_Logic wikiPageWikiLink George_Boole.
- Language,_Proof_and_Logic wikiPageWikiLink Internet_Archive.
- Language,_Proof_and_Logic wikiPageWikiLink John_Etchemendy.
- Language,_Proof_and_Logic wikiPageWikiLink Jon_Barwise.
- Language,_Proof_and_Logic wikiPageWikiLink Language,_Truth,_and_Logic.
- Language,_Proof_and_Logic wikiPageWikiLink Logic.
- Language,_Proof_and_Logic wikiPageWikiLink Massive_open_online_course.
- Language,_Proof_and_Logic wikiPageWikiLink Pun.
- Language,_Proof_and_Logic wikiPageWikiLink Tarskis_World.
- Language,_Proof_and_Logic wikiPageWikiLink Tautology_(logic).
- Language,_Proof_and_Logic wikiPageWikiLinkText "Language, Proof and Logic".
- Language,_Proof_and_Logic wikiPageUsesTemplate Template:Multiple_issues.
- Language,_Proof_and_Logic wikiPageUsesTemplate Template:Notability.
- Language,_Proof_and_Logic wikiPageUsesTemplate Template:One_source.
- Language,_Proof_and_Logic wikiPageUsesTemplate Template:Reflist.
- Language,_Proof_and_Logic subject Category:Educational_software.
- Language,_Proof_and_Logic subject Category:Logic.
- Language,_Proof_and_Logic subject Category:Works_about_philosophy.
- Language,_Proof_and_Logic hypernym Package.
- Language,_Proof_and_Logic type Software.
- Language,_Proof_and_Logic type Work.
- Language,_Proof_and_Logic type Method.
- Language,_Proof_and_Logic type Work.
- Language,_Proof_and_Logic comment "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.".
- Language,_Proof_and_Logic label "Language, Proof and Logic".
- Language,_Proof_and_Logic sameAs Q6486608.
- Language,_Proof_and_Logic sameAs Language,_Proof_and_Logic.
- Language,_Proof_and_Logic sameAs m.0gmgj10.
- Language,_Proof_and_Logic sameAs Q6486608.
- Language,_Proof_and_Logic wasDerivedFrom Language,_Proof_and_Logic?oldid=679312048.
- Language,_Proof_and_Logic isPrimaryTopicOf Language,_Proof_and_Logic.