Resumen de Abstraction’s Logicality and Invariance
In this talk, I aim at discussing a criterion that has been recently suggested in order to prove the logicality of the abstraction operators, when they are nderstood as arbitrary expressions. My double aim is to inquiry whether this criterion is sufficient to achieve this goal and to use it in order to compare second-order and first-order abstraction principles.
