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 Logic and Logical Philosophy

Authors help

  1. 1 Niebergall K.-G.

Years help

  1. 1 2016

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  axioms of finiteness
help Sort By:

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

Mereology and Infinity

100%
Niebergall K.-G.
Logic and Logical Philosophy
|
2016
|
vol. 25
|
issue 3 Mereology and Beyond (II)
309-350
EN
This paper deals with the treatment of infinity and finiteness in mereology. After an overview of some first-order mereological theories, finiteness axioms are introduced along with a mereological definition of “x is finite” in terms of which the axioms themselves are derivable in each of those theories. The finiteness axioms also provide the background for definitions of “(mereological theory) T makes an assumption of infinity”. In addition, extensions of mereological theories by the axioms are investigated for their own sake. In the final part, a definition of “x is finite” stated in a second-order language is also presented, followed by some concluding remarks on the motivation for the study of the (first-order) extensions of mereological theories dealt with in the paper.
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.