4 projects found matching your search criteria :
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Logical and epistemological criteria of salience in the foundations of mathematics
Call: SONATA BIS 12 , Panel: HS1
Principal investigator: dr Mateusz Łełyk
Uniwersytet Warszawski, Wydział Filozofii
Truth: Between Disquotation and Compositionality.
Call: SONATA 15 , Panel: HS1
Principal investigator: dr Mateusz Łełyk
Uniwersytet Warszawski
Epistemic and semantic commitments of foundational theories
Call: MAESTRO 11 , Panel: HS1
Principal investigator: dr hab. Cezary Cieśliński
Uniwersytet Warszawski