Розділ «2.5. Логіко-семантичні та формально-логічні концепції істини»

1. Висловлювання А і В - істинні.

2. Висловлювання А - істинне, висловлювання Б - хибне.

3. Висловлювання А - хибне, висловлювання В - істинне.

4. Висловлювання А і В - хибні.

Опис стану (state description) - термін, який ввів у логічну семантику Р. Карнап з метою визначення розподілу істиннісних значень висловлювання в певній мові 5 (системи простих висловлювань). Опис стану визначено Р. Карнапом так: "Клас висловлювань у системі S, який містить для кожного прості (атомарні) висловлювання або саме це висловлювання чи його заперечення, але те й інше разом і не містить жодних інших висловлювань". Отже, існує система що складається з п - кількості простих (атомарних) висловлювань а, в, с,п (1 < п > об). Кожне окреме просте висловлювання має лише два описи стану: (і) та (х).

Кожна пара простих висловлювань (а, в) має чотири описи стану: - 1) і, і; 2) і, х; 3) х, і; 4) х, х.

Для трьох простих висловлювань (а, в, с) буде вісім описів стану і т. д.

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

- висловлювання логічно істинно тоді й лише тоді, коли воно істинно в усіх описах стану;

- висловлювання фактично істинно тоді й лише тоді, коли воно істинно не в усіх описах стану, а хоча б в одному.

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

Формальна правильність - властивість міркувань відповідати вимогам законів логіки. Зв'язок між істинністю міркувань за змістом та їх формальною правильністю за логічною формою не має логічно необхідного характеру, що означає: певне міркування може бути логічно правильно побудоване за формою, але не є істинним за змістом. Це виникає тоді, коли навмисно або ненавмисно порушуються закони логіки (див. 3.3).

Список рекомендованої літератури

Антология средневековой мысли: В 2 т. - С.-Пб., 2001.

Аристотель. Сочинения: В 4 т. - М., 1978.

Арутюнова Н. Предложение и его смысл (логико-семантические проблемы). - М., 1976.

Віт генш тайн Л. Trac ta tus logico-phslosophicus. Філософські дослідження. - К., 1995.

Дамміт M. Логічні основи метафізики. - К., 2001.

Дэвидсон Д. Истина и значение // Новое в зарубежной лингвистике. 1986. - Вып. 18.

Жоль К. Мысль. Слово. Метафора. - М., 1987.