, Volume 28, Issue 3, pp 325–344 | Cite as

The Transcendental Source of Logic by Way of Phenomenology

  • Stathis Livadas
Original Paper


In this article I am going to argue for the possibility of a transcendental source of logic based on a phenomenologically motivated approach. My aim will be essentially carried out in two succeeding steps of reduction: the first one will be the indication of existence of an inherent temporal factor conditioning formal predicative discourse and the second one, based on a supplementary reduction of objective temporality, will be a recourse to a time-constituting origin which has to be assumed as a non-temporal, transcendental subjectivity and for that reason as possibly the ultimate transcendental root of pure logic. In the development of the argumentation and taking into account W.V. Quine’s views in his well-known Word and Object, a special emphasis will be given to the fundamentally temporal character of universal and existential predicative forms, to their status in logical theories in general, and to their underlying role in generating an inherently non-finitistic character reflected, for instance, in the undecidability of certain infinity statements in formal mathematical theories. This is shown also to concern metatheorems of such vital importance as Gödel’s incompleteness theorems in mathematical foundations. Moreover in the course of the discussion the quest for the ultimate limits of predication will lead to the notions of separation and intentional correlation between an ‘observing’ subject and the object of ‘observation’ as well as to the notion of syntactical individuals taken as the irreducible non-analytic nuclei-forms within analytical discourse.


Absolute subjectivity Definite totality Incompleteness theorem Meaning-act Predication formula Temporal ego Temporal unity Universal–existential quantification 


  1. Aristotle (1983) Categories, on interpretation, prior analytics (trans Cooke HP, The Loeb Classical Library)Google Scholar
  2. Feferman S (2009) Conceptions of the continuum. Intellectica 51:169–189Google Scholar
  3. Feferman S (2012) Is the continuum hypothesis a definite mathematical problem? In: EFI Project, Harvard 2011–2012, Draft 9/18/11, pp. 1–29Google Scholar
  4. Heyting A (1966) Intuitionism: an introduction. North-Holland Pub, AmsterdamGoogle Scholar
  5. Husserl E (1966) Vorlesungen zur Phänomenologie des inneren Zeibewusstseins. Hua Band X, hsgb. R. Boehm, Den Haag: M. NijhoffGoogle Scholar
  6. Husserl E (1972) Erfahrung und Urteil. hsgb. L. Landgrebe, Hamburg: Felix Meiner Verlag (Engl. trans (1973) Experience and judgment, trans Churchill JS, Americs K, Routledge and Kegan Paul, London)Google Scholar
  7. Husserl E (1974) Formale und Transzendentale Logik. Hua Band XVII, hsgb. P. Janssen, Den Haag: M. NijhoffGoogle Scholar
  8. Husserl E (1976a) Die Krisis der Europäischen Wissenschaften und die Transzendentale Phänomenologie. Hua Band VI, hsgb. W. Biemel, Den Haag: M. NijhoffGoogle Scholar
  9. Husserl E (1976b) Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie, Erstes Buch. Hua Band III/I, hsgb. K. Schuhmann, Den Haag: M. NijhoffGoogle Scholar
  10. Husserl E (1984) Logische Untersuchungen. Hua Band XIX/1, hsgb. U. Panzer, The Hague: M. Nijhoff Pub (Engl. transl (2001) Logical investigations, trans Findlay JN, Routledge, New York)Google Scholar
  11. Husserl E (2001a) Die Bernauer Manusckripte über das Zeitbewusstsein (1917/18), hsgb. R. Bernet and D. Lohmar, Kluwer Acad. Pub, DordrechtGoogle Scholar
  12. Husserl E (2001b) Späte Texte über Zeitkonstitution, Die C-Manuscripte. Hua Materialien Band VIII, hsgb. D. Lohmar, Springer, DordrechtGoogle Scholar
  13. Kleene SC (1980) Introduction to metamathematics. North-Holland Pub, New-YorkGoogle Scholar
  14. Kunen K (1982) Set theory: an introduction to independence proofs. Elsevier, AmsterdamGoogle Scholar
  15. Livadas S (2012) Contemporary problems of epistemology in the light of phenomenology. College Publications, LondonGoogle Scholar
  16. Livadas S (2013) The notion of process in nonstandard theory and in Whiteheadian metaphysics. Manuscr Rev Intern Filos 36:103–137Google Scholar
  17. Livadas S (2015) The subjective roots of forcing theory and their influence in independence results. Axiomathes 25(4):433–455CrossRefGoogle Scholar
  18. Nagel E, Newman J (1958) Gödel’s proof. New York University Press, New YorkGoogle Scholar
  19. Noe AR (1994) Wittgenstein, phenomenology and what it makes sense to say. Philos Phenomenol Res 54(1):1–42CrossRefGoogle Scholar
  20. Ortiz-Hill C (2013) The strange worlds of actual consciousness and the purely logical. In: Hopkins B (ed) The new yearbook for phenomenology and phenomenological philosophy, vol 13. Routledge, Abingdon, pp 62–83Google Scholar
  21. Patočka J (1992) Introduction à la Phénoménologie de Husserl (trans Abrams ER, Ed. Millon, Grenoble)Google Scholar
  22. Quine VW (1947) On universals. J Symb Log 12(3):74–84CrossRefGoogle Scholar
  23. Quine VW (1960) Word and object. MIT Press, CambridgeGoogle Scholar
  24. Rosser B (1936) Extensions of some theorems of Gödel and Church. J Symb Log 1:87–91CrossRefGoogle Scholar
  25. Van Atten M, Van Dalen D, Tieszen R (2002) Brouwer and Weyl: the phenomenology and mathematics of the intuitive continuum. Philos Math 10(3):203–226CrossRefGoogle Scholar
  26. Whitehead NA (1978) Process and reality: an essay in cosmology. Free Press, New YorkGoogle Scholar

Copyright information

© Springer Science+Business Media B.V., part of Springer Nature 2018

Authors and Affiliations

  • Stathis Livadas
    • 1
  1. 1.PatrasGreece

Personalised recommendations