Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

2018/28/C/HS1/00251

Keywords:

Philosophy of logic philosophy of mathematics paradoxes

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science

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

woj. pomorskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Paweł Pawłowski 

Number of co-investigators in the project: 1

Call: SONATINA 2 - announced on 2017-12-15

Amount awarded: 381 992 PLN

Project start date (Y-m-d): 2018-11-05

Project end date (Y-m-d): 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 (5)
  1. Logic of informal provability with truth-values
    Authors:
    Paweł Pawłowski, Rafał Urbaniak
    Academic press:
    Logic Journal of the IGPL (rok: 2022, tom: online first, strony: -), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1093/jigpal/jzab035 - link to the publication
  2. Non-deterministic theory of informal provability
    Authors:
    Paweł Pawłowski, Rafał Urbaniak
    Academic press:
    Journal of Logic and Computation , Wydawca: Oxford University Press
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. 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 (rok: 2022, tom: online first, strony: online first), Wydawca: NICOLAUS COPERNICUS UNIV TORUN
    Status:
    Published
    DOI:
    10.12775/LLP.2021.016 - link to the publication
  4. Tree-like proof systems for finitely-many valued deterministic and non-deterministic consequence relations
    Authors:
    Paweł Pawłowski
    Academic press:
    Logica Universalis (rok: 2020, tom: 14, strony: 407–420), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11787-020-00263-0 - link to the publication
  5. Informal provability and dialetheism
    Authors:
    Paweł Pawłowski, Rafał Urbaniak
    Academic press:
    Theoria , Wydawca: Wiley-Blackwell
    Status:
    Accepted for publication
    DOI:
    10.1111/theo.12456 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy