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 Kwartalnik Filozoficzny

Authors help

  1. 1 Wojciechowski E.

Years help

  1. 1 2019

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Frege’s predication scheme
help Sort By:

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

Rachunek nazw i pojęcie pary uporządkowanej

100%
Wojciechowski E.
Kwartalnik Filozoficzny
|
2019
|
vol. 47
|
issue 3-4
193-207
EN
There are various definitions of an ordered pair, from the one with fixing elements (Hausdorff) to the commonly functioning one given by Kuratowski. A definition (with fixing elements) of a tuple is proposed here, in which an ordered pair is a special case within the framework of elementary ontology (OE). Further, the logical status of this kind of definition is analysed. As a contrast, by enriching elementary ontology with Frege's predication scheme (OEsub), a definition of an ordered pair after the manner of Kuratowski is arrived at as well. A definition of the operation of Cartesian multiplication within the framework of this calculus is also given.
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.