Posts

Post has attachment

Public

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

Public

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…

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

Public

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

Public

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

Public

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,…

Add a comment...

Post has attachment

Public

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

Public

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