Структура формально-логічної теорії
Формально-логічною теорією називають упорядковану згідно певних правил систему знаків, які відображають ту чи іншу предметну область. Формально-логічна теорія - це найпростіша логічна модель предметної області.
Формально-логічна теорія зазвичай складається з двох основних частин: синтаксису та семантики. Синтаксис включає в себе алфавіт формально-логічної теорії, правила побудови формул та правила їх перетворення. Семантика вивчає співвідношення між знаковою системою та предметною областю, яка в ній відображена.Синтаксис в логіці - це вивчення лише формальної частини формалізованої мови. Об'єктом подібного дослідження виступає алфавіт формальної системи, що розглядається, правила утворення виразів (формул) та правила їх перетворення.
Виокремлюють елементарний та теоретичний синтаксис. Елементарний - це вивчення правил побудови конкретної формальної системи. Теоретичний - це загальна теорія можливих формальних систем, на які не накладаються спеціальні обмеження. Таким чином, як елементарний, так і теоретичний синтаксис мають відношення до змістовних трактувань структури та властивостей формальних систем.
Семантика вивчає співвідношення між знаковою системою та предметною областю, яка в ній відображена. Це розділ формально- логічної теорії, що вивчає значення символів, які використовуються у формальних системах.
Зв'язок між знаком та предметною областю не є природним, тому цей зв'язок встановлюється за допомогою знакових систем, певних правил, які називаються семантичними.
При дослідженні формальної системи семантичні проблеми виникають тоді, коли система отримує інтерпретацію (трактування, пояснення). Інтерпретація - це встановлення відповідності між класом формалізованих виразів і предметною областю. Сама система в даному випадку отримує назву семантичної.
Слід звернути увагу, що існують певні завдання та властивості семантики в межах логіки.
До завдань слід віднести: по-перше, уточнення таких логічних понять, як «зміст», «відповідність», «предмет», «інтерпретація», «логічне слідування» тощо; по-друге, характеристику відмінності між змістом та обсягом понять та різницю між значенням істинності судження та його змістом; по-третє, встановлення відповідності формул чи семантичних систем «стану справ» у області, що відтворюється; по-четверте, співвідношення знаку та позначуваного; по-п’яте, визначення змісту положень системи.Продемонструємо відмінність між значенням істинності суджень та їх змістом на наступному прикладі. Візьмемо два судження:
«Три плюс три дорівнює шість»
«Прип'ять впадає у Дніпро»
Значення істинності цих суджень збігаються (обидва судження істинні), а от зміст у них різний.
Для пояснення питання щодо співвідношення поняття (імені предмета) та самого предмета наведемо наступні поняття:
Л. М. Толстой
Автор роману «Анна Кареніна».
Зрозуміло, що це різні імена, але позначають, іменують вони один і той самий предмет.
Зазначимо, що багато важливих проблем логічної семантики вважаються традиційними, але повне пояснення та розвиток вони отримали лише наприкінці XIX - XX ст., коли були закладені основи систематичної побудови сучасної логічної семантики.
В деяких формально-логічних теоріях виділяється ще одна структурна частина - прагматика. Прагматика досліджує відношення знакової системи і користувача, тобто питання зручності користування засобами формально- логічної теорії. Перше чітке визначення прагматики як особливої наукової дисципліни належить Ч. Moppicy (1901-1979), однак історичні основи прагматики були введені ще Ч. Пірсом (1837-1914).
Прагматика - це вивчення відношень знакових систем до тих, хто їх використовує. Наприклад, в формально-логічних теоріях, які реалізуються в комп'ютерних програмах, прагматика відіграє дуже важливу роль оскільки вона вивчає проблеми інтерфейсу.
Запитання для самоконтролю
Як співвідносяться природна і формалізована мови? Який філософ вперше застосував метод формалізації? В яких сферах застосовують метод формалізації? Яка структура формально-логічної теорії? В чому полягає сутність методу формалізації? В чому різниця між математичною та природною мовою? Ким була створена перша формально-логічна теорія?
Завдання для закріплення матеріалу
1. Формалізація - це:
а) пізнавальний метод;
б) система поглядів;
в) процес заміни слів природної мови знаками.
2. Що досліджує прагматика:
а) відношення між знаковою системою та предметною областю;
б) відношення знакової системи і користувача;
в) правила утворення формул та правила їх перетворення.
4.