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

ìåíÿëèñü åùå â Äðåâíåé Ãðåöèè. ßçûê ýòîò ïðåäíàçíà÷àëñÿ äëÿ
âûÿâëåíèÿ ëîãè÷åñêèõ ñâÿçåé ìûñëåé, òàê êàê ëîãèêà âñåãäà
ñòðåìèëàñü îòâëå÷üñÿ îò ñîäåðæàíèÿ ìûøëåíèÿ, ðàññìàòðèâàÿ
åãî ôîðìû êàê îäíîðîäíûå åäèíèöû, îòëè÷àþùèåñÿ äðóã îò
äðóãà òîëüêî ôîðìîé è ñòðóêòóðîé.
     Íî âîçìîæíîñòåé äëÿ ôîðìàëèçàöèè ÿçûêà â ëîãèêå ìåíü-
øå, ÷åì â ìàòåìàòèêå. Ñâÿçàíî ýòî ñ òåì, ÷òî ìàòåìàòèêà îïå-
ðèðóåò îãðàíè÷åííûì ÷èñëîì ïîíÿòèé, à ëîãèêà ïûòàåòñÿ îõ-
âàòèòü âñþ ñîâîêóïíîñòü ïîíÿòèé, èñïîëüçóåìûõ ÷åëîâåêîì. Ôîð-
ìàëèçîâàòü âñå ìûøëåíèå â öåëîì — çàäà÷à î÷åíü ñëîæíàÿ. Íî
ââåäåíèå ôîðìàëèçîâàííîãî ÿçûêà â ëîãèêå îçíà÷àåò ïðèíÿòèå
îñîáîé òåîðèè ëîãè÷åñêîãî àíàëèçà ðàññóæäåíèé.
     Â êîìïüþòåðíûõ òåõíîëîãèÿõ øèðîêî ïðèìåíÿåòñÿ íå òîëü-
êî èñêóññòâåííûé, íî è åñòåñòâåííûé ÿçûê.
     ßçûê, âûñòóïàþùèé ñðåäñòâîì ïîñòðîåíèÿ èëè èçó÷åíèÿ äðó-
ãîãî ÿçûêà, íàçûâàþò ìåòàÿçûêîì, à ñîçäàííûé íà åãî îñíîâå —
ÿçûêîì-îáúåêòîì.
     Ìåòàÿçûê âñåãäà èìååò áîëåå øèðîêèå âûðàçèòåëüíûå âîç-
ìîæíîñòè.

               2.2. ÎÑÍÎÂÛ   ÒÅÎÐÈÈ ÈÌÅÍÎÂÀÍÈß

      Ôîðìàëèçîâàííûé ÿçûê ëîãèêè ñóùåñòâóåò â äâóõ âàðèàí-
òàõ: ÿçûê ëîãèêè ïðåäèêàòîâ è ÿçûê ëîãèêè âûñêàçûâàíèé.
      Ñòðóêòóðà ÿçûêà ëîãèêè ïðåäèêàòîâ îòðàæàåò ñìûñëîâûå
õàðàêòåðèñòèêè åñòåñòâåííîãî ÿçûêà. Ê ñåìàíòè÷åñêèì êàòåãî-
ðèÿì ÿçûêà îòíîñÿòñÿ: ïðåäëîæåíèÿ, èìåíà (çíàêè ïðåäìåòîâ), ïðå-
äèêàòîðû (çíàêè ñâîéñòâ è îòíîøåíèé), ôóíêöèîíàëüíûå çíàêè.
      Èìåíà — ýòî ñëîâà èëè ñëîâîñî÷åòàíèÿ, îáîçíà÷àþùèå êà-
êîé-ëèáî ïðåäìåò.
      Ðàçëè÷àþò ïðîñòûå èìåíà, ñîñòîÿùèå èç îäíîãî ñëîâà,
íàïðèìåð: «êíèãà», «âîðîáåé», «ïåñíÿ»; ñëîæíûå èìåíà, êî-
òîðûå ñîñòîÿò èç äâóõ ñëîâ, íàïðèìåð: «ãîðîä-ãåðîé», è îïè-
ñàòåëüíûå èìåíà, ñîñòîÿùèå èç ÷àñòåé, èìåþùèõ ñàìîñòîÿ-
òåëüíûé ñìûñë, íàïðèìåð: «ñàìàÿ âûñîêàÿ ãîðíàÿ âåðøèíà».
Åäèíè÷íîå èìÿ îáîçíà÷àåò îäèí ïðåäìåò è ïðåäñòàâëåíî â ÿçû-
êå èìåíåì ñîáñòâåííûì, íàïðèìåð: «À.Ï. ×åõîâ», èëè ïðåä-
ñòàâëåíî îïèñàòåëüíî. Îáùåå èìÿ îáîçíà÷àåò êëàññ îäíîðîä-

                                                             17