Kant ’ s Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry

ILLC MSc in Logic Riccardo Pinosio Friedman [1, 2] claims that Kant's constructive approach to geometry was developed as a means to circumvent the limitations of his logic, which has been widely regarded by various commentators as nothing more than a glossa to Aristotelian subject-predicate logic. Contra Friedman, and building on the work of Achourioti and van Lambalgen [3], we purport to show that Kant's constructivism draws its independent motivation from his general theory of cognition. We thus propose an exegesis of the Transcendental Deduction according to which the consciousness of space as a formal intuition of outer sense (with its properties of, e.g., infinity and continuity) is produced by means of the activity of the transcendental synthesis of the imagination in the construction of geometrical concepts, which synthesis must be in thoroughgoing agreement with the categories. In order to substantiate these claims, we provide an analysis of Kant's characterization of geometrical inferences and of geometrical continuity, along with a formal argument illustrating how the representation of space as a continuum can be constructed from Kantian principles.

[1]  David Hilbert,et al.  The Foundations of Geometry , 1903, The Mathematical Gazette.

[2]  T. D. Laguna The Nature of Space--II , 1922 .

[3]  G. Gibson The Thirteen Books of Euclid's Elements , 1927, Nature.

[4]  M. H. A. Newman,et al.  On Order in Time , 1936, Mathematical Proceedings of the Cambridge Philosophical Society.

[5]  L. Birch,et al.  The concept of nature , 1992 .

[6]  A. Tarski What is Elementary Geometry , 1959 .

[7]  B. Russell Our Knowledge of the External World , 1960 .

[8]  P. Strawson The Bounds of Sense , 2002 .

[9]  Steven K. Thomason On constructing instants from events , 1984, J. Philos. Log..

[10]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[11]  M. Friedman Kant’s Theory of Geometry , 1985 .

[12]  Steven K. Thomason Free construction of time from events , 1989, J. Philos. Log..

[13]  W. Harper,et al.  Kant and the Exact Sciences , 1992 .

[14]  J. Bermúdez The Unity of Apperception in the Critique of Pure Reason , 1994 .

[15]  David H. Carey Aristotle’s Physics: A Guided Study , 1996 .

[16]  Katrin Flikschuh The Cambridge Edition of the Works of Immanuel Kant, vol. 4, Practical Philosophy . Cambridge: Cambridge University Press, 1996. Pp.xxxiii, 668. ISBN 0-521-37103-1 (hbk), £50. , 1999, Kantian Review.

[17]  K. Westphal Kant and the Capacity to Judge , 2000 .

[18]  Béatrice Longuenesse Kant?s Categories and the Capacity to Judge: Responses to Henry Allison and Sally Sedgwick , 2000 .

[19]  Houston Smit Kant on Marks and the Immediacy of Intuition , 2000 .

[20]  Lisa Shabel Kant's "Argument from Geometry" , 2004 .

[21]  I. Kant,et al.  Immanuel Kant: Prolegomena to Any Future Metaphysics: Prolegomena to Any Future Metaphysics , 2004 .

[22]  Ian Pratt-Hartmann,et al.  First-Order Mereotopology , 2007, Handbook of Spatial Logics.

[23]  Jeremy Avigad,et al.  A FORMAL SYSTEM FOR EUCLID’S ELEMENTS , 2008, The Review of Symbolic Logic.

[24]  Giangiacomo Gerla,et al.  Point-free Foundation of Geometry and Multivalued Logic , 2010, Notre Dame J. Formal Log..

[25]  N. Smith Critique of Pure Reason Immanuel Kant , 2010 .

[26]  John Mumma Constructive geometrical reasoning and diagrams , 2011, Synthese.

[27]  Michiel van Lambalgen,et al.  A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC , 2011, The Review of Symbolic Logic.

[28]  R. Cooper Process and Reality , 2014 .