Logika językowego doświadczenia
2011/03/B/HS1/04580
Słowa kluczowe
Deskryptory
- HS1_4: Logika, metodologia nauk, filozofia nauki
- 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
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 6
Konkurs
OPUS 2 – ogłoszony 2011-09-15
- Przyznana kwota
- 94 800 PLN
- Rozpoczęcie projektu
- 2013-06-21
- Zakończenie projektu
- 2014-12-20
- Planowany czas trwania projektu
- 18 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (5)
-
Polish notation
- Autorzy:
- Taneli Huuskonen
- Czasopismo:
- Formalized Mathematics. Mizar Mathematical Library (rok: 2015, tom: 23, strony: 161-176), Wydawca: University of Bialystok
- Status:
- Opublikowana
- DOI:
- 10.1515/forma-2015-0014 – link do publikacji
-
Non-Fregean logics of analytic equivalence (I)
- Autorzy:
- Andrzej Biłat
- Czasopismo:
- Bulletin of the Section of Logic (rok: 2015, tom: 44, strony: 53-68), Wydawca: Lodz University Press
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
On the minimal non-Fregean Grzegorczyk logic
- Autorzy:
- Joanna Golińska-Pilarek
- Czasopismo:
- Studia Logica (rok: 2015, tom: Online First, strony: 46048), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- 10.1007/s11225-015-9635-y – link do publikacji
-
Non-Fregean logics of analytic equivalence (II)
- Autorzy:
- Andrzej Biłat
- Czasopismo:
- Bulletin of the Section of Logic (rok: 2015, tom: 44, strony: 69-79), Wydawca: Lodz University Press
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Grzegorczyk's logics. Part 1
- Autorzy:
- Taneli Huuskonen
- Czasopismo:
- Formalized Mathematics. Mizar Mathematical Library (rok: 2015, tom: 23, strony: 177-187), Wydawca: University of Bialystok
- Status:
- Opublikowana
- DOI:
- 10.1515/forma-2015-0015 – link do publikacji
Teksty w publikacjach pokonferencyjnych (1)
-
Grzegorczyk's non-Fregean logics
- Autorzy:
- Joanna Golińska-Pilarek, Taneli Huuskonen
- Konferencja:
- Trends in Logic XIV. Entia et NominA Workshop: The Road Less Travelled, Off-stream applications of formal methods (rok: 2014, strony: 46039), Wydawca: Ghent University
- Data:
- konferencja 8-11 lipiec 2014
- Status:
- Opublikowana
Publikacje książkowe (1)
-
Grzegorczyk's non-Fregean logics and their formal properties
- Autorzy:
- Joanna Golińska-Pilarek, Taneli Huuskonen
- Książka:
- Applications of Formal Philosophy (rok: 2015), Wydawca: Springer
- Status:
- Przyjęta do publikacji