engleski

Formal Methods and Science in Philosophy: Introduction to the Special Issue

The main topics of the conference "Formal Methods and Science in Philosophy III" (IUC, Dubrovnik, April 11-13, 2019) are described. The thesis and the contribution of each paper is summarized. The topics covered are Husserl's notion of "definiteness'' (V. Aranda), computational approach to Gödel's ontological proof (C. Benzmüller and D. Fuenmayor), Cantor on infinitesimals (P. Błaszczyk and M. Fila), a converse of Łos's Theorem (Z. Šikić) and sense in logic and philosophy of language (U. Wybraniec- Skardowska).

formal methods, science, philosophy

nije evidentirano