Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Truth theories and their strength

2017/27/B/HS1/01830

Keywords:

truth model theory definability

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

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

Call: OPUS 14 - announced on 2017-09-15

Amount awarded: 266 700 PLN

Project start date (Y-m-d): 2018-06-27

Project end date (Y-m-d): 2021-09-26

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

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. laptop i oprogramowanie (7 893 PLN)

Information in the final report

  • Publication in academic press/journals (5)
  • Book publications / chapters in book publications (2)
  1. Interpreting the compositional truth predicate in models of arithmetic
    Authors:
    Cezary Cieśliński
    Academic press:
    Archive for Mathematical Logic (rok: 2021, tom: 60 (6), strony: 749-770), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00153-020-00758-z - link to the publication
  2. Local collection and end-extensions of models of compositional truth
    Authors:
    Mateusz Łełyk, Bartosz Wcisło
    Academic press:
    Annals of Pure and Applied Logic (rok: 2021, tom: 172 (6), strony: 45313), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2020.102941 - link to the publication
  3. Comparing Axiomatic Theories of Truth
    Authors:
    Mateusz Łełyk
    Academic press:
    Studia Semiotyczne (rok: 2019, tom: XXXIII, strony: 255–286), Wydawca: Polskie Towarzystwo Semiotyczne
    Status:
    Published
    DOI:
    10.26333/sts.xxxiii2.08 - link to the publication
  4. Disjunctions with stopping conditions
    Authors:
    Roman Kossak, Bartosz Wcisło
    Academic press:
    Bulletin of Symbolic Logic (rok: 2021, tom: online (AAM), strony: 45314), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/bsl.2019.55 - link to the publication
  5. Truth and Feasible Reducibility
    Authors:
    Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
    Academic press:
    The Journal of Symbolic Logic (rok: 2020, tom: 85 (1), strony: 367-421), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2019.24 - link to the publication
  1. On Some Problems with Truth and Satisfaction
    Authors:
    Cezary Cieśliński
    Book:
    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:
    Published
  2. Satisfaction Classes via Cut Elimination
    Authors:
    Cezary Cieśliński
    Book:
    Logic and Its Applications. ICLA 2019 (rok: 2019, tom: 11600, strony: 121-131), Wydawca: Springer (seria Lecture Notes in Computer Science)
    Status:
    Published