Home Page of Dennis J. Darland's Philosophy of Logic djd
Email: Mail To: dennis dot darland at hotmail dot com
Philosopher at Large
Programmer At Large
Comments welcome

Contents

  1. Documents
  2. Source Code - Github
  3. Investigating Comprehension
  4. Converting PM Notation
  5. Demo of eee script for editing darland philosophy
  6. My Philosophy Revised to use qqqq predicate
  7. Some Physics Using Maple

Documents

  1. Bertrand Russell Society Bulletin #167 which includes a paper of mine on propositional attitudes
  2. My paper (revised) from 2023 BRS Annual Meeting
  3. Background to my Philosophy of Belief and Truth
  4. Sample Code With Explanation of Programming and Philosophy
  5. On the Axiom of Reducibility
  6. What Logic Can and Cannot Do
  7. Incompleteness is Good for Logic
  8. My Ideas
  9. Opacity Explained (away)
  10. How to describe reality - according to a dream of mine - last night (11/10/2021)
  11. 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.
  12. Sample Understanding Predicate explained in detail.
  13. Beginning of Document on this Philosophy
  14. The WildLIFE Handbook
  15. Previous Work in this area
    Includes tutorials on Prolog - very similar to WildLIFE.

Source Code - Github

I need to improve the documentation.
I have not found enough time.
  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. darland_philosophy

Investigation Into Comprehension
  • Investigation into predicative and impredicative comprehension

    Converting PM Dot Notation

     Unicon program to convrert PM dot notation to parentheses and Polish

    Demo of eee script for editing and testing my philosophy

     Early attempt at demo of using my eee script for developping darland_philosophy

    Revised to Use Predicate qqqq

    WildLIFE FACTS

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

    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
    5. Rules for Multi Tests with singular or plural
    6. Rules for Agreement between Subjects with singular or plural
    7. Rules for Essentially Singular Terms
    8. Rules for Plural Terms
    9. Rules for Contingently Singular Terms
    10. Rules for Singular Terms
    11. Rules for Same sense of words, ideas, sentences and thoughts
    12. Rules for Nonsense
    13. Rules for Believing Nonsense
    14. Rules for Natural Meaning Beliefs
    15. Rules for Whitehead Metaphysics - Including Solution to Putnam Twin Earth Example
    16. Rules for Whitehead Metaphysics
    17. Rules for Testing Whitehead Metaphysics
    18. Rules for Applying Whitehead Medtaphysics to Opacity

    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
    5. Tests for Multi Test with singular or plural
    6. Tests for Agreement between Subjects with singular or plural
    7. Tests for Essentially Singular Terms
    8. Tests for Plural Terms
    9. Tests for Contingently Singular Terms
    10. Tests for Singular Terms
    11. Tests for Same sense of words, ideas, sentences and thoughts
    12. Tests for Nonsense
    13. Tests for Believing Nonsense
    14. Tests for Natural Meaning Beliefs
    15. Tests Whitehead Metaphysics including Putnam Twin Earth Example
    16. Tests for Whitehead Metaphysics
    17. Tests Whitehead Metaphysics
    18. Tests for Whitehead Metaphysics for Opacity

    OUTPUT WildLIFE TESTS

    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
    5. Results for Multi Test with singular or plural
    6. Results for Agreement between Subjects with singular or plural
    7. Results for Essentially Singular Terms
    8. Results for Plural Terms
    9. Results for Contingently Singular Terms
    10. Results for Singular Terms
    11. Results for Same sense of words, ideas, sentences and thoughts
    12. Results for Nonsense
    13. Results for Believing Nonsense
    14. Results for Natural Meaning Beliefs
    15. Results for Whitehead Metaphysics including Putnam Twin Eath Example
    16. Results for Whitehead Metaphysics
    17. Results for Whitehead Metaphysics
    18. Results for Whitehead Metaphysics applied to Opacity

      • Work - Using Gravity and Electromagnetism

      I am very speculatively considering Russell's "The Ultimate Constituents of Matter".
      I have only implemented gravity and electromagnetism so far.

      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)
      Dennis J. Darland, pal at dennisdarland dot com
      shield