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

Закон є результатом відображення необхідного, істотного, сталого і багаторазово повторюваного зв»язку між предметами і явищами реаль­ної дійсності.

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

У формальній логіці найбільш відомі чотири основних закони: то­тожності, несуперечності, виключеного третього, закон достатньої під­стави.

Перші три закони були сформульовані ще Арістотелем. Ці закони можуть бути виражені у вигляді формул математичною символікою.

Закон тотожності: обсяг і зміст понять (суджень) повинні бути строго визначеними і лишатися незмінними у процесі логічних мірку­вань (a = a; a → a; a θ а).

Закон несуперечності: у процесі міркування про який-небудь предмет не можна одночасно стверджувати і заперечувати що-небудь в одному і тому самому відношенні, в один і той самий час (a л a ).

Закон виключеного третього: з двох суперечних суджень одне по­винно бути істинним, друге — хибним, третього бути не може (a v a ).

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

Питання та завдання для самоконтролю

1. Що таке судження як форма логічного мислення?

2. Яка структура судження?

3. Поясніть,чому існують різні форми судження?

4. Що таке квантори,назвіть їх види?

Теми для написання рефератів

1. Риторичні питання і судження.

2. Судження як відображення дійсності.

3. Значення та функції судження в логіці.

4. Історія і сучасність судження.

5. Форма і структура судження.

Література

1. Гетманова А. Д. Логика : Словарь и задачник: Учебн. Пособие для ВУЗов. — M.: Гуманитарное изд. Центр ВЛАДОС, 1998—С. 159—172.

2. Гетманова А. Д. Логика: Учебник для студентов пед. ВУЗов. — M.: Высшая школа, 1986—С. 65—83.

3. Горский Д. П. Логика. — M., 1963.,c. 28—56.

4. Иванов Е. А. Логика. Учебник. — M.: Издательство БЕК, 1998., C. 98—103.

5. Івін А. А. Логика: учебник для ВУЗов. — M.: Гардарика, 1999. — С. 146.