Формал логика: Нұсқалар арасындағы айырмашылық
Content deleted Content added
ш clean up, replaced: Пайдаланылған әдебиеттер → Дереккөздер using AWB |
ш clean up, replaced: "Қазақ Энциклопедиясы" 9 том → «Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанба using AWB |
||
3-жол:
Формальды логика силлогистиканы талдаған [[Аристотель]] еңбектерінен бастау алады. <br />
Формальды логиканың одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар ([[Петр Испанский]], [[Дунс Скот]], [[Оккам]], т.б.), жаңа заманда – [[Лейбниц]] үлес қосты. <br />
[[Математикалық логика]] пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.<ref name="source1">«Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «[[Қазақ
==Дереккөздер:</span>==
|