Структура формалізованої мови Логіка Бібліотека українських підручників
Щоб характеризувати мову логіки, потрібно знову звернутися до визначення предмета логіки (тим більше, що мова логіки є її методом)
Буквально суть предмета логіки полягає в тому, що логіка говорить нам про те, що з чого випливає. Загальновизнаним прикладом того, як проявляє себе логіка в конкретній галузі теоретичної діяльності людини, є геометрія. Евкліда. І не тільки цей текст є демонстрацією логічних зв'язків, а будь-який текст, де йдеться про систематизацію наукового пізнання, і в повсякденному житті логіка інструментом міркувань і доведень.
Виходить, що логіка вивчає логічні зв'язки реалізовані в різних текстах, фрагментах мов (або мова науки, то мова різних діалектів) є логіка вивчає логіку. Парадокс
Щоб усунути цей парадокс, ми маємо відрізняти логіку, яку вивчаємо, від логіки, за допомогою якої це здійснюється. Такий підхід визначає відмінності відповідних мов:
- логіка, яку ми вивчаємо, формулюється мовою, яка називається предметною мовою, або об'єкт – мовою. Така назва зумовлена тим, що ця мова та логіка, в ній втілена, є предметом (об'єктом) вивчення;
- мова, в рамках якої ми досліджуємо предметну мову, називається мовою дослідника, метамовою
Проілюструємо це на такому прикладі. Візьмемо пропозицію природної мови: "Будь-яка книга є джерелом інформації"
У цій пропозиції втілена певна логічна форма, а саме: "Всі S суть. Р"Вираз "Всі S суть. Р" є структурою загальноствердного судження, яка є об'єктом вивчення традиційної логіки і яку логіка виявляється її за допомогою свого логічного інструментарійічного інструментарію.
Вираз "Всі S суть. Р" відноситься до об'єкт-мови. Пояснення, що S - означає предмет думки,. Р - позначає ознаку предмета думки, "суть" фіксує відношення між предметом думки та ознакою предмета думки тощо, є мовою дослідника, метамовою дослідника, метамовою.
Застосування об'єкт-мови та метамови можна простежити, звернувшись до такого прикладу. При вивченні іноземної мови, з погляду людини, яка її вивчає, об'єктом є фрази іноземної мови, а метамовною є рідна мова. Саме рідною мовою ми отримуємо всі початкові відомості та пояснення у словниках та граматиках, а вже потім починаємо писати та говорити іноземною мовою (об'єктною мовою).
Отже, відмінності об'єкт-мови та метамови надзвичайно важливим. Об'єкт-мова - це сукупність знакових засобів, що фіксують логічні зв'язки та структури міркувань
У метамови здійснюється вже логічний аналіз об'єкт-мови, тобто з'ясовується ефективність знакових засобів для фіксації логічної структури міркувань, визначаються процедури співвідношення знаків об'єктної мови з системою їх значення.
Про важливість розрізнення об'єкт-мови та метамови дуже образно сказав. Стефан. Клини в книзі "Математична логіка": "Необхідно весь час пам'ятати про це різницю між логікою мови, що вивчається (предметно ой), і логікою як засобом такого вивчення (тобто логікою дослідника). Тому, хто не готовий до цього, стоїть відразу ж закрити цю книгу і підшукати собі інше заняття за смаком (наприклад, складання шарад а тому бджільництво) про бджільництво)">
Таким чином, формалізована мова логіки і за своїм походженням, і за будовою, і за призначенням відрізняється від природної мови, їх поєднує лише те, що це інтерпретовано.знакові системи
Якщо у природній мові виділяють три семіотичні аспекти (синтаксичний, семантичний, прагматичний), то у формалізованій мові логіки лише синтаксичний та семантичний аспекти
Відсутність прагматичного аспекту у формалізованій мові логіки пояснюється тим, що тут ми маємо точні правила освіти різних правильно побудованих мовних виразів та точні правила, що визначають значення цих виразів.
"Мета використання штучних мов у логіці, - як зазначає. ОДСмирнова, - не заміна слів природної мови деякими спеціальними символами у процесі опису логічних процедур та правил, а відтворення логічної дід продукції"укції"1.
Таким чином, аналіз явища формалізації, визначення характерних особливостей штучних мов дає можливість визначити формалізовану мову логіки, або формально-логічну теорію як систему знакових засобів, що використовуються логікою для фіксації та дослідження процесу міркування разом з характеристикою синтаксичних та семантичних властивостей цих знакових засобів.
Отже, структура формалізованої мови складається з:
Об'єкт-мова як система знакових засобів, сукупність різних формул фіксує в знаковій формі логічну структуру міркувань, логічні властивості складових елементів міркувань і логічні відносини ми іж елементами міркувань. Іноді об'єкт-мову ще називають синтаксичною частиною формалізованої мови.
Метамова - це логічний аналіз об'єкт-мови є, метамова розкриває, носіями яких саме властивостей та відносин є ті чи інші знаки об'єкт-мови, які логічні функції фіксують відповідні комбінації та утворення знакових засобів.частиною формалізованої мови. У самій метамові виділяють синтаксис та семантику.
Синтаксис метамови становлять правила, що описують структурні особливості знакових систем об'єкт-мови, а семантика метамови описує види значень, які можуть набувати знаки об'єкт-мови, та правила, за якими ці значення приписуються відповідним знакам об'єктів.
Оскільки застосування формалізованої мови до вивчення логічних форм та відносин між ними становить суть методу логіки, яким є формалізація, доречно звернути увагу на таку обставину
Логіка як наука від початку свого виникнення до її стану є єдиної системою. Мається на увазі, що предметом логіки були і залишаються форми та закони мислення, або (що те саме) форми дедуктивних міркувань, і закони, що лежать у їх основі. Методом логіки була і є формалізація. Існування традиційної та сучасної логіки (її ще називають символічною, математичною) свідчить не про зміну предмета чи методу логіки при переході від традиційної до сучасної, а лише про те, що виникнення сучасної формальної логіки пов'язане із удосконаленням її методу – формалізації.
Для певного історичного періоду розвитку науки традиційна логіка з її засобами логічного аналізу та систематизації знань була цілком задовільною. У середині ж. Х1Х виникає необхідність досконалого логічного аналізу наукового знання, виникає потреба дослідити, як функціонує знання в такій мові як мова науки, тобто досліджувати принципи побудови наукових теорій, закономірності переходу від них теорій до інших, принципи логічного обґрунтування наукових теорій. У цей період стає все більш очевидноюнеможливість застосування напівформального методу традиційної логіки на вирішення цих проблем. Це й було однією з причин виникнення сучасної формальної логіки, яка починає свою історію з побудови суто формалізованої мови та її застосування у логічному аналізалізі.
Тут необхідно зробити одне застереження. Той факт, що традиційна логіка досліджувала форми та закони мислення, втілені в природній мові, а сучасна формальна логіка досліджує мислення, реалізоване у мові та науки, не означає, що сучасна логіка своєї досконалості у здійсненні логічного аналізу зобов'язана тому, що вона аналізує мову науки . Просто засоби сучасної логіки дозволяють абсолютно проводити логічний аналіз тієї ж природної мови. Сучасна логіка має такі засоби (наприклад, функціональний аналіз), що дозволяють глибше зрозуміти логіку природного мовного.
стосується традиційної логіки можна сказати, що якщо її засобам був доступний логічний аналіз природної мови і то в певних межах, то логічний аналіз мови науки був за її межами
Сучасна логіка дає досконалий аналіз і мови науки, та природної мови. Саме завдяки цій особливості сучасної логіки багато розділів традиційної логіки (теж аналіз поняття як форми мислення, силлогістики тощо) отримали принципово нове висвітлення.
Попередня ЗМІСТ Наступна