Line 2,525: |
Line 2,525: |
| | | |
| * Raskin, Marcus G., and Bernstein, Herbert J. (1987, eds.), ''New Ways of Knowing : The Sciences, Society, and Reconstructive Knowledge'', Rowman and Littlefield, Totowa, NJ. | | * Raskin, Marcus G., and Bernstein, Herbert J. (1987, eds.), ''New Ways of Knowing : The Sciences, Society, and Reconstructive Knowledge'', Rowman and Littlefield, Totowa, NJ. |
− |
| |
− | ==Document History==
| |
− |
| |
− | <pre>
| |
− | | Subject: Inquiry Driven Systems : An Inquiry Into Inquiry
| |
− | | Contact: Jon Awbrey
| |
− | | Version: Draft 8.70
| |
− | | Created: 23 Jun 1996
| |
− | | Revised: 06 Jan 2002
| |
− | | Advisor: M.A. Zohdy
| |
− | | Setting: Oakland University, Rochester, Michigan, USA
| |
− | | Excerpt: Section 1.3.10 (Recurring Themes)
| |
− | | Excerpt: Subsections 1.3.10.8 - 1.3.10.13
| |
− | </pre>
| |
| | | |
| ==Notes Found in a Cactus Patch== | | ==Notes Found in a Cactus Patch== |
| | | |
− | : '''Note.''' This is a collection of fragments from previous discussions that I hope to use in documenting the cactus graph syntax for propositional logic. | + | : '''''Note.''' This is a collection of fragments from previous discussions that I plan to use in documenting the cactus graph syntax for propositional logic.'' |
| | | |
| ===Cactus Language=== | | ===Cactus Language=== |
− |
| |
− | ====Fragments====
| |
| | | |
| Table 13 illustrates the ''existential interpretation'' of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms. | | Table 13 illustrates the ''existential interpretation'' of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms. |
Line 3,025: |
Line 3,009: |
| </pre> | | </pre> |
| |} | | |} |
− |
| |
− | ====Document History====
| |
− |
| |
− | =====Inquiry List (Mar 2003)=====
| |
− |
| |
− | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
| |
− | * http://stderr.org/pipermail/inquiry/2003-March/000114.html
| |
− |
| |
− | =====Inquiry List (Feb 2005)=====
| |
− |
| |
− | * http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
| |
− | * http://stderr.org/pipermail/inquiry/2005-February/002360.html
| |
| | | |
| ===Differential Logic=== | | ===Differential Logic=== |
Line 10,768: |
Line 10,740: |
| o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o | | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o |
| </pre> | | </pre> |
| + | |
| + | ==Document History== |
| + | |
| + | ===The Cactus Patch=== |
| + | |
| + | <pre> |
| + | | Subject: Inquiry Driven Systems : An Inquiry Into Inquiry |
| + | | Contact: Jon Awbrey |
| + | | Version: Draft 8.70 |
| + | | Created: 23 Jun 1996 |
| + | | Revised: 06 Jan 2002 |
| + | | Advisor: M.A. Zohdy |
| + | | Setting: Oakland University, Rochester, Michigan, USA |
| + | | Excerpt: Section 1.3.10 (Recurring Themes) |
| + | | Excerpt: Subsections 1.3.10.8 - 1.3.10.13 |
| + | </pre> |
| + | |
| + | ===Cactus Language=== |
| + | |
| + | ====Inquiry List (Mar 2003)==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#102 |
| + | * http://stderr.org/pipermail/inquiry/2003-March/000114.html |
| + | |
| + | ====Inquiry List (Feb 2005)==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348 |
| + | * http://stderr.org/pipermail/inquiry/2005-February/002360.html |