- Tytuł:
-
Uzupełniające uwagi do mego artykułu Dowód równoważności dwóch sformułowań klasycznej definicji prawdy
Supplementary Remarks to My Paper A Proof of the Equivalence of Two Formulations of the Classical Definition of Truth - Autorzy:
- Borkowski, Ludwik
- Powiązania:
- https://bibliotekanauki.pl/articles/2106908.pdf
- Data publikacji:
- 1990
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Opis:
- In the paper cited in the title of these remarks the state of affairs described by a proposition is defined as a suitable relation restricted to a sequence of objects. Against this conception the following objection is raised: Under this interpretation the states of affairs deseribed by two false propositions are identical, since each of them − as nonexisting − is equal to the empty set. In consequence the states of affairs described by the negations of these propositions, which are true propositions, are also identical. This objection is not directed against the theorems and proofs given in the above mentioned paper but only it is directed against the applying of the concepts introduced in the paper to suitable examples. The source of the divergenee between the treating of the conception of states of affairs in a natural language and the treating of this conception presented in the above mentioned paper is explained in the present paper. Such a modification of the definition of a state of affairs introduced in the above mentioned paper is now formulated that this objection does not refer to it. The determinant of a relation restricted to a sequence of objects is defined as such an ordered pair that this relation is its first element and the sequence of objects to which it is restricted is its second element. The state of affairs described by a proposition is defined as the determinant of a suitable relation restricted to a sequence of objects. We say that this determinant exists if and only if this relation is nonempty. After introducing suitable definitions, especially the definitions D10−D14, which define the operations of the extended product, extended sum, complement, generalization and particularization of the determinants of relations restricted to sequences of objects, all theorems about states of afairs presented in the above mentioned paper are proved. The states of affairs described by equivalent, and even logically equivalent propositions can be different.
- Źródło:
-
Roczniki Filozoficzne; 1990, 37-38, 1; 325-336
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł