Home Page of Dennis J. Darland's Studies in 2012 djd

Email: dennis.darland@yahoo.com
Comments welcome
For other things I'm doing see my home page.

  1. MY LIBRARY

    I have cataloged my books (updated 12/31/2011).
    I have an index of almost ALL of my books entered!
    (the main exception being some software documentation(mostly obsolete, yet retained)).
    It indicates the books that I have read. (to the best of my memory). I have not included as read reference books, or books I have read only part of, although I did include those used as texts in courses, although we may not have covered the entire text.
    (Also, I have read many books I don't own, but I do, now, mostly buy them, because I read so slowly,
    and also I like to be able to look thing up again, that I have read in the past.
    Here is my wish list for books.

    For my prior reading see My Reading in October 2007 through December 2008, My Reading in 2009, My Reading in 2010 and My Reading in 2011


  2. BOOKS I COMPLETED READING RECENTLY


    1. Mehta, Ved - Fly and the Fly-Bottle: Encounters with British Intellectuals (Completed 1/29/2012)
    2. Wright, Robin - Rock the Casbah (Completed 1/4/2012 [nook])


  3. ARTICLES I COMPLETED RECENTLY



  4. COURSES I COMPLETED RECENTLY



  5. DOCUMENTARIES I HAVE WATCHED



    1. The Elegant Universe: part 4: Einstein's Big Idea (Completed 1/5/2012)
    2. The Elegant Universe: part 5: Einstein Revealed - Part 1 (Completed 1/14/2012)
    3. The Elegant Universe: part 6: Einstein Revealed - Part 2 (Completed 1/16/2012) [End of Series]

  6. FACT BASED MOVIES I HAVE WATCHED




  7. BOOKS I AM CURRENTLY IN THE PROCESS OF READING


    I don't seem able to read in one book very long at a time. So I jump between several books and gradually make progress.
    Updating this web page enforces my daily reading.
    When I get near the end of a book I sometimes am able to spurt to the finish!
    Lately (11/13/2010) it seems as though I am able to focus on one book (or fewer books) at a time.
    It feels like I'm reading better, but when I compare with what I got done last year, this seems not to be true after all.
    On Feb. 12, 2011 I have revised the order from alphabetical by author to by my priority.
    I recently (11/30/2011 I think) got a Kindle Touch. I find that using the text to speech helps me keep reading much longer, although I do read slower. I find I understand better both listening and reading along at the same time.

    1. Rawls, John - A Theory of Justice, Original Edition (2/4/2012 to page 103 of 588 pages [kindle])
    2. Soufan, Ali H. - The Black Banners (1/8/2012 to page 26 of 482 pages [nook])
    3. Lowe, Rob - Stories I Only Tell My Friends: An Autobiography (1/8/2012 35 min of 9 hr 11 min [kindle])
    4. Shoenfield, Joseph R. - Mathematical Logic (to page 1 of 336 pages)
    5. Copleston, Frederick, S.J. - A History of Philosophy: Volune I: Greece and Rome (11/4/2011 to page 142 of 506 pages)
    6. Durant, Will and Ariel - The Age of Louis XIV (11/4/2011 to page 346 of 721 pages)
    7. Freeman, Scott - Biological Science (11/4/2011 to page 148 of 1127 pages)
    8. Kissinger, Henry - Diplomacy (11/4/2011 to page 334 of 835 pages)
    9. Russell, Bertrand - The Selected Letters of Bertrand Russell Volume 2: The Public Years (1914-1970) (11/4/2011 to page 66 of 629 pages)
    10. Wyman, Bill - Rolling with the Stones (11/4/2011 to page 64 of 503 pages)
    11. Musil, Robert - The Man Without Qualities: Volume 1 (11/4/2011 to page 58 of 725 pages)
    12. Penrose, Roger - The Road to Reality: A Complete Guide to the Laws of the Universe (8/1/2011 to page 1 of 1049 pages)
    13. Goldfarb, Aaron - How to Fail: The Self-Hurt Guide (12/29/2011 to page 5 of 369 pages [kindle])
    14. Ehrman, Bart D. - Misquoting Jesus (12/29/2011 to page 7 of 219 pages [kindle])
    15. Paul, Richard W. and Elder, Linda - 25 Days to Better Thinking and Better Living: A Guide for Improving Every Aspect of Your Life (12/29/2011 27% done [kindle])
    16. See also my My Logic Study Plan

  8. BOOKS I PLAN TO FINISH (OR START) SOON


    1. Cook, David "Zeb" - Player's Handbook: 2nd Edition - Advanced Dungeons and Dragons (9/5/2010 to page 28 of 236 pages)
    2. Friedman, Thomas L. - The World is Flat (635 pages)
    3. Gamma, Erich; Helm, Richard; Johnson, Ralph; and Vlissides, John - Design Patterns: Elements of Reusable Object-Oriented Software
      (9/4/2010 to page 4 of 358 pages)
    4. Gross, Franz - Relativistic Quantum Mechanics and Field Theory (8/2/2010 to page 58 of 614 pages)
    5. Kaku, Michio - Quantum Field Theory: A moderm introduction (5/27/2009 to page 24 of 761 pages)
    6. Pauling, Linus - General Chemistry (9/4/2010 to page 614 of 863 pages)
    7. Penrose, Roger - Shadows of the Mind: A Search for the Missing Science of Consciousness
    8. Plato - Collected Dialogues (9/4/2010 Intro to page xxv of xxv pages; Text to page 336 of 1606 pages)
    9. Schopenhauer, Arthur - The World as Will and Representation, Volume II (1/28/2011 to page 3 of 646 pages)
    10. Swartz, Robert J., ed,. - Perceiving, Sensing and Knowing (9/5/2010 Intro to page xxii of xxii pages; Text to page 122 of 526 pages)
    11. Tolkein, J. R. R. - Unfinished Tales (9/5/2010 to page 92 of 415 pages)
    12. Wang, Hao - Reflections on Kurt Goedel (to page 210 of 319)
    13. Wessels, Walter J. - Economics (9/5/2010 to page 333 of 588 pages)
    14. Wilber, Ken - Brief History of Everything (7/24/2011 to page 9 of 348 pages [nook])

  9. ARTICLES I AM CURRENTLY IN THE PROCESS OF READING (or hope to soon)


    1. Nickerson, Silvia and Griffin, Nickolas - "Russell, Clifford, Whitehead and Differential Geometry" in russell: the Journal of Bertrand Russell Studies Vol 28, No 1, Summer 2008
    2. Stanford Encyclopedia of Philosophy - Type Theory (10/3/2010 through section 3 of 6 sections (although I don't understand it all))

  10. COURSES I AM IN THE PROCESS OF TAKING


    1. Drennan, Prof. Catherine and Taylor, Dr. Elizabeth Vogel - 5.111 Principles of Chemical Science, Fall 2008(Massachusetts Institute of Technology: MIT OpenCourseWare) (11/27/2011 Completed 17 of 36 Lectures) License: Creative Commons BY-NC-SA
    2. Lander, Prof. Eric, Weinberg, Prof. Robert, Gardel, Dr. Claudette, and Chess, Prof. Andrew (Guest Lecturer) - 7.012 Introduction to Biology, Fall 2004(Massachusetts Institute of Technology: MIT OpenCourseWare) (3/18/2010 Completed 1 of 35 Lectures) License: Creative Commons BY-NC-SA


  11. LOGIC AND LANGUAGE STUDY PLAN (Material to read or re-read) - INCLUDES PORTION FROM 2011

    I am uncertain of my ability to accomplish all this. The only way to know is to try.

    1. Shapiro, Stewart "Philosophy of Mathematics and Its Logic: Introduction" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 3-25 Completed 2/8/2011)
    2. Shabel, Lisa - "Apriority and Application: Philosophy of Mathematics ion the Modern Period" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 28-49 Completed 2/8/2011)
    3. Copi, Irving M. - The Theory of Logial Types (Completed 2/19/2011)
    4. Russell, Bertrand - "On the Substitutional Theory of Classes and Relations" in Essays in Analysis (Completed 2/24/2011)
    5. Russell, Bertrand - "On 'Insolubilia' and their Solution by Symbolic Logic" in Essays in Analysis (Completed 2/26/2011)
    6. Skorupski, John - "Later Empericism and Logical Positivism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 51-73 Completed 3/1/2011)
    7. Lakoff, George and Nunez, Rafael E. - Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being (pp. 1-451Completed 4/23/2011)
    8. Chomsky, Noam - Language and Responsibility (in On Language) (pp. 3-194 Completed 6/4/2011)
    9. Church, A. - "A Formulation of the Logic of Sense and Denotation" in Structure, Method and Meaning - ed. Henle, Paul; Kallen, Horace M. and Langer, Susanne K. (1/8/2012 to page 12 of pp. 3-24)
    10. Shoenfield, Joseph R. - Mathematical Logic (pp. 1-336)
    11. Cohen, Paul J. - Set Theory and the Continuum Hypothesis (pp. 1-152)
    12. Smullyan, Raymond and Fitting, Melvin - Set Theory and the Continuum Problem (pp. 3-303)
    13. Chomsky, Noam - Reflections on Language (in On Language) (pp. 3-227 - 11/4/2011 to page 116)
    14. Stich, Stephen - From Folk Psychology to Cognitive Science: The Case Against Belief (pp. 1-246)
    15. Kenneally, Christine - The First Word (pp. 1-300)
    16. Wolfram, Sybil - Philosophical Logic: An Introduction (pp. 1-259)
    17. Hodges, Wilfred - "Classical Logic I: First-Order Logic" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 9-31)[Re-read]
    18. Shapiro, Stewart - "Classical Logic II: Higher-Order Logic" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 33-52)[Re-read]
    19. Burgess, John P. - "Set Theory" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 55-71)[Re-read]
    20. Smullyan, Raymond - "Goedel's Incompleteness Theorems" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 72-89)[Re-read]
    21. Gupta, Anil - "Truth" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 90-111)[Re-read]
    22. Blanchette, Patricia - "Logical Consequence" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 115-133)[Re-read]
    23. Cresswell, M. J. - "Modal Logic" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 136-156)[Re-read]
    24. Jacquette, Dale - "Introduction: Logic, Philosophy, and Philosophical Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 1-8)
    25. Smith, Robin - "Ancient Greek Philosophical Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 11-22)
    26. Bos, E. P. and Sundholm, B. G. - "History of Logic: Medieval" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 24-34)
    27. George, Rolf and Van Evra, James - "The Rise of Modern Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 35-48)
    28. Bach, Kent - "Language, Logic, and Form" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 51-70)
    29. Salmon, Nathan - "Puzzles about Intensionality" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 73-84)
    30. Borg, Emma and Lepore, Ernest - "Symbolic Logic and Natural Language" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 86-99)
    31. Cargile, James - "Logical Paradoxes" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 105-114)
    32. Simmons, Keith - "Semantical and Logical Paradox" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 115-129)
    33. Sorensen, Roy A. - "Philosophical Implications of Logical Paradoxes" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 131-142)
    34. Sher, Gila - "Truth, the Liar, and Tarski's Semantics" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 145-162)
    35. Ray, Greg - "Truth, the Liar, and Tarskian Truth Definition" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 164-175)
    36. Ostertag, Gary - "Descriptions and Logical Form" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 177-191)
    37. Landini, Gregory - "Russell's Theory of Definite Descriptopns as a Paradigm for Philosophy" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 194-221)
    38. Shapiro, Stewart - "Necessity, Meaning, and Rationality: The Notion of Logical Consequence" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 227-239)
    39. Sundholm, B. G. - "Varieties of Consequence" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 241-255)
    40. Jacquette, Dale - "Modality of Deductively Valid Inference" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 256-261)
    41. Gochet, Paul - "Quantifiers, Being, and Canonical Notation" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 265-277
    42. Hochberg, Herbert - "From Logic to Ontology: Some Problems of Predication, Negation, and Possibility" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 281-290)
    43. Bencivenga, Ermanno - "Putting Language First: The 'Liberation' of Logic from Ontology" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 193-303)
    44. Urquhart, Alasdair - "Metatheory" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 307-317)
    45. Wolenski, Jan - "Metatheory of Logics and the Characterization Problem" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 319-330)
    46. Weinstein, Scott - "Logic in Finite Structures: Definability, Complexity, and Randomness" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 332-347)
    47. Benardete, Jose, A. - "Logic and Ontology: Numbers and Sets" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 351-362)
    48. Tiles, Mary - "Logical Foundations of Set Theory and Mathematics" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 365-375)
    49. Jubien, Michael - "Property-Theoretic Foundations of Mathematics" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 377-387)
    50. Floyd, Juliet - "Wittgenstein on Philosophy of Logic and Mathematics" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 75-118)
    51. Demopoulos, William and Clark, Peter - "The Logicism of Frege, Dedekind, and Russell" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 129-162)
    52. Hale, Bob and Wright, Crispin - "Logicism in the Twenty-first Century" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 166-200)
    53. Rayo, Agustin - "Logicism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 203-232)
    54. Detlefsen, Michael - "Formalism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 236-310)
    55. Posy, Carl - "Intuitionism and Philosophy" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 318-351)
    56. McCarty, D. C. - "Intuitionism in Mathematics" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 356-383)
    57. Cook, Ray - "Intuitionism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 387-409)
    58. Resnik, Michael D. - "Quine and the Web of Belief" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 412-435)
    59. Maddy, Penelope - "Three Forms of Naturalism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 437-458)
    60. Weir, Alan - "Naturalism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 460-480)
    61. Chihara, Charles - "Nominalism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 483-512)
    62. Rosen, Gideon and Burgess, John P. - "Nominalism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 515-534)
    63. Hellman, Geoffrey - "Structuralism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 536-561)
    64. MacBride, Fraser - "Structuralism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 563-587)
    65. Feferman, Soloman - "Predicativity" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 590-621)
    66. Steiner, Mark - "Mathematics -- Applicationand Applicability" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 625-649)
    67. Shapiro, Stewart - "Logical Consequence, Proof Theory, and Model Theory" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 651-669)
    68. Prawitz, Dag - "Logical Consequence From a Constructivist Point of View" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 671-694)
    69. Tennant, Neil - "Relevance in Reasoning" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 696-725)
    70. Burgess, John P. - "No Requirement of Relevance" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 727-750)
    71. Shapiro, Stewart - "Higher-order Logic" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 751-777)
    72. Jane, Ignacio - "Higher-order Logic Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 781-808)
    73. Whitehead, Alfred North and Russell, Bertrand - Principia Mathematica to *56 (pp. 1-84)[Re-read Introduction]
    74. Linsky, Bernard - Russell's Metaphysical Logic(pp. 1-142)[Re-read]
    75. Landini, Gregory - Russell's Hidden Subsitutional Theory(pp. 3-323)[Re-read]
    76. Landini, Gregory - Wittgenstein's Apprenticeship with Russell(pp. 1-284)[Re-read]
    77. Wittgenstein, Ludwig - The Big Typescript: TS 213 German-English Scholar's Edition (pp. 2-506 2/8/2011 to page 37)
    78. Van Benthem, Johan - "Modal Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 391-407)
    79. Fitting, Melvin - "First-Order Alethic Modal Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 410-420)
    80. De Rijke, Maarten and Wansing, Heinrich - "Proofs and Expressiveness in Alethic Modal Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 422-439)
    81. Schurz, Gerhard - "Alethic Modal Logics and Semantics" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 442-475)
    82. Rescher, Nicholas - "Epistemic Logic" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 478-490)
    83. Hilpinen, Risto - "Deontic, Epistemic, and Temporal Modal Logics" in A Companion to Philosphical Logic - ed. Jacquette, Dale(pp. 491-507)
    84. Blackburn, Patrick; de Rijke, Maaten; and Venema, Yde - Modal Logic(pp. 1-523)
      Planning to study the next two with the purpose of finding how Cantor's Theorem (PM *117) is Proved and its relation to the Axiom of Reducibility.
    85. Whitehead, Alfred North and Russell, Bertrand - Principia Mathematica Volume One (2nd Edition)
    86. Whitehead, Alfred North and Russell, Bertrand - Principia Mathematica Volume Two (2nd Edition)
    87. Goedel, Kurt - "On formally undecidable propositions of Principia Mathematica" in From Frege to Goedel, ed. van Heijenoort, Jean (pp. 592-617)

  12. COURSES I PLAN TO TAKE SOON(GOALS)


    1. Lorayne, Harry - memory POWER

    13. visitors since January 12, 2008