Принципи класичної логіки
Сама логіка - у широкому смислі - складається з багатьох окремих логік, але в цілому її можна поділити на дві частини: на логіку класичну і логіку некласичну.
Класична логіка - сукупність логічних теорій, що характеризуються класичною оцінкою істинних значень формул та класичним розумінням заперечення.
Класична оцінка формул полягає в тому, що головна інтерпретація розглядається як приписування кожній формулі одного з двох значень - «істинне» чи «хибне» - інші інтерпретації допускаються, але вважаються штучними. Класичне розуміння заперечення ґрунтується на визнанні положення, за яким подвійне заперечення рівноцінне ствердженню. Отже, класична логіка - це логіка бінарна, двозначна логіка, тобто на будь-яке запитання, твердження або заперечення вона дає відповідь: «так» або «ні». Прикладом мислення за таким принципом є комп’ютер, котрий будь-яку інформацію інтерпретує або як істинну, або як хибну. Тому калькулятор і комп’ютер можуть слугувати взірцем логічного мислення. Двозначність - специфіка класичної логіки; будь-яке відхилення від принципу двозначності неодмінно виводить за межі класичної логіки у царину некласичних логік.Окремими видами некласичної логіки є:
У алетична логіка (від грець. αληθινoς - 1) правильний, достеменний; 2) істинний, оригінальний) аналізує сенс термінів «необхідно», «можливо», «випадково» та їх модифікації; алетична модальність - це інформація, котра відбивається у термінах необхідності або можливості про логічну залежність між суб’єктом і предикатом судження;
S деонтична (від грець. Δεoντoς - обов’язок, належне) вивчає логічні зв’язки нормативних висловлювань, до складу яких входять терміни «дозволено», «обов’язково», «заборонено» та їх різновиди; діалектична модальність - це відбите у судженні спонукання людей до конкретних дій у формі (вигляді) поради, побажання, команди, правила поведінки або приказу, вимоги («забороняється переходити вулицю на червоне світло»);
S епістемічна логіка (від грець.
επιστημ∖∖α - наука) досліджує сенс термінів: «доведено», «спростовано», «сумніваюся» та ін.;S логіка оцінок вдається до термінів: «добре», «погано», «краще», «гірше», «байдуже»;
S релевантна логіка виділяє і систематизує тільки доречні (релевантні) принципи логіки, виключаючи всі інші, зокрема парадокси імплікації;
S темпоральна логіка (логіка часу) досліджує логічні зв’язки між висловлюваннями про минуле, сучасне, майбутнє.
З огляду некласичних логік видно, що основна їх властивість - це багатозначність, на відміну від класичної де, як вже зазначалося, є тільки два значення: «істина» або «хиба». Тому класичну логіку можна ще назвати «центральною логікою», оскільки всі інші походять від «класичної» і гуртуються навколо неї.
Яка ж типова властивість притаманна класичній логіці, і що конкретно вона вивчає? Типовим для класичної логіки є виділення лише чотирьох формальних законів мислення, - це так зване логічне гирло, за межі якого вона ніколи не виходить - закон тотожності, закон несуперечності, закон виключеного третього та закон достатньої підстави.
Оскільки логіка вивчає міркування (точніше правильне міркування), потрібно визначити, чим правильне (логічне) міркування відрізняється від просто міркування. Міркування - це зіставлення думок, пов’язування їх задля відповідних висновків. Правильне міркування (логічне) - це міркування, в якому думки (висновки) з необхідністю випливають з інших думок (засновків).
Найпоширеніша помилка плутати принцип логічного випливання з хронологічною, часовою послідовністю - історичною: послідовність двох дій (явищ) у часі сприймається за причинний зв'язок між ними. На цій помилці ґрунтується багато забобонів. Плин - одна справа, а логічна послідовність - зовсім інша, не обов’язково, щоб вони співпадали. Наприклад, людина йде у своїх справах, їй перетинає стежку чорний кіт, після чого з нею трапляється неприємність; людина робить висновок, що причина лиха полягає у тому чорному коті - хронологічна послідовність займає місце логічної і призводить хибні висновки.
4.