Природна мова є найнеобхіднішим інструментом людини в його інтелектуальної діяльності. Однак саме мова часто створює проблеми для тих, хто його використовує. Ці проблеми закладені в самій мові, вони не пов'язані безпосередньо з логікою, але для того, щоб ефективно користуватися мовою як інструментом інтелектуального пізнання, необхідно виявити, розглянути і спробувати усунути виникаючі в мові суперечності.
Якщо протиріччя пов'язано з порушенням будь-якого з перерахованих вище принципів, його можна вирішити, просто виправивши допущену помилку. Однак в мові зустрічаються і непереборні протиріччя, звані парадоксами або антиноміями. Звідки вони виникають?
Польський логік А. Тарський відзначав, що природна мова семантично замкнутий - семантичні властивості його виразів (істинність, осмисленість, визначність і т.п.) визначаються в ньому ж самому. Наприклад, сенс такого семантичного терміна як «значення» пояснюється за допомогою деякого набору слів, кожне з яких вже має мати якесь значення. Сенс терміна «істина» задається за допомогою деякої кількості пропозицій, кожне з яких саме вже має бути істинно. і т.д. Таким чином, виникає замкнуте коло, який якраз і може призвести до різноманітних парадоксів.
Парадокс Евбуліда (парадокс брехуна) відомий з найдавніших часів. Розглянемо пропозицію: «Ця пропозиція помилково». Якщо воно істинне, значить те, що в ньому стверджується, - правда, тобто воно насправді помилково. Але якщо воно помилкове, значить те, що воно стверджує, невірно, тобто воно істинне.
«Ця пропозиція помилково»
воно істинно воно помилкове
то, про що воно те, про що воно
каже - правда каже - неправда
воно автологічних воно гетерологичеськоє
воно має властивість, воно не має властивість,
про яке говорить, про яке говорить,
(Тобто гетерологічние) (тобто гетерологічние)
Парадокс Рішара-Беррі (парадокс визначно). У російській мові числа можна висловлювати за допомогою слів і словосполучень. Нехай k - мінімальне число, яке не можна висловити словосполученням, що складається менш ніж зі ста букв. Але сама фраза, виділена курсивом, складається менш ніж зі ста букв (точніше - з 78). І все-таки, вона цілком однозначно визначає число k. Значить, число k можна висловити словосполученням, що складається менш ніж зі ста букв.
воно підходить під визначення, воно не підходить під визначення,
записане курсивом записане курсивом
його можна виразити фразою, існує інше число,
що складається з 78 букв підходить під це
Як можна уникнути логіко-семантичних парадоксів? Існують два шляхи: або накласти на природну мову певні семантичні обмеження, або відмовитися від деяких чисто логічних уявлень.
1) Семантичний підхід. У кожному з наведених вище парадоксів помітна одна спільна риса: протиріччя з'являється тоді, коли мовне вираження починає говорити щось про самого себе. Дійсно, самопріменімості - необхідна (хоча і недостатня) умова всякого парадоксу. Значить, щоб усунути мовні парадокси, треба розірвати семантичну замкнутість природної мови, тобто чітко розмежувати об'єктна мова - ту мову, який є об'єктом дослідження, і мета-мова - той, за допомогою якого досліджується об'єктна мова. Тоді парадокси зникнуть самі собою, тому що їх неможливо буде сформулювати:
«Ця пропозиція помилково»
говорить про пропозицію. отже, відноситься до.
якогось мови мета -мови
мета-мета-мови мета-мета-мета -мови
і так далі до нескінченності!
Висновок: ця пропозиція не істинно і не помилково - воно просто некоректно побудоване, і, отже, немає сенсу.
2) Логічний підхід. У всіх наведених вище парадокси міркування починалися з виділення двох взаємовиключних альтернатив, які потім виявлялися «замкнуті» один на одного. А чи не можна припустити наявність у парадоксальних міркуваннях якогось третього варіанту? Правда, для цього доведеться відмовитися від класичного принципу бівалентності (т.е.двузначності) для суджень:
«Ця пропозиція помилково»
воно істинно воно помилкове
Висновок: ця пропозиція не істинно і не помилково, воно «нейтрально».
Тести для перевірки знань з теми «Логіка і мова»
Семіотика ЯК ЛОГІЧНЕ вчення
1. Основоположником семіотики є