Projekty finansowane przez NCN
Formalne teorie prawdy
2014/13/B/HS1/02892
Słowa kluczowe:
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 i Socjologii
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 6
Konkurs: OPUS 7 - ogłoszony 2014-03-17
Przyznana kwota: 499 680 PLN
Rozpoczęcie projektu: 2015-03-01
Zakończenie projektu: 2018-09-09
Planowany czas trwania projektu: 42 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (11)
- Publikacje książkowe (1)
- Models of Positive TruthAutorzy:Mateusz Łełyk, Bartosz WcisłoCzasopismo:Review of Symbolic Logic (rok: 2019, ), Wydawca: Cambridge University PressStatus:Przyjęta do publikacjiDoi:brak - link do publikacji
- Modal Quantifiers, Potential Infinity, and Yablo sequencesAutorzy:Michał Tomasz Godziszewski, Rafal UrbaniakCzasopismo:Journal of Philosophical Logic , Wydawca: SpringerStatus:ZłożonaDoi:brak - link do publikacji
- A Note on Models of Locally Disquotational Theory of Truth - Part IAutorzy:Michał Tomasz GodziszewskiCzasopismo:Review of Symbolic Logic , Wydawca: Cambridge University PressStatus:ZłożonaDoi:brak - link do publikacji
- Yablo sequences in partial semantics and potentially infinite domainsAutorzy:Michał Tomasz GodziszewskiCzasopismo:Studia Logica , Wydawca: SpringerStatus:ZłożonaDoi:brak - link do publikacji
- Notes on bounded induction for the compositional truth predicateAutorzy:Bartosz Wcisło, Mateusz ŁełykCzasopismo:Review of Symbolic Logic (rok: 2017, tom: 10, strony: 455-480), Wydawca: Cambridge University PressStatus:OpublikowanaDoi:10.1017/S1755020316000368 - link do publikacji
- Silne i słabe własności pojęcia prawdyAutorzy:Mateusz Łełyk, Bartosz WcisłoCzasopismo:Studia Semiotyczne (rok: 2016, tom: XXX, strony: 185–206), Wydawca: Polskie Towarzystwo SemiotyczneStatus:OpublikowanaDoi:brak - link do publikacji
- Strong and Weak Truth PrinciplesAutorzy:Bartosz Wcisło, Mateusz ŁełykCzasopismo:Studia Semiotyczne - English Supplement (rok: 2017, tom: XXIX, strony: 107-126), Wydawca: Polskie Towarzystwo SemiotyczneStatus:OpublikowanaDoi:brak - link do publikacji
- Towards a non-Fregean axiomatic theory of truthAutorzy:Joanna Golińska-Pilarek, Taneli HuuskonenCzasopismo:Review of Symbolic Logic , Wydawca: Cambridge University PressStatus:ZłożonaDoi:brak - link do publikacji
- Minimalism and the generalisation problem: on Horwich's second solutionAutorzy:Cezary CieślińskiCzasopismo:Synthese (rok: 2018, tom: 195, strony: 1077–1101), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11229-016-1227-5 - link do publikacji
- Models of PT- with internal induction for total formulaeAutorzy:Cezary Cieśliński, Mateusz Łełyk, Bartosz WcisłoCzasopismo:Review of Symbolic Logic (rok: 2017, tom: 10, strony: 187-202), Wydawca: Cambridge University PressStatus:OpublikowanaDoi:10.1017/S1755020316000356 - link do publikacji
- Problemy minimalizmuAutorzy:Cezary CieślińskiCzasopismo:Filozofia Nauki (rok: 2015, tom: XXIII, strony: 45430), Wydawca: SemperStatus:OpublikowanaDoi:brak - link do publikacji
- Infinite Liar in a (Modal) Finitistic SettingAutorzy:Michał Tomasz Godziszewski, Rafal UrbaniakKsiążka:Logic and Its Applications (rok: 2019, tom: 11600, strony: 18-29), Wydawca: SpringerStatus:Opublikowana