Формал логика: Нұсқалар арасындағы айырмашылық
Жаңа бетте: <b>Формальды логика</b><ref name="source1"> "Қазақ Энциклопедиясы" 9 том </ref>ой форм... |
(Айырмашылық жоқ)
|
12:31, 2011 ж. маусымның 19 кезіндегі нұсқа
Формальды логика[1]ой формаларын ұғымды, пайымдауды, ой түйіндеуді, дәлелдеуді логикалық құрылымдық жақтан, яғни ойдың нақты мазмұнына мән бермей және осы мазмұн бөліктері байланысының тек жалпы тәсілін жіктей отырып зерттейтін ғылым.
Формальды логиканың негізгі мақсаты – ақтық білімді алу процесінде ақиқат қорытындыларға жетудің қажетті шарты болып табылатын заңдарды, принциптерді тұжырымдау.
Формальды логика силлогистиканы талдаған Аристотель еңбектерінен бастау алады.
Формальды логиканың одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар (Петр Испанский, Дунс Скот, Оккам, т.б.), жаңа заманда – Лейбниц үлес қосты.
Математикалық логика пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.
Пайдаланылған әдебиеттер:
- ↑ "Қазақ Энциклопедиясы" 9 том
Бұл — мақаланың бастамасы. Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз. Бұл ескертуді дәлдеп ауыстыру қажет. |
Бұл мақаланы Уикипедия сапа талаптарына лайықты болуы үшін уикилендіру қажет. |
қатысушы:Abay Izbassarov 13:31, 2011 ж. маусымның 19 (ALMT)