Posts

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

Public

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

Public

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

Public

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 attachment

Public

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…

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...

Wait while more posts are being loaded