Fractal images of formal systems

Journal of Philosophical Logic 26 (2):181-222 (1997)

Authors
Patrick Grim
State University of New York, Stony Brook
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,461
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

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

Analytics

Added to PP index
2009-01-28

Total views
41 ( #219,501 of 2,286,400 )

Recent downloads (6 months)
6 ( #196,328 of 2,286,400 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature