Talk: Vit Puncochar (Prague)
Dynamic Logic for Counting without Numbers.
In my talk I would like to contribute to the project of nominalisation of scientific theories that was put forward by Hartry Field in his classical book (Field 1980). In particular, I will be concerned with some issues related to arithmetic of natural numbers and its application to the empirical world. It turns out to be important for the nominalistic project to have a sufficiently rich logic that is strong enough to simulate, without reference to numbers, everything from arithmetic that can be used to express empirical facts. However, such a desirable logic was not fully specified in (Field 1980). Field acknowledges this point especially in the extensive preface to the second edition of Science Without Numbers (Field 2016). The aim of my talk is to propose a framework determining a nominalistically acceptable logi c that m ight serve this purpose.
Field, H. (1980). Science Without Numbers. Princeton University Press.
Field, H. (2016). Science Without Numbers. Second Edition. Princeton University Press.