In the present paper I wish to regard constructivelogic as a self-contained system for the treatment ofepistemological issues; the explanations of theconstructivist logical notions are cast in anepistemological mold already from the outset. Thediscussion offered here intends to make explicit thisimplicit epistemic character of constructivism.Particular attention will be given to the intendedinterpretation laid down by Heyting. This interpretation, especially as refined in the type-theoretical work of Per Martin-Löf, puts thesystem on par with the early efforts of Frege andWhitehead-Russell. This quite (...) recent work, however,has proved valuable not only in the philosophy andfoundations of mathematics, but has also foundpractical application in computer science, where thelanguage of constructivism serves as an implementableprogramming language, and within the philosophy oflanguage.\footnote{Nordstr\"{o}m et al. give an overview of the work in computerscience, whereas Ranta provides an impressiveconstructivist alternative to Montague Grammar usingthe richer type structure of Martin-L\"{o}f in placeof the simple classical type theory of Church.} Mypresentation will be carried out through a contrastwith standard metamathematical work.\footnote{Troelstra and van Dalen give an encyclopedictreatment of the metamathematics of constructivism.}In the course of the development I have occasion tooffer some novel considerations on thenature of proof and inference. (shrink)

Kant’s response to Cartesian scepticism is often characterized in the following way. Whereas Descartes drives a wedge between subjective experience and objective reality, Kant argues that there could be no such thing as experience at all if reality were not itself structured in just the way our thought about it is structured. This picture of Kant’s response to Descartes portrays him as succeeding, where Descartes fails, in arguing directly from the nature of experience to the nature of reality; as subscribing, (...) therefore, to Descartes’ view that one is immediately aware only of one’s own mental states, but as seeing a way out of the subjective predicament. I maintain that this picture is deeply flawed. Kant’s transcendental argument is in fact a thoroughgoing critique of Descartes’ subjectivism, and destroys the Cartesian barrier to recognizing that our awareness of reality is unmediated and direct. (shrink)

As reflexões metodológicas de Poincaré sobre a modelação mecânica dos fenômenos, as teorias físicas, a hierarquização das leis e a evolução do seu estatuto e sistema são susceptíveis de uma leitura kantiana que exibe a função constitutiva das matemáticas e a função reguladora dos princípios de conveniência e dos princípios da física, correspondendo estes a uma importante etapa na evolução das teorias físicas. The methodological reflections of Poincaré on the mechanical modeling of phenomena, physical theories, the hierarchy of laws and (...) the evolution of their status and system are illuminated by a Kantian reading that displays the constitutive function of mathematics and the regulative function of principles of convenience and of the principles of physics, these corresponding to an important step in the evolution of physical theories. (shrink)

This article examines the relationship in Kant between transcendental laws and empirical laws (focusing on causal laws), and then brings a particular interpretation of that issue to bear on familiar puzzles concerning the status of the regulative maxims of reason and reflective judgment. It is argued that the 'indeterminate objective validity' possessed by the regulative maxims derives ultimately from strictly constitutive demands of understanding.

Abstract: This essay addresses three specific moments in the history of the role played by intuition in Kant's system. Part one develops Kant's attitude toward intuition in order to understand how ‘sensible intuition’ becomes the first step in his development of transcendental idealism and how this in turn requires him to reject the possibility of an ‘intellectual intuition’ for human cognition. Part two considers the role of Jacobi when it came to interpreting both Kant's epistemic achievement and what were taken (...) to be the outstanding problems of freedom's relation to nature; problems interpreted to be resolvable only via an appeal to ‘intellectual intuition’. Part three begins with Kant's subsequent return to the question of freedom and nature in his Critique of Judgment. With Goethe's contemporaneous Metamorphoses of Plants as a contrast case, it becomes clear that whereas Goethe can embrace the role of an intuitive understanding in his account of nature and within the logic of polarity in particular, Kant could never allow an intuition of nature that in his system would spell the very impossibility of freedom itself. (shrink)