МИСЛЕННЯ І МОВА

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

Розрізняють природну (розмовну) і штучну мови. Освоєння сучасної логічної науки передбачає ознайомлення з такими аспектами мови, як семантика, синтаксис, прагматика.

Семантика (в логіці) — розділ логіки, в якому вивчається значення, смисл понять і суджень.

Вона передусім уточнює такі поняття, як «смисл», «відповідність», «предмет», «множина», «логічне слідування» (випливання), «інтерпретація». Важливе місце в семантиці посідають розрізнення змісту понять і їх обсягу, значення істинності та смислу суджень. Властивості, пов'язані з обсягом понять і значенням істинності судження, називають екстенціональними, а властивості, пов'язані зі змістом поняття і смислом судження, — інтенціональними. Так, судження «"Сім" —• просте число» і «Київ — столиця України» рівносильні екстенціонально (значення істинності цих суджень збігається). Однак ці судження відрізняються інтенціонально (смисл їх різний).

Синтаксис — розділ логіки, який вивчає суто формальну частину формалізованої мови, тобто не інтерпретованого числення (на відміну від семантики, предметом якої служить саме інтерпретація мови).

Об'єктами такого вивчення є алфавіт формальної системи (числення), що розглядається, правила утворення виразів (формул) предметної мови числення і правила перетворення (правила виводу) в ній.

Прагматика — розділ семіотики (науки про знаки), який вивчає відношення того, хто використовує знакову систему, до самої знакової системи.Прагматичні властивості та відношення (прикладами останніх є: стилістичні характеристики мови, які забезпечують адекватніше сприймання повідомлень, оптимальне для їх розуміння; характеристика припустимої стискуваності тексту, за якої зберігається його зрозумілість тощо), на відміну від синтаксичних і семантичних, не піддаються вираженню засобами самої знакової системи, яка служить для передачі повідомлень, а виявляються при її сприйманні інтерпретатором. Ці властивості та відношення характеризують процес розуміння знакової системи людиною, яка сприймає цю систему.

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

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

Мовою символів можна виразити лише загальнозначуще для всіх людей, тобто ті зв'язки і відношення дійсності, які не залежать від поглядів, ідеалів, почуттів людей. Мова символів дає можливість:

—скорочено фіксувати різноманітні співвідношення між об'єктами, які вивчаються;

—виділяти логічні зв'язки і відрізняти їх від синтаксичних;

—за виглядом формули робити висновок про характер відношення між об'єктами, що фіксуються в ній (за умови знання введених символів);

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

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