Graduate studies at Western
Notre Dame Journal of Formal Logic 40 (2):207-226 (1999)
|Abstract||An open formalism for arithmetic is presented based on first-order logic supplemented by a very strictly controlled constructive form of the omega-rule. This formalism (which contains Peano Arithmetic) is proved (nonconstructively, of course) to be complete. Besides this main formalism, two other complete open formalisms are presented, in which the only inference rule is modus ponens. Any closure of any theorem of the main formalism is a theorem of each of these other two. This fact is proved constructively for the stronger of them and nonconstructively for the weaker one. There is, though, an interesting counterpart: the consistency of the weaker formalism can be proved finitarily|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Dan E. Willard (2002). How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. Journal of Symbolic Logic 67 (1):465-496.
Juliette Kennedy (2009). Gödel's Modernism: On Set Theoretic Incompleteness, Revisited. In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
Alexander Bochman (1998). Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame Journal of Formal Logic 39 (1):47-73.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Carlo Cellucci (1992). Gödel's Incompleteness Theorem and the Philosophy of Open Systems. In Daniel Miéville (ed.), Kurt Gödel: Actes du Colloque, Neuchâtel 13-14 Juin 1991, pp. 103-127. Travaux de logique N. 7, Université de Neuchâtel.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Scott Hotton & Jeff Yoshimi (2011). Extending Dynamical Systems Theory to Model Embodied Cognition. Cognitive Science 35 (3):444-479.
Nick Zangwill (1999). Feasible Aesthetic Formalism. Noûs 33 (4):610-629.
Cristian S. Calude (2002). Incompleteness, Complexity, Randomness and Beyond. Minds and Machines 12 (4):503-517.
Nick Zangwill (2005). In Defence of Extreme Formalism About Inorganic Nature: Reply to Parsons. British Journal of Aesthetics 45 (2):185-191.
Glen Hoffmann (2007). The Semantic Theory of Truth: Field's Incompleteness Objection. Philosophia 35 (2):161-170.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-24
Total downloads1 ( #292,723 of 738,317 )
Recent downloads (6 months)0
How can I increase my downloads?