I plan on documenting & cleaning up the Language WildLife that I have ported.
Also, I plan to continue working on the Unicon port of the language Russell (from C).
It is too difficult & makes me depressed.
OBJECTS — Solid — Liquid — Gas — Abstract
SENSES — Visual — Auditory — Touch — Smell — Taste
OBJECT REPRESENTATIONS — Mental (differ between people – often called ‘images’ or ‘ideas’)
INTERNAL SYMBOLS – Non-Verbal — Verbal (Usually (for me) internal speech)
EXTERNAL SYMBOLS (Input) Visual Words — Hearing (Output) Writing — Speech
I’ve ironed out some installation issues with Wild Life – a language similar to prolog – which apparently I am responsible for preserving. See My port. I have found it sometimes crashes with if there are syntax errors in the wild life source code being interpreted.
I have gotten back to working on my philosophy as represented in it. My philosophy is a simplification – but more sophisticated than any philosophy I have studied. I found syntax errors where I had left off on it a few years ago and fixed them – there is a lot more to do – but I have had much time to think about how to go about it. I think this sort of representation the best way to explain my ideas though it may limit the audience. Also, I plan to use Libre Office to find spelling & syntax errors. (Mostly in the comments – which will be very important.)
I find that I do better mentally if I have a minimum of about 3 ounces of chocolate a day. (caffeine? – which I otherwise avoid!)
It seems I still keep my glucose under control if I do enough exercise – I’m doing about 64 minutes on exercise bike. (not all at once).
Also 13 minutes of stretches and 3 minutes of neck exercises.
My logic reading is not going well – cannot find enough time.
Lay in bed listening to Atheist Mind, Humanist Heart
I thought I was rested – but I kept falling in and out of consciousness.
But unlike last time I ended up feeling OK.
Anyway I only remembered parts so I re-read most of it after I got up.
I have doubts about my logic reading plans.
I think the 1st part I still want to attempt – but it will be slower going.
I need time for reading groups I am in.
I also want to do some programming – e.g. conversion of “Russell” language.
Also I want to be able to watch fiction TV shows.
I should read some fiction – but doubt I can find the energy.
I am not as interested in the proofs of negative results of logic as what positive results there are.
I am having troubles.
I feel sick – exhausted.
I have been reading more.
Besides logic, I am reading other things.
Lately mostly Atheist Mind, Humanist Heart.
I was enjoying it – I like it very much.
But I got only 3 hours (approx) during the night.
I did not think I could sleep much more, but lay down, with book on text-to-speech, instead of my usual music (e.g. Liquid Mind).
Anyway I was in and out of consciousness.
I was in bed about another 3.5 hours – got through the book – but don’t remember it well – will have to go through again.
Feel worse than if I had not gone back to bed.
I think it has nothing to do with content of book.
I just need gentle music in order to sleep well.
And I cannot stress self with too much reading.
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.
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)
- 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.
- 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.
- Set Theory and its Logic by W. V Quine (329 pages)
- 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.
- 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.
- The Infinite by A. W. Moore. (233 pages) I’ve also read this before, but could profit by reviewing it.
- 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)
Left knee hurting – arthritis? Want to go for walk – nice weather for walking – but can I stand the pain?
I am also very irritable last couple days.
Disagreement over logical terminology with a friend.
I was starting to re-read some info on philosophical logic – but developed stomach ache & headache.
I may just watch NetFlix. Some shows can hold my attention.
Also I noticed I am getting error taking blood pressure on device today.
When this has happened in the past, I have notice when I finally get a reading, my blood pressure is high & pulse low (e.g. 52).
I verified the fact once at the local pharmacy – I had thought I might have a problem with my device – but the pharmacist got the same result.
I do take blood pressure medicine & have been taking it.
I have finally decided what I should focus on – LOGIC & PHILOSOPHY of LOGIC.
I have a good library & have some background & I think good intuitions on the subject.
But I also have a great deal to learn & if I do it properly, I know some experts in the subject, who can answer questions – I hope.
Math & physics I think are more beyond my capabilities & I also have less intuition & contacts who may be willing to help.
Politics is easy – if one could have the right influence – but there are many that – if they had that influence could solve it.
No one has – or could – in my opinion – gain that kind of influence.
I am going to vote – I know the lesser evil.
I am going to continue my role in the Bertrand Russell Society.
Also, I plan to stay active in some local groups I am in, mostly to make friends with people I can have intelligent discussion with.
But my FOCUS is LOGIC.
I also plan to do some programming – that is related to logic & I find stimulating when I’m depressed.
I have many good friends now – more than ever before in my life.