Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Teorie prawdy i ich siła

2017/27/B/HS1/01830

Słowa kluczowe:

prawda teoria modeli definiowalność

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: 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, Wydział Filozofii

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Cezary Cieśliński 

Liczba wykonawców projektu: 3

Konkurs: OPUS 14 - ogłoszony 2017-09-15

Przyznana kwota: 266 700 PLN

Rozpoczęcie projektu: 2018-06-01

Zakończenie projektu: 2021-09-26

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

Status projektu: Projekt rozliczony

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.

Zakupiona aparatura

  1. laptop i oprogramowanie. Za kwotę 7 893 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (5)
  • Publikacje książkowe (2)
  1. Interpreting the compositional truth predicate in models of arithmetic
    Autorzy:
    Cezary Cieśliński
    Czasopismo:
    Archive for Mathematical Logic (rok: 2021, tom: 60 (6), strony: 749-770), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00153-020-00758-z - link do publikacji
  2. Local collection and end-extensions of models of compositional truth
    Autorzy:
    Mateusz Łełyk, Bartosz Wcisło
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2021, tom: 172 (6), strony: 45313), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.apal.2020.102941 - link do publikacji
  3. Comparing Axiomatic Theories of Truth
    Autorzy:
    Mateusz Łełyk
    Czasopismo:
    Studia Semiotyczne (rok: 2019, tom: XXXIII, strony: 255–286), Wydawca: Polskie Towarzystwo Semiotyczne
    Status:
    Opublikowana
    Doi:
    10.26333/sts.xxxiii2.08 - link do publikacji
  4. Disjunctions with stopping conditions
    Autorzy:
    Roman Kossak, Bartosz Wcisło
    Czasopismo:
    Bulletin of Symbolic Logic (rok: 2021, tom: online (AAM), strony: 45314), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/bsl.2019.55 - link do publikacji
  5. Truth and Feasible Reducibility
    Autorzy:
    Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2020, tom: 85 (1), strony: 367-421), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2019.24 - link do publikacji
  1. On Some Problems with Truth and Satisfaction
    Autorzy:
    Cezary Cieśliński
    Książka:
    Philosophical Approaches to the Foundations of Logic and Mathematics. In Honor of Professor Stanisław Krajewski (rok: 2021, tom: 114, strony: 175-192), Wydawca: Brill (seria Poznań Studies in the Philosophy of the Sciences and the Humanities)
    Status:
    Opublikowana
  2. Satisfaction Classes via Cut Elimination
    Autorzy:
    Cezary Cieśliński
    Książka:
    Logic and Its Applications. ICLA 2019 (rok: 2019, tom: 11600, strony: 121-131), Wydawca: Springer (seria Lecture Notes in Computer Science)
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy