{"id":713,"date":"2016-02-28T23:47:02","date_gmt":"2016-02-29T04:47:02","guid":{"rendered":"http:\/\/www.dennisdarland.com\/dennisdaze\/?p=713"},"modified":"2016-04-10T20:18:03","modified_gmt":"2016-04-11T01:18:03","slug":"logic-reading-plan","status":"publish","type":"post","link":"https:\/\/www.dennisdarland.com\/dennisdaze\/2016\/02\/28\/logic-reading-plan\/","title":{"rendered":"Logic Reading Plan"},"content":{"rendered":"<p>Reading plan in order to read:<br \/>\nI hope to get through 10 pages\/day average.<br \/>\nThe 1st seven books are 1849 pages. They may take 185 days, or about 6 months and 5 days. <\/p>\n<p><a href=\"http:\/\/dennisdarland.com\/new_philosophy\/reading_log.txt\" target=\"_blank\">Progress Record<\/a><\/p>\n<p>Of course, some pages will be blank, etc. But I think 10 pages\/day is still a good goal, considering I also have other reading to do.<br \/>\n(3\/13\/2016 &#8211; revised order)<\/p>\n<ol>\n<li><em>The Blackwell Guide to Philosophical Logic<\/em>, edited by Lou Goble &#8212; Chapters 1-6 (135 pages) &#8211; this is a re-read &#8211; I&#8217;ve read the complete book before.\n<\/li>\n<li><em>Methods of Logic: Fourth Edition<\/em>, by W. V. Quine (303 pages)  I saw him speak at the University of Iowa (probably 1975-1976) and also in Toronto in 1984. I nominated him for Honorary Membership in the BRS which was approved. I have studied several of his other books.\n<\/li>\n<li><em>Set Theory and its Logic<\/em> by W. V Quine (329 pages)\n<\/li>\n<li><em>Computability and Logic: Third Edition<\/em> by George S. Boolos and Richard C. Jeffrey. (300 pages) I&#8217;ve studied this book before, however my understanding diminished as I got further into it. However I think it a good choice, because it relates to Computer Science, and thus I have a background, and also because I have studied it before.\n<\/li>\n<li><em>The Philosophy of Set Theory: An Historical Introduction to Cantor&#8217;s Paradise<\/em> by Mary Tiles. (223 pages) I&#8217;ve read this before &#038; found it not difficult, but it would be good to review it.\n<\/li>\n<li><em>The Infinite<\/em> by A. W. Moore. (233 pages) I&#8217;ve also read this before, but could profit by reviewing it.\n<\/li>\n<li><em>Mathematical Logic<\/em> by Joseph R. Shoenfield (336 pages) I&#8217;ve started this book before, but had difficulty.\n<\/li>\n<\/ol>\n<p>Other books to possibly study &#8211; Alphabetic Order by Author &#8211; Will plan reading order later. I do not see how I can get through it all, but this inventory will help selecting. Also I may choose to read only some articles in books that are collections. Most of these books I have only acquired recently. I also have all the volumes of the collected papers of Bertrand Russell published so far. Also a  Paperback reprint of all the volumes of the 1st edition of Principia Mathamatica and hardback copies of all the volumes of the 2nd edition and the abridged to *56 edition.<br \/>\nThe items below comprise 12991 pages excluding PM. About 1299 days or 3 years, 7 months and 9 days. (At 10 pages\/day)<\/p>\n<ul>\n<li><em>Modal Logic<\/em> by Patrick Blackburn, Maarten de Rijke and Yde Venema (523 pages)\n<\/li>\n<li><em>Model Theory<\/em> by C. C. Chang and H. Jerome Keisler (622 pages)\n<\/li>\n<li><em>Introduction to Algorithms<\/em> by Thomas H. Cormen, Charles E. Leiserson and Ronald L. Rivest (985 pages) I had this book in a class in graduate school.\n<\/li>\n<li><em>Introduction to Mathematical Logic<\/em> by Alonzo Church. (356 pages)\n<\/li>\n<li><em>Set Theory and the Continuum Hypothesis<\/em> by Paul J. Cohen (151 pages)\n<\/li>\n<li><em>The Search for Mathematical Roots 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Goedel<\/em> by I. Grattan Guinnessn  (593 pages)\n<\/li>\n<li><em>The Blackwell Guide to Philosophical Logic<\/em>, edited by Lou Goble &#8212; Chapters 7-20 (348 pages) &#8211; this is a re-read &#8211; I&#8217;ve read the complete book before.\n<\/li>\n<li><em>Russell vs. Meinong: The Legacy of &#8220;On Denoting&#8221;<\/em> edited by Nicholas Griffin and Dale Jacquette (363 pages) <\/li>\n<li><em>After &#8220;On Denoting&#8221;: Themes from Russell and Meinong<\/em> (Russell: the Journal of the Bertrand Russell Archives Vol 27 no. 1) edited by Nicholas Griffin, Dale Jacquette and Kenneth Blackwell (183 pages)\n<\/li>\n<li><em>Principia Mathematica at 100<\/em> (Russell: the Journal of the Bertrand Russell Archives Vol 31 no. 1) edited by Nicholas Griffin, Bernard Linsky and Kenneth Blackwell (160 pages)\n<\/li>\n<li><em>The Palgrave Centenary Companion to Principia Mathematica<\/em> edited by Nicholas Griffin and Bernard Linsky (434 pages)\n<\/li>\n<li><em>The Cambridge Companion to Bertrand Russell<\/em> edited by Nicholas Griffin (506 pages)\n<\/li>\n<li><em>Introduction to Automa Theory, Languages and Computation<\/em> (395 pages) by John E. Hopcroft and Jeffrey D. Ullman. (395 pages) I had this book in a class in graduate school.\n<\/li>\n<li><em>Propositions, Functions and Analysis: Selected Essays on Russell&#8217;s Philosophy<\/em> by Peter Hylton (215 pages)\n<\/li>\n<li><em>A Companion to Philosophical Logic<\/em> edited by Dale Jacquette (775 pages)\n<\/li>\n<li><em>Mathematical Logic<\/em> by Stephen Cole Kleene (369 pages)\n<\/li>\n<li><em>Introduction to Meta-Mathematics<\/em> by Stephen Cole Kleene (515 pages)\n<\/li>\n<li><em>Set Theory<\/em> by Kenneth Kunen (388 pages)\n<\/li>\n<li><em>Wittgenstein&#8217;s Apprenticeship with Russell<\/em> by Gregory Landini (284 pages) I&#8217;ve read it before.<\/li>\n<li><em>Russell<\/em> by Gregory Landini (416 pages) I&#8217;ve read it before.\n<\/li>\n<li><em>Russell&#8217;s Hidden Substitutional Theory<\/em> by Gregory Landini 323 pages) I&#8217;ve read it before.\n<\/li>\n<li><em>One Hundred Years of Russell&#8217;s Paradox<\/em> edited by Godehard Link (644 pages)\n<\/li>\n<li><em>The Evolution of Principia Mathematica: Bertrand Russell&#8217;s Manuscripts and Notes for the Second Edition<\/em> by Bernard Linsky (395 pages)\n<\/li>\n<li><em>Zermelo&#8217;s Axiom of Choice: Its Origins, Development &#038; Influence<\/em> by Gregory H. Moore (334 pages)\n<\/li>\n<li><em>Set Theory and its Philosophy<\/em> by Michael Potter (316 pages)\n<\/li>\n<li><em>Theory of Recursive Functions and Effective Computability<\/em> by Hartley Rogers, Jr. (457 pages)\n<\/li>\n<li><em>Goedel&#8217;s Theorem in Focus<\/em> edited by S. G. Shanker (256 pages)\n<\/li>\n<li><em>Set Theory and the Continuum Problem<\/em> by Raymond M. Smullyan and Melvin Fitting (303 pages)\n<\/li>\n<li><em>Proof Theory: Second Edition<\/em> by Gaisi Takeuti (481 pages)\n<\/li>\n<li><em>From Frege to Goedel<\/em> edited by Jean van Heijenoort (655 pages) I&#8217;ve spent a lot of time on Goedel in this book but never got all the way through all his proofs though I have some understanding.\n<\/li>\n<li><em>Principia Mathematica<\/em> by Alfred North Whitehead and Bertrand Russell &#8211; Will focus on introductory material. I&#8217;ve spent a lot of time on this through the years.\n<\/li>\n<li><em>Antinomies &#038; Paradoxes: Studies in Russell&#8217;s Early Philosophy<\/em> (Russell: the Journal of the Bertrand Russell Archives Vol 8 nos. 1-2) edited by Ian Winchester and Kenneth Blackwell (246 pages)\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Reading plan in order to read: I hope to get through 10 pages\/day average. The 1st seven books are 1849 pages. They may take 185 days, or about 6 months and 5 days. Progress Record Of course, some pages will be blank, etc. But I think 10 pages\/day is still&#8230; <a class=\"continue-reading-link\" href=\"https:\/\/www.dennisdarland.com\/dennisdaze\/2016\/02\/28\/logic-reading-plan\/\"> Continue reading <span class=\"meta-nav\">&rarr; <\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","footnotes":""},"categories":[4,10,3,9,20],"tags":[],"class_list":["post-713","post","type-post","status-publish","format-standard","hentry","category-computer-science","category-logic","category-math","category-philosophy","category-software"],"_links":{"self":[{"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/posts\/713","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/comments?post=713"}],"version-history":[{"count":17,"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/posts\/713\/revisions"}],"predecessor-version":[{"id":740,"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/posts\/713\/revisions\/740"}],"wp:attachment":[{"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/media?parent=713"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/categories?post=713"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.dennisdarland.com\/dennisdaze\/wp-json\/wp\/v2\/tags?post=713"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}