Artykuł przedstawia meinogowski system logiki fikcji J. Paśniczka. Na początku zostają omówione syntaktyczne i semantyczne warunki, które powinna spełniać logika fikcji. System Paśniczka jest modyfikacją logiki klasycznej i w swojej podstawowej wersji jest rachunkiem pierwszego rzędu, co pozwala dowieść jej pełności. Logika ta pozwala ująć charakterystyczne cechy przedmiotów fikcyjnych – niezupełność ontologiczną i dwupoziomowość uposażenia. Dzięki rozróżnieniu negacji predykatowej i zdaniowej pozwala na mówienie o przedmiotach sprzecznych. W jej ramach można też ująć zjawisko fikcji w fikcji. Pozwala również na uniknięcie paradoksu Clarka. Jest to jeden z najlepszych i najbardziej adekwatnych systemów logiki fikcji, jakie zbudowano.
EN
This paper presents Jacek Paśniczek’s Meinongian logic of fiction. First, it discusses the syntactical and semantical requirements for the logic of fiction. This system is a modification of classical logic and in its basic version is a first order calculus with a proof of completeness. It allows the apprehension of features characteristic of fictional objects – ontological incompleteness and a double structure of predication. Since there is a distinction between predicational and propositional negation in the system, it can also apprehend inconsistent objects. Not only does it make it possible to discuss the phenomenon of fiction within fiction, but also to avoid Clark’s paradox. Paśniczek’s system is one of the best and most adequate logics of fiction.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.