Hintikka and the Functions of Logic
Jaakko Hintikka (1929–2015) points out the power of Skolem functions to affect both what there is and what we know. There is a tension in his presupposition that these functions actually extend the realm of logic. He claims to have resolved the tension by “reconstructing constructivism” along epistemological lines, instead of by a typical ontological construction; however, after the collapse of the distinction between first and second order, that resolution is not entirely satisfactory. Still, it does throw light on the conceptual analysis Hintikka proposes.
Publisher URL: https://link.springer.com/article/10.1007/s11787-018-0200-0