Experimental Logics, Mechanism and Knowable Consistency

Theoria 78 (3):213-224 (2012)
In a paper published in 1975, Robert Jeroslow introduced the concept of an experimental logic as a generalization of ordinary formal systems such that theoremhood is a (or in practice ) rather than . These systems can be viewed as (rather crude) representations of axiomatic theories evolving stepwise over time. Similar ideas can be found in papers by Putnam (1965) and McCarthy and Shapiro (1987). The topic of the present article is a discussion of a suggestion by Allen Hazen, that these experimental logics might provide an illuminating way of representing “the human mathematical mind”. This is done in the context of the well-known Lucas-Penrose thesis. Though we agree that Jeroslow's model has some merit in this context, and that the Lucas-Penrose arguments certainly are less than persuasive, some semi-technical doubts are raised concerning the alleged impact of experimental logics on the question of knowable self-consistency
Keywords experimental logics  Lucas‐Penrose thesis  Jeroslow  knowable consistency
Categories (categorize this paper)
DOI 10.1111/j.1755-2567.2012.01133.x
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 24,470
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
Petr Hájek (1977). Experimental Logics and Π03 Theories. Journal of Symbolic Logic 42 (4):515 - 522.

View all 17 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
R. G. Jeroslow (1975). Experimental Logics and Δ₂⁰-Theories. Journal of Philosophical Logic 4 (3):253 - 267.
Gemma Robles (2008). The Basic Constructive Logic for Negation-Consistency. Journal of Logic, Language and Information 17 (2):161-181.
Per Lindstrom (2006). Remarks on Penrose's New Argument. Journal of Philosophical Logic 35 (3):231-237.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. Bulletin of Symbolic Logic 14 (2):210-239.

Monthly downloads

Added to index


Total downloads

41 ( #118,110 of 1,925,579 )

Recent downloads (6 months)

21 ( #24,302 of 1,925,579 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.