Logic Reading Plan

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 a good goal, considering I also have other reading to do.
(3/13/2016 – revised order)

  1. The Blackwell Guide to Philosophical Logic, edited by Lou Goble — Chapters 1-6 (135 pages) – this is a re-read – I’ve read the complete book before.
  2. Methods of Logic: Fourth Edition, 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.
  3. Set Theory and its Logic by W. V Quine (329 pages)
  4. Computability and Logic: Third Edition by George S. Boolos and Richard C. Jeffrey. (300 pages) I’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.
  5. The Philosophy of Set Theory: An Historical Introduction to Cantor’s Paradise by Mary Tiles. (223 pages) I’ve read this before & found it not difficult, but it would be good to review it.
  6. The Infinite by A. W. Moore. (233 pages) I’ve also read this before, but could profit by reviewing it.
  7. Mathematical Logic by Joseph R. Shoenfield (336 pages) I’ve started this book before, but had difficulty.

Other books to possibly study – Alphabetic Order by Author – 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.
The items below comprise 12991 pages excluding PM. About 1299 days or 3 years, 7 months and 9 days. (At 10 pages/day)

  • Modal Logic by Patrick Blackburn, Maarten de Rijke and Yde Venema (523 pages)
  • Model Theory by C. C. Chang and H. Jerome Keisler (622 pages)
  • Introduction to Algorithms by Thomas H. Cormen, Charles E. Leiserson and Ronald L. Rivest (985 pages) I had this book in a class in graduate school.
  • Introduction to Mathematical Logic by Alonzo Church. (356 pages)
  • Set Theory and the Continuum Hypothesis by Paul J. Cohen (151 pages)
  • The Search for Mathematical Roots 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Goedel by I. Grattan Guinnessn (593 pages)
  • The Blackwell Guide to Philosophical Logic, edited by Lou Goble — Chapters 7-20 (348 pages) – this is a re-read – I’ve read the complete book before.
  • Russell vs. Meinong: The Legacy of “On Denoting” edited by Nicholas Griffin and Dale Jacquette (363 pages)
  • After “On Denoting”: Themes from Russell and Meinong (Russell: the Journal of the Bertrand Russell Archives Vol 27 no. 1) edited by Nicholas Griffin, Dale Jacquette and Kenneth Blackwell (183 pages)
  • Principia Mathematica at 100 (Russell: the Journal of the Bertrand Russell Archives Vol 31 no. 1) edited by Nicholas Griffin, Bernard Linsky and Kenneth Blackwell (160 pages)
  • The Palgrave Centenary Companion to Principia Mathematica edited by Nicholas Griffin and Bernard Linsky (434 pages)
  • The Cambridge Companion to Bertrand Russell edited by Nicholas Griffin (506 pages)
  • Introduction to Automa Theory, Languages and Computation (395 pages) by John E. Hopcroft and Jeffrey D. Ullman. (395 pages) I had this book in a class in graduate school.
  • Propositions, Functions and Analysis: Selected Essays on Russell’s Philosophy by Peter Hylton (215 pages)
  • A Companion to Philosophical Logic edited by Dale Jacquette (775 pages)
  • Mathematical Logic by Stephen Cole Kleene (369 pages)
  • Introduction to Meta-Mathematics by Stephen Cole Kleene (515 pages)
  • Set Theory by Kenneth Kunen (388 pages)
  • Wittgenstein’s Apprenticeship with Russell by Gregory Landini (284 pages) I’ve read it before.
  • Russell by Gregory Landini (416 pages) I’ve read it before.
  • Russell’s Hidden Substitutional Theory by Gregory Landini 323 pages) I’ve read it before.
  • One Hundred Years of Russell’s Paradox edited by Godehard Link (644 pages)
  • The Evolution of Principia Mathematica: Bertrand Russell’s Manuscripts and Notes for the Second Edition by Bernard Linsky (395 pages)
  • Zermelo’s Axiom of Choice: Its Origins, Development & Influence by Gregory H. Moore (334 pages)
  • Set Theory and its Philosophy by Michael Potter (316 pages)
  • Theory of Recursive Functions and Effective Computability by Hartley Rogers, Jr. (457 pages)
  • Goedel’s Theorem in Focus edited by S. G. Shanker (256 pages)
  • Set Theory and the Continuum Problem by Raymond M. Smullyan and Melvin Fitting (303 pages)
  • Proof Theory: Second Edition by Gaisi Takeuti (481 pages)
  • From Frege to Goedel edited by Jean van Heijenoort (655 pages) I’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.
  • Principia Mathematica by Alfred North Whitehead and Bertrand Russell – Will focus on introductory material. I’ve spent a lot of time on this through the years.
  • Antinomies & Paradoxes: Studies in Russell’s Early Philosophy (Russell: the Journal of the Bertrand Russell Archives Vol 8 nos. 1-2) edited by Ian Winchester and Kenneth Blackwell (246 pages)

