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
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004280900954
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,749
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
What the Liar Taught Achilles.Gary Mar & Paul St Denis - 1999 - Journal of Philosophical Logic 28 (1):29-46.
On What Ontology is and Not-Is.Karin Verelst - 2008 - Foundations of Science 13 (3):347-370.

Add more citations

Similar books and articles
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
What the Liar Taught Achilles.Gary Mar & Paul St Denis - 1999 - Journal of Philosophical Logic 28 (1):29-46.
Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
Is There a Burden of Questioning?Douglas Walton - 2003 - Artificial Intelligence and Law 11 (1):1-43.
.[author unknown] - unknown
Formal Systems of Dialogue Rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.
Formal Systems of Dialogue Rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.
Added to PP index
2009-01-28

Total downloads
29 ( #183,043 of 2,197,349 )

Recent downloads (6 months)
1 ( #298,877 of 2,197,349 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature