An Actual Textbook, and: Photos!

(Cross-posted from the Open Logic Project)

Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about how to get your textbook to print, and for my course “Logic II (Phil 379)” this term, I’ve done that. Properly: perfect bound paperbacks, with a nice cover, proper front and back matter, professional illustrations, and an (I think) appealing book design. The source for generating it is on GitHub (of course): If you want to compile it, just clone that repository into the courses/ subdirectory of your local OLP clone. It should compile out of the box.  There are three files you can compile: phil379-screen.tex makes a multi-color PDF suitable for on-screen reading; phil379-print.tex makes a black-and-white PDF suitable for printing via  The third is cover-lulu-quarto.tex, which generates the PDF uses for the cover. You can see the product on the builds site:

The second exciting thing is that we’ve started to put photos of logicians into the text. Right now, they’re imported into the biographies. The photos themselves are not in the main repository, however. We have a separate repository for them: We’ve separated them because (a) the licensing issues are more complicated: some of the photos are under copyright, and we wanted everything in the main repository to be available under a Creative Commons license; (b) the main repository would become very large if it included all these pictures. To use the pictures, clone the photos repository into the assets/ subdirectory of your local OLP clone. (If the files aren’t there, the biographies including them will happily compile but leave out the photos.) There’s a PDF with all the photos also on the build site.

(PS: If you want to buy an actual copy of the Sets, Logic, Computation book, go here. It sells for CAD 9.42 (USD 8.36, EUR 8.55). But be warned; we’ve already corrected a bunch of typos and errors, so that version is not up-to-date.)

Leave a Reply

Your email address will not be published. Required fields are marked *