لوگىكا دېگەن نېمە؟

لوگىكا تەپەككۇر ئىلمىنى بەلگىلەيدىغان سۆز. لوگىكانىڭ يەنە بىر ئۇقۇمى «توغرا تەپەككۇر بىلەن توغرا پەرقلەندۈرۈشتە قوللىنىلغان ئۇسۇل ۋە پرىنسىپلارنى تەتقىق قىلىش». بۇ ئىلىم تالاش-تارتىش ، ماتېماتىكا ۋە ئۇچۇرلاشتۇرۇش قاتارلىق بىر قانچە ئۇقۇمنى ئۆز ئىچىگە ئالىدۇ. قايسى ساھەدە لوگىكا ئىشلىتەلەيدىغانلىقىمىزنى تەكشۈرۈپ بېقىڭ.

لوگىكا سۆزى گرېتسىيە بەلگىسىدىن كەلگەن بولۇپ ، كونكرېت پىكىر قىلىش ئۇسۇلى بىلەن مۇناسىۋەتلىك. لوگىكا پەلسەپە تەتقىقاتىنىڭ مۇقەددىمىسى دەپ قارالغان بىر ساھە ، چۈنكى ئۇ لوگو ، سەۋەب ، سۆز ، نۇتۇق بىلەن مۇناسىۋەتلىك ۋە پىكىر ۋە تالاش-تارتىشنى تەلەپ قىلىدىغان نەرسىنى ئەكىس ئەتتۈرىدۇ.

ئەپلاتوننىڭ شاگىرتى گرېتسىيە پەيلاسوپى ئارىستوتىل لوگىكىنى چۈشىنىشتىكى ئىنتايىن مۇھىم شەخس. ئۇ تۇنجى بولۇپ بۇ تېمىنى تەتقىق قىلىپ ، تىلنىڭ ھەممە ئىشنىڭ مەركىزىدە ئىكەنلىكىنى ، يەنى ئالاقە ، سەنئەت ، ئابستراكت تەپەككۇر ۋە ئىلمىي تەتقىقات ئىكەنلىكىنى بەلگىلىدى. ئەمما ، ئۇنىڭ ئىشلىشى ئۈچۈن تىل سورۇنلىرىغا ئەگىشىش كېرەك.

ئىلىم سۈپىتىدە ئوتتۇرىغا قويۇلغان لوگىكا ئارىستوتىل تەرىپىدىن كۆرۈلمىگەن. قىسقىچە قىلىپ ئېيتقاندا ، سىلوگىزىم تەشەببۇسلار ئارقىلىق شەكىللەنگەن تالاش-تارتىش. ئۇ يەكۈن چىقىرىش ئارقىلىق يەكۈن چىقىرىشنىڭ بىر خىل تەپەككۇر شەكلى ، شۇڭا بىر قانچە مەسىلە ياكى لوگىكىلىق ئويۇنلار بار.

تەپەككۇر ئىلمى بىلەن ھەمكارلاشقان يەنە بىر پەيلاسوپ 19-ئەسىردە گېرمانىيە گوتلوب فرېگ ئىدى. ئۇ ئاگاھلاندۇردىلوگىكىنى تېخىمۇ ياخشى چۈشىنىش ئۈچۈن ماتېماتىكىنىڭ ئېھتىياجى. بۇ ئالدىنقى شەرتنى ئەمەلگە ئاشۇرۇش ئۈچۈن ، فرېگ ئېنىق ھېسابلاش ئۇسۇلىنى تەپسىلىي بايان قىلدى ، بۇ ئۇسۇل ماتېماتىكىلىق تۇتۇپ قېلىش ئارقىلىق تىل تەكلىپلىرىنى تەتقىق قىلىدىغان ئۇسۇل>

ئارىستوتىل لوگىكىسى

ئارىستوتىل لوگىكىسىنىڭ ئېنىقلىمىسى لوگىكا تەپەككۇر ئارقىلىق تەتقىق قىلىش. چۈنكى ، گرېتسىيە پەيلاسوپى لوگىكا تەپەككۇرنى دەلىللەيدىغان مېخانىزم دەپ قارىغان. ئۇقۇم ، ھۆكۈم ۋە پىكىر لوگىكىنىڭ سورۇنى. ئارىستوتىل لوگىكىسىنىڭ ئالاھىدىلىكى: ئەسۋاب ، رەسمىي ، پروپېنتىك / دەسلەپكى ، قېلىپلاشقان ، ئىسپاتلاش تەلىماتى ۋە ئومۇمىي / ۋاقىتسىز. تەكلىپلەر مەلۇم بىر تېمىغا ئالدىن پەرەز (سۈپەت) بېرىدىغان ئۇلىنىش بولۇپ ، بۇ خىل تەكلىپلەر سىلوگىزىم دەپ ئاتىلىدۇ. سىلوگىزىم پەلسەپىۋى ۋە ئىلمىي ئىدىيەلەرنىڭ بىرلىشىشى. ئوتتۇرا ئەسىردىكى ئاساسلىق پەيلاسوپلار ئافرودىسىيە ، پورفىرى ۋە گالېنلىق ئالېكساندېر ئىدى. ئوتتۇرا ئەسىردىكى لوگىكا تۈرگە ئايرىش تەپەككۇرنى دەلىللەش ئۈچۈن توغرا ھۆكۈم قىلىش ئىلمى ئىدى.لوگىكىلىق تەرتىپلەر. ئۇنىڭ ئاساسلىق پرىنسىپلىرى ۋارىيانت ۋە تۇراقلىق بولۇپ ، قىممەتكە ۋەكىللىك قىلىدىغان ۋە تەكرارلاشنى تەلەپ قىلمايدىغان ئىسىملار ، شۇنداقلا سانلىق مەلۇمات تىپلىرى بولۇپ ، 1-تىپ: تېكىست ، 2-تۈر: پۈتۈن سان ، 3-تۈر: ھەقىقىي ۋە 4-خىل: لوگىكىلىق ، تەسۋىرلەرنىڭ قانداق بولىدىغانلىقىنى تەكشۈرۈپ بېقىڭ. بۇ سانلىق مەلۇمات تىپلىرىنىڭ:

