§ 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. Всі метали - теплопровідні речовини. Всі метали - електропровідні речовини. Отже, все електропровідні речовини є теплопровідних.