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

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


==Пайдаланылған әдебиеттер:</span>==
==Пайдаланылған әдебиеттер:</span>==
10-жол: 10-жол:
{{wikify}}
{{wikify}}
[[Санат:Ф]]
[[Санат:Ф]]
[[Санат: Философия]]
қатысушы:[[Қатысушы:Abay Izbassarov|Abay Izbassarov]] 13:31, 2011 ж. маусымның 19 (ALMT)
қатысушы:[[Қатысушы:Abay Izbassarov|Abay Izbassarov]] 13:31, 2011 ж. маусымның 19 (ALMT)

09:56, 2011 ж. шілденің 14 кезіндегі нұсқа

Формальды логикаой формаларын ұғымды, пайымдауды, ой түйіндеуді, дәлелдеуді логикалық құрылымдық жақтан, яғни ойдың нақты мазмұнына мән бермей және осы мазмұн бөліктері байланысының тек жалпы тәсілін жіктей отырып зерттейтін ғылым.
Формальды логиканың негізгі мақсаты – ақтық білімді алу процесінде ақиқат қорытындыларға жетудің қажетті шарты болып табылатын заңдарды, принциптерді тұжырымдау.
Формальды логика силлогистиканы талдаған Аристотель еңбектерінен бастау алады.
Формальды логиканың одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар (Петр Испанский, Дунс Скот, Оккам, т.б.), жаңа заманда – Лейбниц үлес қосты.
Математикалық логика пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.[1][2]

Пайдаланылған әдебиеттер:

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

қатысушы:Abay Izbassarov 13:31, 2011 ж. маусымның 19 (ALMT)