Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Formal truth theories

2014/13/B/HS1/02892

Keywords:

truth satisfaction paradox

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • ST1_1: Logic and foundations

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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: 6

Call: OPUS 7 - announced on 2014-03-17

Amount awarded: 499 680 PLN

Project start date (Y-m-d): 2015-03-10

Project end date (Y-m-d): 2018-09-09

Project duration:: 42 months (the same as in the proposal)

Project status: Project settled

Information in the final report

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