Тема 3: Логічний аналіз висловлювань

Основні терміни:

Дескриптивне висловлювання, значення істинності, логіка висловлювань, логічні сполучники, кон'юнкція, диз'юнкція, імплікація, еквіваленщя, заперечення, логічний закон, логічне протиріччя, виконуване висловлювання, закон тотожності, закон протиріччя, закон виключеного третього, запитання передумова запитання, контекст промовляння, логічно коректні запитання, логічно некоректні запитання, семантично некоректні запитання, синтаксично некоректні запитання, провокаційні запитання, абсурдні запитання, тавтологічні запитання, лопчно тавтологічні запитання, фактично тавтологічні запитання, правильна відповідь, сильна відповідь, слабка відповідь, неправильна відповідь, лопчно тавтологічні відповіді, фактично тавтологічні відповіді, нерелевантні відповіді

Визначення термінів можна знайти у розділі "Словник основних термінів логіки"

3.1. Поняття про дескриптивне висловлювання.

У логіці досліджуються різноманітні види висловлювань дескриптивні, модальні, імперативи, запитання, норми тощо Найпростішими з них вважаються дескриптивні висловлювання

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

У природній мові таким висловлюванням відповідають розповідні речення

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

90

Якщо вас не задавольнило рішення АТарського, подумайте самостійно над цим парадоксом і запропонуйте власне розв'язання

Більш докладно цей матеріал ви можете подивитися у підручнику Хоменко IB Логгка-юристам - К, 1997 - С 30-37 (теорія), С254 (практика)

Контрольні запитання

1. Що таке вимір знакового процесу'

2. Охарактеризуйте основні виміри знакового процесу синтактику,

семантику, прагматику

3 Чи можливі такі знакові ситуації, де деякі виміри зникають? Наведіть

приклади

4. Визначіть вимір такої знакової ситуації студент складає іспит

5. Чи може бути така знакова ситуація, коли відсутні всі виміри?

6. Що таке рівень знакового процесу?

Додаткова література до теми ■* Семіотичний характер логіки*

Для вивчення теми «Семіотичний характер логіки» ви можете також застосовувати таку літературу

Брюшинкин В.Н Практический курс логики для гуманитариев - М, 1996 - С 8-23

Войшвилло Е К, Дегтярев М Г Логика - М , 1998 - С 42-56

Ивин А А Логика - М, 1998 - С 25-28, 80-88

Ивлев Ю В Логика - М ,1998 - С 16-17

Конверський А Є Логіка - К, 1999 - С 35-44

Хоменко І В Лопка в задачах - К, 1998 - С 12-17

Хоменко І В, Алексюк ІА Основи логіки - К , 1996 - С 39-55

93

Алфавіт Знаки змінних логіки висловлювань:

Р, q, r, s

Ці знаки служать для позначення простих висловлювань природної мови

У зв'язку з цим їх називають пропозиційними змінними

Знаки логічних сполучників:

- - знак заперечення ( читається "не", "невірно, що "), л - знак кон'юнкції (читається « і »), v - знак диз'юнкції (читається « або »), -* - знак імплікації ( читається «якщо , тоді »), *• - знак еквіваленті ( читається « тоді і тільки тоді, коли ») Ці знаки служать для позначення граматичних сполучників природної мови

Технічні знаки:

( - ліва дужка,

) - права дужка,

, - кома

Ці знаки в мові лопки висловлювань вионують роль знаків пунктуації природної мови

З'ясуємо тепер який вираз можно вважати формулою лопки висловлювань

1. Усяка пропозиційна змінна є формулою,

2. Якщо А - формула, тоді -А також є формулою,

3 Якщо А і В - формули, то АлВ, AvB, A-»B, А**В також є формулами Використовуючи мову лопки висловлювань можна формалізувати

різноманітні дескриптивні висловлювання та міркування, які містять ці висловлювання Для того, щоб формалізвувати будь-яке дескриптивне висловлювання необхідно зробити такі кроки

а) виділити усі прості висловлювання, які входять до складного висловлювання, та позначити їх пропозиційними змінними

92

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

Декскриптивні висловлювання можуть бути оцінені як істинні або хибні Якщо факт, який описується у висловлюванні, має місце в дійсності, то таке висловлювання буде істиним, якщо - ні, то воно буде визнане хибним

Істинність та хибність називаються логічними значеннями висловлювання, або його значеннями істинності.

Сама проблема визначення логічного значення висловлювання не входить до компетенції лопки У ній лише передбачається що кожному з них можна приписати певне логічне значення

Принцип, відповідно до якого висловлювання може бути тільки істинним або хибним, отримав у логіці назву принципу двозначності. Слід зазначити, що у реальній практиці цей принцип не завжди є прийнятним Так, наприклад, оцінки, норми, несінітш твердження тощо зовсім не мають значень істинності Існують також висловлювання, які можуть набувати деякі «невизначеш» лопчт значення, проміжні між повною істиною та повною хибою

Усі дескриптивні висловлювання поділяються на прості та складні

Виловлювання називається простим, якщо воно не включає в себе як самостійні частини інші висловлювання, інакше воно називається складним.

Наприклад, висловлювання «Вирок - вид судового рішення», «Право регулює громадські стосунки» є простими висловлюваннями, а твердження «Злочин може бути вчинений умисно або з необережності», «Якщо боржник виплачує свій борг, тоді зобов'язання припиняється» є складними висловлюваннями

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

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

95

3.2. Логічні сполучники та іх табличне визначення

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