Fractal images of formal systems
Journal of Philosophical Logic 26 (2):181-222 (1997)
| Abstract | Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex value spaces, with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic.\looseness=-1. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSara L. Uckelman (forthcoming). Medieval Disputationes de Obligationibus as Formal Dialogue Systems. Argumentation.
Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
Gary Mar & Paul St Denis (1999). What the Liar Taught Achilles. Journal of Philosophical Logic 28 (1):29-46.
Shahid Rahman & Helge Rückert (2001). Dialogical Connexive Logic. Synthese 127 (1-2):105 - 139.
Douglas Walton (2003). Is There a Burden of Questioning? Artificial Intelligence and Law 11 (1):1-43.
Carlo Cellucci (1992). Gödel's Incompleteness Theorem and the Philosophy of Open Systems. In Daniel Miéville (ed.), Kurt Gödel: Actes du Colloque, Neuchâtel 13-14 Juin 1991, pp. 103-127. Travaux de logique N. 7, Université de Neuchâtel.
Erik C. W. Krabbe (1985). Formal Systems of Dialogue Rules. Synthese 63 (3):295 - 328.
Erick C. W. Krabbe (1984). Formal Systems of Dialogue Rules. Synthese 58 (2):295 - 328.
Richard D. Campbell (1996). Describing the Shapes of Fern Leaves: A Fractal Geometrical Approach. Acta Biotheoretica 44 (2).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,370 of 549,119 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
