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

ш
Түйіндемесі өңделмейді
ш Логика» деген санатты қосты (HotCat құралының көмегімен))
ш
'''Формальды логика''' - [[ой]] формаларын ұғымды, пайымдауды, ой түйіндеуді, дәлелдеуді логикалық[[логика]]лық құрылымдық жақтан, яғни ойдың нақты мазмұнына мән бермей және осы мазмұн бөліктері байланысының тек жалпы тәсілін жіктей отырып зерттейтін [[ғылым]]. <br />
Формальды логиканың негізгі мақсаты – ақтық білімді алу процесінде ақиқат қорытындыларға жетудің қажетті шарты болып табылатын заңдарды, принциптерді тұжырымдау. <br />
Формальды логика силлогистиканы талдаған [[Аристотель]] еңбектерінен бастау алады. <br />
Формальды логиканың одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар ([[Петр Испанский]], [[Дунс Скот]], [[Оккам]], т.б.), жаңа заманда – [[Лейбниц, Готтфрид|Лейбниц]] үлес қосты. <br />
[[Математикалық логика]] пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.<ref name="source1">«Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «[[Қазақ энциклопедиясы]]» Бас редакциясы, 1998 ISBN 5-89800-123-9, IX том</ref><ref>Орысша-қазақша түсіндірме сөздік: Философия/жалпы редакциясын басқарған э.ғ.д., профессор Е. Арын – Павлодар: «ЭКО» ҒӨФ, 2006. ISBN 9965-808-82-1</ref>
 
==Дереккөздер:</span>==
<references/>