§ 2. ФОРМАЛЬНА ЛОГІКА ЯК НАУКА
§ 2. ФОРМАЛЬНА ЛОГІКА ЯК НАУКА
Щоб дати визначення логічної форми думки та вказати способи виявлення логічних форм різних думок, виділимо серед виразів природної мови терміни, які називаються логічними. До них відносяться спілки "і", "або", "якщо. те. ”, заперечення “невірно, що” (“не”), слова, що характеризують кількість предметів, про які стверджується чи заперечується: “все” (“жоден”), “деякі”, зв'язка “суть” (“є”) та ін. Процес виявлення логічної форми думки полягає у відволіканні від сенсу нелогічних термінів, що входять у словосполучення, що виражає цю думку. Зробити це можна у різний спосіб. Наприклад, опустити нелогічні терміни у словосполученні і поставити замість них крапки, штрихові та інші лінії. В результаті заміни нелогічних термінів трьома крапками та штриховою лінією з пропозиції “Всі адвокати - юристи” отримаємо вираз “Все. суть – – – ”.
Інший спосіб відволікання від сенсу нелогічних термінів полягає у заміні цих термінів особливими символами (змінними). При цьому замість різних входжень одного й того ж нелогічного терміна ставиться та сама змінна, а замість різних термінів — різні змінні. З іншого боку, замість термінів різних типів ставляться символи різних типів.
Виявимо логічні форми наступних міркувань:
(1) Усі студенти першого курсу Юридичного коледжу МДУ ім. М.В.Ломоносова вивчають логіку.
Деякі студенти першого курсу Юридичного коледжу МДУ ім. М.В.Ломоносова спеціалізуватимуться з цивільного права.
Отже, деякі студенти, які спеціалізуватимуться з цивільного права, вивчають логіку.
(2) Слідчий - юрист. Отже, освічений слідчий – освічений юрист.
Замінивши нелогічні терміни символами, отримаємо:
(1) Всі М суть Р. Деякі М суть S. Отже, деякі S суть Р.
(2) S є Р. Отже, sq є pq.
Цими виразами видаються логічні форми вихідних думок.
Таким чином, логічна форма думки - це її структура, що виявляється в результаті відволікання від смислів та значень нелогічних термінів.
Логічна форма змістовна, інформативна. Так, вираз, одержуваний внаслідок відволікання від смислів та значень нелогічних термінів першого міркування, несе таку інформацію: “Якщо всі предмети класу М включаються до класу Р і деякі предмети класу М включаються до класу S, то деякі предмети класу S включаються до класу Р ”.
Думки можна поділити на класи в залежності від типів їх логічних форм. Основні з цих класів складуть думки, звані поняттями, судженнями та висновками.
Поняття - це думка, в якій узагальнені та виділені предмети на основі системи ознак, загальної тільки для цих предметів, що виділяються. Приклад поняття: дія або бездіяльність, кваліфікована законом як кримінальний (поняття злочину).
Судженнями називаються думки, у яких стверджується наявність чи відсутність будь-яких положень справ. Приклади: "Людина отримала від Бога дві блаженні здібності - говорити правду і творити добро"; "Найкращий спосіб вивчити щось - відкрити це самому".
Висновок - це процес отримання знання, вираженого в судженні, з інших знань, теж виражених у судженнях. Прикладами висновків можуть бути наведені вище міркування (1), (2).
Зв'язки між думками за формами, за яких істинність одних із цих думок обумовлює істинність інших, називаються формально-логічними законами, чи логічними законами.
Зв'язок між думками у міркуванні (1) є логічний закон. Щоб встановити, чи є зв'язок між деякими вихідними висловлюваннями і висловлюванням, одержуваним у результаті міркування, логічним законом, необхідно замість нелогічних термінів підставляти ці висловлювання довільні терміни тих самих типів і навіть щоразу з'ясовувати, виявиться істинним одержуване висловлювання при істинності вихідних. Якщо завжди виявляється така залежність істинності висловлювань, то зв'язок між ними є логічним законом. Якщо знаходиться контрприклад, то закономірного зв'язку немає, і міркування не є правильним. Так, наведене вище міркування “Слідчий – юрист. Отже, «освічений слідчий — освічений юрист» є неправильним. Контрприкладом для нього може бути явно неправильне міркування:
Муха - тварина. Отже, велика муха - велика тварина.
У сучасній логіці розроблено простіші і продуктивніші методи виявлення закономірного зв'язку між думками. Ці методи викладаються у розділі " Висновок " .
Маючи поняття логічної форми та логічного закону, можна дати визначення формальної логіки.
Формальна логіка — це наука про форми мислення, про формально-логічні закони та інші зв'язки та відносини між думками щодо їх логічних форм.
Досліджуючи необхідні зв'язки між думками щодо логічних форм - логічні закони, логіка формулює твердження про істинність усіх висловлювань певної логічної форми. Ці твердження теж називаються законами, але, на відміну від логічних законів (зв'язків, які існують незалежно від того, знаємо ми про них чи ні) — законами (науки) логіки. Наприклад, встановивши,що завжди, коли істинні думки форм “Все М суть Р” і “Все М суть S”, істинна думка форми “Деякі S суть Р”, можна сформулювати закон логіки: “Для будь-яких S, Р і М вірно, що якщо все М суть Р і всі М суть S, деякі S суть Р”. Закони логіки, після того, як вони сформульовані, виступають як норми, відповідно до яких повинні здійснюватися міркування. У логіці розробляють також вимоги іншого роду, які рекомендується виконувати в процесі пізнання. Формальна логіка, таким чином, є нормативною наукою про форми, закони та прийоми інтелектуальної пізнавальної діяльності.
Мислення, яке здійснюється відповідно до вимог логіки, називається правильним. Формальна логіка, будучи наукою про правильне мислення, досліджує і систематизує також типові помилки, які здійснюються у процесі мислення, тобто. Типові алогізми.
Тривалий час роблять спроби розробити діалектичну логіку. Засоби цієї логіки повинні застосовуватися у випадках, коли не можна відволікатися від розвитку знання. У рамках діалектичної логіки розроблено низку методологічних принципів (конкретності, об'єктивності розгляду та ін.) та методів пізнання (сходження від абстрактного до конкретного та ін.).
Передбачається, що у процесі пізнання методи формальної логіки мають доповнюватися методами діалектичної логіки і навпаки.
Вправа
Описаним вище способом встановіть, чи є формально-логічними законами зв'язку за формами між вихідними судженнями і такими, що результують у наступних міркуваннях (тобто ці ці міркування правильними):
1. Усі злочинці підлягають кримінальному покаранню. Деякі жителі Москви підлягають карному покаранню. Отже, деякі жителі Москвизлочинці.
2. Усі студенти нашої групи – юристи. Усі студенти нашої групи – члени гуртка логіки. Отже всі члени гуртка логіки — юристи.
3. Деякі учасники цього злочину упізнані потерпілим. Жоден із членів сім'ї Петрових не впізнаний потерпілим. Ніхто з осіб, які не брали участь у скоєнні цього злочину, не притягнуто до кримінальної відповідальності за його скоєння. Отже, жоден із членів сім'ї Петрових не притягнуто до кримінальної відповідальності за скоєння цього злочину.
4. “Якщо помер Сократ, він помер або коли жив, або коли помер. Коли ж жив, то він не помер, бо один і той самий чоловік і жив би, і був би мертвий; але й не тоді, коли помер, бо він був би двічі мертвим. Отже, Сократ не помер. (Емпірик Секст. Соч. У 2 т. М., 1976. Т. 2. С. 289).
5. Усі метали – теплопровідні речовини. Усі метали – електропровідні речовини. Отже, усі електропровідні речовини є теплопровідними.