Home Page of Dennis J. Darland's Philosophy
Email:
Mail To: pal at dennisdarland dot com
Philosopher At Large
Comments Welcome
For other things I'm doing see
my home page.
Here are other
Philosophy Links.
Here are philosophy videos
My Philosophy
- I have done an Anatomy of a proof in Principia Mathematica
-
The ideas presented here are all preliminary. I am just working them out. I prefer to do it on web pages, as they have 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!
In the initial work I did, I used Microsoft Word, so I had a spell checker, however, due to problems it had with special
(logic) symbols, I switched to a different HTML editor, which did not have spell checking. Now I have the GNU tool
Aspell working under cygwin to do it.
Links to Pages made with Word are indicated by (W) at the end of link those using the
HTML Editor are indicated by (H) at the end of the link.
I am now (1/3/2011) - staring to convert most to the HTML editor. The rest I am moving to
B Side.
Also (1/22/2011) I have decided to give priority to the pages created with Word that actually use special symbols.
Now (5/9/2011) I have found I can edit html created with either Word or the HTML-Editor with OpenOffice and export to pdf(P) and have
all the symbols, colors, etc. work correctly.
- On my method and a very brief introduction to Prolog.My Philosophical Method.(P)(Revised May 9/2011)
- Some background information.Stanford Encyclopedia of Philosophy on 'incomplete symbols'.
- Important Revision of Main Ideas on Telling, Belief, and Truth(March 5-7, 2013)
- New Ideas on Analysis of Sense Language(March 7, 2013)
- Important Note on definition of
belief and opacity.(P)(revised May 9, 2011)
- Reaction to Stich.(P) (March 22, 2013)
- Reaction to Fodor.(P) (March 25, 2013)
- On going on the same way.(P)(revised May 13, 2011)
- Note on identity beliefs.(P)
(revised May 10, 2011)
- Belief_r in plain English - As best I can explain.(P)(revised May 9, 2011)
- A revision to my definition of belief On Variables(P)
(added Sept. 26, 2007)(revised May 10, 2011)
- A sample of a complex belief(P)(revised May 10, 2011)
- Note on definite descriptions and opacity.(P)
(Revised May 10, 2011)
- Note on why opacity matters.(P)(revised May 11, 2011)
- Note on the logic of belief.(P)(revised May 13, 2011)
- Note on Symbolism(P)(revised May 13, 2011)
- Note on Quantifying into belief contexts.(P)
(revised May 9, 2011).
- On Intensional Functions of Functions(P) (revised May 13, 2011)
- Note on Understanding.(P)(revised May 9, 2011)
- Note on what Propositions are.(P)
(revised May 9, 2011)
- More on Intension.(P)(revised May 16, 2011)
- On Truth and Wittgenstein's Objection to Russell's Theory of Knowledge. On Truth.(P)(revised May 9, 2011)
- On Explaining Symbols(P).(revised May 16, 2011)
- On Symbols and Existence.(P)
(revised May 16, 2011)
- My philosophy in Prolog.(P)(revised May 16, 2011)
- More of my philosophy in Prolog.(P)(revised May 16, 2011)
- More Philosophy - including Perception in Prolog(T)
- PM Definitions of 'the' and classes (P)(revised May 16, 2011)
- The trouble with Incomplete Symbols.(P)(revised May 16, 2011)
-
Principia Mathematica Class Definitions in Prolog(P)
(revised May 16, 2011)
- Predicates, Intension, and Induction: Grue.(P)
(revised May 16, 2011)
- A discussion of my philosophy with W. M. Discussion with W. M.(H)