Experimental Logics, Mechanism and Knowable Consistency

Theoria 78 (3):213-224 (2012)
Abstract
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 No categories specified
(categorize this paper)
Options
 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: 12,088
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
Petr Hájek (1977). Experimental Logics and Π03 Theories. Journal of Symbolic Logic 42 (4):515 - 522.
R. G. Jeroslow (1975). Experimental Logics and Δ₂⁰-Theories. Journal of Philosophical Logic 4 (3):253 - 267.

View all 13 references

Citations of this work BETA

No citations found.

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.
Analytics

Monthly downloads

Added to index

2012-04-28

Total downloads

7 ( #195,012 of 1,101,958 )

Recent downloads (6 months)

1 ( #306,569 of 1,101,958 )

How can I increase my downloads?

My notes
Sign in to use this feature


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