PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2008 | 14(27) | 73-100
Tytuł artykułu

A NOVEL TENDENCY IN PHILOSOPHICAL LOGIC

Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this paper we consider perspectives of application of coinductive and corecursive methods of non-well-founded mathematics to philosophical logic. So, it is shown that the problem of analysis can be solved by using greatest fixed points. Means of well-founded mathematics are enough only for an explication of the trivial analysis. We claim that the nontrivial analysis should be explicated by means of non-well-funded mathematics. Further, we build a non-well-founded propositional logic with syntax and semantics whose objects are defined by coinduction as streams. We also survey perspectives of relationship between non-well-founded logics and unconventional computing.
Rocznik
Numer
Strony
73-100
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Andrew Schumann, Department of Philosophy and Science Methodology, Belarusian State University, Minsk, Belarus
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
11PLAAAA101411
Identyfikator YADDA
bwmeta1.element.29da09e0-b34a-39f7-83f2-ecd4bc703559
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ć.