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

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