PL EN


2008 | 14(27) | 73-100
Article title

A NOVEL TENDENCY IN PHILOSOPHICAL LOGIC

Authors
Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
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.
Year
Issue
Pages
73-100
Physical description
Document type
ARTICLE
Contributors
  • Andrew Schumann, Department of Philosophy and Science Methodology, Belarusian State University, Minsk, Belarus
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA101411
YADDA identifier
bwmeta1.element.29da09e0-b34a-39f7-83f2-ecd4bc703559
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.