Profile cover photo
Profile photo
Richard Zach
482 followers -
Trust me, I'm a logician
Trust me, I'm a logician

482 followers
About
Posts

Post is pinned.Post has shared content
We’ve been working with Calgary graphic designer and illustrator Matt Leadbeater on a series of stylized portraits of logicians. They will be licensed under a Creative Commons Attribution-NonCommercial license (free to use for teaching, but you can’t sell…
Guess the Logician!
Guess the Logician!
openlogicproject.org
Add a comment...

Post has shared content
In the design and layout of the Open Logic Project texts as well as the Calgary Remix of the intro text forall x, we’ve tried to follow the recommendations of the BC Open Textbook Accessibility Toolkit already. Content is organized into sections,…
Add a comment...

Post has shared content
Prompted by a good suggestion by Richard Lawrence and support from Catrin Campbell-Moore, we’ve been working on revising the natural deduction rules used in the Calgary Remix of forall x, the intro logic text by P. D. Magnus.  The proposal is to rename…
Add a comment...

Post has shared content
There is a new entry in the Stanford Encyclopedia of Philosophy on Alternative Set Theories, written by Randall Holmes, which devotes a section to my views on set-theoretic pluralism and the multiverse, in the context of a survey of many different kinds of alternative set theory, from Zermelo to Ackermann to NF and more.

https://plato.stanford.edu/entries/settheory-alternative/#MultViewSetTheo

Add a comment...

Post has shared content
The new (Fall 2017) edition of Sets, Logic, Computation is now officially done and available on Amazon [CA] [UK] [DE].  The most recent changes are outlined in this previous post, but: sequent calculus! new proof of completeness! a chapter on how to do…
Add a comment...

Post has shared content
Textbook Satisfaction Survey Results: Intro Logic Edition

As previously reported, we here at Open Logic Central have run surveys to gather some data on the relative success our open textbooks have in courses. The first survey was done in several sections of the University of Calgary’s Logic II course, where some…
Add a comment...

Post has shared content
Aldo Antonelli’s last paper, “Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)” is now out in the most recent issue of the Journal of Philosophical Logic. This paper investigates the “general”…
Add a comment...

Post has shared content
Jonathan Greig (LMU Munich) posted the picture above to Twitter the other day, crediting Laura Castelli with finding it. It’s from a 14th Century illuminated manuscript by Thomas Le Myésier, Breviculum ex artibus Raimundi Lulli electum, and depicts…
Add a comment...

Post has shared content
As I reported last year, we’ve been running surveys in our classes that use open logic textbooks. We now have another year of data, and I’ve figured out R well enough to plot the results. Perhaps someone else is in a similar situation, so I’ve written…
Add a comment...

Post has shared content
I drank the Koolaid and set up my CV so it’s generated automatically from a YAML file with a Pandoc template. The basic functionality is copied from bmschmidt/CV-pandoc-healy. My version generates the bibliography from a BibTeX file however, using…
Citations in your CV
Citations in your CV
richardzach.org
Add a comment...
Wait while more posts are being loaded