{"id":31,"date":"2025-01-09T13:13:39","date_gmt":"2025-01-09T13:13:39","guid":{"rendered":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/?page_id=31"},"modified":"2025-08-30T10:19:39","modified_gmt":"2025-08-30T10:19:39","slug":"compilation-resources-on-logic-education","status":"publish","type":"page","link":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/compilation-resources-on-logic-education\/","title":{"rendered":"Resources on Logic Education"},"content":{"rendered":"\n<p id=\"main-page\">In this page, you can find a compilation of <strong>resources on logic education<\/strong> that are available on the internet. Some of the resources were previously compiled on other websites created with this purpose (e.g., <a href=\"https:\/\/francoisschwarzentruber.github.io\/tools-for-teaching-logic\">tools-for-teaching-logic<\/a>) and others were found on the web.<\/p>\n\n\n\n<p class=\"has-accent-4-background-color has-background\">! If you would like to suggest a resource on logic education, send an email to <strong>logic-education.component319@passfwd.com<\/strong> and we would be happy to add it! Thank you for your contributions \ud83d\ude42<\/p>\n\n\n\n<p>A portion of these resources were compiled in <strong>Summer 2023<\/strong> as an effort to provide a comprehensive list of the current state of educational logic resources available on the web.<\/p>\n\n\n\n<p>The <strong>aim<\/strong> of this compilation is:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>to serve as a first place where students and academics can access and share resources.<\/li>\n\n\n\n<li>to be an interactive and collaborative space! \ud83d\ude42\n<ul class=\"wp-block-list\">\n<li>Anyone can suggest to add a new resource that they create or they find on the internet, and anyone can suggest to remove a link that has become deprecated over time. <\/li>\n\n\n\n<li>We highly encourage you to do this by sending an <strong>email<\/strong>! <strong>logic-education.component319@passfwd.com<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<details class=\"wp-block-details is-layout-flow wp-block-details-is-layout-flow\"><summary>Each resource has the following <strong>characteristics<\/strong> listed in the first row of each table:<br><\/summary>\n<ul class=\"wp-block-list\">\n<li>URL of the resource.<\/li>\n\n\n\n<li>Resource type (website, solver, etc).<\/li>\n\n\n\n<li>About (a few sentences on the basic characteristics of the resource).<\/li>\n\n\n\n<li>External Software? (Is it necessary to download an external software?)<\/li>\n\n\n\n<li>Features (Main features of the resource)<\/li>\n\n\n\n<li>Author(s)<\/li>\n\n\n\n<li>Notes (e.g., is there a broken link, etc)<\/li>\n<\/ul>\n<\/details>\n\n\n\n<p id=\"resources\">Click on these to access different kind of resources!<\/p>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"#online-resources\">logic-and-philosophy-resources (Online)<\/a><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"#tools-for-teaching-logic\">tools-for-teaching-logic (Francois Schwarzentruber)<\/a><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"#logic-software-and-logic-education\">logic-software-and-logic-education (<em>Hans van Ditmarsch<\/em>)<\/a><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"#uni-michigan\">logic-resources (University of Michigan)<\/a><\/div>\n<\/div>\n\n\n\n<div style=\"height:0px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading alignwide\" id=\"online-resources\">Resources on Logic Education (online)<\/h3>\n\n\n\n<div class=\"wp-block-buttons alignwide is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--1\"><a class=\"wp-block-button__link wp-element-button\" href=\"#resources\">Back to Other Resources<\/a><\/div>\n<\/div>\n\n\n\n<figure class=\"wp-block-table alignwide is-style-stripes has-small-font-size\"><table class=\"has-fixed-layout\"><thead><tr><th>URL<\/th><th>Resource Type<\/th><th>About<\/th><th>Features<\/th><th class=\"has-text-align-center\" data-align=\"center\">External Software?<\/th><th>Author(s)<\/th><th>Notes<\/th><\/tr><\/thead><tbody><tr><td><a href=\"https:\/\/iltis.rub.de\">https:\/\/iltis.rub.de<\/a>, Iltis<\/td><td>Webbased educational support system<\/td><td>Actively developed educational support system providing <strong>many types of exercises on propositional, modal and first-order logic<\/strong>.  choosing vocabularies, modelling, transforming, resolution, constructing<br>models)<\/td><td>&#8211; Extensive <strong>course material<\/strong> variety of educational <strong>tasks<\/strong><br>&#8211; Tasks can be combined into <strong>exercise sequences<\/strong><br>&#8211; Extensive and customizable <strong>feedback<\/strong><\/td><td class=\"has-text-align-center\" data-align=\"center\">No<\/td><td>Project coordinators: Marko Schmellenkamp, Fabian Vehlken,<br>Thomas Zeume (Ruhr University Bochum)<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/multisite7.usal.es\/, Summae Logicae\">https:\/\/multisite7.usal.es\/, Summae Logicae<\/a><\/td><td>Digital library for students and researchers (resources mainly in Spanish)<\/td><td>A digital library that compiles resources in logic in the following branches:<br>&#8211; Foundations of logic, <br>&#8211; Logic systems, <br>&#8211; Applications, <br>&#8211; Logic studies, <br>&#8211; Teaching logic.<\/td><td>&#8211; <strong>Biblioteca <\/strong>(Library): resources on the fundations of logic, logic systems, logic studies, applications, and logic education<br>&#8211; <strong>Recursos digitales<\/strong> (Digital Resources): announcements, and a wide compilation of logic resources on journals, projects, degrees, etc.<br>&#8211; <strong>Glosario<\/strong> (Glossary): definitions of relevant words for logic<\/td><td class=\"has-text-align-center\" data-align=\"center\">No<\/td><td><br>Enrique Alonso, Antonia Huertas, Mar\u00eda Manzano, Andrei Moldovan y Bel\u00e9n P\u00e9rez Lancho. (Contacto: Mar\u00eda Manzano <a href=\"mailto:mara@usal.es\">mara@usal.es<\/a>)<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logic-in-Action-32c722600af04bed958f309d65c4d692?pvs=21\">Logic in Action<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book in <\/span><span class=\"selected-value select-value-color-purple\">Website<\/span><\/td><td>Open course in logic.<br>Developed to provide a modern introduction to the field of logic with topics reflecting both its mathematical essentials and a broad view of its interdisciplinary role.<\/td><td>&#8211; Online and PDF version of the textbook <br>&#8211; Slides for teaching&nbsp;available, in English and in Spanish (made by Fernando Velazquez Quesada). <br>&#8211; Further exercise material for the chapters (courtesy of Dora Achourioti, AUC).<br>&#8211; Online exercises in modal logic.<\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/philosophy.stanford.edu\/people\/johan-van-benthem\">Johan van Benthem<\/a>, <a href=\"https:\/\/sites.google.com\/site\/hansvanditmarsch\/\">Hans van Ditmarsch<\/a>, <a href=\"https:\/\/staff.fnwi.uva.nl\/d.j.n.vaneijck2\/\">Jan van Eijck<\/a>, <a href=\"http:\/\/videolectures.net\/jan_jaspars\/\">Jan Jaspars<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logicomix-ce6cc5fe48db457a87c9037af183f845?pvs=21\">Logicomix<\/a><\/td><td><span class=\"selected-value select-value-color-default\">Comic<\/span><\/td><td>Covering a span of sixty years, the graphic novel&nbsp;<em>Logicomix<\/em>&nbsp;was inspired by the epic story of the quest for the Foundations of Mathematics.<\/td><td>This was a heroic intellectual adventure most of whose protagonists paid the price of knowledge with extreme personal suffering and even insanity. The book tells its tale in an engaging way, at the same time complex and accessible. It grounds the philosophical struggles on the undercurrent of personal emotional turmoil, as well as the momentous historical events and ideological battles which gave rise to them.<\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.logicomix.com\/en\/indexf76f.html?option=com_content&amp;view=category&amp;layout=blog&amp;id=37&amp;Itemid=18\">The Team<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logic-in-the-19th-century-especially-that-of-George-Boole-bb23997c0afa4b10bdb1dad33398466f?pvs=21\">Logic in the 19th century, especially that of George Boole<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><span class=\"selected-value select-value-color-purple\">Website<\/span><\/td><td>Link with book notes, slides, talks, lecture presentations centered on logic and logic in the 19th century, especially that of George Boole<\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Stanley N. Burris, Distinguished Professor Emeritus and Adjunct Professor, <a href=\"http:\/\/www.math.uwaterloo.ca\/PM_Dept\/homepage.html\">Department of Pure Mathematics, <\/a><a href=\"http:\/\/www.uwaterloo.ca\/\">University of Waterloo<\/a>, E-mail: <a href=\"mailto:snburris@math.uwaterloo.ca\">snburris@math.uwaterloo.ca<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/SimcirJS-223eb304928f4810b10d95b6b70885d0?pvs=21\">SimcirJS<\/a><\/td><td><span class=\"selected-value select-value-color-pink\">Circuit Simulator<\/span><\/td><td>SimcirJS(a.k.a. Simcir) is a circuit simulator in HTML5 and JavaScript.<\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><span class=\"selected-value select-value-color-red\">Yes<\/span><\/td><td><a href=\"https:\/\/kazuhikoarase.github.io\/\">Kazuhiko Arase<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Openproof-Courseware-Tools-for-Learning-Logic-d96b495aa7c645dcbab6ea8c66bc92e9?pvs=21\">Openproof Courseware: Tools for Learning Logic<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td>The Openproof project at Stanford&#8217;s Center for the Study of Language and Information (CSLI) is concerned with the application of software to problems in logic. Since the early 1980&#8217;s we have been developing applications in logic education which are both innovative and effective. The development of these courseware packages has in turn informed and influenced our research agenda.<\/td><td>[REQUIRED TO BUY COURSES] Courses: <strong><strong>Logical Reasoning with Diagrams and Sentences. Language, Proof and Logic. and <\/strong><\/strong><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-red\">Yes<\/span><\/td><td><a href=\"https:\/\/www-csli.stanford.edu\/\">CSLI<\/a>, Standford University<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Mathigon-1e73dd9ebcfa4305aac4f85a6c3507ad?pvs=21\">Mathigon<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Educational Program<\/span><\/td><td>The Mathematical Playground: Free tools, courses and manipulatives to make online learning more interactive and engaging than ever before.<\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/mathigon.org\/about#team\">Team Mathigon<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Beginning-Mathematical-Logic-A-Study-Guide-6fcbddab8fc94eb6a06b400a097fc0e3?pvs=21\">Beginning Mathematical Logic: A Study Guide <\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><\/td><td><\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Peter Smith. Contact: peter_smith AT me DOT com<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Introduction-to-Logic-course-5553d528e3094e63a8fc64a3dddd63ea?pvs=21\">Introduction to Logic course<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td><\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Coursera<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Mathematical-Thinking-course-a1ee96de384241c19a17c600efa193f2?pvs=21\">Mathematical Thinking course<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td><\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Coursera<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Book-Of-Proof-by-Richard-Hammack-97c3e1dfe0e84873945a391d72de98f1?pvs=21\">Book Of Proof by Richard Hammack<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><\/td><td><\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Richard Hammack<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Symbolic-Logic-by-Lewis-Carroll-38784a2af1a44ba4bfd2c48df05eff00?pvs=21\">Symbolic Logic by Lewis Carroll<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><\/td><td><\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Lewis Carroll<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Student-Cognition-Toolbox-for-Statistics-54abe87a5c8646649bf89c61ea2b3b95?pvs=21\">Student Cognition Toolbox for Statistics<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td><em>The Student Cognition Toolbox (SCT) is a short course companion (or \u201csidecar\u201d) introducing and providing direct practice in study strategies that are informed by learning science research.<\/em>&nbsp;In this version of the SCT, material from introductory statistics is used to illustrate the application of the study strategies. This version gives examples and recommendations specifically for students studying Introductory Statistics.<\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.cmu.edu\/\">Carnegie Mellon University<\/a><\/td><td><strong><strong>Open &amp; Free Version<\/strong><\/strong><br>Same as above<br><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logicmatters-net-11eec9ae61fa4af0af9cefa8051517eb?pvs=21\">Logicmatters.net<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><span class=\"selected-value select-value-color-purple\">Website<\/span><\/td><td><\/td><td>&#8211; THE BIG RED LOGIC BOOKS&nbsp;<br><br>&#8211; LOGIC MATTERS BLOG&nbsp;(Peter Smith)<br><br>&#8211; INTRO TO FORMAL LOGIC.&nbsp;<br><br>&#8211; G\u00d6DEL\u2019S THEOREMS (2 books)<br><br>&#8211; CATEGORY THEORY&nbsp;(introductory\/intermediate level resources, with lecture notes and books)<br><br>&#8211; TEACH YOURSELF LOGIC&nbsp;study guide<br><br>&#8211; ARCHIVE&nbsp;Links to various old blog posts, papers, book reviews, notes, advice, etc. <br><br>&#8211; Link to LaTeX FOR LOGICIANS&nbsp;<\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Peter Smith. Contact: peter_smith AT me DOT com<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logic-ly-854bf0f51c25405fbb300ae5d631fd4f?pvs=21\">Logic.ly<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Educational Program<\/span><\/td><td>[Buy or Free Online Demo] The digital logic simulator. <a href=\"http:\/\/logic.ly\/\">Logic.ly<\/a> simulates logic circuits and assists students in learning digital electronics. Keep students engaged with a simple and friendly UI that encourages experimentation and discovery.<\/td><td>\u2022 Design circuits quickly and easily with a modern and&nbsp;<strong>intuitive user interface<\/strong>&nbsp;with drag-and-drop, copy\/paste, zoom &amp; more. <br>\u2022 Can pause the simulation and watch the signal propagate as you advance step-by-step. <\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-red\">Yes<\/span> (Windows and macOS)<\/td><td>Copyright 2008-2023 Bowler Hat LLC. All rights reserved.<\/td><td>News &amp; Updates:<br><strong><strong> <\/strong><\/strong>\u2022 <a href=\"https:\/\/logic.ly\/blog\/?utm_source=logicly-web&amp;utm_content=about-window\">Logic.ly Blog<\/a>, <br>\u2022 <a href=\"https:\/\/twitter.com\/logicly\/\">Follow Logic.ly on Twitter<\/a><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/An-Introduction-to-Computer-Science-d584f681db274ed68dc4a6179f4c06c9?pvs=21\">An Introduction to Computer Science<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td>I call this site many things, a textbook, a study guide, the course website. Its goal is to present the material is a comprehensive written way.<\/td><td><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/charlierose.dev\/\">Charlie Stuart<\/a>, <em>Drexel University&#8217;s College of Computing and Informatics<\/em><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logic-Proofs-51c1c18e798646ea9b1ca55196ac4384?pvs=21\">Logic &amp; Proofs<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td>An introductory logic course, designed for students from a broad range of disciplines, from mathematics and computer science to drama and creative writing. It is also designed to reflect aspects of the logical tradition (going back to Aristotle) as well as the practical applicability (for example for the construction of Boolean circuits). Below one finds a&nbsp;<a href=\"https:\/\/oli.cmu.edu\/courses\/logic-proofs\/#tab-description\"><strong>detailed description<\/strong><\/a>&nbsp;of the course with many of its special features.<\/td><td><em>Logic &amp; Proofs<\/em>&nbsp;is a rigorous introduction to modern symbolic logic that covers both sentential and predicate logic (including identity). The crucial skills of recognizing the (in-)correctness of arguments are honed by working in the&nbsp;<a href=\"https:\/\/oli.cmu.edu\/courses\/logic-proofs\/#tab-the-logiclab\"><strong>LogicLab<\/strong><\/a>: in&nbsp;<em>derivation<\/em>&nbsp;or&nbsp;<em>proof<\/em>&nbsp;problems, students learn to construct complex arguments in a strategically guided way; in truth table and truth-tree problems, the emphasis is on systematically finding counterexamples.<\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.cmu.edu\/\">Carnegie Mellon University<\/a><\/td><td><strong><strong>Open &amp; Free Version<\/strong><\/strong><br>Same as above<br><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Causal-and-Statistical-Reasoning-2aa8e506059e430ca8520c7394cb1d6f?pvs=21\">Causal and Statistical Reasoning<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><\/td><td>An introduction to causal and statistical reasoning, this course is meant for students interested in critical thinking skills for daily life, students who will take a few statistics courses in service of a related field of study, and\/or students interested in the foundations of quantitative causal models: called Bayes Networks.<\/td><td><strong><strong>Topics Covered: <\/strong><\/strong>Causation, association and independence, causation to association, association to causation: problems, association to causation: strategies<\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.cmu.edu\/\">Carnegie Mellon University<\/a><\/td><td><strong><strong>Open &amp; Free Version<\/strong><\/strong><br>This Open &amp; Free Course provides you with access to an online course comparable to a full semester course on Causal and Statistical Reasoning taught at Carnegie Mellon University. Your access includes the complete online course including all expository text, simulations, case studies, comprehension tests, computer tutors, and the Causality Lab.<br>At Carnegie Mellon, this online course is taught in combination with instructor-led discussion sections. The Open &amp; Free Causal and Statistical Reasoning course does NOT include access to the end-of-module graded exams or to the course instructor. No credit is awarded for completing the Open &amp; Free Causal and Statistical Reasoning course.<br><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<h3 class=\"wp-block-heading alignwide\" id=\"tools-for-teaching-logic\"><a href=\"https:\/\/francoisschwarzentruber.github.io\/tools-for-teaching-logic\">tools-for-teaching-logic<\/a> <\/h3>\n\n\n\n<div class=\"wp-block-buttons alignwide is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--2\"><a class=\"wp-block-button__link wp-element-button\" href=\"#resources\">Back to Other Resources<\/a><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns alignwide is-layout-flex wp-container-core-columns-is-layout-28f84493 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:100%\">\n<div class=\"wp-block-group has-global-padding is-layout-constrained wp-block-group-is-layout-constrained\">\n<figure class=\"wp-block-table alignwide is-style-stripes has-small-font-size\" style=\"padding-top:0;padding-bottom:0\"><table class=\"has-fixed-layout\" style=\"border-style:none;border-width:0px\"><thead><tr><th>URL<\/th><th>Resource type<\/th><th>About<\/th><th>External Software?<\/th><th>Features<\/th><th>Author(s)<\/th><th>Notes<\/th><\/tr><\/thead><tbody><tr><td><a href=\"https:\/\/francoisschwarzentruber.github.io\/tools-for-teaching-logic\/\">tools-for-teaching-logic<\/a><\/td><td><span class=\"selected-value select-value-color-default\">Website<\/span><\/td><td>Open Source<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>List of resources which appear in the remainder of this table<\/td><td><a href=\"https:\/\/github.com\/francoisschwarzentruber\">Francois Schwarzentruber<\/a>, ENS Rennes, France<\/td><td>One broken link. Can contribute to the page via GitHub (<a href=\"https:\/\/github.com\/francoisschwarzentruber\/tools-for-teaching-logic\/edit\/main\/README.md\">Improve this page<\/a>)<\/td><\/tr><tr><td><a href=\"https:\/\/logic4fun.cecs.anu.edu.au\/about\">Logic4Fun<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Solver<\/span><\/td><td>Version 2.0 (beta), released in 2014.<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>\u2022 Full first order logic form for constraints in place of clause form<br>\u2022 Facility to save and reload work, and to submit it to the class manager<br>\u2022 Provision of standard logical symbols for connectives and quantifiers<br>\u2022 A help facility based on keyword search<br>\u2022 Puzzle text, solver input and solver output all on the same page<\/td><td>an&nbsp;<a href=\"https:\/\/cecs.anu.edu.au\/study\/summer-programs\">ANU Summer Scholars<\/a>&nbsp;team with&nbsp;<a href=\"https:\/\/users.cecs.anu.edu.au\/~jks\/\">Dr. John Slaney<\/a>, Australia<\/td><td>Registration and login needed!<\/td><\/tr><tr><td><a href=\"https:\/\/touist.github.io\/\">TouIST<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Solver<\/span><\/td><td>A graphical user interface and command line for using a SAT\/SMT solver<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>A friendly language for propositional logic and more<\/td><td><a href=\"https:\/\/www.irit.fr\/spip.php?page=annuaire&amp;code=2646\">Fr\u00e9d\u00e9ric Maris<\/a>&nbsp;(Associate Professor),&nbsp;<a href=\"https:\/\/www.irit.fr\/~Olivier.Gasquet\">Olivier Gasquet<\/a>&nbsp;(Full Professor),&nbsp;<a href=\"https:\/\/www.irit.fr\/~Dominique.Longin\">Dominique Longin<\/a>&nbsp;(Research Scientist) and&nbsp;<a href=\"https:\/\/www.irit.fr\/~Mael.Valais\">Ma\u00ebl Valais<\/a>&nbsp;(PhD student) at Institut de Recherche en Informatique de Toulouse (<a href=\"https:\/\/www.irit.fr\/\">IRIT<\/a>). It is a&nbsp;\u201csecond\u201d&nbsp;or&nbsp;\u201cnew\u201d&nbsp;version of a previous program, SAToulouse.&nbsp;<a href=\"https:\/\/github.com\/touist\/touist\">TouIST<\/a>&nbsp;is now actively developed in context of Ma\u00ebl Valais&#8217;&nbsp;PhD thesis.<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/potassco.org\/\">Potassco(Potsdam Answer Set Solving Collection)<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Solver<\/span><\/td><td>Tools for Answer Set Programming<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Getting started, Documentation, Software. Also contains an &#8220;Answer Set Programming&#8221; course at <a href=\"https:\/\/teaching.potassco.org\/\">https:\/\/teaching.potassco.org\/<\/a> <\/td><td><a href=\"https:\/\/uni-potsdam.de\/\">University of Potsdam<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/rkirsling.github.io\/modallogic\/\">Modal Logic Playground<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Modal Logic<\/span><\/td><td>This app is a graphical semantic calculator for a specific kind of modal logic, modal propositional logic, which extends propositional logic but lacks quantifiers (\u2200 and \u2203)<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td><\/td><td><a href=\"https:\/\/github.com\/rkirsling\">Ross Kirsling<\/a>, Tokio<\/td><td><\/td><\/tr><tr><td><a href=\"http:\/\/hintikkasworld.irisa.fr\/\">Hintikka&#8217;s world<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Modal Logic<\/span><\/td><td>This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that&#8230;). It enables to explore mental states of the agents by clicking on them. It contains many classical AI examples.<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>This tool can be used for: Learning modal logic. Model checking and satisfiability problem. Learning models of dynamic epistemic logic. Having fun with epistemic puzzles.<\/td><td><a href=\"https:\/\/www.irisa.fr\/en\">IRISA<\/a>, France<\/td><td>Not secured connection<\/td><\/tr><tr><td><a href=\"https:\/\/w4eg.de\/malvin\/illc\/smcdelweb\/index.html\">SMCDEL<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Modal Logic<\/span><\/td><td>A symbolic model checker for Dynamic Epistemic Logic.<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>Example codes, Paper, and Technical report<\/td><td><a href=\"https:\/\/malv.in\/\">Malvin Gattinger<\/a>, ILLC, Universiteit van Amsterdam<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.irit.fr\/Lotrec\/\" data-type=\"link\" data-id=\"https:\/\/www.irit.fr\/Lotrec\/\">LoTREC<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Modal Logic<\/span><\/td><td>Generic Tableau Prover<br>Latest version (as of 14\/07\/2023): Feb 07, 2019<br><\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td><\/td><td><a href=\"https:\/\/www.irit.fr\/en\/departement\/dep-artificial-intelligence\/lilac-team\/\">Lilac team<\/a><\/td><td>Requires download of software<\/td><\/tr><tr><td><a href=\"http:\/\/www.cs.man.ac.uk\/~schmidt\/tools\/\" data-type=\"link\" data-id=\"http:\/\/www.cs.man.ac.uk\/~schmidt\/tools\/\">AiML.Net<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Modal Logic<\/span><\/td><td>List of tools of modal logic<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>Incomplete list of Accessible theorem provers, Verifiers, Translators, Automated correspondence theory, Visualisation, Other tools, Generators of formulae, Collections of problems, Related links<\/td><td><a href=\"http:\/\/www.cs.man.ac.uk\/~schmidt\/\">Renata Schmidt<\/a>, University of Manchester<\/td><td>Not secured connection<\/td><\/tr><tr><td><a href=\"https:\/\/www.doc.ic.ac.uk\/pandora\/newpandora\/index.html\">Pandora<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Proof System<\/span><\/td><td>Pandora stands for &#8220;Proof Assistant for Natural Deduction using Organised Rectangular Areas&#8221;. Pandora can be used to prove that a &lt;goal&gt; formula follows from the given formulae.<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Quick start + documentation + software<\/td><td>Imperial College London<\/td><td>Software that needs to be downloaded. To run Pandora, Java Web Start is required<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Pravda-dbd5951f21a94aac8e3ad9c85f13ffbf?pvs=21\">Pravda<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Proof System<\/span><\/td><td>Pedagogical prover &#8211; exercices in proof systems<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>Resolution + Hilbert + Natural Deduction proof systems<\/td><td>ENS Rennes<\/td><td>Not secured connection.<\/td><\/tr><tr><td><a href=\"https:\/\/people.irisa.fr\/Francois.Schwarzentruber\/panda\/\">Panda<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Proof System<\/span><\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td><\/td><td><\/td><td>Software that needs to be downloaded. <\/td><\/tr><tr><td><a href=\"https:\/\/incredible.pm\/\">The Incredible Proof Machine<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Proof System<\/span><\/td><td>Tool to perform proofs in various logics (e.g. propositional, predicate logic) visually<\/td><td><span class=\"selected-value select-value-color-gray\">No<\/span><\/td><td>You simply add blocks that represent the various proofs steps, connect them properly, and if the conclusion turns green, then you have created a complete proof! Simply drag and drop to connect two dots; for some examples of completed proofs, see&nbsp;<a href=\"https:\/\/www.joachim-breitner.de\/publications\/Incredible_ITP2016_preprint.pdf\">this paper<\/a>.<\/td><td>Mostly&nbsp;<a href=\"http:\/\/www.joachim-breitner.de\/\">Joachim Breitner<\/a>, Karlsruher Institut f\u00fcr Technologie, with valuable help from&nbsp;<a href=\"https:\/\/github.com\/nomeata\/incredible\/graphs\/contributors\">some colleagues and friends<\/a>.<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.why3.org\/\">Why3<\/a><\/td><td><span class=\"selected-value select-value-color-yellow\">Program Verification<\/span><\/td><td>Platform for deductive program verification<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Includes Documentation + Examples + PRojects using Why3 + Other External Provers<\/td><td>Team-project&nbsp;<a href=\"http:\/\/toccata.gitlabpages.inria.fr\/toccata\/\">Toccata<\/a>&nbsp;(formerly ProVal) at Inria Saclay-\u00cele-de-France \/ LRI Univ Paris-Saclay \/ CNRS. <strong>Main developers<\/strong><br>\u2022 <br><a href=\"http:\/\/fr.linkedin.com\/pub\/fran%C3%A7ois-bobot\/82\/743\/730\">Fran\u00e7ois Bobot<\/a><br>\u2022 <br><a href=\"https:\/\/www.lri.fr\/~filliatr\/\">Jean-Christophe Filli\u00e2tre<\/a><br>\u2022 <br><a href=\"https:\/\/marche.gitlabpages.inria.fr\/home\/\">Claude March\u00e9<\/a><br>\u2022 <br><a href=\"https:\/\/www.lri.fr\/~melquion\/\">Guillaume Melquiond<\/a><br>\u2022 <br><a href=\"https:\/\/www.lri.fr\/~andrei\/\">Andrei Paskevich<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/nusmv.fbk.eu\/\">NuSMV<\/a><\/td><td><span class=\"selected-value select-value-color-purple\">Model Checkers for Temporal Logics<\/span><\/td><td>Symbolic model checker<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Includes: Projects using NuSMV + Mailing lists + On-line documentation + NuSMV Papers + NuSMV Examples + Bugs and extensions + Other projects<\/td><td>Joint project between: The&nbsp;<a href=\"https:\/\/es.fbk.eu\/\">Embedded Systems Unit<\/a>&nbsp;in the&nbsp;<a href=\"https:\/\/www.fbk.eu\/en\/digital-industry\/\">Digital Industry Center&nbsp;<\/a>at&nbsp;<a href=\"http:\/\/fbk.eu\/\">FBK-IRST<\/a>; The&nbsp;<a href=\"http:\/\/www.cs.cmu.edu\/%7Emodelcheck\/\">Model Checking<\/a>&nbsp;group at&nbsp;<a href=\"http:\/\/www.cs.cmu.edu\/\">Carnegie Mellon University&nbsp;<\/a>, the Mechanized Reasoning Group at&nbsp;<a href=\"http:\/\/www.dist.unige.it\/\">University of Genova<\/a>; and The Mechanized Reasoning Group at&nbsp;<a href=\"http:\/\/www.dit.unitn.it\/\">University of Trento<\/a>.<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/spinroot.com\/spin\/whatispin.html\">Spin<\/a><\/td><td><span class=\"selected-value select-value-color-purple\">Model Checkers for Temporal Logics<\/span><\/td><td>Widely used open-source software verification too<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Includes: examples, stories, tutorials, books, papers model extraction, exercises, docs on use, community<\/td><td>Bell Labs in the Unix group of the Computing Sciences Research Center<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/alloytools.org\/\">Alloy<\/a><\/td><td><span class=\"selected-value select-value-color-green\">Modelling<\/span><\/td><td>Open source language and analyzer for software modeling<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Site has language doc, tool downloads, and a repository of links to case studies and applications.<\/td><td><a href=\"http:\/\/sdg.csail.mit.edu\/\">Software Design Group<\/a>&nbsp;at&nbsp;<a href=\"http:\/\/mit.edu\/\">MIT<\/a>.<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/sail.doc.ic.ac.uk\/software\/mcmas\/\">MCMAS<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Multi-agent Systems<\/span><\/td><td>Open-source, OBDD-based symbolic model checker tailored to the verification of Multi-Agent Systems (MAS)<\/td><td><span class=\"selected-value select-value-color-pink\">Yes<\/span><\/td><td>Includes software + graphical interface documentation<\/td><td><a href=\"https:\/\/vas.doc.ic.ac.uk\/team\/\">VAS Group<\/a>, Imperial College London<\/td><td><\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:78px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading alignwide\" id=\"logic-software-and-logic-education\">Logic software and logic education<\/h3>\n\n\n\n<div class=\"wp-block-buttons alignwide is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--3\"><a class=\"wp-block-button__link wp-element-button\" href=\"#resources\">Back to Other Resources<\/a><\/div>\n<\/div>\n\n\n\n<figure class=\"wp-block-table alignwide is-style-stripes has-small-font-size\"><table class=\"has-fixed-layout\"><thead><tr><th>URL<\/th><th>Type<\/th><th>About<\/th><th>Features<\/th><th>External Software?<\/th><th>Author(s)<\/th><th>Notes<\/th><\/tr><\/thead><tbody><tr><td><a href=\"https:\/\/www.notion.so\/Logic-software-and-logic-education-HTML-download-website-4dc7caa397af46658896600377630e7f?pvs=21\">Logic software and logic education HTML download website<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">HTML <\/span><span class=\"selected-value\">Website<\/span><\/td><td><em>Commenced in 1996. Last updated 23 May 2007.<br><br><\/em>It currently has some broken links. Those which are not broken are listed below.<\/td><td>These pages contain a pretty comprehensive, alphabetically ordered: list of educational logic software as well as additional, very incomplete, information on that subject in the form of links to: the theorem proving community, other lists of educational logic software, logic education projects&nbsp;.<\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td><em>Maintained by&nbsp;<\/em><a href=\"http:\/\/www.cs.otago.ac.nz\/staffpriv\/hans\/\"><em>Hans van Ditmarsch&nbsp;<\/em><\/a><em>. Comments appreciated:&nbsp;<\/em><a href=\"mailto:hans@cs.otago.ac.nz\"><em>hans@cs.otago.ac.nz<\/em><\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/AproS-fe7fe7e0e6794af4baf34cebc727ce2c?pvs=21\">AproS<\/a><\/td><td><span class=\"selected-value select-value-color-brown\">Online Course<\/span><span class=\"selected-value select-value-color-default\">Proof Search<\/span><\/td><td><\/td><td>The broadened project has now three separate parts. (1) At its center is the automated proof search engine&nbsp;<strong>AProS<\/strong>. It provides the computational core for all our efforts to enhance logic learning and teaching through excellent technological support. (2) These efforts have resulted in the development of sophisticated, interactive Labs that are incorporated in web-based&nbsp;<strong>Courses featuring the LogicLab Software Suite<\/strong>, in particular, in the introductory course&nbsp;<em><strong>Logic &amp; Proofs<\/strong><\/em>. (3) The novel logical calculus&nbsp;<strong>NIC<\/strong>&nbsp;(normal intercalation calculus) reflects informal bi-directional reasoning and allows the formulation of efficient strategies for proof search. These strategies are implemented in&nbsp;<strong>AProS<\/strong>&nbsp;which, in turn, is the logical backbone for the&nbsp;<strong>Dynamic Proof Tutor<\/strong>.<\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td>Project Director: <a href=\"https:\/\/www.phil.cmu.edu\/projects\/apros\/?people#wilfried\">Wilfried Sieg<\/a>, Research Staff: <a href=\"https:\/\/www.phil.cmu.edu\/projects\/apros\/?people#dawn\">Dawn McLaughlin, <\/a><a href=\"https:\/\/www.phil.cmu.edu\/projects\/apros\/?people#mike\">Michael Ringenberg<\/a>, Research Collaborators: <a href=\"https:\/\/www.phil.cmu.edu\/projects\/apros\/?people#joe\">Joseph Ramsey<\/a>, Research Associates (current): <a href=\"https:\/\/www.phil.cmu.edu\/projects\/apros\/?people#patrick\">Patrick Walsh, <\/a><a href=\"https:\/\/www.phil.cmu.edu\/projects\/apros\/?people#paulo\">Paulo Santos<\/a><\/td><td>The new AProS Application will soon be available! Stay tuned for the first release version in <strong>Fall 2023<\/strong>!<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Athena-Programming-Language-Old-version-with-exercises-Athena-2099ab2c0b884133956b7b9f117786d2?pvs=21\">Athena Programming Language (Old version with exercises: Athena)<\/a><\/td><td><span class=\"selected-value select-value-color-red\">Programming Language<\/span><span class=\"selected-value select-value-color-yellow\">Prover<\/span><\/td><td>Athena is a programming language and an interactive theorem proving environment rolled in one. (1) As a programming language, Athena is a higher-order functional language in the tradition of Scheme and ML: strict and lexically scoped. (2) As a theorem proving system, Athena is based on many-sorted first-order logic.<\/td><td>Combining expressivity and simplicity. True natural-deduction style. Conditional and Equational Rewriting. Built-in Proof Automation. Proof Reuse and Custom Tactics. Flexible Module System. Extensible notation. Abstract-level proofs and structured theories<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td>Created by Konstantine Arkoudas, and Mantained by <a href=\"https:\/\/github.com\/AthenaFoundation\">AthenaFoundation<\/a><\/td><td>New version has in-website playground but can also download. There are three available courses for learning Athena. The material for these courses consists of thoughtfully curated excerpts from the&nbsp;<a href=\"https:\/\/athena-lang.org\/book\/\">Athena book<\/a>. There is User\u2019s Guide for old version. <\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Linear-Logic-Prover-d120df2a0b2a4576a1d4f172ade11333?pvs=21\">Linear Logic Prover<\/a><\/td><td><span class=\"selected-value select-value-color-yellow\">Prover<\/span><\/td><td>This small program searches a cut-free proof of the given two-sided sequent of first-order&nbsp;<a href=\"https:\/\/cspsat.gitlab.io\/llp\/links.html\">linear logic<\/a>.<\/td><td>The proof search of linear logic is undecidable. Therefore, this program limits the number of contraction rules for each path of the proof at most three (this threshold value can be changed). <\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td><a href=\"https:\/\/kuid-rm-web.ofc.kobe-u.ac.jp\/profile\/en.64672be7ad29e33a520e17560c007669.html?mode=pc\">Naoyuki Tamura<\/a><\/td><td>There are further links in the website for resources. Some of these are likely broken.<br>Also, more on linear logic: <br><a href=\"http:\/\/www.lcc.uma.es\/~lopez\/linear.html\">http:\/\/www.lcc.uma.es\/~lopez\/linear.html<\/a><br>Site includes user\u2019s guide<br><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Sequent-Prover-45eb86f014864318a746987cc45c24f4?pvs=21\">Sequent Prover<\/a><\/td><td><span class=\"selected-value select-value-color-yellow\">Prover<\/span><\/td><td>This small program&nbsp;<a href=\"https:\/\/cspsat.gitlab.io\/seqprover\/seqprover.pl\">seqprover.pl<\/a>&nbsp;(written in Prolog) searches a cut-free proof of the given sequent of first-order logic.<\/td><td><\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td><a href=\"https:\/\/kuid-rm-web.ofc.kobe-u.ac.jp\/profile\/en.64672be7ad29e33a520e17560c007669.html?mode=pc\">Naoyuki Tamura<\/a><\/td><td>Please refer to&nbsp;<a href=\"https:\/\/cspsat.gitlab.io\/seqprover\/guide.pdf\">guide.pdf<\/a>&nbsp;for notations and inference rules.<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/An-Introduction-to-Teaching-Logic-as-a-Tool-1e82112c698449349c01161a8b075014?pvs=21\">An Introduction to Teaching Logic as a Tool<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>Contains links to different resources both educational and for teaching.<\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.cs.cornell.edu\/gries\/\">David Gries<\/a> and <a href=\"https:\/\/www.cs.cornell.edu\/fbs\/\">Fred B. Schneider<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Summa-Logicae-Spanish-English-47bcd14b8d1444819faf586df1efc28f?pvs=21\">Summa Logicae (Spanish &amp; English)<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>Digital library, a reference book for logic students and researchers alike, specially Spanish speakers, overtly involved in innovation and paedagogical systematization. We also include&nbsp;software, a selection of&nbsp;links&nbsp;and a&nbsp;glossary. There is a page in the site under the heading&nbsp;working groups, specifically devised for students.<\/td><td><strong>Fundamentals<\/strong>. This heading unifies a series of basic content and the fundamentals of our discipline, alternatively it could have been called \u201cMathematical Logic\u201d, o simply, \u201cLogic\u201d. Under this category we find the following sub-branches:&nbsp;<em>Elementary Logic<\/em>,&nbsp;<em>Proof Theory<\/em>,&nbsp;<em>Model Theory<\/em>,&nbsp;<em>Computational Theory&nbsp;<\/em>and&nbsp;<em>Set Theory<\/em>. <strong>Logical Systems<\/strong>. The greater part of our research activity involves devising logical systems of diverse nature. Traditionally they have been called non-classical logics, many of them were extensions of classical logic. We have decided to call them simply &#8220;logical systems&#8221;. Those materials, headings and subheadings displayed in this branch are so numerous that our only alternative was to resort to an open list which shall grow with time. <strong>Applications<\/strong>. Under this heading we have included all possible applications of logic, or logical systems, in different fields, such as:&nbsp;<em>Computer Science<\/em>,&nbsp;<em>Linguistics<\/em>,&nbsp;<em>Economics&nbsp;<\/em>or&nbsp;<em>Science<\/em>. <strong>Studies on Logic<\/strong>. Under this heading you will find a great variety of external studies which have logic as their main subject:&nbsp;<em>History of Logic<\/em>,&nbsp;<em>Bibliography<\/em>,&nbsp;<em>Philosophy of Logic<\/em>&nbsp;and&nbsp;<em>Paedagogy of Logic<\/em>.<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td><a href=\"http:\/\/logicae.usal.es\/mara\/\">Mar\u00eda Manzano<\/a>, et al.<\/td><td>User Guides (in Spanish) under<span style=\"border-bottom:0.05em solid\">:: Library :: Applications :: Comentario Software<\/span><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Taller-de-Did-ctica-de-la-L-gica-Spanish-ce72f959744a4970985bdf935a540256?pvs=21\">Taller de Did\u00e1ctica de la L\u00f3gica (Spanish)<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>Historical website from <a href=\"https:\/\/amlogica.webnode.mx\/\">Academia Mexicana de L\u00f3gica<\/a> <\/td><td>It contains links to various websites with variety of resources, some of which are broken<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/amlogica.webnode.mx\/\">Academia Mexicana de L\u00f3gica<\/a><\/td><td>Will try out the links to discover more educational logic resources.<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Theorem-Proving-System-TPS-and-the-Educational-Theorem-Proving-System-ETPS-937abbce8bbf47c3b84b1cff6c5fd9cd?pvs=21\">Theorem Proving System (TPS) and the Educational Theorem Proving System (ETPS)<\/a><\/td><td><span class=\"selected-value select-value-color-yellow\">Prover<\/span><\/td><td>The Theorem Proving System (TPS) is an automated theorem-prover for first-order logic and type theory. The Educational Theorem Proving System (ETPS) is a cut-down version of TPS intended for use by students; it contains only commands relevant to proving theorems interactively<\/td><td>Potential applications of automated theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive information systems for these disciplines, expert systems which can reason, and certain aspects of artificial intelligence.<\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td>[<a href=\"https:\/\/gtps.math.cmu.edu\/andrews.html\">Peter Andrews<\/a>] [<a href=\"http:\/\/www.dcs.kcl.ac.uk\/staff\/bishopm\/index.html\">Matthew Bishop<\/a>] [<a href=\"http:\/\/gtps.math.cmu.edu\/cebrown\/\">Chad E. Brown<\/a>] [R\u00e9my Chr\u00e9tien] [Eve Cohen] [<a href=\"http:\/\/www.cs.cmu.edu\/~si\/\">Sunil Issar<\/a>] [Dan Nesmith] [<a href=\"http:\/\/www.cs.cmu.edu\/~fp\/\">Frank Pfenning<\/a>] [<a href=\"http:\/\/www.cs.bu.edu\/~hwxi\/\">Hongwei Xi<\/a>]<\/td><td>TPS and ETPS run in&nbsp;<a href=\"https:\/\/gtps.math.cmu.edu\/lisp-links.html\">Common Lisp<\/a>, and can be used on any system where Common Lisp runs. TPS and ETPS have been used extensively under Unix and Linux systems, and to some extent under Windows.<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Tree-Proof-Generator-e82b34a1d0d0410fbcf9171e10887f0d?pvs=21\">Tree Proof Generator<\/a><\/td><td><span class=\"selected-value select-value-color-yellow\">Prover<\/span><\/td><td>Enter a formula of standard propositional, predicate, or modal logic. The page will try to find either a countermodel or a&nbsp;<a href=\"https:\/\/en.wikipedia.org\/wiki\/Method_of_analytic_tableau\">tree proof (a.k.a. semantic tableau)<\/a>.<\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.umsu.de\/\">Wolfgang Schwarz<\/a><\/td><td>User guide is given in the webpage with syntax and instructions on how to use the tool.<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Mechanized-Reasoning-6da464178f1e43ffb49845d63e63a58d?pvs=21\">Mechanized Reasoning<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>Variety of links related to Automated Reasoning<\/td><td>This page contains the following items: \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#intro\">What is Automated Reasoning<\/a>, \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#subpages\">Existing systems, related fields\/pages, archives, &#8230;<\/a> \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#groups\">Research groups and projects<\/a>, \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#fora\">Discussion forums<\/a>, \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#journals\">Journals<\/a>, \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#organizations\">Organizations<\/a>, \u2022 <a href=\"http:\/\/www-formal.stanford.edu\/clt\/ARS\/ars-db.html#annotated\">An annotated reading list<\/a><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"http:\/\/www.ags.uni-sb.de\/~kohlhase\">Michael Kohlhase<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/www-formal.stanford.edu\/clt\/home.html\">Carolyn Talcott<\/a>.<\/td><td>[Last updated 2 September 1996.] This page is still under construction, so it is by no means complete. For better service to the Mechanized Reasoning community we will need your help.&nbsp;<strong>Please contribute!<\/strong>. Send links, material to fill in blanks, suggestions, encouragement, or donations by clicking&nbsp;<a href=\"mailto:%20clt@cs.stanford.edu,%20kohlhase@cs.uni-sb.de\"><strong>here<\/strong><\/a>.<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Introduction-to-Logic-d16e6db3a25a49449f33069fb05f247a?pvs=21\">Introduction to Logic<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>This website provides, through a range of materials and tools, an introduction to the study of elementary logic covering propositional and predicate calculus. It is hoped that the site may be useful more widely, for anyone who would like to investigate the subject. The material here is intended to be used in conjunction with Wilfrid Hodges&#8217;&nbsp;<a href=\"http:\/\/wilfridhodges.co.uk\/\">Logic<\/a>. This text was used for the Introduction to Logic course until 2008, when Hodges&#8217; text was replaced with the&nbsp;<a href=\"http:\/\/logicmanual.philosophy.ox.ac.uk\/\">Logic Manual<\/a>&nbsp;as set text.<\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>The Logic Web project has been directed by Hugh Rice at the Faculty of Philosophy.This site has been developed by the&nbsp;<a href=\"http:\/\/www.oucs.ox.ac.uk\/acdt\/\">Academic Computing Development Team<\/a>Initial development and design carried out by Martin Rhys Jones..<a href=\"http:\/\/logic.philosophy.ox.ac.uk\/acknowledgements.htm\">Acknowledgements<\/a><\/td><td><em>These webpages are no longer maintained and appear here as an unsupported resource only.<\/em><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Tableau3-b35031f0ac0046798d8a6889c7c8e663?pvs=21\">Tableau3<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>Tableau3 has been written in Java and in order to run properly has two main requirements: a program that can interpret the Java program (called a&nbsp;<em>Java Runtime Environment<\/em>) and the ability to display mathematical symbols through the provision of appropriate fonts.<br><br><\/td><td>The instructions on this Help Page are designed to provide assistance in getting Tableau3 to work in a selection of environments.<\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td>Tableau3 has been developed by Nik Roberts<\/td><td>The Tableau3 program has been written in Java and requires some configuration in order to get it working properly.<\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Power-of-Logic-2dd9c7b77b994459bb6d58c7ee3ba8aa?pvs=21\">Power of Logic<\/a><\/td><td><span class=\"selected-value\">Website<\/span><\/td><td>The&nbsp;<strong>Power of Logic Web Tutor<\/strong>&nbsp;is a free tutorial to accompany the sixth edition of&nbsp;<em>The Power of Logic<\/em>&nbsp;by Frances Howard-Snyder, Daniel Howard-Snyder, and Ryan Wasserman.<\/td><td>This internet-based study guide provides you with numerous ways to check your understanding of logic and to independently check your work and receive feedback.<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Website produced by&nbsp;<em>Logic Pedallers<\/em>for McGraw-Hill &nbsp;&nbsp;\u00a9 2012 \u2013&nbsp;2023<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/DN-FN-2d136ba83ff544dbbf2a2b4bd8ae56e1?pvs=21\">DN-FN<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Educational Program<\/span><\/td><td><em>Program to learn Natural Deduction in Gentzen-Kleene&#8217;s style<\/em><\/td><td>The disk contains two programs, DN and FN, intended to provide some help in teaching Natural Deduction (in Gentzen&#8217;s style) and Normal Forms calculation. They are written in Pascal for PC computers. The primitive idea was to have at disposal a true and intelligent deriver, being able to calculate and provide (on a printer) fair copies for exercises carried out for a long time at the University of Nantes.<\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td><a href=\"http:\/\/patrice.bailhache.free.fr\/dnfn\/dnfn_manual.pdf\">Patrice Bailhache<\/a>, Universit\u00e9 de Nantes<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logic-Toolbox-a6156e74662a4f1db49354deae367b6a?pvs=21\">Logic-Toolbox<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Educational Program<\/span><\/td><td><a href=\"https:\/\/philosophy.lander.edu\/~jsaetti\/dojoCateg\/categorical.html\"><strong>Categorical Logic<\/strong><\/a><strong> (Seems to not be working properly), <\/strong><a href=\"https:\/\/philosophy.lander.edu\/~jsaetti\/TFNew\/NewTF.html\"><strong>Propositional Logic, <\/strong><\/a><a href=\"https:\/\/philosophy.lander.edu\/~jsaetti\/dojoProof2\/proof1_7.html\"><strong>Formal Proofs<\/strong><\/a><\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><strong>Update:4\/9\/13Please send questions, feedback, suggestions, and bug reports to:<\/strong><a href=\"mailto:john.saetti@gmail.com\"><strong>john.saetti@gmail.com<\/strong><\/a><strong>Copyright \u00a92007 by John Saetti &#8211; ALL RIGHTS RESERVEDLast update: 6-1-18<\/strong><\/td><td><strong>This material is provided with the hope that it may be useful to students- but WITHOUT ANY WARRANTY &#8211; even an implied warranty of its fitness for a particular purpose.<\/strong><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/The-Logic-Machine-e0d3b7469e4649a1a7da8b55448a9864?pvs=21\">The Logic Machine<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><span class=\"selected-value select-value-color-gray\">Educational Program<\/span><\/td><td>The Logic Machine, originally developed and hosted at Texas A&amp;M University, provides interactive logic software used for teaching introductory formal logic. The Daemon Proof Checker checks proofs and can provide hints for students attempting to construct proofs in a natural deduction system for sentential (propositional) and first-order predicate (quantifier) logic. The Quizmaster provides a variety of exercises, from questions about basic concepts such as validity, to wff construction and translation, to proofs, truth tables, and countermodels. The system and exercises are based on&nbsp;<em>Logic Primer<\/em>&nbsp;(MIT Press, 2000) but the exercises are also suitable for use with other texts, such as E.J. Lemmon&#8217;s&nbsp;<em>Beginning Logic<\/em>.<\/td><td><\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td><a href=\"https:\/\/colinallen.dnsalias.org\/\">Colin&nbsp;Allen and <\/a><a href=\"http:\/\/cmenzel.org\/\">Chris&nbsp;Menzel<\/a> <a href=\"https:\/\/logic.tamu.edu\/copyright.html\">\u00a92006-2022<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Jape-1bee4cb885774fdbaa772bb243a0ed59?pvs=21\">Jape<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Proof Calculator<\/span><\/td><td>Jape is a configurable proof calculator and supports the interactive discovery of formal proofs in inference systems. It is distributed with a number of example logic encodings: in particular a natural deduction, several sequent calculi, a treatment of Burroughs-Abadi-Newman protocols, a Hindley-Milner typing mechanism, and various others including even Aristotlean syllogisms.<\/td><td>A manual (<a href=\"https:\/\/github.com\/RBornat\/jape\/tree\/master\/dev\/doc\/manuals\/roll_your_own\">Roll your own Jape logic<\/a>) is available for those who would like to experiment with their own encodings.<br>Get releases via&nbsp;<br><a href=\"https:\/\/github.com\/RBornat\/jape\/releases\">the release page<\/a>, and please report problems via&nbsp;<a href=\"https:\/\/github.com\/RBornat\/jape\/issues\">the issues page<\/a>.<\/td><td><span class=\"selected-value select-value-color-default\">Yes<\/span><\/td><td>Richard Bornat<\/td><td><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<h3 class=\"wp-block-heading alignwide\" id=\"uni-michigan\">University of Michigan Library &#8211; Philosophy &#8211; Logic Resources <\/h3>\n\n\n\n<div class=\"wp-block-buttons alignwide is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--4\"><a class=\"wp-block-button__link wp-element-button\" href=\"#resources\">Back to Other Resources<\/a><\/div>\n<\/div>\n\n\n\n<figure class=\"wp-block-table alignwide is-style-stripes has-small-font-size\"><table class=\"has-fixed-layout\"><thead><tr><th>URL<\/th><th><br>Type<span class=\"icon property-icon\"><svg role=\"graphics-symbol\" viewBox=\"0 0 16 16\" style=\"width:14px;height:14px;display:block;fill:rgba(55, 53, 47, 0.45);flex-shrink:0\" class=\"typesMultipleSelect\"><path d=\"M1.91602 4.83789C2.44238 4.83789 2.87305 4.40723 2.87305 3.87402C2.87305 3.34766 2.44238 2.91699 1.91602 2.91699C1.38281 2.91699 0.952148 3.34766 0.952148 3.87402C0.952148 4.40723 1.38281 4.83789 1.91602 4.83789ZM5.1084 4.52344H14.3984C14.7607 4.52344 15.0479 4.23633 15.0479 3.87402C15.0479 3.51172 14.7607 3.22461 14.3984 3.22461H5.1084C4.74609 3.22461 4.45898 3.51172 4.45898 3.87402C4.45898 4.23633 4.74609 4.52344 5.1084 4.52344ZM1.91602 9.03516C2.44238 9.03516 2.87305 8.60449 2.87305 8.07129C2.87305 7.54492 2.44238 7.11426 1.91602 7.11426C1.38281 7.11426 0.952148 7.54492 0.952148 8.07129C0.952148 8.60449 1.38281 9.03516 1.91602 9.03516ZM5.1084 8.7207H14.3984C14.7607 8.7207 15.0479 8.43359 15.0479 8.07129C15.0479 7.70898 14.7607 7.42188 14.3984 7.42188H5.1084C4.74609 7.42188 4.45898 7.70898 4.45898 8.07129C4.45898 8.43359 4.74609 8.7207 5.1084 8.7207ZM1.91602 13.2324C2.44238 13.2324 2.87305 12.8018 2.87305 12.2686C2.87305 11.7422 2.44238 11.3115 1.91602 11.3115C1.38281 11.3115 0.952148 11.7422 0.952148 12.2686C0.952148 12.8018 1.38281 13.2324 1.91602 13.2324ZM5.1084 12.918H14.3984C14.7607 12.918 15.0479 12.6309 15.0479 12.2686C15.0479 11.9062 14.7607 11.6191 14.3984 11.6191H5.1084C4.74609 11.6191 4.45898 11.9062 4.45898 12.2686C4.45898 12.6309 4.74609 12.918 5.1084 12.918Z\"><\/path><\/svg><\/span><\/th><th>About<\/th><th>Features<\/th><th>External Software?<\/th><th>Author(s)<\/th><th>Notes<\/th><\/tr><\/thead><tbody><tr><td><a href=\"https:\/\/www.notion.so\/University-of-Michigan-Library-Philosophy-Logic-Resources-0b88881eac2441748724b939e553dd40?pvs=21\">University of Michigan Library &#8211; Philosophy &#8211; Logic Resources<\/a><\/td><td><span class=\"selected-value select-value-color-yellow\">Collection of Resources<\/span><span class=\"selected-value select-value-color-green\">Website<\/span><\/td><td>Selected resources useful for philosophical research.<\/td><td><strong><strong>Online Logic Resources, Logic Blogs, Online Courses for Logic<\/strong><\/strong><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/umich.edu\/\">University of Michigan<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Blogic-dd7a847cb26a4f24ba80d78490e71176?pvs=21\">Blogic<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><\/td><td>This book explores the deep structure of thought and language. It will not teach you how to think or how to speak, but it will teach you how to think and speak about thinking and speaking &#8212; how to analyze and discuss them in terms of universal principles by which they are governed. These principles play an especially important role in reasoning &#8212; the reasoning that we do in our heads, when we think, and the reasoning that we do aloud when we argue for a conclusion.<\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/as.nyu.edu\/faculty\/j-david-velleman.html\">David Velleman<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Latex-for-logicians-a342249ccd7d4bb7aa604a568c02bda2?pvs=21\">Latex-for-logicians<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Article<\/span><span class=\"selected-value select-value-color-green\">Website<\/span><\/td><td>These pages give a brief guide to resources of interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and perhaps wanting to include logical matter such as natural deduction proofs.<\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Peter Smith. Contact: peter_smith AT me DOT com<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Logic-in-argumentative-writing-5c88550c3fda4f28ac6c0ba8480f4c3d?pvs=21\">Logic in argumentative writing<\/a><\/td><td><span class=\"selected-value select-value-color-orange\">Article<\/span><span class=\"selected-value select-value-color-green\">Website<\/span><\/td><td>This handout is designed to help writers develop and use logical arguments in writing. This handout helps writers analyze the arguments of others and generate their own arguments.<\/td><td><\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.purdue.edu\/\">Purdue University<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/The-Many-Worlds-of-Logic-da4ae7266b09417798684af8ee796c22?pvs=21\">The Many Worlds of Logic<\/a><\/td><td><span class=\"selected-value select-value-color-gray\">Quizzes<\/span><span class=\"selected-value select-value-color-brown\">Slides<\/span><span class=\"selected-value select-value-color-pink\">Videos<\/span><span class=\"selected-value select-value-color-green\">Website<\/span><\/td><td>This website accompanies and supplements the standard logic class taught at most colleges and universities.<\/td><td>The videos, slides, lectures, and quizzes on this website are keyed to&nbsp;<a href=\"https:\/\/amzn.to\/31Uk1Ca\"><em>Introduction to Logic<\/em><\/a>&nbsp;by Paul Herrick (Oxford University Press, 2012).<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Paul Herrick, Shoreline Comm College<\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Puzzle-Baron-s-logic-puzzles-8b1428230f444e30ac4b579ef91e45ef?pvs=21\">Puzzle Baron&#8217;s logic puzzles<\/a><\/td><td><span class=\"selected-value select-value-color-purple\">Puzzles<\/span><\/td><td>Website with more than 25,000 unique puzzles available for play, both online and the old fashioned way &#8211; with pencil and paper<\/td><td>Feel free to solve online just for fun, or, for an added challenge,&nbsp;<a href=\"https:\/\/logic.puzzlebaron.com\/register.php\"><strong>register a free account<\/strong><\/a>&nbsp;and compete against thousands of other solvers to make it into our&nbsp;<a href=\"https:\/\/logic.puzzlebaron.com\/top.php\"><strong>Logic Puzzle Hall of Fame<\/strong><\/a>!<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td><a href=\"https:\/\/www.puzzlebaron.com\/\">Puzzle Baron<\/a><\/td><td><\/td><\/tr><tr><td><a href=\"https:\/\/www.notion.so\/Teach-Yourself-Logic-851c1039d87a4fe59adce0a24a5b841a?pvs=21\">Teach Yourself Logic<\/a><\/td><td><span class=\"selected-value select-value-color-blue\">Book<\/span><span class=\"selected-value select-value-color-default\">Study Guide<\/span><\/td><td>A re-titled, expanded version of the old&nbsp;<em>Teach Yourself Logic<\/em>&nbsp;study guide. This is a book length guide to suitable texts either for teaching yourself logic by individual self-study, or to supplement a university course. You only need to read just the first half-dozen pages to see if this is for you!<\/td><td>The same reviews in the&nbsp;<em>Appendix<\/em>&nbsp;can also be found as separate webpages in linked to&nbsp;<a href=\"https:\/\/www.logicmatters.net\/tyl\/booknotes\/\">this page of Book Notes<\/a>, which also links to comments\/reviews about some forty(!) more books on logic and the philosophy of mathematics. These range from half-pages to (in one case) a 52 page essay. Most are a useful two or three pages!<\/td><td><span class=\"selected-value select-value-color-pink\">No<\/span><\/td><td>Peter Smith. Contact: peter_smith AT me DOT com<\/td><td><\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>In this page, you can find a compilation of resources on logic education that are available on the internet. Some of the resources were previously compiled on other websites created with this purpose (e.g., tools-for-teaching-logic) and others were found on the web. ! If you would like to suggest a resource on logic education, send [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-31","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/pages\/31","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/comments?post=31"}],"version-history":[{"count":27,"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/pages\/31\/revisions"}],"predecessor-version":[{"id":193,"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/pages\/31\/revisions\/193"}],"wp:attachment":[{"href":"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/wp-json\/wp\/v2\/media?parent=31"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}