Home Page of Dennis J. Darland's Philosophy
djd Email: dennis.darland@yahoo.com
Comments Welcome
NOTE: Due to differences in browsers (IE & Firefox) formuli are sometmes given twice - the second time using only plain text.
For other things I'm doing see my home page.
Here are other Philosophy Links.

My Philosophy

  1. The ideas presented here are all preliminary. I am just working them out. I prefer to do it on web pages, as they hsve a greater persistence than email. I hope to get feedback and have been sending emails with links to these web pages. I hope to be able to improve them from feedback that I could not with just email [without the persistence], or publication in a journal [where I would for the most part have to produce a final product before getting feedback]. Also, I realize I haven't been 100% consistent with my notation. This is partly due to the fact that the ideas are just being worked out and also a faulty memory. Also is the using of names compatible with prolog. But I think the intent is generally clear. I also realize I haven't given as full of citations as perhaps I should - and I hope to eventually go over everything and remedy this. But it is hard for me sometimes to get my ideas down before I forget them, so much of my writing is done in a hurry!
  2. Also I am working out ideas on My Blog.
    To post you must register with a user name and email address.
    Then a password will be emailed to you, which you can change after you log in.
    You don't have to register to just read it.
  3. On my method and a very brief introduction to Prolog. My Philosophical Method.
  4. Some background information. Stanford Encylopedia of Philosophy on 'incomplete symbols'.
    More Related Ideas. [situation semantics links added April 17, 2008 after discovering the theory in Blackwell's Guide to Philosophical Logic, Ed. Lou Goble]. I haven't read all these yet - let alone digested them!
    Stanford Encyclopedia of Philosophy on 'sitiuation semantics'.
    From Routledge Encyclopedia of Philosophy
    and also Keith Devlin
    and also Angelika Kratzer
    and also Burghard B. Rieger
  5. Effort to work my ideas in modal logic out systematically.
    1. My Definitions.
  6. Second Effort to work my ideas in modal logic out systematically.
    1. My Definitions - On a simplifying assumption.
    2. My Definitions - second try.
    3. Some thoughts.
    4. A critique of this approach to Modal Logic[added April 20, 2008]
  7. Carnap and others on the naming relation: Carnap on Naming.[revised December 18, 2007]
  8. Note on definition of belief and opacity.[revised August 1, 2008]
  9. Individual dispositions and social meaning [added June 9, 2008]
  10. On Symbolic Ambiguity.
  11. On Meaning, Belief, Types and Nonsense. [revised December 18, 2007]
  12. On Substances, Naming, Essences and Meaning [added July 25, 2008]
  13. On the Past and the Future [added July 28, 2008]
  14. On Experience of Objects. [added July 29, 2008]
  15. A Question about HOL and incompleteness [added July 30, 2008
  16. A Another Question about HOL [added July 31, 2008
  17. On Landini on Russell and Wittgenstein on Belief. [and how it relates to my views].[revised December 18, 2007]
  18. On going on the same way.[added January 16, 2008]
  19. On Scientific Laws and Our Knowledge of Them[added January 20, 2008]
  20. On 'is' and 'ought' [added January 28, 2008]
  21. On Ethics[added May 8, 2008]
  22. On Talking about Symbolism.[revised December 18, 2007]
  23. How Sensation Language is Possible.
  24. Note on identity beliefs. [revised December 18, 2007]
  25. Belief_r in plain English - As best I can explain.[revised December 18, 2007]
  26. A revision to my definition of belief On Variables [added Sept. 26, 2007][revised December 19, 2007\]
  27. A sample complex belief[added December 19, 2007]
  28. Note on definite descriptions and opacity. [revised December 18, 2007]
  29. Note on why opacity matters.[revised December 18, 2007]
  30. Note on the logic of belief.[revised December 18, 2007]
  31. Note on Symbolism[revised December 18, 2007]
  32. Note on the Nature of Mind
  33. Note on Quantifying into belief contexts. [revised January 12, 2008].
  34. On Intensional Functions of Functions
  35. Note on Understanding.[revised December 19, 2007]
  36. Note on what Propositions are. [revised December 19, 2007]
  37. More on Intension.[revised December 19, 2007]
  38. This is not a sentence. Sentence?
  39. On Truth and Wittgenstein's Objection to Russell's Theory of Knowledge. On Truth.[revised December 19, 2007]
  40. On Explaining Symbols.
  41. On Symbols and Existence. [revised December 19, 2007]
  42. On Necessity.[revised December 19, 2007]
  43. On Kripke.[revised December 19, 2007]
  44. Quotations on Scientific Laws.
  45. My philosophy in Prolog.
  46. More of my philosophy in Prolog.
  47. PM incomplete symbol definitions and link to text of PM: Definitions
  48. The trouble with Incomplete Symbols.
  49. Principia Mathematica Class Definitions in Prolog: Class Definitions.
  50. Discussion of PM Class Notation.
  51. Zip files containing Prolog scource code [anonymous ftp] prolog source
  52. A prologic Dialogue.
  53. Predicates, Intension, and Induction: Grue.
  54. Note on de re/de dicto.
    If you want you can take a survey & express you opinions - no identifying data (except I have realized I get yout ip address!).
    Survey on Dennis Darland's Philosophy
    Visitors since June 2, 2007