padding:0cm 5.4pt 0cm 5.4pt'>

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

ˆ

 

”îðìàëèçàöèß ßçûêà ëîãèêè ïðåäèêàòîâ â ßçûêå ëîãèêè îòíîøåíèé åñòü òàêîãî ðîäà ïåðåâîä, êîòîðûé ñëåäóåò äåäóêòèâíîé, íåòðèâèàëüíî ïðîòèâîðå÷èâîé òåîðèè, òî åñòü òàêîé, ÷òî åñëè â íåé åñòü ôîðìóëà òàêàß, ÷òî êàê îíà, òàê è åå îòðèöàíèå ßâëßþòñß òåîðåìàìè â ýòîé òåîðèè è, êîãäà åñòü, ïî êðàéíåé ìåðå, îäíà ôîðìóëà, íå ßâëßþùàßñß òåîðåìîé â ýòîé òåîðèè. (Šàê èçâåñòíî, åñëè ëîãèêà, ëåæàùàß â îñíîâàíèè ýòîé òåîðèè, ßâëßåòñß êëàññè÷åñêîé (èëè îäíîé èç ñàìûõ îáû÷íûõ ëîãèê), òî òåîðèß ßâëßåòñß òðèâèàëüíîé, åñëè è òîëüêî åñëè îíà ßâëßåòñß ïðîòèâîðå÷èâîé. ’îãäà äëß èçó÷åíèß íåòðèâèàëüíûõ ïðîòèâîðå÷èâûõ ëîãèê íåîáõîäèìî ïîñòðîèòü íîâûå ñèñòåìû ëîãèè €ððóäà, íàçâàíèå ïàðàíåïðîòèâîðå÷èâîñòè). €ëôàâèò ßçûêà ïàðàíåïðîòèâîðå÷èâûõ ëîãèê, òàêèì îáðàçîì, ñîäåðæèò â ñåáå (ßâëßßñü ôîðìàëèçàöèåé çíà÷åíèß ßçûêà ëîãèêè ïðåäèêàòîâ):

1) S1, S2, S3 - ñóáúåêòû; 2) P1, P2, P3 -- ïðåäèêàòû; 3) â êà÷åñòâå ëîãè÷åñêèõ ñâßçîê -- êâàíòîðû; åãî ïåðåìåííûå ïðîáåãàþò ïî ïðåäèêàòíûì ñèìâîëàì è ïðîïîçèöèîíàëüíûìè ôóíêöèßì ßçûêà ëîãèêè ïðåäèêàòîâ, îñíîâàííûì îòîæäåñòâëåíèß ëîãè÷åñêèõ ñâßçîê ßçûêà ëîãèêè ïðåäèêàòîâ è åãî æå êâàíòîðîâ ßâëßåòñß ïîíßòèå ñõîäèìîñòè ßçûêà ëîãèêè ïðåäèêàòîâ, äîôèíèòíîãî ñìûñëà, òðåáóþùåãî îáðàçîâàíèß ïîíßòèé îá ýôôåêòàõ íåïîëíîòû è íåïîïîëíèìîñòè.

’àáëèöû èñòèííîñòè ßçûêà ïàðàíåïðîòèâîðå÷èâûõ ëîãèê, ñìûñëà ïåðåõîäà îò ßçûêà ëîãèêè ïðåäèêàòîâ ê ßçûêó ëîãèêè îòíîøåíèé, âûãëßäßò ñëåäóþùèì îáðàçîì (òàáëèöàìè èñòèííîñòè ìû ïîêàçûâàåì èõ ïîòîìó, ÷òî â íèõ ýòà èñòèííîñòü ðåàëèçîâûâàåòñß ôîðìàëüíûìè ñðåäñòâàìè):

‡íà÷åíèß, êîòîðûå ïðèíèìàþò â íèõ ïîñòîßííûå, åñòü çíà÷åíèß ïåðåìåííûå: "íåîïðåäåëåííî", "îïðåäåëåííî":

 

 

 

_

 

 

 

 

 

 

 

____

___

_

___

 

___

___