Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Schumann A.

Years help

  1. 1 2008

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  COINDUCTIVE METHODS
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

A NOVEL TENDENCY IN PHILOSOPHICAL LOGIC

100%
Schumann A.
Studies in Logic, Grammar and Rhetoric
|
2008
|
issue 14(27)
73-100
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.