Profile cover photo
Profile photo
Open Logic Project
41 followers -
Logic for the masses
Logic for the masses

41 followers
About
Posts

Post has attachment
The original forall x by P.D. Magnus, as well as Tim Button’s forall x: Cambridge, and the forallx: Calgary remix are now released under a Creative Commons Attribution (rather than the more restrictive Attribution-ShareALike license). The Fall 2018…
Add a comment...

Post has attachment
Open Logic at Open Education Week 2018 #OEWeek

It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of Calgary tomorrow. The presentation that Aaron and Richard are using for today’s workshop on “OER: What, Why, Where, How?“ The GitHub repository The…
Add a comment...

Post has attachment
Lots of new stuff in the Open Logic repository! I’m teaching modal logic this term, and my ambitious goal is to have, by the end of term or soon thereafter, another nicely organized and typeset open textbook on modal logic. The working title is Boxes and…
Add a comment...

Post has attachment
In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!
Add a comment...

Post has attachment
Do you have well-worked out teaching materials related to logic? We take donations of material that can be incorporated into the Open Logic Text.  Currently we’re interested in particular in material on modal logic and related areas (conditionals,…
‘Tis the Season of Giving!
‘Tis the Season of Giving!
openlogicproject.org
Add a comment...

Post has attachment
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 attachment
Pulled the switch on the new natural deduction rules; the Winter 2018 ß version is now out. If you have corrections etc. you want included in the next edition or want to proof read the changes before the new version goes up on Amazon, now is the time.
Add a comment...

Post has attachment
Aaron had a poster presentation at last week’s ISSOTL conference in Calgary, presenting the results of our evaluation of his intro logic course using some novel delivery techniques and the Calgary remix of forall x. [pdf-embedder…
Add a comment...

Post has attachment
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 attachment
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...
Wait while more posts are being loaded