<< Ïðåä. ñòð. 1 (èç 17) Ñëåä. >>
yanko_slava@yahoo.com || http://yanko.lib.ru/ | http://www.chat.ru/~yankos/ya.html | Icq# 75088656
update 5/4/01
Ìîæíî ñðàçó ïðîâåðèòü íàëè÷èå øðèôòà äëÿ ñèìâîëîâ ëîãèêè Symbol
" $ O I E C E I " ? U U ' I a u O ® ~
À.À.Èâèí, À.Ë.Íèêèôîðîâ
Ñëîâàðü ïî ëîãèêå
Ãóìàíèòàðíûé èçäàòåëüñêèé öåíòð Âëàäîñ
ÌÎÑÊÂÀ 1998
ÁÁÊ 87.4ÿ2 È70
© «Ãóìàíèòàðíûé èçäàòåëüñêèé öåíòð ÂËÀÄÎÑ», 1997
© Èâèí À. À.,
Íèêèôîðîâ À. Ë., 1997 Âñå ïðàâà çàùèùåíû
Ðåöåíçåíòû: äîêò. ôèëîñ. íàóê, ïðîô. Â. Í. Ïåðåâåçåíöåâ; äîêò. ôèëîñ. íàóê, ïðîô. Â.Â. Ïåòðîâ
Èâèí À. À., Íèêèôîðîâ À. Ë.
È 70 Ñëîâàðü ïî ëîãèêå - Ì.: Òóìàíèò, èçä. öåíòð ÂËÀÄÎÑ, 1997. - 384 ñ.
ISBN 5-691-00099-3.
Ñëîâàðü ïðåäñòàâëÿåò ñîáîé ñïðàâî÷íèê, èçëàãàþùèé îñíîâíûå ïîíÿòèÿ, îïåðàöèè è çàêîíû ëîãèêè. Åãî çàäà÷à — ïîçíàêîìèòü ÷èòàòåëÿ ñ ëîãèêîé êàê îäíîé èç òåîðåòè÷åñêèõ îñíîâ èíôîðìàòèêè. Ñëîâàðü áóäåò ïîëåçåí ó÷èòåëÿì, ó÷àùèìñÿ ñòàðøèõ êëàññîâ, ñòóäåíòàì ïåäàãîãè÷åñêèõ èíñòèòóòîâ, à òàêæå âñåì, èíòåðåñóþùèìñÿ ïðîáëåìàìè ëîãèêè.
ÁÁÊ 87.4ÿ2
4306010000-112 È———————— Áåç îáúÿâë. 14Ê(03)-97
ISBN 5-691-00099-3
ÎÒ ÐÅÄÀÊÖÈÈ.. 9
A.. 10
ÀÁÑÎËÞÒÈÇÀÖÈß.. 10
ÀÁÑÎËÞÒÍÛÅ È ÑÐÀÂÍÈÒÅËÜÍÛÅ ÌÎÄÀËÜÍÎÑÒÈ 10
ÀÁÑÒÐÀÊÒÍÛÉ ÏÐÅÄÌÅÒ (àíãë. - abstract entity) 11
ÀÁÑÒÐÀÊÖÈß (îò ëàò. abstractio — îòâëå÷åíèå) 12
ÀÁÑÓÐÄ (îò ëàò. absurdus — íåëåïûé, ãëóïûé) 12
ÀÂÒÎÌÀÒ (îò ãðå÷. automatos — ñàìîäåéñòâóþùèé) 13
ÀÂÒÎÍÈÌÍÎÅ ÓÏÎÒÐÅÁËÅÍÈÅ ÂÛÐÀÆÅÍÈÉ (îò ãðå÷. autos-ñàì, îïîòà — èìÿ) 13
ÀÊÑÈÎËÎÃÈ×ÅÑÊÀß ÌÎÄÀËÜÍÎÑÒÜ (îò ãðå÷. axios - öåííûé, logos — ïîíÿòèå, ó÷åíèå), èëè: Îöåíî÷íàÿ ìîäàëüíîñòü,. 14
ÀÊÑÈÎÌÀ (îò ãðå÷. axioma — çíà÷èìîå, ïðèíÿòîå ïîëîæåíèå) 14
ÀÊÑÈÎÌÀÒÈ×ÅÑÊÈÉ ÌÅÒÎÄ.. 15
ÀÊÑÈÎÌÀÒÈ×ÅÑÊÎÅ ÎÏÐÅÄÅËÅÍÈÅ.. 16
ÀËÃÅÁÐÀ ÁÓËß.. 16
ÀËÃÎÐÈÒÌ (ÀËÃÎÐÈÔÌ). 17
ÀËÎÃÈÇÌ (îò ãðå÷. à — íå, logos — ðàçóì). 17
ÀÌÔÈÁÎËÈß (îò ãðå÷. amphibolia — äâóñìûñëåííîñòü, äâîéñòâåííîñòü) 17
ÀÍÀËÈÇ È ÑÈÍÒÅÇ. À. (îò ãðå÷. analysis - ðàçëîæåíèå) 18
ÀÍÀËÈÒÈ×ÅÑÊÈÅ È ÑÈÍÒÅÒÈ×ÅÑÊÈÅ ÑÓÆÄÅÍÈß (â ëîãèêå). 18
ÀÍÀËÎÃÈß (îò ãðå÷. analogia — ñîîòâåòñòâèå) 19
Ìåòàôîðà,. 21
ÀÍÒÅÖÅÄÅÍÒ È ÊÎÍÑÅÊÂÅÍÒ (îò ëàò. antecedent - ïðåäøåñòâóþùèé, ïðåäûäóùèé è consequens — ñëåäñòâèå). 22
ÀÍÒÈÍÎÌÈß (îò ãðå÷. antinomia - ïðîòèâîðå÷èå â çàêîíå) 22
ÀÍÒÈÍÎÌÈß ÐÀÑÑÅËÀ.. 23
ÀÍÒÈÒÅÇÈÑ (îò ãðå÷. antithesis — ïðîòèâîïîëîæåíèå) 25
ÀÏÎÄÈÊÒÈ×ÅÑÊÈÉ (îò ãðå÷. apodeiktikos — äîêàçàòåëüíûé, óáåäèòåëüíûé) 25
ÀÏÎÐÈß (îò ãðå÷. aporia — çàòðóäíåíèå, íåäîóìåíèå) 25
ÀÐÃÓÌÅÍÒ (ëàò. argumentum). 26
ÀÐÃÓÌÅÍÒÀÖÈÈ ÒÅÎÐÈß.. 29
ÀÐÃÓÌÅÍÒÀÖÈß (îò ëàò. argumentatio - ïðèâåäåíèå àðãóìåíòîâ) 33
ÀÐÃÓÌÅÍÒÀÖÈß ÊÎÍÒÅÊÑÒÓÀËÜÍÀß.. 34
ÀÐÃÓÌÅÍÒÀÖÈß ÒÅÎÐÅÒÈ×ÅÑÊÀß.. 38
ÀÐÃÓÌÅÍÒÀÖÈß ÝÌÏÈÐÈ×ÅÑÊÀß.. 41
ÀÐÃÓÌÅÍÒ Ê ÀÂÒÎÐÈÒÅÒÓ (îò ëàò. i pse dixit - ñàì ñêàçàë) 44
ÀÐÃÓÌÅÍÒ Ê ÀÓÄÈÒÎÐÈÈ.. 46
ÀÐÃÓÌÅÍÒ Ê ÆÀËÎÑÒÈ.. 46
ÀÐÃÓÌÅÍÒ Ê ÍÅÇÍÀÍÈÞ, èëè íåâåæåñòâó,. 46
ÀÐÃÓÌÅÍÒ Ê ÑÈËÅ («ïàëî÷íûé» äîâîä). 47
ÀÐÃÓÌÅÍÒ Ê ÑÊÐÎÌÍÎÑÒÈ.. 47
ÀÐÃÓÌÅÍÒ Ê ÒÙÅÑËÀÂÈÞ... 47
ÀÑÑÅÐÒÎÐÈ×ÅÑÊÈÉ (îò ëàò. asserto - óòâåðæäàþ) 48
Á.. 48
ÁÅÑÑÌÛÑËÅÍÍÎÅ.. 48
«ÁÐÈÒÂÀ ÎÊÊÀÌÀ».. 50
Â.. 52
ÂÅÐÀ.. 52
ÂÅÐÁÀËÜÍÎÅ ÎÏÐÅÄÅËÅÍÈÅ.. 52
ÂÅÐÈÔÈÊÀÖÈß (îò ëàò. verificatio — äîêàçàòåëüñòâî, ïîäòâåðæäåíèå) 52
ÂÅÐÎßÒÍÎÑÒÍÀß ËÎÃÈÊÀ.. 53
ÂÅÐÎßÒÍÎÑÒÜ.. 53
ÂÎÇÌÎÆÍÎÑÒÜ ËÎÃÈ×ÅÑÊÀß.. 54
ÂÎÇÐÀÆÅÍÈÅ.. 55
ÂÎÏÐÎÑ.. 55
ÂÎÏÐÎÑΠËÎÃÈÊÀ, èëè: Ýðîòåòè÷åñêàÿ, èíòåððîãàòèâíàÿ ëîãèêà, 57
ÂÛÂÎÄ ËÎÃÈ×ÅÑÊÈÉ.. 58
ÂÛÑÊÀÇÛÂÀÍÈÅ.. 59
ÂÛÑÊÀÇÛÂÀÍÈÅ ÄÅÑÊÐÈÏÒÈÂÍÎÅ (îò àíãë. description - îïèñàíèå), èëè: Âûñêàçûâàíèå îïèñàòåëüíîå, 61
ÂÛÑÊÀÇÛÂÀÍÈÅ ÊÀÒÅÃÎÐÈ×ÅÑÊÎÅ.. 63
ÂÛÑÊÀÇÛÂÀÍÈÅ (ÏÐÅÄËÎÆÅÍÈÅ) ÊÎÍÒÐÔÀÊÒÈ×ÅÑÊÎÅ (îò ëàò. contra — ïðîòèâ, factum — ñîáûòèå) 63
Ã. 65
ÃÅÐÌÅÍÅÂÒÈÊÀ (îò ãðå÷. hermeneuo - ðàçúÿñíÿþ, èñòîëêîâûâàþ) 65
èÄÅËß ÒÅÎÐÅÌÀ.. 65
ÃÈÏÎÑÒÀÇÈÐÎÂÀÍÈÅ (îò ãðå÷. hypostasis - ñóùíîñòü, ñóáñòàíöèÿ) 65
ÃÈÏÎÒÅÇÀ (îò ãðå÷. hipothesis - îñíîâàíèå, ïðåäïîëîæåíèå) 66
ÃÈÏÎÒÅÒÈÊÎ-ÄÅÄÓÊÒÈÂÍÛÉ ÌÅÒÎÄ.. 69
ÃÈÏÎÒÅÒÈ×ÅÑÊÎÅ ÓÒÂÅÐÆÄÅÍÈÅ.. 71
ÃÎÌÎÌÎÐÔÈÇÌ, ÈÇÎÌÎÐÔÈÇÌ... 71
Ä.. 72
ÄÂÎÉÍÎÃÎ ÎÒÐÈÖÀÍÈß ÇÀÊÎÍ, ñì.: Çàêîí äâîéíîãî îòðèöàíèÿ. 72
ÄÂÓÇÍÀ×ÍÀß ËÎÃÈÊÀ.. 72
ÄÂÓÇÍÀ×ÍÎÑÒÈ ÏÐÈÍÖÈÏ.. 72
ÄÅÄÓÊÖÈß (îò ëàò. deductio — âûâåäåíèå). 73
ÄÅËÅÍÈÅ ËÎÃÈ×ÅÑÊÎÅ.. 77
ÄÅÍÎÒÀÒ (îò ëàò. denoto — îáîçíà÷àþ), èëè: Äåñèãíàò, ïðåäìåòíîå çíà÷åíèå, 78
ÄÅÎÍÒÈ×ÅÑÊÀß ËÎÃÈÊÀ (îò ãðå÷. deon — äîëã, ïðàâèëüíîñòü), 79
ÄÅÎÍÒÈ×ÅÑÊÀß ÌÎÄÀËÜÍÎÑÒÜ (îò ãðå÷. deon - äîëã, ïðàâèëüíîñòü), 81
ÄÅÑÊÐÈÏÖÈß ÎÏÐÅÄÅËÅÍÍÀß (îò ëàò. descriptio - îïèñàíèå) 84
ÄÈÀÃÐÀÌÌÛ ÂÅÍÍÀ.. 84
ÄÈÀËÅÊÒÈ×ÅÑÊÀß ËÎÃÈÊÀ.. 85
ÄÈÇÚÞÍÊÒÈÂÍÛÉ ÑÈËËÎÃÈÇÌ, ñì.: Ìîäóñ ïîíåíäî òîëëåíñ. Ìîäóñ òîëëåíäî ïîíåíñ. 89
ÄÈÇÚÞÍÊÖÈß (îò ëàò. disjunctio — ðàçîáùåíèå, ðàçëè÷åíèå) 89
ÄÈËÅÌÌÀ (îò ãðå÷. di(s) - äâàæäû è lemma - ïðåäïîëîæåíèå) 90
ÄÈÑÊÓÐÑÈÂÍÛÉ (îò ëàò. discursus — ðàññóæäåíèå, äîâîä, àðãóìåíò) 91
ÄÈÑÊÓÑÑÈß (îò ëàò. discussio — ðàññìîòðåíèå, èññëåäîâàíèå) 92
ÄÈÑÒÐÈÁÓÒÈÂÍÛÅ È ÊÎËËÅÊÒÈÂÍÛÅ ÑÂÎÉÑÒÂÀ. Ä. ñ. 93
ÄÈÕÎÒÎÌÈß (îò ãðå÷, dicha è tome - ðàññå÷åíèå íà äâå ÷àñòè) 94
ÄÎÊÀÇÀÒÅËÜÑÒÂÎ.. 95
ÄÎÊÀÇÀÒÅËÜÑÒÂÎ ÊÎÍÑÒÐÓÊÒÈÂÍÎÅ, ñì.: Êîíñòðóêòèâíàÿ ëîãèêà. 97
ÄÎÊÀÇÀÒÅËÜÑÒÂÎ ÎÒ ÏÐÎÒÈÂÍÎÃÎ, ñì.: Êîñâåííîå äîêàçàòåëüñòâî. 97
ÄÎÊÀÇÀÒÅËÜÑÒÂÎ ÏÎ ÑËÓ×ÀßÌ, èëè: Äîêàçàòåëüñòâî ðàçáîðîì ñëó÷àåâ, 97
ÄÎÊÀÇÓÅÌÎÑÒÜ, ñì.: Äîêàçàòåëüñòâî.. 98
ÄÎÏÎËÍÅÍÈÅ Ê ÌÍÎÆÅÑÒÂÓ.. 98
ÄÎÑÒÀÒÎ×ÍÎÃÎ ÎÑÍÎÂÀÍÈß ÏÐÈÍÖÈÏ.. 98
ÄÎÑÒÀÒÎ×ÍÎÅ ÓÑËÎÂÈÅ, ñì.: Óñëîâíîå âûñêàçûâàíèå. 100
ÄÎÑÒÎÂÅÐÍÎÑÒÜ.. 100
Ç.. 101
ÇÀÁËÓÆÄÅÍÈÅ.. 101
ÇÀÊÎÍ ÀÑÑÎÖÈÀÒÈÂÍÎÑÒÈ (îò ëàò. associatio — ñîåäèíåíèå) 102
ÇÀÊÎÍ ÃÈÏÎÒÅÒÈ×ÅÑÊÎÃÎ ÑÈËËÎÃÈÇÌÀ.. 103
ÇÀÊÎÍ ÄÂÎÉÍÎÃÎ ÎÒÐÈÖÀÍÈß.. 103
ÇÀÊÎÍ ÄÅ ÌÎÐÃÀÍÀ.. 104
ÇÀÊÎÍ ÄÈÑÒÐÈÁÓÒÈÂÍÎÑÒÈ (îò àíãë. distribution - ðàñïðåäåëåíèå, ðàçìåùåíèå) 104
ÇÀÊÎÍ ÄÓÍÑÀ ÑÊÎÒÀ.. 105
ÇÀÊÎÍ ÈÌÏÎÐÒÀÖÈÈ, ñì.: Çàêîí ýêñïîðòàöèè — èìïîðòàöèè. 106
ÇÀÊÎÍ ÈÑÊËÞ×ÅÍÍÎÃÎ ÒÐÅÒÜÅÃÎ.. 106
ÇÀÊÎÍ ÊËÀÂÈß.. 108
ÇÀÊÎÍ ÊÎÌÌÓÒÀÒÈÂÍÎÑÒÈ (îò ëàò. commutatio - èçìåíåíèå, ïåðåìåíà) 109
ÇÀÊÎÍ ÊÎÌÌÓÒÀÖÈÈ (îò ëàò. commutatio - èçìåíåíèå, ïåðåìåíà) 110
ÇÀÊÎÍ ÊÎÌÏÎÇÈÖÈÈ (îò ëàò. compositio — ñî÷èíåíèå, ñîñòàâëåíèå) 110
ÇÀÊÎÍ ÊÎÑÂÅÍÍÎÃÎ ÄÎÊÀÇÀÒÅËÜÑÒÂÀ.. 111
ÇÀÊÎÍ ËÎÃÈÊÈ, ñì.: Ëîãè÷åñêèé çàêîí.. 111
ÇÀÊÎÍ ÌÛØËÅÍÈß - òåðìèí òðàäèöèîííîé ëîãèêè, 111
ÇÀÊÎÍ ÏÐÎÒÈÂÎÐÅ×Èß, ñì.: Íåïðîòèâîðå÷èÿ çàêîí. 112
ÇÀÊÎÍ ÝÊÑÏÎÐÒÀÖÈÈ - ÈÌÏÎÐÒÀÖÈÈ (îò ëàò. exportare -âûâîçèòü, importare — ââîçèòü) 112
ÇÍÀÊ.. 113
ÇÍÀÍÈÅ.. 114
ÇÍÀ×ÅÍÈÅ.. 115
È.. 116
ÈÄÅÀËÈÇÀÖÈß.. 116
ÈÄÅÌÏÎÒÅÍÒÍÎÑÒÈ ÇÀÊÎÍ (îò ëàò. idempotens - ñîõðàíÿþùèé òó æå ñòåïåíü) 116
ÈËËÞÑÒÐÀÖÈß (îò ëàò. illustratio - ïðîÿñíÿòü) 117
ÈÌÏËÈÊÀÖÈß (îò ëàò. implicatio - ñïëåòåíèå, îò implico — òåñíî ñâÿçûâàþ) 118
ÈÌÏËÈÊÀÖÈß ÌÀÒÅÐÈÀËÜÍÀß - èìïëèêàöèÿ â òðàêòîâêå ëîãèêè êëàññè÷åñêîé. 119
ÈÌß.. 120
ÈÍÄÈÂÈÄ (îò ëàò. individuum - íåäåëèìîå). 122
ÈÍÄÓÊÒÈÂÍÀß ËÎÃÈÊÀ.. 123
ÈÍÄÓÊÒÈÂÍÎÅ ÎÏÐÅÄÅËÅÍÈÅ.. 123
ÈÍÄÓÊÖÈÈ ÊÀÍÎÍÛ (îò ãðå÷. canon — ïðàâèëî, ïðåäïèñàíèå) 124
Ìåòîä åäèíñòâåííîãî ñõîäñòâà:. 124
Ìåòîä ñîïóòñòâóþùèõ èçìåíåíèé:. 124
Ìåòîä îñòàòêîâ.. 125
ÈÍÄÓÊÖÈß (îò ëàò. inductio - íàâåäåíèå). 125
È.. 128
ÈÍÄÓÊÖÈß ÌÀÒÅÌÀÒÈ×ÅÑÊÀß, ÏÎËÍÀß ÌÀÒÅÌÀÒÈ×ÅÑÊÀß ÈÍÄÓÊÖÈß 128
ÈÍÄÓÊÖÈß ÍÅÏÎËÍÀß.. 129
ÈÍÄÓÊÖÈß ÏÎËÍÀß.. 129
ÈÍÄÓÊÖÈß ÏÎÏÓËßÐÍÀß.. 129
ÈÍÒÅÍÑÈÎÍÀË È ÝÊÑÒÅÍÑÈÎÍÀË.. 129
ÈÍÒÅÐÏÐÅÒÀÖÈß (îò ëàò. interpretatio - ðàçúÿñíåíèå, èñòîëêîâàíèå) 131
ÈÍÒÅÐÑÓÁÚÅÊÒÈÂÍÛÉ (îò ëàò. inter - ìåæäó) 133
ÈÍÒÓÈÒÈÂÍÀß ËÎÃÈÊÀ.. 133
ÈÍÒÓÈÖÈÎÍÈÇÌ... 135
ÈÍÒÓÈÖÈÎÍÈÑÒÑÊÀß ËÎÃÈÊÀ.. 136
ÈÍÒÓÈÖÈß (îò ëàò. intuitio — ïðèñòàëüíîå, âíèìàòåëüíîå âñìàòðèâàíèå, ñîçåðöàíèå) 137
ÈÐÐÀÖÈÎÍÀËÜÍÎÅ (îò ëàò. irrationalis - íåðàçóìíûé, áåññîçíàòåëüíûé) 140
ÈÑÊËÞ×ÅÍÍÎÃÎ ÒÐÅÒÜÅÃÎ ÇÀÊÎÍ, ñì.: Çàêîí èñêëþ÷åííîãî òðåòüåãî. 140
ÈÑÊÓÑÑÒÂÅÍÍÛÉ ÈÍÒÅËËÅÊÒ.. 140
ÈÑÒÈÍÀ.. 141
ÈÑÒÈÍÍÎÑÒÍÎÅ ÇÍÀ×ÅÍÈÅ.. 141
ÈÑ×ÈÑËÅÍÈÅ.. 142
Ê.. 142
ÊÀÂÛ×ÊÈ.. 142
ÊÀÒÅÃÎÐÈ×ÅÑÊÎÅ ÑÓÆÄÅÍÈÅ.. 142
ÊÀÒÅÃÎÐÈß (îò ãðå÷. kategoria - âûñêàçûâàíèå, îáâèíåíèå, ïðèçíàê) 142
ÊÀÓÇÀËÜÍÀß ÌÎÄÀËÜÍÎÑÒÜ, ñì.: Îíòîëîãè÷åñêàÿ ìîäàëüíîñòü. 143
ÊËÀÑÑ, ÌÍÎÆÅÑÒÂÎ (Â ËÎÃÈÊÅ È ÌÀÒÅÌÀÒÈÊÅ) 143
ÊËÀÑÑÈÔÈÊÀÖÈß.. 143
ÊËÀÑÑÈ×ÅÑÊÀß ËÎÃÈÊÀ, ñì.: Ëîãèêà êëàññè÷åñêàÿ. 144
ÊÎÍÂÅÍÖÈß (îò ëàò. conventio - ñîãëàøåíèå) 144
ÊÎÍÍÎÒÀÖÈß (îò ëàò. connotatio — äîáàâî÷íîå çíà÷åíèå) 144
ÊÎÍÑÒÐÓÊÒÈÂÍÀß ËÎÃÈÊÀ.. 144
ÊÎÍÒÅÊÑÒ (îò ëàò. contextus — ñöåïëåíèå, ñîåäèíåíèå, ñâÿçü) 145
ÊÎÍÒÅÊÑÒÓÀËÜÍÎÅ ÎÏÐÅÄÅËÅÍÈÅ, ñì.: Îïðåäåëåíèå êîíòåêñòóàëüíîå. 145
ÊÎÍÒÐÀÄÈÊÒÎÐÍÀß ÏÐÎÒÈÂÎÏÎËÎÆÍÎÑÒÜ (îò ëàò. contradictorius — ïðîòèâîðå÷àùèé) 145
ÊÎÍÒÐÀÏÎÇÈÖÈÈ ÇÀÊÎÍ.. 146
ÊÎÍÒÐÀÐÍÀß ÏÐÎÒÈÂÎÏÎËÎÆÍÎÑÒÜ (îò ëàò. contrarius - ïðîòèâîïîëîæíûé) 147
ÊÎÍÖÅÏÒ (îò ëàò. conceptus— ïîíÿòèå). 147
ÊÎÍÚÞÍÊÖÈß (îò ëàò. conjunctio - ñîþç, ñâÿçü) 147
ÊÎÑÂÅÍÍÎÅ ÄÎÊÀÇÀÒÅËÜÑÒÂÎ.. 148
ÊÐÓÃ Â ÄÎÊÀÇÀÒÅËÜÑÒÂÅ (ëàò. — circulus in demonstrando) 148
ÊÐÓÃ Â ÎÏÐÅÄÅËÅÍÈÈ.. 149
Ë.. 149
ËÅÌÌÀ (îò ãðå÷. lemma — ïðåäïîëîæåíèå) 149
«ËÆÅÖÀ» ÏÀÐÀÄÎÊÑ.. 149
ËÎÃÈÊÀ (îò ãðå÷. logos — ñëîâî, ïîíÿòèå, ðàññóæäåíèå, ðàçóì), èëè: Ôîðìàëüíàÿ ëîãèêà, 150
ËÎÃÈÊÀ ÂÐÅÌÅÍÈ, èëè: Âðåìåííàÿ ëîãèêà,. 155
ËÎÃÈÊÀ ÂÛÑÊÀÇÛÂÀÍÈÉ, èëè: Ïðîïîçèöèîíàëüíàÿ ëîãèêà, 157
ËÎÃÈÊÀ ÄÅÄÓÊÒÈÂÍÀß, ñì.: Äåäóêöèÿ.. 159
ËÎÃÈÊÀ ÈÇÌÅÍÅÍÈß.. 159
ËÎÃÈÊÀ ÊÂÀÍÒÎÂÎÉ ÌÅÕÀÍÈÊÈ.. 161
ËÎÃÈÊÀ ÊËÀÑÑÈ×ÅÑÊÀß.. 161
ËÎÃÈÊÀ ÊËÀÑÑÎÂ.. 162
ËÎÃÈÊÀ ÊÎÌÁÈÍÀÒÎÐÍÀß (îò ëàò. combinare — ñîåäèíÿòü, ñî÷åòàòü) 162
ËÎÃÈÊÀ ÌÍÎÃÎÇÍÀ×ÍÀß, ñì.: Ìíîãîçíà÷íàÿ ëîãèêà. 162
ËÎÃÈÊÀ ÍÀÓ×ÍÎÃÎ ÏÎÇÍÀÍÈß, èëè: Ëîãèêà íàóêè, 162
ËÎÃÈÊÀ ÍÅÊËÀÑÑÈ×ÅÑÊÀß.. 167
ËÎÃÈÊÀ ÍÎÐÌ, ñì.: Äåîíòè÷åñêàÿ ëîãèêà. 168
ËÎÃÈÊÀ ÎÒÍÎØÅÍÈÉ.. 168
ËÎÃÈÊÀ ÏÐÅÄÈÊÀÒÎÂ, èëè: Ôóíêöèîíàëüíàÿ ëîãèêà, òåîðèÿ êâàíòèôèêàöèè, êâàíòîðíàÿ ëîãèêà, 169
ËÎÃÈÊÀ ÒÐÀÄÈÖÈÎÍÍÀß, ñì.: Òðàäèöèîííàÿ ëîãèêà. 170
ËÎÃÈÊÀ ÝÏÈÑÒÅÌÈ×ÅÑÊÀß (îò ãðå÷. episteme - çíàíèå) 170
Ì... 223
ÌÀÒÅÌÀÒÈ×ÅÑÊÀß ËÎÃÈÊÀ.. 223
ÌÀÒÅÐÈÀËÜÍÀß ÑÓÏÏÎÇÈÖÈß, ñì.: Ñóïïîçèöèÿ. 223
ÌÅÒÀÌÀÒÅÌÀÒÈÊÀ.. 223
ÌÅÒÀÒÅÎÐÈß (îò ãðå÷. meta - ïîñëå, çà, ïîçàäè) 225
ÌÅÒÀÔÎÐÀ (îò ãðå÷, metaphora - ïåðåíîñ, îáðàç) 225
ÌÅÒÀßÇÛÊ (îò ãðå÷. meta - ïîñëå, çà, ïîçàäè) 225
ÌÅÒÎÄ (îò ãðå÷. methodos — ïóòü, ñïîñîá èññëåäîâàíèÿ, îáó÷åíèÿ, èçëîæåíèÿ) 226
ÌÅÒÎÄÎËÎÃÈ×ÅÑÊÀß ÀÐÃÓÌÅÍÒÀÖÈß.. 227
ÌÅÒÎÄÎËÎÃÈß ÍÀÓÊÈ.. 229
ÌÍÎÃÎÇÍÀ×ÍÀß ËÎÃÈÊÀ.. 231
ÌÍÎÃÎÇÍÀ×ÍÎÑÒÈ ÏÐÈÍÖÈÏ, ñì.: Ïðèíöèï ìíîãîçíà÷íîñòè. 233
ÌÍÎÃÎÇÍÀ×ÍÎÑÒÜ. 233
ÌÍÎÆÅÑÒÂ ÒÅÎÐÈß.. 234
ÌÎÄÀËÜÍÀß ËÎÃÈÊÀ.. 236
ÌÎÄÀËÜÍÎÑÒÜ (îò ëàò., modus — ìåðà, ñïîñîá) 247
ÌÎÄÅËÜ (îò ëàò. modulus — ìåðà, îáðàçåö, íîðìà) 264
ÌÎÄÅËÜ ÑÅÌÀÍÒÈ×ÅÑÊÀß.. 270
ÌÎÄÓÑ (ëàò. modus - ìåðà, ñïîñîá, îáðàç, âèä) 272
ÌÎÄÓÑ ÏÎÍÅÍÄÎ ÒÎËËÅÍÑ (ëàò. modus ponendo tollens) 275
ÌÎÄÓÑ ÏÎÍÅÍÑ (ëàò. modus ponens) 294
ÌÎÄÓÑ ÒÎËËÅÍÄÎ ÏÎÍÅÍÑ (ëàò. modus tollendo ponens) 325
ÌÎÄÓÑ ÒÎËËÅÍÑ (ëàò. modus tollens) 353
ÌÛØËÅÍÈÅ. 366
Í.. 374
ÍÀÓÊÀ.. 375
«ÍÅ ÂÛÒÅÊÀÅÒ», «ÍÅ ÑËÅÄÓÅÒ» (ëàò. ïîï sequitur) 388
«ÍÅÄÎÊÀÇÀÍÍÎÅ ÎÑÍÎÂÀÍÈÅ» ÄÎÊÀÇÀÒÅËÜÑÒÂÀ 392
ÍÅÇÀÂÈÑÈÌÎÑÒÜ (â ëîãèêå è ìàòåìàòèêå) 394
ÍÅÊËÀÑÑÈ×ÅÑÊÀß ËÎÃÈÊÀ, ñì.: Ëîãèêà íåêëàññè÷åñêàÿ. 404
ÍÅÎÁÕÎÄÈÌÎÑÒÜ (ëîãè÷åñêàÿ) 405
ÍÅÎÁÕÎÄÈÌÛÅ È ÄÎÑÒÀÒÎ×ÍÛÅ ÓÑËÎÂÈß (â ëîãèêå è ìàòåìàòèêå) 415
ÍÅÏÎÑÐÅÄÑÒÂÅÍÍÎÅ ÓÌÎÇÀÊËÞ×ÅÍÈÅ (â òðàäèöèîííîé ëîãèêå) 421
ÍÅÏÐÀÂÈËÜÍÎÅ ÓÌÎÇÀÊËÞ×ÅÍÈÅ, ñì.: Óìîçàêëþ÷åíèå. 424
ÍÅÏÐÅÄÈÊÀÒÈÂÍÎÅ ÎÏÐÅÄÅËÅÍÈÅ. 427
ÍÅÏÐÎÒÈÂÎÐÅ×ÈÂÎÑÒÜ. 430
ÍÅÏÐÎÒÈÂÎÐÅ×Èß ÇÀÊÎÍ.. 437
ÍÅÑÎÁÑÒÂÅÍÍÛÅ ÑÈÌÂÎËÛ, ñì.: Ñèìâîëû ñîáñòâåííûå è íåñîáñòâåííûå. 450
ÍÅ×ÅÒÊÎÅ ÌÍÎÆÅÑÒÂÎ.. 461
ÍÅßÑÍÎÑÒÜ. 469
ÍÎÌÎËÎÃÈ×ÅÑÊÎÅ ÂÛÑÊÀÇÛÂÀÍÈÅ (îò ãðå÷. nomos - çàêîí, logos — ó÷åíèå, ïîíÿòèå) 479
ÍÎÐÌÀ, ñì.: Íîðìàòèâíîå âûñêàçûâàíèå. 482
ÍÎÐÌÀËÜÍÎÅ ÌÍÎÆÅÑÒÂÎ, ñì.: Ïðîòèâîðå÷èå â ÿâíîì îïðåäåëåíèè. 483
ÍÎÐÌÀÒÈÂÍÀß ËÎÃÈÊÀ, ñì.: Äåîíòè÷åñêàÿ ëîãèêà. 484
ÍÎÐÌÀÒÈÂÍÀß ÌÎÄÀËÜÍÎÑÒÜ, ñì.: Äåîíòè÷åñêàÿ ìîäàëüíîñòü. 485
ÍÎÐÌÀÒÈÂÍÎÅ ÂÛÑÊÀÇÛÂÀÍÈÅ, èëè: Äåîíòè÷åñêîå âûñêàçûâàíèå, 486
Î.. 505
ÎÁÎÁÙÅÍÈÅ (ëàò. generalisatio). 506
ÎÁÎÇÍÀ×ÅÍÈß ÎÒÍÎØÅÍÈÅ. 514
ÎÁÎÑÍÎÂÀÍÈÅ. 521
ÎÁÎÑÍÎÂÀÍÈÅ ÎÖÅÍÎÊ.. 542
ÎÁÐÀÇÅÖ.. 580
ÎÁÐÀÙÅÍÈÅ (ëàò. conversio) 590
ÎÁÙÅÅ ÏÎÍßÒÈÅ, ñì.: Ïîíÿòèå. 598
ÎÁÙÅÅ ÑÓÆÄÅÍÈÅ, ñì.: Ñóæäåíèå. 599
ÎÁÚÅÄÈÍÅÍÈÅ (ÑËÎÆÅÍÈÅ) ÊËÀÑÑÎÂ (ÌÍÎÆÅÑÒÂ) 600
ÎÁÚÅÊÒÈÂÍÎÑÒÜ. 604
ÎÁÚÅÊÒÍÛÉ (ÏÐÅÄÌÅÒÍÛÉ) ßÇÛÊ.. 611
ÎÁÚßÑÍÅÍÈÅ. 613
ÎÃÐÀÍÈ×ÅÍÈÅ ÏÎÍßÒÈß.. 640
ÎÌÎÍÈÌÈß (îò ãðå÷. homos — îäèíàêîâûé, îïóòà — èìÿ) 642
ÎÏÅÐÀÒÎÐ (îò ëàò. operator — äåéñòâóþùèé) 644
ÎÏÈÑÀÍÈÅ, ñì.: Âûñêàçûâàíèå äåñêðèïòèâíîå. 652
ÎÏÈÑÀÍÈÅ ÑÎÑÒÎßÍÈß (àíãë. state description) 653
ÎÏÈÑÀÒÅËÜÍÎÅ ÂÛÑÊÀÇÛÂÀÍÈÅ, ñì.: Âûñêàçûâàíèå äåñêðèïòèâíîå. 656
ÎÏÈÑÀÒÅËÜÍÎ-ÎÖÅÍÎ×ÍÎÅ ÂÛÑÊÀÇÛÂÀÍÈÅ, ñì.: Âûñêàçûâàíèå äåñêðèïòèâíîå, Îöåíî÷íîå âûñêàçûâàíèå. 657
ÎÏÐÅÄÅËÅÍÈÅ (ëàò. definitio) 658
ÎÏÐÅÄÅËÅÍÈÅ ÀÊÑÈÎÌÀÒÈ×ÅÑÊÎÅ. 669
ÎÏÐÅÄÅËÅÍÈÅ ÃÅÍÅÒÈ×ÅÑÊÎÅ (îò ãðå÷. genesis - ïðîèñõîæäåíèå, èñòî÷íèê) 676
ÎÏÐÅÄÅËÅÍÈÅ ÊËÀÑÑÈ×ÅÑÊÎÅ, èëè: Îïðåäåëåíèå ÷åðåç ðîä è âèäîâîå îòëè÷èå, 678
ÎÏÐÅÄÅËÅÍÈÅ ÍÅßÂÍÎÅ. 683
ÎÏÐÅÄÅËÅÍÈÅ ÍÎÌÈÍÀËÜÍÎÅ. 685
ÎÏÐÅÄÅËÅÍÈÅ ÎÏÅÐÀÖÈÎÍÀËÜÍÎÅ. 691
ÎÏÐÅÄÅËÅÍÈÅ ÎÑÒÅÍÑÈÂÍÎÅ (îò ëàò. ostentus - ïîêàçûâàíèå, âûñòàâëåíèå íàïîêàç) 693
ÎÏÐÅÄÅËÅÍÈÅ ÐÅÀËÜÍÎÅ. 701
ÎÏÐÅÄÅËÅÍÈÅ ßÂÍÎÅ. 707
ÎÏÐÎÂÅÐÆÅÍÈÅ. 715
ÎÑÌÛÑËÅÍÍÎÑÒÜ. 720
ÎÑÍÎÂÀÍÈÅ È ÑËÅÄÑÒÂÈÅ. 723
<< Ïðåä. ñòð. 1 (èç 17) Ñëåä. >>