{"id":350,"date":"2017-12-28T23:34:51","date_gmt":"2017-12-28T23:34:51","guid":{"rendered":"https:\/\/www.fecundity.com\/nfw\/?p=350"},"modified":"2017-12-29T13:23:08","modified_gmt":"2017-12-29T13:23:08","slug":"a-big-year-forall-x","status":"publish","type":"post","link":"https:\/\/www.fecundity.com\/nfw\/2017\/12\/28\/a-big-year-forall-x\/","title":{"rendered":"A big year, forall x"},"content":{"rendered":"<p>It&#8217;s been over a decade since I released the first edition of the open access logic textbook <a href=\"https:\/\/www.fecundity.com\/logic\/\">forall x<\/a>. It&#8217;s been a few years since my last update, because it&#8217;s been a few years since I last taught logic.<\/p>\n<p>A number of people have made their own editions of <em>forall x<\/em> over the years, but 2017 was a breakout year:<!--more--><\/p>\n<ul>\n<li>Aaron Thomas-Bolduc and Richard Zach developed <a href=\"http:\/\/forallx.openlogicproject.org\/\">the Calgary remix<\/a>. They opted to start from Tim Button&#8217;s earlier <a href=\"https:\/\/github.com\/OpenLogicProject\/forallx-cam\">Cambridge version<\/a>. Richard reached out to both Tim and I, prompting me to rethink some things.<\/li>\n<li>\u00a0Anthony Eagle\u00a0 (<a href=\"http:\/\/antonyeagle.org\/research.html\">Adelaide<\/a>) and Kathryn Lindeman (<a href=\"http:\/\/www.klindeman.com\/forallx.html\">Saint Louis<\/a>) also released variations of the Cambridge version.<\/li>\n<li><span class=\"name\">Jonathan Jenkins Ichikawa<\/span> (<a href=\"https:\/\/philpapers.org\/rec\/MAGFXU\">British Columbia<\/a>) took my version and added chapters on tree methods.<\/li>\n<li>EJR Elliott (<a href=\"http:\/\/www.edwardjrelliott.com\/uploads\/7\/4\/4\/7\/74475147\/forallx_leeds.pdf\">Leeds<\/a>) took my version, made changes all over the place, and added chapters on probabilistic reasoning.<span id='easy-footnote-1-350' class='easy-footnote-margin-adjust'><\/span><span class='easy-footnote'><a href='https:\/\/www.fecundity.com\/nfw\/2017\/12\/28\/a-big-year-forall-x\/#easy-footnote-bottom-1-350' title='Although I only learned about it recently, Elliott&amp;#8217;s version was actually posted in late 2016.'><sup>1<\/sup><\/a><\/span><\/li>\n<\/ul>\n<p>I think all of this is awesome. It&#8217;s fun to see something I made mostly for my own teaching find its way out into the world. And it illustrates the power of Open Education Resources.<span id='easy-footnote-2-350' class='easy-footnote-margin-adjust'><\/span><span class='easy-footnote'><a href='https:\/\/www.fecundity.com\/nfw\/2017\/12\/28\/a-big-year-forall-x\/#easy-footnote-bottom-2-350' title='In all-caps because it&amp;#8217;s now often shortened to OER.'><sup>2<\/sup><\/a><\/span><\/p>\n<p>In preparing to fork the project, Richard Zach made github repositories for both my version and the Cambridge version.<span id='easy-footnote-3-350' class='easy-footnote-margin-adjust'><\/span><span class='easy-footnote'><a href='https:\/\/www.fecundity.com\/nfw\/2017\/12\/28\/a-big-year-forall-x\/#easy-footnote-bottom-3-350' title='Github is a platform for handling version control, designed originally for groups collaborating on software. Revising a document is like writing code, though, so it works for this.'><sup>3<\/sup><\/a><\/span> I used to just copy files into a new directory and start making changes higgledy-piggledy when I started a new version, but I&#8217;m handling the next revision of <em>forall x<\/em> as a branch of the repository.<\/p>\n<p>I&#8217;ll finalize the new version in the next day or so, and I&#8217;ll talk about what&#8217;s new in another post. This is just the post in which I&#8217;m pleasantly flummoxed by how many people have taken up <em>forall x<\/em> and made it their own.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>It&#8217;s been over a decade since I released the first edition of the open access logic textbook forall x. It&#8217;s been a few years since my last update, because it&#8217;s been a few years since I last taught logic. A number of people have made their own editions of forall x over the years, but &hellip; <a href=\"https:\/\/www.fecundity.com\/nfw\/2017\/12\/28\/a-big-year-forall-x\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;A big year, forall x&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[9],"tags":[39,27,13],"class_list":["post-350","post","type-post","status-publish","format-standard","hentry","category-philosophy","tag-forall-x","tag-open-access","tag-teaching"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7PjAo-5E","jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/posts\/350","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/comments?post=350"}],"version-history":[{"count":5,"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/posts\/350\/revisions"}],"predecessor-version":[{"id":360,"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/posts\/350\/revisions\/360"}],"wp:attachment":[{"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/media?parent=350"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/categories?post=350"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fecundity.com\/nfw\/wp-json\/wp\/v2\/tags?post=350"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}