Reinforced Logics
The device of representing a predicate by a universal sentence gives rise to logics of higher order. To represent an object constructed by a series of certain steps, we usually use terms. To represent a predicate constructed by a series of certain steps, we now use sentences in general. We can now substitute special predicates represented by sentences for predicate variables of a sentence just as we have been able to substitute special objects represented by terms for object variables. It is remarkable that we can always distinguish predicates from objects, proceeding in this way.
Keyword(s):
1992 ◽
Vol 50
(2)
◽
pp. 1622-1623
1993 ◽
Vol 51
◽
pp. 450-451
Keyword(s):
Keyword(s):
2008 ◽
Vol 29
(4)
◽
pp. 205-216
◽
Keyword(s):
2010 ◽
Vol 26
(3)
◽
pp. 162-171
◽
2020 ◽
Vol 228
(4)
◽
pp. 244-253
◽