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

Category: Help

December 3, 2017

‘Tis the Season of Giving!

Help by rzach0 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 22, 2015

Got Errors?

Help by rzach0 comments

Are you getting LaTeX errors when compiling the Open Logic Project files?  If you get this one: LaTeX Error: \memendofchapterhook […]

Read more>>
November 22, 2015

Getting Your Book to Print

Help by rzach2 comments

As I explained yesterday, making a custom text from the OLP source using LaTeX is relatively easy.  But, I’d also […]

Read more>>
November 21, 2015April 30, 2020

Making a New Logic Textbook in Seven Easy Steps

Help by rzach1 comment

I’ll be teaching the University of Calgary’s second logic course, imaginatively titled “Logic II,” next term.  It’ll be the first […]

Read more>>
June 16, 2015

Open Logic Quick Start Guide

Help by rzach0 comments

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

Read more>>
May 11, 2015

Git for Philosophers (pt. 1)

Help by rzach0 comments

What is Git? When software developers work on complex programming projects, they use something called a revision control system. A […]

Read more>>
January 13, 2015

Making your own Open Logic Textbook

Help by rzach0 comments

I’ve started teaching Phil 310 (Intermediate Logic) at McGill, and am using the OLP for the first time myself.  Here’s […]

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

  • Selinger’s fitch.sty: 1.0 beta
  • Fall 2023 version of forall x: YYC now official, on Amazon
  • Fall 2023 version of forall x: Calgary
  • forall x now in HTML for extra accessibility
  • The Open Logic Project is 10!

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.