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

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