Re: [ontolog-forum] Watchout Watson: Here comes Amazon Machine Learning

[Thomas Johnston <tmj44p@xxxxxxx>]

John,

I also recommend adding to your bibliography, if you don't have it already, the following work on Stoic logic. Because of my career in commercial IT, I have been unable to read widely and deeply in the literature, but I'd nonetheless be surprised if you could do much better than:

Benson Mates. Stoic Logic. (U Cal Press, 1953).

On Saturday, May 9, 2015 7:34 PM, Thomas Johnston <tmj44p@xxxxxxx> wrote:

John,

If you don't have this link to Paul Vincent Spade's self-published book on logic in the Mediaval period (sic: that's Spade's own preferred spelling), I think you should include it. It may be old hat to you, but I learned a great deal from it.

Tom

Mediaeval Logic and Philosophy

		Mediaeval Logic and Philosophy For scholars and students of mediaeval logic and philosophy. E-mail addresses, links, bulletin board, things to download.
		View on pvspade.com	Preview by Yahoo

On Friday, May 8, 2015 2:24 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:

Tom,

I strongly agree with that point:

> I feel that the ontology work I have already done in BDTP is pretty
> solid, and does establish my claim that there is a descriptive, not
> prescriptive, upper-level ontology common to all relational databases,
> and that it is essentially (pardon the pun) Aristotelian

I believe that a solid understanding of classical logic is important.
By 'classical', I mean

  1. Aristotle's syllogisms with Venn diagrams for the model-theoretic
    semantics.  This is the original "Description Logic".  It's still
    the most widely used subset, and it's a good introduction.

  2. Stoic-Boolean propositional logic with truth tables for semantics.
    For a summary of #1 and #2: http://www.jfsowa.com/talks/aristo.pdf

  3. Ockham's theory of propositions as a combination of #1 and #2 with
    an informal (stated in Latin) Tarski-style semantics.

  4. Traditional first-order logic with Tarski-style models.

But it's also important to recognize the many variations.  Among them
are the many versions of nonmonotonic logics with open world semantics
instead of the Tarski-style of closed world semantics.

There are also the huge number of very complex issues about the way
that names, indexicals, and IRIs refer to things in the world.  The
thorny issues about open worlds and IRIs are at the heart of many
complex discussions about the Semantic Web and the various logics.

I gathered 100+ documents on these issues in my IKL page:
http://www.jfsowa.com/ikl

If you or anybody else has suggestions for adding more documents
(preferably freely available on the WWW), please let me know.

> I also think that the correlations between that ontology and the
> mathematics of relational databases, described in Chapter 5 of that
> book, are correct, and that my use of both speech act theory and
> an extension of Gricean rules of conversational implicature I
> propose, to define a theory of tritemporal data management, have
> led to useful developments.

I agree.  I believe that more IT people should become familiar with
those issues.  They are especially important for anyone who is
designing user languages and interfaces.

On that page, I mentioned that John McCarthy's writings are
relevant to nearly all the issues.  Among them is his proposal
for Elephant 2000.  For references, see the second paragraph
after Figure 1 of the IKL page.  He proposed the language in
1989, but the last two references cite an interview and slides
he presented in 2008.

John

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)