Pregled bibliografske jedinice broj: 1108171
Formal Methods and Science in Philosophy: Introduction to the Special Issue
Formal Methods and Science in Philosophy: Introduction to the Special Issue // Bulletin of the Section of Logic, 49 (2020), 2; 105-107 doi:10.18778/0138-0680.2020.06 (međunarodna recenzija, uvodnik, stručni)
CROSBI ID: 1108171 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formal Methods and Science in Philosophy:
Introduction to the Special Issue
Autori
Blackburn, Patrick ; Kovač, Srećko ; Świętorzecka, Kordula
Izvornik
Bulletin of the Section of Logic (0138-0680) 49
(2020), 2;
105-107
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, uvodnik, stručni
Ključne riječi
formal methods, science, philosophy
Sažetak
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).
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
Citiraj ovu publikaciju:
Časopis indeksira:
- Scopus
Uključenost u ostale bibliografske baze podataka::
- Zentrallblatt für Mathematik/Mathematical Abstracts
- BazHum, CEJSH, Erih Plus
