Формал логика — нұсқалар арасындағы айырмашылық

ш
clean up, replaced: Пайдаланылған әдебиеттер → Дереккөздер using AWB
ш (clean up, replaced: Пайдаланылған әдебиеттер → Дереккөздер using AWB)
'''Формальды логика'''[[ой]] формаларын ұғымды, пайымдауды, ой түйіндеуді, дәлелдеуді логикалық құрылымдық жақтан, яғни ойдың нақты мазмұнына мән бермей және осы мазмұн бөліктері байланысының тек жалпы тәсілін жіктей отырып зерттейтін [[ғылым]]. </br />
Формальды логиканың негізгі мақсаты – ақтық білімді алу процесінде ақиқат қорытындыларға жетудің қажетті шарты болып табылатын заңдарды, принциптерді тұжырымдау. </br />
Формальды логика силлогистиканы талдаған [[Аристотель]] еңбектерінен бастау алады. </br />
Формальды логиканың одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар ([[Петр Испанский]], [[Дунс Скот]], [[Оккам]], т.б.), жаңа заманда – [[Лейбниц]] үлес қосты. </br />
[[Математикалық логика]] пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.<ref name="source1">[[Қазақ Энциклопедиясы| "Қазақ Энциклопедиясы"]] 9 том </ref><ref> Орысша-қазақша түсіндірме сөздік: Философия/жалпы редакциясын басқарған э.ғ.д., профессор Е. Арын – Павлодар: «ЭКО» ҒӨФ, 2006. ISBN 9965-808-82-1</ref>
 
==Пайдаланылған әдебиеттерДереккөздер:</span>==
<references/>
 
{{stub}}
{{wikify}}
 
{{Суретсіз мақала}}
 
[[Санат:Философия]]
 
 
{{stub}}