1-تىپ: بىر ياكى بىر نەچچە ھەرپنىڭ تىزمىسى ، ئادەتتە قوش تىرناق ئىچىگە ئېلىنىدۇ. بوشلۇقمۇ ھەرپلەر ؛

2-تۈر: ئونلۇق ئورۇنسىز مەنپىي ۋە مۇسبەت سان قىممىتى ؛> 4-خىل: ھەئە ، ياق ، ھەقىقىي ۋە يالغانغا ئوخشاش تاللاشلار.

يۇقارقى ئۇقۇملار بىلەن يېزىلغان لوگىكىلىق تەرتىپ تورت رېتسىپىغا ئوخشاش ئالگورىزىم دەپ ئاتىلىدۇ. ئالگورىزىم كومپيۇتېرغا ھەر بىر لوگىكىلىق تەرتىپتە نېمە قىلىش كېرەكلىكىنى كۆرسىتىپ بېرىدۇ. ھېسابلاش ئۇسۇلى يۇقىرى ياكى تۆۋەن سەۋىيىدىكى پروگرامما تىلى ئارقىلىق يېزىلغان.

يۇقىرى سەۋىيىلىك پروگرامما تىلىنى چۈشىنىش ئاسان ، چۈنكى ، بىرىنچىدىن ، بۇيرۇق دىئاگراممىدا ياسالغان بولۇپ ، كۆزلىگەن مەقسەتكە ئۆزگەرتىش ھەرىكەت ، SQL (ئۆلچەم لايىھىلەش تىلى) يۇقىرى سەۋىيىلىك تىلنىڭ مىسالى. تۆۋەن دەرىجىدىكى تىل ھەرپ ۋە سان بىلەن ئىپادىلەنگەن ئۈسكۈنىگە بىۋاسىتە كۆرسەتمىلەرنى كۆرسىتىدۇ. ASSEMBLY تىلى تۆۋەن دەرىجىلىك تىلنىڭ مىسالى.

بۇ يەرنى كۆرۈڭ ئاقىلانىلىك . بۇ لوگىكىدا ، تەكلىپ ياكى بايانلارنىڭ رەت تەرتىپى بىرلەشتۈرۈلۈپ يەكۈن چىقىرىلىدۇ. تالاش-تارتىش لوگىكىسىنىڭ ئاساسلىق ئۇقۇملىرى: تالاش-تارتىش ، ئوخشىتىش ، يەكۈن ، يەكۈن ۋە يەكۈن ، بۇ يەردە:

تالاش-تارتىش بىر يۈرۈش سورۇن ياكى پەرەز بولۇپ ، ئۇلارنىڭ نەتىجىسى خۇلاسە دەپ ئاتىلىدۇ. مىسال: p1: بارلىق گويانوسلار سەھرا مۇزىكىسىنى ئېيتىدۇ ، p2: بارلىق دۆلەت ناخشىچىلىرى مۇزىكىنى ياخشى كۆرىدۇ ، p3: گويادىكى بارلىق كىشىلەر سەھرا مۇزىكىسىنى ئېيتىدۇ ؛

ئوخشىتىش تالاش-تارتىشلارنى سېلىشتۇرۇش ، مەسىلەن: «نۇر بىر كۈن ئۈچۈن. قاراڭغۇلۇق كېچىگە ئوخشاش »؛

يەكۈن بىر يۈرۈش دەسلەپكى سورۇنلارنى ئىشلىتىپ يەكۈن چىقارماقتا. يەكۈن چىقىرىش ۋە كىرگۈزۈشتىن ئىبارەت ئىككى خىل يەكۈن بار. تۇتۇپ قېلىشتا ، ئۇچۇرلار ئېنىق ياكى تەۋسىيە قىلىنغان سورۇندا ، مەسىلەن: ئالدىن تاللاش: قۇشلارنىڭ تۇمشۇقى بار. B خىل تاللاش: قۇشنىڭ يېڭى تۈرى بايقالدى. خۇلاسە: يېڭى تۈرنىڭ تۇمشۇقى بار. كىرىشتۈرۈشتە ، سورۇن يېتەرلىك ئۇچۇر بىلەن خۇلاسە چىقىرىدۇ. كىرگۈزۈشتە ، ئەڭ مۇۋاپىق ئېھتىماللىق بىلەن يەكۈن چىقىرىلىدۇ. مىسال: ئەگەر بارلىق قۇشلارنىڭ تۇمشۇقى بولسا ، يېڭى جانلىقلارنىڭمۇ تۇمشۇقى بولۇشى كېرەك.

لوگىكىنىڭ مەنىسى پەلسەپە تۈرىدە

قاراڭيەنە:

• ئەخلاقنىڭ مەنىسى
• تارقىلىشچان كېسەللىكنىڭ مەنىسى
• تارقىلىشچان كېسەللىكنىڭ مەنىسى
• مېتافىزىكىنىڭ مەنىسى
• ئەخلاقنىڭ مەنىسى
• جەمئىيەتشۇناسلىقنىڭ مەنىسى
• تەجرىبىنىڭ مەنىسى
• تەجرىبە بىلىملىرىنىڭ مەنىسى
• مەرىپەتنىڭ مەنىسى
• ئاقىلانىلىكنىڭ مەنىسى