Projects funded by the NCN

The empirical sources of mathematical knowledge

Call: OPUS 1 , Panel: HS1

Principal investigator: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Ryszard Mirek

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Higher-order logic and absoluteness phenomena in set theory

Call: SONATA 19 , Panel: HS1

Principal investigator: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

Call: OPUS 25 , Panel: HS1

Principal investigator: dr Michał Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Computable structure theory, and philosophy of mathematical structuralism

Call: OPUS 25 , Panel: HS1

Principal investigator: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Between proof theory, reverse mathematics, and the model theory of arithmetic

Call: OPUS 25 , Panel: ST1

Principal investigator: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Mathematicized Scientific Theories and The Foundations of Applied Mathematics

Call: OPUS 20 , Panel: HS1

Principal investigator: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Model-theoretic methods in logic and the foundations of mathematics and science

Call: OPUS 15 , Panel: HS1

Principal investigator: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Positivity of line bundles on algebraic surfaces

Call: SONATINA 2 , Panel: ST1

Principal investigator: dr Łucja Farnik

Uniwersytet Komisji Edukacji Narodowej w Krakowie

Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

Call: SONATINA 2 , Panel: HS1

Principal investigator: Paweł Pawłowski

Uniwersytet Gdański, Wydział Nauk Społecznych

The problem of explanation in mathematics

Call: OPUS 11 , Panel: HS1

Principal investigator: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Mechanisms of geometric cognition

Call: OPUS 10 , Panel: HS1

Principal investigator: dr Mateusz Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk