Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Epistemic and semantic commitments of foundational theories

2019/34/A/HS1/00399

Keywords:

commitments reflection principles axiomatic theories truth

Descriptors:

  • HS1_004:
  • ST1_001:

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Cezary Cieśliński 

Number of co-investigators in the project: 7

Call: MAESTRO 11 - announced on 2019-06-17

Amount awarded: 2 413 800 PLN

Project start date (Y-m-d): 2020-09-01

Project end date (Y-m-d): 2025-08-31

Project duration:: 60 months (the same as in the proposal)

Project status: Project completed

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 (8)
  1. Axioms for type-free subjective probability
    Authors:
    Cezary Cieśliński, Leon Horsten, Hannes Leitgeb
    Academic press:
    The Review of Symbolic Logic (rok: 2023, tom: Published online, strony: 45673), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S1755020323000047 - link to the publication
  2. AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
    Authors:
    Ali Enayat, Mateusz Łełyk
    Academic press:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 45687), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2022.83 - link to the publication
  3. Full Satisfaction Classes, Definability, and Automorphisms
    Authors:
    Bartosz Wcisło
    Academic press:
    Notre Dame Journal of Formal Logic (rok: 2022, tom: 63(2), strony: 143-163), Wydawca: University of Notre Dame
    Status:
    Published
    DOI:
    10.1215/00294527-2022-0013 - link to the publication
  4. Set theory with a proper class of indiscernibles
    Authors:
    Ali Enayat
    Academic press:
    Fundamenta Mathematicae (rok: 2022, tom: 259, strony: 33-76), Wydawca: IM PAN
    Status:
    Published
    DOI:
    10.4064/fm999-2-2022 - link to the publication
  5. Axioms for type-free subjective probability
    Authors:
    Cezary Cieśliński, Leon Horsten, Hannes Leitgeb
    Academic press:
    The Review of Symbolic Logic (rok: 2023, tom: Published online, strony: 45673), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S1755020323000047 - link to the publication
  6. Definite totalities and determinate truth in conceptual structuralism
    Authors:
    Martin Fischer, Matteo Zicchetti
    Academic press:
    Synthese (rok: 2024, tom: 203, strony: 45679), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-023-04443-5 - link to the publication
  7. MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
    Authors:
    Mateusz łełyk
    Academic press:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 15342), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2022.39 - link to the publication
  8. Set theoretical analogues of the Barwise-Schlipf theorem
    Authors:
    Ali Enayat
    Academic press:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 45673), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2022.103158 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy