ONT Re: Differential Logic
- To: Inquiry <inquiry@stderr.org>, Ontology <ontology@ieee.org>
- Subject: ONT Re: Differential Logic
- From: Jon Awbrey <jawbrey@oakland.edu>
- Date: Mon, 05 May 2003 17:44:21 -0400
- References: <3E982563.F67459A5@oakland.edu> <3E9B065B.16E8647A@oakland.edu> <3E9B85C8.B3EA62A6@oakland.edu> <3E9CCE5E.B394892C@oakland.edu> <3E9D6DCE.27EE1A23@oakland.edu> <3E9DA6DA.E2FEDAF6@oakland.edu> <3E9DC371.F4697BDA@oakland.edu> <3E9DCDDA.F1323AAF@oakland.edu> <3E9E1FCE.ACCA5CB1@oakland.edu>
- Sender: owner-ontology@majordomo.ieee.org
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
DLOG. Note B9
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Another way of looking at this situation is by letting the (first order)
differential features du, dv, dw be viewed as the features of another
universe of discourse, called the "tangent universe of X with respect
to the interpretation c" and notated as "dX.c". In this setting,
Dq.c, the "difference proposition of q at the interpretation c",
where c = uvw, is marked by the shaded region in Figure 4.
o-------------------------------------------------o
| dX.uvw |
| |
| o-------------o |
| / \ |
| / \ |
| / \ |
| / \ |
| o dU o |
| | | |
| | | |
| | | |
| o---o---------o o---------o---o |
| / \%%%%%%%%%\ /%%%%%%%%%/ \ |
| / \%%%%%%%%%o%%%%%%%%%/ \ |
| / \%%%%%%%/%\%%%%%%%/ \ |
| / \%%%%%/%%%\%%%%%/ \ |
| o o---o-----o---o o |
| | |%%%%%| | |
| | dV |%%%%%| dW | |
| | |%%%%%| | |
| o o%%%%%o o |
| \ \%%%/ / |
| \ \%/ / |
| \ o / |
| \ / \ / |
| o-------------o o-------------o |
| |
| |
o-------------------------------------------------o
Figure 4. Tangent Venn Diagram for Dq.uvw
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o