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 (20)
  1. The two halves of disjunctive correctness
    Authors:
    Cezary Cieśliński, Mateusz Łełyk, Bartosz Wcisło
    Academic press:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 46050), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S021906132250026X - link to the publication
  2. 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
  3. Definite totalities and determinate truth in conceptual structuralism
    Authors:
    Martin Fischer, Matteo Zicchetti
    Academic press:
    Synthese (rok: 2024, tom: 203, strony: 46044), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-023-04443-5 - link to the publication
  4. Satisfaction classes with approximate disjunctive correctness
    Authors:
    Ali Enayat
    Academic press:
    The Review of Symbolic Logic (rok: 2024, tom: Published online, strony: 46039), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S1755020324000182 - link to the publication
  5. Soundness arguments for consistency and their epistemic value: A critical note
    Authors:
    Matteo Zicchetti
    Academic press:
    The Philosophical Quarterly (rok: 2024, tom: pqae059, strony: 46041), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/pq/pqae059 - link to the publication
  6. 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: 46038), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S1755020323000047 - link to the publication
  7. 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: 46052), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2022.83 - link to the publication
  8. Implicit Commitments in a General Setting
    Authors:
    Mateusz Łełyk, Carlo Nicolai
    Academic press:
    Journal of Logic and Computation (rok: 2023, tom: 34, strony: 1136–1158), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/logcom/exad025 - link to the publication
  9. Set theoretical analogues of the Barwise-Schlipf theorem
    Authors:
    Ali Enayat
    Academic press:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 46038), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2022.103158 - link to the publication
  10. Indiscernibles and satisfaction classes in arithmetic
    Authors:
    Ali Enayat
    Academic press:
    Archive for Mathematical Logic (rok: 2024, tom: 63, strony: 655–677), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00153-024-00915-8 - link to the publication
  11. 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
  12. Categoricity-like Properties in the First Order Realm
    Authors:
    Ali Enayat, Mateusz Łełyk
    Academic press:
    Journal for the Philosophy of Mathematics (rok: 2024, tom: 1, strony: 63-98), Wydawca: Firenze University Press
    Status:
    Published
    DOI:
    10.36253/jpm-2934 - link to the publication
  13. A Theory of Implicit Commitment
    Authors:
    Mateusz Łełyk, Carlo Nicolai
    Academic press:
    Synthese (rok: 2022, tom: 200, strony: 46050), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-022-03601-5 - link to the publication
  14. On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom
    Authors:
    Ali Enayat, Vladimir Kanovei i Vassily Lyubetsky
    Academic press:
    mathematics (rok: 2021, tom: 9, strony: 46041), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/math9141670 - link to the publication
  15. 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
  16. Saturation properties for compositional truth with propositional correctness
    Authors:
    Bartosz Wcisło
    Academic press:
    Annals of Pure and Applied Logic (rok: 2024, tom: 176, strony: 46037), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2024.103512 - link to the publication
  17. Implicit commitments of instrumental acceptance: A case study
    Authors:
    Luca Castaldo, Maciej Głowacki
    Academic press:
    The Philosophical Quarterly (rok: 2024, tom: Online first, strony: 46051), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/pq/pqae108 - link to the publication
  18. Compositional truth with propositional tautologies and quantifier-free correctness
    Authors:
    Bartosz Wcisło
    Academic press:
    Archive for Mathematical Logic (rok: 2023, tom: 63, strony: 239–257), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00153-023-00893-3 - link to the publication
  19. Saving logic from paradox via nonclassical recapture
    Authors:
    Luca Castaldo
    Academic press:
    Philosophical Studies (rok: 2024, tom: 181, strony: 1547–1563), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11098-024-02151-5 - link to the publication
  20. Reflecting on believability: on the epistemic approach to justifying implicit commitments
    Authors:
    Maciej Głowacki, Mateusz Łełyk
    Academic press:
    Philosophical Studies (rok: 2024, tom: 181, strony: 3135–3163), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11098-024-02215-6 - 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