Plans & Hopes

I’m discouraged about philosophy. It seems inevitable than one must make vast simplifications that in the long run leads one to paradoxes. Language is adequate for ordinary purposes, but not philosophy, and in fact, that’s what causes many problems in philosophy. Some problems in philosophy may just be scientific problems which have not been solved yet.

I plan to continue reading some philosophy (I cannot help myself). But what to read some math and physics. I want to do some programming. Maybe on my differential equation program – there are a few things that I am not quite satisfied with. Also I might try something with partial differential equations. Also I might try working on the computer language “Russell”.

Cannot figure what to do next

I seems that I have done what I am capable of in almost everything.

I think I am correct in my criticism of opacity (Quine, Stich).
But many words (variables and quantifiers etc in logic) do not simply stand for an object.
This gets very complex – I think it is really (mostly) a problem for linguistics – not philosophy.
I think the words other than those which stand for objects establish the “logical form” which
is a relations between those symbols in the mind. There are very many such relations. I think,
for the most part, all philosophy needs is those studied by symbolic logic. These are an idealization
of what occurs in the mind. But also I think there are other relations that philosophy often gets muddled
with, such as consciousness and free will. I am mostly satisfied with Daniel Dennett on these subjects.

I had thought of doing something with partial differential equations similar to what I did with ordinary differential equations.
But I think this is very hard.

I had thought of fixing some problems in what I worked on in general relativity.
But I think it not useful.

I have some ideas in quantum mechanics – but think, if possible, someone would have done it.

I had thought of working on port of Russell from c to Ruby.
But I think I do not have enough info and without more I could not succeed.

First-order Language

I have been thinking a lot. I am considering (and inclined toward) the view that we must restrict ourselves to a first-order language. As I recall, Quine believed this. I think it destroys most of math. But science can, I think, get along with just rational numbers. It is possible to do math as just manipulation of symbols, which have no meaning – except in our imaginations. Also, it seems to destroy my ideas about belief.

After more thought: I am not sure it affects my philosophy of belief. I quantify over symbols for properties and relations – not properties and relations themselves!

Note: (later yet). There could be many properties and relations foe which there are no symbols.

Another Note (Still later). Could you permit quantifying over names of properties and relations of properties and relations and so forth (without quantifying over the properties and relations themselves?

Another Note (Still later) I read in Goble – _The Blackwell Guide to Philosophical Logic_ (page 34)  that thhere cannot be adequate descriptions of natural (hence rational) numbers in first-order languages. I had forgotten that — there is so much to remember. I need to work out axioms for my idea – which is not either exactly first-order or higher-order. (at least as I understand these).

Another Note (7/28) I should have known 1st order logic was inadequate to arithmetic – as Goedel’s theorem proves any logic adequate to arithmetic is incomplete, and he also proved st order logic was complete. (At least if my foggy memory & reasoning are correct).

 

 

There is now windows (just CLI) version of my diffeq program

Really same programs. – Set of program to solve systems of ordinary differential equations using long Taylor series.

Just a ruby program to replace the shell script used in Linux.
No change to algorithm.

Test result table is at: (from Linux)
Test Table

The main omnisode page is:
main omnisode page

Also, now there is both ‘zip’ and ‘tar.gz’ files on download page.