Giovanni Sambin's philosophy
Nov. 19th, 2006 08:20 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslGiovanni Sambin is one of the most interesting logicians I know. His "basic logic" seems to be a minimalist idea, embodying only the principle of reflection/variable-substitution, from which he unifies (all?) other logics.
I like this:
He calls his philosophy "dynamic constructivism". Reading the paper, it almost sounds like a Buddhist philosophy (all this talk of being attached to Platonism, static foundations, suffering, etc.). I wonder what Henk Barendregt would think.
---
On the same theme of unifying/formalizing philosophies of mathematics, Ed Zalta is speaking in Amsterdam next month. One year too late for me.
I like this:
One of my principles is that one should study the mind and its products, including mathematics, just as natural scientists study nature.
So with no skyhooks (in the sense of D. Dennett): everything can, and should, be explained virtually from the bottom, that is basing only on the laws of biology.
He calls his philosophy "dynamic constructivism". Reading the paper, it almost sounds like a Buddhist philosophy (all this talk of being attached to Platonism, static foundations, suffering, etc.). I wonder what Henk Barendregt would think.
---
On the same theme of unifying/formalizing philosophies of mathematics, Ed Zalta is speaking in Amsterdam next month. One year too late for me.