Re: Laws Of Form Discussions • (1) • (2) • (3)
Re: Peirce List Discussions • (1) • (2) • (3)
Logical Cacti (cont.)
The main things to take away from the previous post are the following two ideas, one syntactic and one semantic:
- The compositional structures of cactus graphs and cactus expressions are constructed from two kinds of connective operations.
- There are two ways of mapping these compositional structures into the compositional structures of propositional sentences.
The two kinds of connective operations are described as follows:
- The node connective joins a number of component cacti
to a node:
![node connective]()
to a node:
- The lobe connective joins a number of component cacti
to a lobe:
![lobe connective]()
The two ways of mapping cactus structures to logical meanings are summarized in Table 3, which compares the existential and entitative interpretations of the basic cactus structures, in effect, the graphical constants and connectives.
 |
 |
 |
 |
|---|---|---|---|
 |
 |
 |
 |
 |
 |
|
|
|
 |
 |
 |
|
 |
![\begin{matrix} \text{just one of} \\[6px] C_1, \ldots, C_k \\[6px] \text{is false} \end{matrix}](http://s0.wp.com/latex.php?latex=%5Cbegin%7Bmatrix%7D++%5Ctext%7Bjust+one+of%7D++%5C%5C%5B6px%5D++C_1%2C+%5Cldots%2C+C_k++%5C%5C%5B6px%5D++%5Ctext%7Bis+false%7D++%5Cend%7Bmatrix%7D&bg=ffffff&fg=000000&s=0 "\begin{matrix} \text{just one of} \\[6px] C_1, \ldots, C_k \\[6px] \text{is false} \end{matrix}") |
![\begin{matrix} \text{not just one of} \\[6px] C_1, \ldots, C_k \\[6px] \text{is true} \end{matrix}](http://s0.wp.com/latex.php?latex=%5Cbegin%7Bmatrix%7D++%5Ctext%7Bnot+just+one+of%7D++%5C%5C%5B6px%5D++C_1%2C+%5Cldots%2C++C_k++%5C%5C%5B6px%5D++%5Ctext%7Bis+true%7D++%5Cend%7Bmatrix%7D&bg=ffffff&fg=000000&s=0 "\begin{matrix} \text{not just one of} \\[6px] C_1, \ldots, C_k \\[6px] \text{is true} \end{matrix}") |
