User Profile

gesang

gesang@book.itinerariummentis.org

Joined 6 months, 1 week ago

This link opens in a pop-up window

gesang's books

Currently Reading (View all 43)

reviewed Treatise on Intuitionistic Type Theory by Johan Georg Granström (Logic, Epistemology, and the Unity of Science, #22)

Johan Georg Granström: Treatise on Intuitionistic Type Theory (2011, Springer) 5 stars

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream …

Scholasticism is not dead

5 stars

Sure, scholasticism is not dead, we still have so-called neo-scholasticism and Thomism is a powerful force in analytic philosophy, but the original spirit of scholasticism, the scholasticism that corresponds to the age of great Gothic cathedrals, that utilized the most recent devices at hand, and was in touch with the Sciences in general, seems quite dead. Thought it should also be kept in mind that phenomenology branched out from the scholastic background of Brentano, and Peirce was an ardent reader of the scholastics. Cantor, when arguing for his theory of actual infinites, engaged mainly with the scholastic philosophers. This little treatise, in the guise of constructive type theory, actually indicates that the scholastic method is finally coming back. Citing Aristotle, Aquinas, Duns Scotus, Boethius, Cajetan, etc., with a clean, rational, and no-nonsense writing style that never tries to obscure, utilizing logical method as it should have be utilized - in …