Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Formalne teorie prawdy

2014/13/B/HS1/02892

Słowa kluczowe:

prawda spełnianie paradoks

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Cezary Cieśliński 

Liczba wykonawców projektu: 6

Konkurs: OPUS 7 - ogłoszony 2014-03-17

Przyznana kwota: 499 680 PLN

Rozpoczęcie projektu: 2015-03-10

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)
  1. Minimalism and the generalisation problem: on Horwich's second solution
    Autorzy:
    Cezary Cieśliński
    Czasopismo:
    Synthese (rok: 2018, tom: 195, strony: 1077–1101), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-016-1227-5 - link do publikacji
  2. Notes on bounded induction for the compositional truth predicate
    Autorzy:
    Bartosz Wcisło, Mateusz Łełyk
    Czasopismo:
    Review of Symbolic Logic (rok: 2017, tom: 10, strony: 455-480), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020316000368 - link do publikacji
  3. Problemy minimalizmu
    Autorzy:
    Cezary Cieśliński
    Czasopismo:
    Filozofia Nauki (rok: 2015, tom: XXIII, strony: 45430), Wydawca: Semper
    Status:
    Opublikowana
  4. Silne i słabe własności pojęcia prawdy
    Autorzy:
    Mateusz Łełyk, Bartosz Wcisło
    Czasopismo:
    Studia Semiotyczne (rok: 2016, tom: XXX, strony: 185–206), Wydawca: Polskie Towarzystwo Semiotyczne
    Status:
    Opublikowana
  5. Models of Positive Truth
    Autorzy:
    Mateusz Łełyk, Bartosz Wcisło
    Czasopismo:
    Review of Symbolic Logic (rok: 2019, ), Wydawca: Cambridge University Press
    Status:
    Przyjęta do publikacji
  6. Modal Quantifiers, Potential Infinity, and Yablo sequences
    Autorzy:
    Michał Tomasz Godziszewski, Rafal Urbaniak
    Czasopismo:
    Journal of Philosophical Logic , Wydawca: Springer
    Status:
    Złożona
  7. Models of PT- with internal induction for total formulae
    Autorzy:
    Cezary Cieśliński, Mateusz Łełyk, Bartosz Wcisło
    Czasopismo:
    Review of Symbolic Logic (rok: 2017, tom: 10, strony: 187-202), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020316000356 - link do publikacji
  8. Strong and Weak Truth Principles
    Autorzy:
    Bartosz Wcisło, Mateusz Łełyk
    Czasopismo:
    Studia Semiotyczne - English Supplement (rok: 2017, tom: XXIX, strony: 107-126), Wydawca: Polskie Towarzystwo Semiotyczne
    Status:
    Opublikowana
  9. Towards a non-Fregean axiomatic theory of truth
    Autorzy:
    Joanna Golińska-Pilarek, Taneli Huuskonen
    Czasopismo:
    Review of Symbolic Logic , Wydawca: Cambridge University Press
    Status:
    Złożona
  10. A Note on Models of Locally Disquotational Theory of Truth - Part I
    Autorzy:
    Michał Tomasz Godziszewski
    Czasopismo:
    Review of Symbolic Logic , Wydawca: Cambridge University Press
    Status:
    Złożona
  11. Yablo sequences in partial semantics and potentially infinite domains
    Autorzy:
    Michał Tomasz Godziszewski
    Czasopismo:
    Studia Logica , Wydawca: Springer
    Status:
    Złożona
  1. Infinite Liar in a (Modal) Finitistic Setting
    Autorzy:
    Michał Tomasz Godziszewski, Rafal Urbaniak
    Książka:
    Logic and Its Applications (rok: 2019, tom: 11600, strony: 18-29), Wydawca: Springer
    Status:
    Opublikowana