Graduate studies at Western
History and Philosophy of Logic 27 (3):211-228 (2006)
|Abstract||In the present paper, we discuss Husserl's deep account of the notions of ?calculation? and of arithmetical ?operation? which is found in the final chapter of the Philosophy of Arithmetic, arguing that Husserl is ? as far as we know ? the first scholar to reflect seriously on and to investigate the problem of circumscribing the totality of computable numerical operations. We pursue two complementary goals, namely: (i) to provide a formal reconstruction of Husserl's intuitions, and (ii) to demonstrate ? on the basis of our reconstruction ? that the class of operations that Husserl has in mind turns out to be extensionally equivalent to the one that, in contemporary logic, is known as the class of ?partial recursive functions?|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter M. Sullivan (2000). The Totality of Facts. Proceedings of the Aristotelian Society 100 (2):175–192.
Damjan Bojadžiev (2004). Arithmetical and Specular Self-Reference. Acta Analytica 19 (33):55-63.
Stefania Centrone (2011). Functions in Frege, Bolzano and Husserl. History and Philosophy of Logic 31 (4):315-336.
Enrico Martino (2002). The Priority of Arithmetical Truth Over Arithmetical Provability. Topoi 21 (1-2):55-63.
Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín (2011). On Some Compatible Operations on Heyting Algebras. Studia Logica 98 (3):331-345.
Michal Grabowski (1988). Arithmetical Completeness Versus Relative Completeness. Studia Logica 47 (3):213 - 220.
Matteo Plebani (2011). Review of S. Centrone, Logic and Philosophy of Mathematics in the Early Husserl. [REVIEW] Dialectica 65 (3):477-482.
Ernst Wolff (2006). From Phenomenology to Critical Theory: The Genesis of Adorno’s Critical Theory From His Reading of Husserl. Philosophy and Social Criticism 32 (5):555-572.
Michael Freund & Daniel Lehmann (1994). Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations. Studia Logica 53 (2):161 - 201.
Mirja Hartimo (2012). Husserl and the Algebra of Logic: Husserl's 1896 Lectures. [REVIEW] Axiomathes 22 (1):121-133.
Added to index2010-08-10
Total downloads11 ( #107,498 of 739,539 )
Recent downloads (6 months)1 ( #61,680 of 739,539 )
How can I increase my downloads?