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||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
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).
Gemma Robles (2008). The Basic Constructive Logic for Negation-Consistency. Journal of Logic, Language and Information 17 (2).
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).
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).
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.
Ross T. Brady (forthcoming). The Simple Consistency of Naive Set Theory Using Metavaluations. Journal of Philosophical Logic:1-21.
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. The 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 downloads6 ( #145,673 of 549,128 )
Recent downloads (6 months)1 ( #63,361 of 549,128 )
How can I increase my downloads?