Логика. Гуляихин В.Н - 11 стр.

                   1.4. ÈÇ   ÈÑÒÎÐÈÈ ËÎÃÈÊÈ

     Ëîãèêà — îäíà èç äðåâíèõ íàóê. Òðóäàìè Äåìîêðèòà, Ïëà-
òîíà è äðóãèõ çàëîæåíû åå îñíîâû. Äåìîêðèò èññëåäîâàë âîïðî-
ñû èíäóêöèè, àíàëîãèè, ãèïîòåçû, îïðåäåëåíèÿ ïîíÿòèÿ. Ïëà-
òîí ìíîãî âíèìàíèÿ óäåëÿë îïðåäåëåíèþ ïðèðîäû äåäóêöèè è
àíàëèçó ñóæäåíèé. Çíà÷èòåëüíûé âêëàä â ñòàíîâëåíèå íàóêè
ëîãèêè âíåñëè ðàáîòû äðåâíåãðå÷åñêîãî ôèëîñîôà è ó÷åíîãî
Àðèñòîòåëÿ (384—322 ãã. äî í. ý.). Àðèñòîòåëü ñîçäàåò ñèñòåìó
êàòåãîðèé (âûñøèõ ðîäîâ áûòèÿ). Ó÷åíèå î êàòåãîðèÿõ ñîñòàâ-
ëÿåò îñíîâó äèàëåêòè÷åñêîé ëîãèêè. Îí îáñòîÿòåëüíî ñèñòåìà-
òèçèðîâàë îñíîâíûå ëîãè÷åñêèå ôîðìû è ïðàâèëà ìûøëåíèÿ.
     Íîâûé ýòàï â ðàçâèòèè ëîãèêè íà÷èíàåòñÿ ñ ÕVII â. Ôðýí-
ñèñ Áýêîí (1561—1626) ñòàë ðîäîíà÷àëüíèêîì èíäóêòèâíîé
ëîãèêè. Ðåíå Äåêàðò (1596—1650), îñíîâûâàÿñü íà äàííûõ
ïðåæäå âñåãî ìàòåìàòèêè, ïîä÷åðêèâàåò çíà÷åíèå ðàöèîíàëü-
íîé äåäóêöèè.
     Áîëüøèå óñïåõè â ðàçâèòèè ìàòåìàòèêè è ïðîíèêíîâåíèå
ìàòåìàòè÷åñêèõ ìåòîäîâ â äðóãèå íàóêè óæå âî âòîðîé ïîëîâè-
íå XVII â. íàñòîÿòåëüíî âûäâèãàëè äâå ôóíäàìåíòàëüíûå ïðî-
áëåìû. Ñ îäíîé ñòîðîíû, ýòî ïðèìåíåíèå ëîãèêè äëÿ ðàçðàáîò-
êè òåîðåòè÷åñêèõ îñíîâàíèé ìàòåìàòèêè, à ñ äðóãîé — ìàòåìà-
òèçàöèÿ ñàìîé ëîãèêè êàê íàóêè. Ïëîäîòâîðíóþ ïîïûòêó ðå-
øèòü âñòàâøèå ïðîáëåìû ïðåäïðèíÿë Ã. Ëåéáíèö (1646—1716).
Îí ïî ïðàâó ñ÷èòàåòñÿ îñíîâîïîëîæíèêîì ìàòåìàòè÷åñêîé (ñèì-
âîëè÷åñêîé) ëîãèêè. Íà÷èíàÿ ñ Ëåéáíèöà, â ëîãèêå èñïîëüçó-
åòñÿ â êà÷åñòâå ìåòîäà èññëåäîâàíèÿ ìåòîä ôîðìàëèçàöèè. Ìà-
òåìàòè÷åñêàÿ ëîãèêà èçó÷àåò ëîãè÷åñêèå ñâÿçè è îòíîøåíèÿ,
ëåæàùèå â îñíîâå äåäóêòèâíîãî (ëîãè÷åñêîãî) âûâîäà. Ïðè ýòîì
â ìàòåìàòè÷åñêîé ëîãèêå äëÿ âûÿâëåíèÿ ñòðóêòóðû âûâîäà ñòðî-
ÿòñÿ ðàçëè÷íûå ëîãè÷åñêèå èñ÷èñëåíèÿ, ïðåæäå âñåãî èñ÷èñëå-
íèå âûñêàçûâàíèé è èñ÷èñëåíèå ïðåäèêàòîâ â èõ ðàçëè÷íûõ
ìîäèôèêàöèÿõ.
     Ðàçëè÷àþò äâà âèäà ëîãè÷åñêèõ èñ÷èñëåíèé: èñ÷èñëåíèå
âûñêàçûâàíèé è èñ÷èñëåíèå ïðåäèêàòîâ. Ïðè ïåðâîì äîïóñêàåòñÿ
îòâëå÷åíèå îò ïîíÿòèéíîé ñòðóêòóðû ñóæäåíèé, à ïðè âòîðîì
ýòà ñòðóêòóðà ó÷èòûâàåòñÿ è, ñîîòâåòñòâåííî, ñèìâîëè÷åñêèé
ÿçûê îáîãàùàåòñÿ, äîïîëíÿåòñÿ íîâûìè çíàêàìè.



                                                          11