Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Logiki sytuacji

2017/25/B/HS1/00503

Słowa kluczowe:

logiki niefregowskie teoria sytuacji wnioskowania w logikach nieklasycznych

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: Logika i podstawy matematyki

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Joanna Golińska-Pilarek 

Liczba wykonawców projektu: 5

Konkurs: OPUS 13 - ogłoszony 2017-03-15

Przyznana kwota: 582 400 PLN

Rozpoczęcie projektu: 2018-01-01

Zakończenie projektu: 2024-01-24

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt zakończony

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 (4)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (2)
  1. Paraconsistency in Non-Fregean Framework
    Autorzy:
    Joanna Golińska-Pilarek
    Czasopismo:
    Studia Logica (rok: 2024, tom: Published Online: 03 May 2024, strony: 14246), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-024-10114-4 - link do publikacji
  2. Deciding Non-Fregean Identities: A Dual Tableau Approach
    Autorzy:
    Joanna Golińska-Pilarek, Taneli Huuskonen, Michał Zawidzki
    Czasopismo:
    Notre Dame Journal of Formal Logic (), Wydawca: University of Notre Dame
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  3. Non-Fregean World of Logics
    Autorzy:
    Joanna Golińska-Pilarek
    Czasopismo:
    Journal of Philosophical Logic (), Wydawca: Springer
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  4. Deduction in Non-Fregean Propositional Logic SCI
    Autorzy:
    Joanna Golińska-Pilarek, Magdalena Welle
    Czasopismo:
    Axioms (rok: 2019, tom: 8, strony: 45676), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/axioms8040115 - link do publikacji
  1. Modal logic with the identity connective
    Autorzy:
    Michał Zawidzki
    Konferencja:
    Advances in Modal Logic (rok: 2024, ), Wydawca: Birkbeck, University of London
    Data:
    konferencja 19-23 sierpnia 2024
    Status:
    Złożona
  2. Tableau-based Decision Procedure for the Logic SCI
    Autorzy:
    Joanna Golińska-Pilarek, Michał Zawidzki
    Konferencja:
    Overlay 2019 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (rok: 2019, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 19-20 listopada 2019
    Status:
    Opublikowana
  3. Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity
    Autorzy:
    Joanna Golińska-Pilarek, Taneli Huuskonen, Michał Zawidzki
    Konferencja:
    28th International Conference on Automated Deduction - CADE 28 (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 12-15 lipca 2021
    Status:
    Opublikowana
  1. Dedukcyjne dylematy: przypadek niefregowski
    Autorzy:
    Joanna Golińska-Pilarek
    Książka:
    Wędrówki po świecie symboli. Język, logika, matematyka (rok: 2021, tom: I, strony: 43-76), Wydawca: Wydawnictwo Rys
    Status:
    Opublikowana
  2. Panorama zdaniowych logik niefregowskich
    Autorzy:
    Joanna Golińska-Pilarek
    Książka:
    Język – struktura – ontologia. Pamięci Romana Suszki (rok: 2023, tom: Wydanie 1, strony: 19-87), Wydawca: Wydawnictwo Nauk Społecznych i Humanistycznych UAM
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy