Projekty finansowane przez NCN
Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministyczną i semantykę uprawdziwiaczy
2018/28/C/HS1/00251
Słowa kluczowe:
Filozofia logiki filozofia matematyki paradoksy
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Gdański, Wydział Nauk Społecznych
woj. pomorskie
Konkurs: SONATINA 2 - ogłoszony 2017-12-15
Przyznana kwota: 381 992 PLN
Rozpoczęcie projektu: 2018-11-05
Zakończenie projektu: 2020-11-04
Planowany czas trwania projektu: 24 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (5)
- Logic of informal provability with truth-valuesAutorzy:Paweł Pawłowski, Rafał UrbaniakCzasopismo:Logic Journal of the IGPL (rok: 2022, tom: online first, strony: -), Wydawca: SpringerStatus:OpublikowanaDoi:10.1093/jigpal/jzab035 - link do publikacji
- Non-deterministic theory of informal provabilityAutorzy:Paweł Pawłowski, Rafał UrbaniakCzasopismo:Journal of Logic and Computation , Wydawca: Oxford University PressStatus:ZłożonaDoi:brak - link do publikacji
- Informal provability, first-order BAT logic and first steps towards a formal theory of informal provabilityAutorzy:Paweł Pawłowski, Rafał UrbaniakCzasopismo:Logic and Logical Philosophy (rok: 2022, tom: online first, strony: online first), Wydawca: NICOLAUS COPERNICUS UNIV TORUNStatus:OpublikowanaDoi:10.12775/LLP.2021.016 - link do publikacji
- Tree-like proof systems for finitely-many valued deterministic and non-deterministic consequence relationsAutorzy:Paweł PawłowskiCzasopismo:Logica Universalis (rok: 2020, tom: 14, strony: 407–420), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11787-020-00263-0 - link do publikacji
- Informal provability and dialetheismAutorzy:Paweł Pawłowski, Rafał UrbaniakCzasopismo:Theoria , Wydawca: Wiley-BlackwellStatus:Przyjęta do publikacjiDoi:10.1111/theo.12456 - link do publikacji