In starting to work on the qqqq predicate, I noticed mistakes in my folder orginization.

I decided to just continue forward rather than try to correct all that.

Contents

1. Documents
2. Source Code - Github
3. My Philosophy Revised to use qqqq predicate
4. Investigation Into Satisfiability
5. Some Physics Using Maple

Documents

1. Background to my Philosophy of Belief and Truth
2. Sample Code With Explanation of Programming and Philosophy
3. On the Axiom of Reducibility
4. Principia Mathematica Glossary
5. What Logic Can and Cannot Do
6. Incompleteness is Good for Logic
7. My Ideas
8. Opacity Explained (away)
9. How to describe reality - according to a dream of mine - last night (11/10/2021)
10. I was going to make comments on a number of books relevant to these topics.
    But I have decided to try to improve the comments within the WildLIFE code instead.
    I will also try to compile a bibliography of books on the topics.
11. Sample Understanding Predicate explained in detail.
12. Beginning of Document on this Philosophy
13. The WildLIFE Handbook
14. Previous Work in this area
    Includes tutorials on Prolog - very similar to WildLIFE.

Source Code - Github

1. WildLIFE
2. How to install WildLIFE on clean Ubuntu 20.04 (Video Part1 5:42)
3. How to install WildLIFE on clean Ubuntu 20.04 (Video Part2 2:16)
4. How to install WildLIFE on clean Ubuntu 20.04 (Video Part3 15:58)
5. How to install WildLIFE on clean Ubuntu 20.04 (Video Part4 0:40)
6. How to install Unicon on Ubuntu 20.04 (Video Part1 and Part2 7:12)
7. How to install Unicon on Ubuntu 20.04 (Video Part3 5:44)
8. How to install darland_philosophy on Ubuntu 6:56 (Video Part1 6:56)
9. I may add more demos of my philosophy. SOME NOTES.
   I have mostly completed the singular cases.
   I have begun on plural cases.
   Plural cases correspond to what are usually called classes.
   In my philosophy it appears there are no objects corresponding to classes.
   There are words and ideas, which apply to multiple (plural) objects.
   This only requires the existence of one-many relations.
   Do not worry what you call things - look at the RELATIONS.
   
   OK - I have it worked out plural cases.
   .
   Only ideas have types - as before.
   class ideas are same type as their objects - related by tttt relation.
   relation ideas are one type higher than their objects - which may be class ideas or object ideas.
   Much of this could be done differently - these are my conventions.
   
   Things have seemed to work out OK.
   The Whitehead cases have been updated for plural (classes).
   Now I have another idea; universal quantification can be implemented as universal ideas.
   For each type of idea there would be a one many relation of a universal idea to all objects. [to which that type of idea applies]
   WildLIFE does have what amounts to existential quantification built in
   However, I am not trying to reduce ontology to WildLIFE.
   I am trying to use WildLIFE to illustrate ontology.
   I am interested to see how far I can go.
   Can I go as far as a natural language?
   After all, they have finite vocabularies also!
   
   I think all uploaded to git except Putnam twin earth example.
   END NOTES
   
10. darland_philosophy

WildLIFE FACTS

1. FACTS for Tests on singular or plural
2. FACTS for Realism, Idealism, Private Language, and Replacement of classes

WildLIFE RULES

1. Rules for Understanding with singular or plural
2. Rules for Atomic Belief with singular or plural
3. Rules Realism, Idealism, Private Language and Replacement o Classesf
4. Rules for Opacity and Agnosticism with singular or plural Atomic Belief

INPUT WildLIFE TESTS

1. Tests for Understanding with singular or plural
2. Tests for Belief with singular or plural
3. Tests Realism, Idealism, Private Language and Replacement of Classes
4. Tests for Opacity with singular or plural

WildLIFE RESULTS

1. Results for Understanding with singular or plural
2. Results for Belief with singular or plural
3. Results Realism, Idealism, Private Language and Replacement of Classes
4. Results for Opacity and Agnosticism with singular or plural

Investigation into Satisfiability

1. More organized investigation into satisfiability

New Work - Using Gravity and Electromagnetism

1. INPUT Maple TESTS

   1. Input for Mind Body Hypothesis (only gravity) - electromagnetism more relevant but harder
   2. Input for Mind Body Hypothesis (gravity and electromagnetism)

2. OUTPUT Maple TESTS

   1. Output for Mind Body Hypothesis (only gravity) - electromagnetism more relevant but harder
   2. Output for Mind Body Hypothesis (gravity and electromagnetism)