Логика дегеніміз не?

Логика - пайымдау ғылымын анықтайтын сөз. Логиканың тағы бір түсінігі «дұрыс пен бұрыс пайымдауды ажырату үшін қолданылатын әдістер мен принциптерді зерттеу». Бұл ғылым бірнеше ұғымдарды қамтиды, олардың ішінде аргументация, математика және информатика. Төменде қай өрістерде логиканы қолдануға болатынын тексеріңіз.

Логика сөзі гректің logos сөзінен шыққан және белгілі бір пайымдау тәсілімен байланысты. Логика - философиялық зерттеуге кіріспе ретінде қарастырылатын философия саласы, өйткені ол логотиптерге, ақылға, сөздерге, дискурсқа қатысты және пайымдау мен дәлелдеуді талап ететін нәрсе туралы ойлайды.

Платонның шәкірті грек философы Аристотель логиканы түсінудегі өте маңызды тұлға. Ол бірінші болып осы тақырыпты зерттеп, тіл барлық нәрсенің ортасында: қарым-қатынас, өнер, абстрактілі ойлау және ғылыми зерттеу екенін анықтады. Бірақ, оның жұмыс істеуі үшін лингвистикалық алғышарттарды ұстану керек.

Ғылым ретінде ұсынылған логиканы Аристотель ондай көрмеген. Қысқаша айтқанда, силлогизм - бұл ұсыныстар арқылы жасалған дәлел. Бұл қорытындыға келу үшін дедукцияны қолданатын пайымдаудың бір түрі, сондықтан бірнеше мәселелер немесе логикалық ойындар бар.

Пайдалану ғылымымен ынтымақтасқан тағы бір философ 19 ғасырда неміс Готлоб Фреге болды. ескерттілогиканы жақсы түсіну үшін математиканың қажеттілігі. Бұл алғышартты жүзеге асыру үшін Фреж предикаттық есептеуді, яғни математикалық дедукция арқылы лингвистикалық ұсыныстарды зерттейтін әдісті әзірледі.

Мына жерден қараңыз Метафизика мағынасы туралы.

Аристотельдік логика

Аристотельдік логиканың анықтамасы логиканы ойлау арқылы зерттейді. Себебі, грек философы логиканы ойды растайтын механизм деп есептеген. Ұғым, пайымдау және пайымдау логиканың алғышарттары болып табылады. Аристотельдік логиканың сипаттамалары: аспаптық, формальдық, пропеневтикалық/алдын ала, нормативті, дәлелдеу ілімі және жалпы/уақытсыз.

Аристотель де пайымдаулар ойды құрайтын логиканың негізі ретінде ұсынысты көрсетті. Пікірлер – субъектіге предикаттар (сапалар) беретін байланыстар, мұндай ұсыныстар силлогизмдер деп аталады. Силлогизм – философиялық және ғылыми ойлардың бірлестігі.

Тілдік логиканың негіздері деп аталатын Аристотельден келген пайымдау XIII ғасырға дейін созылған ортағасырлық логиканың шарықтау шегіне жетті. Негізгі ортағасырлық философтар Александр Афродизия, Порфирий және Гален болды. Ортағасырлық логиканың классификациясы ойды дәлелдеу үшін дәлдікпен пайымдау туралы ғылым болды.

Программалау логикасы

Программалау логикасы өңдеуден тұрады.логикалық тізбектер. Оның негізгі принциптері - нұсқалар мен тұрақтылар, мәнді білдіретін және қайталауды қажет етпейтін атаулар, сондай-ақ 1-түрге: мәтінге, 2-түр: бүтінге, 3-түрге: нақты және 4-түрге: логикаға бөлінген деректер түрлері, сипаттамалар қалай орындалатынын қараңыз. осы деректер түрлерінің:

1-түрі: әдетте қос тырнақшаға алынған бір немесе бірнеше таңбалар жолы. Бос орындар да символдар болып табылады;

2-түр: ондық таңбасыз теріс және оң сандық мәндер;

3-түр: ондық таңбалы теріс және оң сандық мәндер;

4-түр: ИӘ, ЖОҚ, ШЫН және ЖАЛҒАН сияқты баламалар.

Жоғарыда аталған ұғымдармен жазылған логикалық тізбектер торт рецепті сияқты жұмыс істейтін алгоритмдер деп аталады. Алгоритмдер компьютерге әрбір логикалық реттілікте не істеу керектігін көрсетеді. Алгоритмдер жоғары немесе төмен деңгейлі болуы мүмкін бағдарламалау тілін қолдану арқылы жазылады.

Жоғары деңгейлі бағдарламалау тілін түсіну оңай, себебі, біріншіден, команда диаграммада, мақсатқа түрлендіру арқылы жасалады. action, SQL (Specification Design Language) жоғары деңгейлі тілдің мысалы болып табылады. Төмен деңгейлі тіл әріптермен және сандармен көрсетілген құрылғыға тікелей нұсқауларды білдіреді. ASSEMBLY тілі төмен деңгейлі тілдің мысалы болып табылады.

Мына жерден қараңыз туралы барлығы Рационализм .

Дәлелдеу логикасы

Дәлелдеу логикасы - адамды сендіру үшін пайымдауды қалай қолдану керек. Бұл логикада қорытындыға жету үшін ұсыныстар немесе мәлімдемелер тізбегі біріктіріледі. Аргументация логикасының негізгі ұғымдары: дәлелдеу, аналогиялар, қорытындылар, дедукциялар және қорытындылар, мұндағы:

Аргументация — алғышарттардың немесе гипотезалардың жиынтығы және олардың нәтижесі қорытынды деп аталады. Мысал: p1: Барлық Гоянос кантри музыкасын айтады, p2: Барлық кантри әншілері музыканы ұнатады және p3: Гойастың барлық адамдары кантри музыкасын айтады;

Аналогия - дәлелдер арасындағы салыстыру, мысал: «Жарық күн үшін. өйткені қараңғылық түнге арналған»;

Тұжырымдама - бастапқы алғышарттар жиынтығын пайдалана отырып, қорытындыға жету. Қорытындының екі түрі бар: дедукция және индукция. Шегерімде ақпарат нақты немесе ұсынылған түрде үй-жайда болады, мысалы: Предлог А: Құстардың тұмсығы бар. В предлогы: Құстардың жаңа түрі табылды. Қорытынды: Жаңа түрдің тұмсығы бар. Индукцияда үй-жайлар қорытындыға келу үшін жеткілікті ақпаратты береді. Индукцияда қорытынды ең қолайлы ықтималдықпен алынады. Мысал: Барлық құстардың тұмсығы болса, жаңа түрдің де тұмсығы болуы керек.

Логиканың мағынасы Философия санатында

Қараңызсонымен қатар:

• Этиканың мәні
• Гносеологияның мәні
• Гносеологиялық мәні
• Метафизиканың мәні
• Моралдың мәні
• Әлеуметтанудың мәні
• Эмпиризмнің мәні
• Эмпирикалық білімнің мәні
• Ағартушылықтың мәні
• Рационализмнің мәні