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

Content deleted Content added

Inline

21:33, 2020 ж. қыркүйектің 7 кезіндегі нұсқа

Формальды логика — ой формаларын ұғымды, пайымдауды, ой түйіндеуді, дәлелдеуді логикалық құрылымдық жақтан, яғни ойдың нақты мазмұнына мән бермей және осы мазмұн бөліктері байланысының тек жалпы тәсілін жіктей отырып зерттейтін ғылым.

Формальды логиканың негізгі мақсаты – ақтық білімді алу процесінде ақиқат қорытындыларға жетудің қажетті шарты болып табылатын заңдарды, принциптерді тұжырымдау.

Формальды логика силлогистиканы талдаған Аристотель еңбектерінен бастау алады.

Формальды логиканың одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар (Петр Испанский, Дунс Скот, Оккам, т.б.), жаңа заманда – Лейбниц үлес қосты.

Математикалық логика пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.^[1]^[2]

Дереккөздер

↑ «Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «Қазақ энциклопедиясы» Бас редакциясы, 1998 ISBN 5-89800-123-9, IX том
↑ Орысша-қазақша түсіндірме сөздік: Философия/жалпы редакциясын басқарған э.ғ.д., профессор Е. Арын – Павлодар: «ЭКО» ҒӨФ, 2006. ISBN 9965-808-82-1

[1] «Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «Қазақ энциклопедиясы» Бас редакциясы, 1998 ISBN 5-89800-123-9, IX том

[2] Орысша-қазақша түсіндірме сөздік: Философия/жалпы редакциясын басқарған э.ғ.д., профессор Е. Арын – Павлодар: «ЭКО» ҒӨФ, 2006. ISBN 9965-808-82-1

[1]

[2]

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

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

21:33, 2020 ж. қыркүйектің 7 кезіндегі нұсқа

Дереккөздер

Навигация мәзірі

Іздеу