Reasoning about arbitrary natural numbers from a Carnapian perspective

Journal of Philosophical Logic. 2019. Vol. 48. No. 4. P. 685–707.

Horsten L., Сперанский С. О.

Inspired by Kit Fine’s theory of arbitrary objects, we explore some ways in which the generic structure of the natural numbers can be presented. Following a suggestion of Saul Kripke’s, we discuss how basic facts and questions about this generic structure can be expressed in the framework of Carnapian quantified modal logic.

Ключевые слова: quantified modal logic, individual concepts, generic structures, arbitrary objects