Switch to: References

Add citations

You must login to add citations.
  1. Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
    The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in the context (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Apofatyzm filozoficzny a Michała Hellera idea matematyczności przyrody.Wojciech P. Grygiel - 2022 - Roczniki Filozoficzne 70 (2):227-245.
    Wychodząc od usystematyzowania hellerowskiej tezy o matematyczności przyrody, niniejsze studium poświęcone głównie będzie pokazaniu i krytycznej ocenie racji, wedle których Heller desygnuje teorię kategorii jako matematyczne środowisko szczególnie predestynowane dla wyartykułowania tej tezy. Kluczowe w tym kontekście będzie wskazanie, co uprawnia go do wprowadzenia mającej istotne ontologiczne znaczenie koncepcji pola kategorii i utożsamienia go z polem racjonalności. Ostatecznie stanie się możliwe lepsze zrozumienie, w jakim sensie w kontekście sformalizowanych teorii fizycznych Heller operuje pojęciem apofatyzmu filozoficznego, który wydaje się trafnie ujmować (...)
    Download  
     
    Export citation  
     
    Bookmark