Projekty finansowane przez NCN
Formalne teorie prawdy i niestandardowe modele arytmetyki
2014/13/N/HS1/02058
Słowa kluczowe:
aksjomatyczne teorie prawdy semantyczne teorie prawdy arytmetyka Peano słabe arytmetyki arytmetyka drugiego rzędu modele niestandardowe rekurencyjne nasycenie arytmetyczne nasycenie klasy spełniania aksjomaty indukcji
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- ST1_1: Logika i podstawy matematyki
- HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
woj. mazowieckie
Konkurs: PRELUDIUM 7 - ogłoszony 2014-03-17
Przyznana kwota: 82 800 PLN
Rozpoczęcie projektu: 2015-03-05
Zakończenie projektu: 2017-09-04
Planowany czas trwania projektu: 30 miesięcy (z wniosku)
Status projektu: Projekt rozliczony