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)
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: 31,871
Through your library
References found in this work BETA
Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]S. Feferman - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:21-32.
Shadows of the Mind.Roger Penrose - 1994 - Oxford University Press.
Minds, Machines and Godel.John R. Lucas - 1961 - Philosophy 36 (April-July):112-127.
Minds, Machines and Gödel.John Lucas - 2003 - Etica E Politica 5 (1):1.
Mechanism, Truth, and Penrose's New Argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.

View all 17 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Experimental Logics and Δ₂⁰-Theories.R. G. Jeroslow - 1975 - Journal of Philosophical Logic 4 (3):253 - 267.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo E. Coniglio & Newton M. Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
The Basic Constructive Logic for Absolute Consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
The Basic Constructive Logic for Negation-Consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
Remarks on Penrose's New Argument.Per Lindstrom - 2006 - Journal of Philosophical Logic 35 (3):231-237.
The Basic Constructive Logic for a Weak Sense of Consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
The Simple Consistency of Naive Set Theory Using Metavaluations.Ross T. Brady - 2014 - Journal of Philosophical Logic 43 (2-3):261-281.
Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Added to PP index

Total downloads
45 ( #131,283 of 2,232,007 )

Recent downloads (6 months)
2 ( #265,296 of 2,232,007 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature