Projekty finansowane przez NCN
Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych
2018/29/B/HS1/01832
Słowa kluczowe:
teoria modeli podstawy matematyki i nauk empirycznych
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 Warszawski, Wydział Filozofii
woj. mazowieckie
Konkurs: OPUS 15 - ogłoszony 2018-03-15
Przyznana kwota: 441 200 PLN
Rozpoczęcie projektu: 2019-02-15
Zakończenie projektu: 2021-02-14
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.
Zakupiona aparatura
- Licencja Office 2019 for Mac. Za kwotę 304 PLN
- komputer przenośny. Za kwotę 5 800 PLN
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (4)
- Bases for Structures and Theories IAutorzy:Jeffrey KetlandCzasopismo:Logica Universalis (rok: 2020, tom: 14, strony: 357–381), Wydawca: Springer NatureStatus:OpublikowanaDoi:10.1007/s11787-020-00257-y - link do publikacji
- Computation and IndispensabilityAutorzy:Jeffrey KetlandCzasopismo:Logic and Logical Philosophy (rok: 2021, tom: 30, strony: 61–78), Wydawca: Wydawnictwo NaukoweStatus:OpublikowanaDoi:10.12775/LLP.2020.011 - link do publikacji
- Bases for Structures and Theories IIAutorzy:Jeffrey KetlandCzasopismo:Logica Universalis (rok: 2020, tom: 14, strony: 461–479), Wydawca: Springer NatureStatus:OpublikowanaDoi:10.1007/s11787-020-00261-2 - link do publikacji
- Foundations of applied mathematics IAutorzy:Jeffrey KetlandCzasopismo:Synthese (rok: 2021, tom: Online first, strony: 15707), Wydawca: Springer NatureStatus:OpublikowanaDoi:10.1007/s11229-020-02973-w - link do publikacji