Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News

Author: openlogic

March 7, 2023March 7, 2023

The Open Logic Project is 10!

Uncategorized by openlogic0 comments

The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin […]

Read more>>
November 5, 2022

Follow the Open Logic Project on Mastodon

Uncategorized by openlogic2 comments

Do you have a Mastodon account? The OLP website now runs the ActivityPub plugin and you can get website posts […]

Read more>>
December 3, 2017

‘Tis the Season of Giving!

Help by openlogic0 comments

Do you have well-worked out teaching materials related to logic? We take donations of material that can be incorporated into […]

Read more>>
December 12, 2015

Walter Dean (Warwick) Joins Editorial Board

Progress by openlogic0 comments

We’re happy to announce that Walter Dean, Associate Professor of Philosophy at the University of Warwick, has joined the Open […]

Read more>>
October 14, 2015

Aldo Antonelli, 1962-2015

Uncategorized by openlogic0 comments

We are shocked and saddened by the news that our friend, colleague, and collaborator Aldo Antonelli died this weekend.  He […]

Read more>>
August 13, 2015

Paid Undergraduate Internships with the Open Logic Project in Calgary, Summer 2016

Uncategorized by openlogic1 comment

We have openings, through a Canadian agency called MITACS, for advanced undergraduate students with a background in logic, philosophy, or […]

Read more>>
June 16, 2015

Open Logic Quick Start Guide

Help by openlogic0 comments

[Chad and Samara have documented the steps required to download and compile the Open Logic Text, and written a “quick […]

Read more>>
May 25, 2015

Free Logic Textbooks

Uncategorized by openlogic1 comment

The Open Logic Text may be one of only two open source logic texts, but there are other open, and […]

Read more>>
May 5, 2015

Made the Daily Nous!

Publicity by openlogic0 comments

The Daily Nous covered the Open Logic Project today, suggested an alternative logo that might fit better with the anarchical […]

Read more>>

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • The Open Logic Project is 10!
  • Follow the Open Logic Project on Mastodon
  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.