Rachunek nazw i pojęcie pary uporządkowanej

• Authors: Wojciechowski Eugeniusz

Title variants

EN

The calculus of names and the notion of an ordered pair

• Languages of publication: PL

Abstracts

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.

Keywords

EN

ordered pair; tuple; fixing elemennts; Frege’s predication scheme; cartesian multiplication

• Publisher: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Journal: Kwartalnik Filozoficzny
• Year: 2019
• Volume: 47
• Issue: 3-4
• Pages: 193-207

Contributors

author

Wojciechowski Eugeniusz

• Uniwersytet Rolniczy, Wydział Leśny, ul. 29 Listopada 46, 31-425 Kraków, Poland