Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

2019/34/A/HS1/00399

Słowa kluczowe:

zobowiązania zasady refleksji teorie aksjomatyczne prawda

Deskryptory:

  • HS1_004: Logika, metodologia nauk, filozofia nauki
  • ST1_001: Logika i podstawy matematyki

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet Warszawski

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Cezary Cieśliński 

Liczba wykonawców projektu: 7

Konkurs: MAESTRO 11 - ogłoszony 2019-06-17

Przyznana kwota: 2 413 800 PLN

Rozpoczęcie projektu: 2020-09-01

Zakończenie projektu: 2025-08-31

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt zakończony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (20)
  1. Set theoretical analogues of the Barwise-Schlipf theorem
    Autorzy:
    Ali Enayat
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 46038), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2022.103158 - link do publikacji
  2. Soundness arguments for consistency and their epistemic value: A critical note
    Autorzy:
    Matteo Zicchetti
    Czasopismo:
    The Philosophical Quarterly (rok: 2024, tom: pqae059, strony: 46041), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/pq/pqae059 - link do publikacji
  3. Saturation properties for compositional truth with propositional correctness
    Autorzy:
    Bartosz Wcisło
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2024, tom: 176, strony: 46037), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2024.103512 - link do publikacji
  4. AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
    Autorzy:
    Ali Enayat, Mateusz Łełyk
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 46052), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.83 - link do publikacji
  5. Implicit Commitments in a General Setting
    Autorzy:
    Mateusz Łełyk, Carlo Nicolai
    Czasopismo:
    Journal of Logic and Computation (rok: 2023, tom: 34, strony: 1136–1158), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exad025 - link do publikacji
  6. A Theory of Implicit Commitment
    Autorzy:
    Mateusz Łełyk, Carlo Nicolai
    Czasopismo:
    Synthese (rok: 2022, tom: 200, strony: 46050), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-022-03601-5 - link do publikacji
  7. Compositional truth with propositional tautologies and quantifier-free correctness
    Autorzy:
    Bartosz Wcisło
    Czasopismo:
    Archive for Mathematical Logic (rok: 2023, tom: 63, strony: 239–257), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00153-023-00893-3 - link do publikacji
  8. The two halves of disjunctive correctness
    Autorzy:
    Cezary Cieśliński, Mateusz Łełyk, Bartosz Wcisło
    Czasopismo:
    Journal of Mathematical Logic (rok: 2023, tom: 23, strony: 46050), Wydawca: World Scientific
    Status:
    Opublikowana
    Doi:
    10.1142/S021906132250026X - link do publikacji
  9. MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
    Autorzy:
    Mateusz łełyk
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2022, tom: Firstview, strony: 15342), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2022.39 - link do publikacji
  10. Definite totalities and determinate truth in conceptual structuralism
    Autorzy:
    Martin Fischer, Matteo Zicchetti
    Czasopismo:
    Synthese (rok: 2024, tom: 203, strony: 46044), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-023-04443-5 - link do publikacji
  11. Set theory with a proper class of indiscernibles
    Autorzy:
    Ali Enayat
    Czasopismo:
    Fundamenta Mathematicae (rok: 2022, tom: 259, strony: 33-76), Wydawca: IM PAN
    Status:
    Opublikowana
    Doi:
    10.4064/fm999-2-2022 - link do publikacji
  12. Full Satisfaction Classes, Definability, and Automorphisms
    Autorzy:
    Bartosz Wcisło
    Czasopismo:
    Notre Dame Journal of Formal Logic (rok: 2022, tom: 63(2), strony: 143-163), Wydawca: University of Notre Dame
    Status:
    Opublikowana
    Doi:
    10.1215/00294527-2022-0013 - link do publikacji
  13. On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom
    Autorzy:
    Ali Enayat, Vladimir Kanovei i Vassily Lyubetsky
    Czasopismo:
    mathematics (rok: 2021, tom: 9, strony: 46041), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/math9141670 - link do publikacji
  14. Saving logic from paradox via nonclassical recapture
    Autorzy:
    Luca Castaldo
    Czasopismo:
    Philosophical Studies (rok: 2024, tom: 181, strony: 1547–1563), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11098-024-02151-5 - link do publikacji
  15. Reflecting on believability: on the epistemic approach to justifying implicit commitments
    Autorzy:
    Maciej Głowacki, Mateusz Łełyk
    Czasopismo:
    Philosophical Studies (rok: 2024, tom: 181, strony: 3135–3163), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11098-024-02215-6 - link do publikacji
  16. Satisfaction classes with approximate disjunctive correctness
    Autorzy:
    Ali Enayat
    Czasopismo:
    The Review of Symbolic Logic (rok: 2024, tom: Published online, strony: 46039), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020324000182 - link do publikacji
  17. Implicit commitments of instrumental acceptance: A case study
    Autorzy:
    Luca Castaldo, Maciej Głowacki
    Czasopismo:
    The Philosophical Quarterly (rok: 2024, tom: Online first, strony: 46051), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/pq/pqae108 - link do publikacji
  18. Axioms for type-free subjective probability
    Autorzy:
    Cezary Cieśliński, Leon Horsten, Hannes Leitgeb
    Czasopismo:
    The Review of Symbolic Logic (rok: 2023, tom: Published online, strony: 46038), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020323000047 - link do publikacji
  19. Indiscernibles and satisfaction classes in arithmetic
    Autorzy:
    Ali Enayat
    Czasopismo:
    Archive for Mathematical Logic (rok: 2024, tom: 63, strony: 655–677), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00153-024-00915-8 - link do publikacji
  20. Categoricity-like Properties in the First Order Realm
    Autorzy:
    Ali Enayat, Mateusz Łełyk
    Czasopismo:
    Journal for the Philosophy of Mathematics (rok: 2024, tom: 1, strony: 63-98), Wydawca: Firenze University Press
    Status:
    Opublikowana
    Doi:
    10.36253/jpm-2934 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy