Розділ І. Предмет логіки

1. Визначення логіки як науки

2. Формальні та змістовні правила міркування

Наведені приклади яскраво свідчать про те, наскільки важливо знати правила та закони мислення і вміти їх застосовувати у практиці міркувань. Отже, фундамент культури мислення складають правила і закони мислення. Недаремно дуже поширеним став термін "логічне мислення", тобто мислення, яке відповідає спеціальним правилам. Фактично наше мислення керується двома видами правил: формальними та змістовними (методологічними).

Щодо різних сфер людської діяльності формальне правило можна визначити так: ф о р м а л ь н и м називається правило, застосування якого передбачає даним (відомим) тільки форму того, що перетворюється згідно з цим правилом, незалежно від знання (або наявності) змісту перетворюваного.

Формальні правила логіки застосовують до окремих думок, тобто, до формул, що виражають ці думки. Думка, в якій фіксується відображення предмета через сукупність його суттєвих ознак, називається поняттям (наприклад, держава, злочин, книга), а думка, в якій фіксується зв'язок предмета та його ознаки - судженням (наприклад, "Крадіжка - злочин", "Шахрайство не є посадовим злочином"). Тобто, застосовуючи формальні правила логіки, ми звертаємося до форми понять і суджень.

Звідси, для перетворення понять і суджень за формальними правилами слід виділити їх форму у "чистому" вигляді, тобто, у відокремленому від змісту перетворюваних понять і суджень.

Під змістом поняття розуміють його смисл (ознаку об'єкта, відображуваного в понятті) і значення (сукупність об'єктів, що є носіями цієї ознаки). У свою чергу зміст судження складають його смисл (знання того, що і про що конкретно в ньому стверджується) і значення (його істинність або хибність).

З м і с т о в н і правила беруть до уваги саме зміст того, що згідно з ними перетворюється.

Розглянемо на прикладі відмінність формальних правил від змістовних. Звернемося до правил, що перетворюють форму складних суджень (тобто суджень, що складаються з простих, поєднаних сполучниками "і", "або", "якщо, ... то" тощо).

Візьмемо два судження:

1. Варшава - столиця Франції.

2. Якщо Варшава - столиця Франції, то 2x2=4.

До цих суджень можна застосувати одне з формальних правил логіки, яке допоможе одержати нове судження або висновок. Це правило має вигляд:

"2x2=4" - у. При цьому не має значення чи істинні 1-ше і 2-ге судження, чи мають вони взагалі який-небудь смисл. Так, очевидно, що перше судження хибне, а друге навряд чи хто прийме за таке, що має смисл у звичайному розумінні цього слова. У цьому судженні немає смислу між простими судженнями, пов'язаними сполучником "якщо..., то". Наведений приклад показує, що для застосування формального правила істинність суджень та їхній зв'язок за смислом не суттєві. Це характерно для будь-якого формального правила логіки.

Отже, смисл суджень (те, що і про що говориться в ньому) та його значення (істинність та хибність) можна залишити поза увагою як таке, що не є суттєвим для застосування формальних правил логіки. А якщо це так, то, позначивши судження "Варшава - столиця Франції" буквою А, а судження "2x2=4" буквою В отримаємо формулу складного судження: "Якщо Варшава столиця Франції, то 2x2=4" у вигляді

Коли виявиться, що судження "А" та судження "якщо А, то В" істинні, то обов'язково буде істинним і "В". У випадку їх хибності істинність "В" негарантована.

Отже, головною властивістю формальних правил є можливість їх застосування на основі знання тільки форми понять, суджень.

Процес мислення, підпорядкований формальним правилам логіки (або формально-логічним правилам), є формально-логічно правильним. Іншими словами, якщо хтось, розмірковуючи, із суджень форми "А" і "якщо А, то В" робить висновок "В", то він міркує формально-логічно правильно. А якщо хтось намагається зробити висновок із суджень "В" і "якщо А, то В", то він міркує формально-логічно неправильно, оскільки немає такого правила за яким можна було б зробити подібний висновок.

Формально-логічні правила є важливим об'єктом дослідження логіки. Вона їх систематизує і будує з них різні системи, які називаються логіками (наприклад, класична логіка висловлювань, класична логіка предикатів). Якщо взяти для прикладу класичну логіку висловлювань, то в ній формально-логічних правил безліч. Але в звичайному процесі мислення використовується невелика кількість формальних правил, крім того, багато з них набувається нашим мисленням стихійно, без спеціального вивчення. Річ у тому, що логіка не тільки впливає на формування культури мислення, вона необхідна насамперед для побудови та аналізу наукових теорій, для розв'язання ряду науково-технічних проблем, де й знаходять своє повне застосування ці правила. Можна знати всі системи формальних правил, але мислити незадовільно з погляду логіки.