View(s) :
3 (0 ULiège)
Download(s) :
0 (0 ULiège)
p. 59-67
The theorems established by the logicians show that the truth value of a proposition, constructed in a logical system S, cannot be enunciated in the system S itself, but in metasystem S', which refers to the proposions of the system S therefore it is not apt be confused with S'.
In the paper, according to Kant's transcendental methodology, where it is asserted that any rational knowledge is either a piece of knowledge from concepts, or a piece of knowledge from the construction of concepts, the transcendental role of the non-decidable Gödelian propositions is considered in the diachronic inclusion of the axiomatic theories and metatheories.
Ion I. Miriță, Corina Edelhauser and Gabriela Dumbrava, « The Transcendental Role of the Gödelian Non-decidable Propositions in the Diachronic Inclusion of Axiomatic Theories and Metatheories », CASYS, 11 | 2002, 59-67.
Ion I. Miriță, Corina Edelhauser and Gabriela Dumbrava, « The Transcendental Role of the Gödelian Non-decidable Propositions in the Diachronic Inclusion of Axiomatic Theories and Metatheories », CASYS [Online], 11 | 2002, Online since 09 July 2024, connection on 27 December 2024. URL : http://popups.uliege.be/3041-539x/index.php?id=1233
University of Petrosani, Str. Universitatii nr.20 Petrosani, Romania
University of Petrosani, Str. Universitatii nr.20 Petrosani, Romania
University of Petrosani, Str. Universitatii nr.20 Petrosani, Romania