Tagged for OEG Connect: forall x: Calgary. A Free and Open Introduction to Formal Logic

OE Sharing Zone
1

What’s of interest? forall x: Calgary. A Free and Open Introduction to Formal Logic

Tell me more!

orall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code.

Instructors wishing to adopt it should consider the open-source Carnap system, which supports the notation and proof systems of forall x: Calgary. Check out the sample exercises for the book on carnap.io. (There is also an outdated and unsupported proof editor/checker for the proof system used available at proofs.openlogicproject.org.)

The book has been translated into German (forall x: Dortmund) and Portuguese (Para Todxs: Natal).

Where is it?: https://forallx.openlogicproject.org/

This is one among many items I will regularly tag in Pinboard as oegconnect, and automatically post tagged as #OEGConnect to Mastodon. Do you know of something else we should share like this? Just reply below and we will check it out.

Or share it directly to the OEG Connect Sharing Zone

2

Hello!

I’d be delighted if you shared my OER: an e-textbook for English language learners available here
https://openpress.sussex.ac.uk/developyourenglish/

3

Hi Sue and welcome to OEG Connect.

You just shared it!

That’s not exactly how it works here! While I post and share much, anyone can share. That’s the idea of this being a community. So you can at anytime share your OER as a new topic here in the OE sharing zone or anywhere else you like.

It would be helpful to know more about your your OER than the link. Tell us about it! Why should we take a look? Tell us the story of it.

And more places we encourage sharing is our call for OERs shared this month as part of Open Education Week where we asked for people like you to add OER to OER Commons

Regardless, we are glad you signed up here and hope you participate where possible in other discussions.

Bottom line, for you and others here- this site is made for all of you to share and discuss.