| 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 |