Logical and epistemological criteria of salience in the foundations of mathematics
2022/46/E/HS1/00452
Keywords
Descriptors
- HS1_004: Logika, metodologia nauk, filozofia nauki
- HS1_003: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
- ST1_001: Logika i podstawy matematyki
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Warszawski, Wydział Filozofii
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 4
Call
SONATA BIS 12 – announced on 2022-05-15
- Amount awarded
- 1 903 500 PLN
- Project start date
- 2023-04-07
- Project end date
- 2028-04-06
- Project duration
- 60 months (the same as in the proposal)
- Project status
- Pending project
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Publication in academic press/journals (1)
-
Categoricity-like properties in the first-order realm.
- Authors:
- Ali Enayat, Mateusz Łełyk
- Academic press:
- Journal for the Philosophy of Mathematics (year: 2024, volume: 1, pages: 63-98), Publisher: Firenze University Press
- Status:
- Published
- DOI:
- 10.36253/jpm-2934 – link to the publication