Projekty finansowane przez NCN
Metateoria systemów tablicowych
2015/19/B/HS1/02478
Słowa kluczowe:
formalizacja gałąź inferencja metateoria metatwierdzenie pełność system tablica uogólnienie wynikanie zgodność
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
- HS1_2: Ontologia i metafizyka, ontologie szczegółowe
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
woj. kujawsko-pomorskie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 2
Konkurs: OPUS 10 - ogłoszony 2015-09-15
Przyznana kwota: 79 200 PLN
Rozpoczęcie projektu: 2016-07-01
Zakończenie projektu: 2019-07-03
Planowany czas trwania projektu: 36 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.