David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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|
No categories specified
(categorize this paper)
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
Roger Penrose (1994). Shadows of the Mind. Oxford University Press.
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
John Lucas (2003). Minds, Machines and Gödel. Etica E Politica 5 (1):1.
Petr Hájek (1977). Experimental Logics and Π03 Theories. Journal of Symbolic Logic 42 (4):515 - 522.
Roger Penrose (1996). Beyond the Doubting of a Shadow. Psyche 2:89-129.
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.
Marcelo E. Coniglio & Newton M. Peron (2009). A Paraconsistentist Approach to Chisholm's Paradox. Principia 13 (3):299-326.
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2):199-216.
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.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.
Gemma Robles & José M. Méndez (2009). Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. Journal of Logic, Language and Information 18 (3):357-402.
Gemma Robles & José M. Méndez (2008). The Basic Constructive Logic for a Weak Sense of Consistency. Journal of Logic, Language and Information 17 (1):89-107.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.
Ross T. Brady (2014). The Simple Consistency of Naive Set Theory Using Metavaluations. Journal of Philosophical Logic 43 (2-3):261-281.
Q. Yu (1992). Consistency, Mechanicalness, and the Logic of the Mind. Synthese 90 (1):145-79.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. Bulletin of Symbolic Logic 14 (2):210-239.
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
Added to index2012-04-28
Total downloads20 ( #185,466 of 1,796,442 )
Recent downloads (6 months)12 ( #60,056 of 1,796,442 )
How can I increase my downloads?