RE: ONT Re: Zeroth Order Ontology
"Tom Johnston" <[email protected]>
| Newsgroups | gmane.comp.misc.ontology.general,gmane.comp.inquiry |
|---|---|
| Message-ID | <[email protected]> |
JA: It has to with the fact that certain sorts of negative logical connectives are generative enough to build the rest of the logical connectives that one needs, the archetypes being Peirce's "amphecks", or NAND and NNOR, TJ: the one presented in my logic classes is the "Scheffler stroke". p/q meaning (if I recall correctly) "not both p and q". From this one operator, all the others can be derived. Did Peirce anticipate this, also -- a single primitive sentential connector? -----Original Message----- From: [email protected] [mailto:[email protected]]On Behalf Of Jon Awbrey Sent: Thursday, November 13, 2003 10:10 PM To: Inquiry; Ontology; SemioCom Cc: Murray Altheim Subject: ONT Re: Zeroth Order Ontology o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o ZOO. Discussion Note 17 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Murray, I don't know if you are tuned out or in, but I have just touched on an issue that I have tried to discuss several times with people who work with topic maps, but couldn't work out a coherent or convincing enough way to say it. However, I have just constructed some concrete simple examples that illustrate the point better than I have managed before, so maybe it'd be worth another try. It has to with the fact that certain sorts of negative logical connectives are generative enough to build the rest of the logical connectives that one needs, the archetypes being Peirce's "amphecks", or NAND and NNOR, but that the negative connectives, and thus the full set of operators, cannot be generated from positive connectives alone. This means that the fundamental building blocks of association need to have a certain quality of "negativity" about them in order to support logical links between propositions, subjects, topics, or whatever you call them. This is important to me because I always do logic by way of transformations on graph-theoretic dynamic data structures, and the forms are the same whether they are embodied in ramspace or, prospectively I hope, in webspace. So let me know if that strikes any chords, lost or otherwise. If so, I will try to elaborate a little further. Jon Awbrey o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o