padding:0cm 5.4pt 0cm 5.4pt'>
ˆ
ˆ
ˆ
ˆ
‹
‹
‹
‹
‹
‹
‹
‹
ˆ
‹
ˆ
ˆ
ˆ
ˆ
‹
‹
‹
‹
ˆ
ˆ
ˆ
ˆ
‹
‹
‹
‹
‹
ˆ
ˆ
ˆ
‹
‹
ˆ
ˆ
‹
‹
ˆ
ˆ
‹
‹
ˆ
ˆ
‹
‹
‹
ˆ
ˆ
‹
ˆ
‹
ˆ
‹
‹
‹
ˆ
‹
ˆ
ˆ
ˆ
‹
ˆ
‹
”îðìàëèçàöèß
ßçûêà ëîãèêè ïðåäèêàòîâ â ßçûêå ëîãèêè îòíîøåíèé åñòü òàêîãî ðîäà ïåðåâîä,
êîòîðûé ñëåäóåò äåäóêòèâíîé, íåòðèâèàëüíî ïðîòèâîðå÷èâîé òåîðèè, òî åñòü òàêîé,
÷òî åñëè â íåé åñòü ôîðìóëà òàêàß, ÷òî êàê îíà, òàê è åå îòðèöàíèå ßâëßþòñß
òåîðåìàìè â ýòîé òåîðèè è, êîãäà åñòü, ïî êðàéíåé ìåðå, îäíà ôîðìóëà, íå
ßâëßþùàßñß òåîðåìîé â ýòîé òåîðèè. (Šàê èçâåñòíî, åñëè ëîãèêà, ëåæàùàß â
îñíîâàíèè ýòîé òåîðèè, ßâëßåòñß êëàññè÷åñêîé (èëè îäíîé èç ñàìûõ îáû÷íûõ
ëîãèê), òî òåîðèß ßâëßåòñß òðèâèàëüíîé, åñëè è òîëüêî åñëè îíà ßâëßåòñß
ïðîòèâîðå÷èâîé. ’îãäà äëß èçó÷åíèß íåòðèâèàëüíûõ ïðîòèâîðå÷èâûõ ëîãèê
íåîáõîäèìî ïîñòðîèòü íîâûå ñèñòåìû ëîãèè €ððóäà, íàçâàíèå ïàðàíåïðîòèâîðå÷èâîñòè).
€ëôàâèò ßçûêà ïàðàíåïðîòèâîðå÷èâûõ ëîãèê, òàêèì îáðàçîì, ñîäåðæèò â ñåáå
(ßâëßßñü ôîðìàëèçàöèåé çíà÷åíèß ßçûêà ëîãèêè ïðåäèêàòîâ):
1) S1, S2, S3 - ñóáúåêòû; 2) P1, P2, P3
-- ïðåäèêàòû; 3) â êà÷åñòâå ëîãè÷åñêèõ ñâßçîê -- êâàíòîðû; åãî ïåðåìåííûå
ïðîáåãàþò ïî ïðåäèêàòíûì ñèìâîëàì è ïðîïîçèöèîíàëüíûìè ôóíêöèßì ßçûêà ëîãèêè
ïðåäèêàòîâ, îñíîâàííûì îòîæäåñòâëåíèß ëîãè÷åñêèõ ñâßçîê ßçûêà ëîãèêè ïðåäèêàòîâ
è åãî æå êâàíòîðîâ ßâëßåòñß ïîíßòèå ñõîäèìîñòè ßçûêà ëîãèêè ïðåäèêàòîâ,
äîôèíèòíîãî ñìûñëà, òðåáóþùåãî îáðàçîâàíèß ïîíßòèé îá ýôôåêòàõ íåïîëíîòû è
íåïîïîëíèìîñòè.
’àáëèöû
èñòèííîñòè ßçûêà ïàðàíåïðîòèâîðå÷èâûõ ëîãèê, ñìûñëà ïåðåõîäà îò ßçûêà ëîãèêè
ïðåäèêàòîâ ê ßçûêó ëîãèêè îòíîøåíèé, âûãëßäßò ñëåäóþùèì îáðàçîì (òàáëèöàìè
èñòèííîñòè ìû ïîêàçûâàåì èõ ïîòîìó, ÷òî â íèõ ýòà èñòèííîñòü ðåàëèçîâûâàåòñß
ôîðìàëüíûìè ñðåäñòâàìè):
‡íà÷åíèß,
êîòîðûå ïðèíèìàþò â íèõ ïîñòîßííûå, åñòü çíà÷åíèß ïåðåìåííûå: "íåîïðåäåëåííî",
"îïðåäåëåííî":
|
|
_ |
|
|
|
|
|
|
|
____ |
___ |
_ |
___ |
|
___ |
___ |
|