3. Поняття про логічну форму

Формальна логіка вивчає логічну форму. Для визначення логічної форми розглянемо декілька прикладів:

“Суворов був хоробрим”, “День був дощовим”, “Пісня була мелодійною”. В цих прикладах мова йде про різні предмети (Суворов, день, пісня), про їх різні властивості (хоробрий, дощовий, мелодійна). Зміст цих висловлювань – різний. Однак, є щось, що об’єднує ці висловлювання – (був) – це форма зв’язку частин змісту. Форма зв’язку частин змісту, що мислиться, називається логічною формою.

4. Поняття про логічні постійні

Слова, що описують дійсність, в логіці називаються описуючими термінами, або дескриптивними термінами (день, поле, Іван, студент, прекрасний, три і т. д.). Дескриптивні терміни, що описують імена предметів, називаються термамиі позначаються буквою “S”. Дескриптивні терміни, що описують властивості предметів або їх взаємовідносини, називаютьсяпредикаторамиі позначаються буквою “Р”. Заміна слів буквами називаєтьсяпропозіціональною функцією.

Слова за допомогою яких зв’язуються частки змісту називаються логічними термінами, або логічними постійними.

Основні логічні постійні:

Заперечення , “і” –, “або” –,

“існує” - ,“всі” -, “якщо, то” - .

“тоді і тільки тоді, коли” - ↔.

5. Поняття про правильне мислення

Формальну логіку цікавить процес пізнання з боку одержання істинного знання. Здобути істинне знання можна тільки при умові правильного мислення. Правильне мислення– це мислення, яке відповідає трьом умовам: визначеності, послідовності, доказаності.

6. Основні закони формальної логіки:

• закон тотожності, який характеризує визначеність мислення;

• закон протиріччя;

• закон виключного третього, які характеризують послідовність мислення;

• закон достатньої підстави, який характеризує доказовість мислення.

а) закон тотожності:всяка думка тотожна сама собі.

Р эР, Р = Р, Р→ Р (якщо Р, то Р)

З допомогою математичної логіки закон записується:

Суть закону: не можна міняти зміст і обсяг понять в процесі мислення, тому що в такому разі можлива помилка “підміни понять”.

б) закон протиріччя:два судження, які знаходяться у відношенні заперечення, не можуть бути одночасно істинними; одне з них обов’язково хибне.

Закон записується: Р не є не - Р, ,

Закон застосовується тільки тоді, коли мова іде про один предмет, в один і той же час, в одному і тому ж відношенні.

в) закон виключного третього:з двох суджень, в одному з яких стверджується те, про що заперечується в іншому, одне обов’язково істинне і третього не дано (tertiutn non datur).

Закон записується: ,.

г) закон достатньої підстави: всяка істинна думка повинна бути підтверджена іншими думками, істинність яких вже доказана, тобто повинна бути встановлена їх відповідність дійсності.

Думки, які використовуються для підтвердження, називаються логічною підставою;думки, які необхідно підтвердити –логічним наслідком.

Всяка істинна (доказана) думка має достатню підставу.

Закон записується ….

Лекція 2. Поняття, їх логічні ознаки та аналіз

1. Загальна характеристика поняття.

2. Логічні прийоми утворення понять.

3. Логічна структура понять.

4. Види понять.

5. Відношення між об’ємами понять.

6. Операції над класами понять.

7. Основні закони логіки класів.

8. Закони доповнення.