Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics
2018/28/C/HS1/00251
Keywords
Descriptors
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Gdański, Wydział Nauk Społecznych
Voivodeship: pomorskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 1
Call
SONATINA 2 – announced on 2017-12-15
- Amount awarded
- 381 992 PLN
- Project start date
- 2018-11-05
- Project end date
- 2020-11-04
- Project duration
- 24 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.
Information in the final report
Publication in academic press/journals (4)
-
Logic of informal provability with truth-values
- Authors:
- Paweł Pawłowski, Rafał Urbaniak
- Academic press:
- Logic Journal of the IGPL (year: 2022, volume: online first, pages: -), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1093/jigpal/jzab035 – link to the publication
-
Tree-like proof systems for finitely-many valued deterministic and non-deterministic consequence relations
- Authors:
- Paweł Pawłowski
- Academic press:
- Logica Universalis (year: 2020, volume: 14, pages: 407–420), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s11787-020-00263-0 – link to the publication
-
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
- Authors:
- Paweł Pawłowski, Rafał Urbaniak
- Academic press:
- Logic and Logical Philosophy (year: 2022, volume: online first, pages: online first), Publisher: NICOLAUS COPERNICUS UNIV TORUN
- Status:
- Published
- DOI:
- 10.12775/LLP.2021.016 – link to the publication
-
Informal provability and dialetheism
- Authors:
- Paweł Pawłowski, Rafał Urbaniak
- Status:
- Accepted for publication