1 Поняття формалізації
Оскільки лінгвістична структура природної мови не збігається з логічною структурою форм і законів мислення, які втілюються в цій мові, логіка змушена створювати спеціальні засоби, які б можлівіс у вилучити з природної мови форми мислення, їх логічні властивості, істотні відносини між ними, визначити принципи логічної дедукції, критерії розрізнення правильних і неправильних способів мірку ванн.
Тут треба зауважити, що створення логіці спеціальної мови, поряд з існуючою природною мовою, є особливий процес, який передбачає, що створена штучна знакова система є засобом фіксації логічної структ тури думки, з одного боку, і засобом дослідження логічних властивостей і відносин думки, з інший є, мова логіки - це перш за все її метод Прийнято говорити не "штучна мова логіки", а "формалізують ана мова логіки" З легкої руки німецького філософа XVIII століття ІКанта логіці приписали прикметник " ормальная ", тому логіку стали називати формальною, в її метод - формалізаціямальною, в ее метод - формалізацією.
Формалізація як вид людської діяльності застосовується не тільки в логіці З формалізацією ми зустрічаємося в різних науках: математиці, хімії, фізики і т.д.
Формалізація виникла разом з мисленням і мовою Першим проявом формалізації була грамотність результаті розвитку науки до символів природної мови почали додаватися знаки спеціального характеру (елемент ти математичної, хімічної та іншої символіки).
У логіці формалізація має особливий характер В загальному розумінні ф о р м а л і з а ц і я в логіці - це виявлення логічної структури наших думок А логічною структурою думки є форма зв'язку понять в судженні, форма зв'язку суджень між собою в складних судженнях, форма зв'язку суджень в с складі умозаключеніяу.
Іноді формалізацію (не тільки в логіці) визначають як процес вивчення змісту за допомогою засобів формалізованого мови Це спонукає дати визначення формалізованої мови
Ф о р м а л і з о в а н о ю м о в о й. або мовою символів, є будь-яка сукупність спеціалізованих мовних засобів зі строго фіксованими правилами утворення різних виразів і правилами приписування цим виразам певних значень
У логіці ф о р м а л і з о в а н о ю мовою називають формальну систему разом з її інтерпретацією або інтерпретовано числення У цій науці термін "формалізація" має кілька значень:
1) метод логіки, який полягає в застосуванні формалізованої мови до вивчення предмета логіки;
2) процес кодування засобами формально-логічної теорії фрагментів наукових теорій або ж теорій;
3) відображення понять логічної семантики в поняттях логічного синтаксису (наприклад, семантичне відношення логічного слідування виражають через синтаксичне відношення - вівідність)
Формалізована мова (або мова символів) є ефективним засобом будь-якого дослідження Прогрес в сучасній науці, особливо в логіці, пов'язаний із застосуванням формалізованого мови
Використання її в процесі дослідницької та практичної діяльності має ряд переваг
По-перше, воно дозволяє коротко, в скороченому вигляді фіксувати і передавати різні відносини між досліджуваними об'єктами
Наприклад, замість того, щоб описати квадрат суми двох чисел засобами природної мови ( "Квадрат суми двох чисел дорівнює квадрату першого числа плюс подвійний твір першого числа на друге плюс квадр рат другого числа"), ми його записуємо у вигляді короткої формулиї формули:
Якщо в логіці необхідно зафіксувати структуру, наприклад, загально-негативного судження, то замість громіздкої фрази природної мови
"У загальнозаперечувальному судженні якому предмета певної мно-
По-друге, мова символів допомагає оцінити характер відносин між об'єктами, які зафіксовані в певній формулі
Зрозуміло, що для цього обов'язково потрібно знати значення символів, використаних у формулі Якщо будь-який вираз природної мови, наприклад "Мій учитель - ровесник мого батька", ми запишемо ще кільком мовами (ангійською, французькою та ін.), Вид і поєднання знаків (літер ) в цих пропозиціях нічого нам не скажуть про предметах і. їхнє ставлення, описувані в цих пропозиціях Ми будемо знати тільки, що в цих пропозиціях повідомлення мовних знаків, їх вид різний, а думка вони фіксують одну і ту ж Зовсім інша справа, коли ми користуємося формалізованої мовою Сам вигляд формул Н2 О, (а в ) 2 = а2 2 АВ в2, "Жоден S не має Р" говорить про характер і вид відносин між об'єктами, які зафіксовані відповідними символами Така розбіжність між виразом природної мови і виразом (формулою) формалізованої мо ви пояснюється тим, що в природній мові Письмовий знак позначає звук (букву) або поєднання звуків (слів), а в формалізованому мовою - об'єкти, їх властивості та відносини і операції над німення та операции над ними.
Так в вираженні Н2 Про літери Н і О - імена відповідних об'єктів, а їх кількісна характеристика 2 і 1 вказує, що саме таке поєднання дасть конкретну речовину У формулі "Жоден S не є Р" знак S - ім'я логічно ого підлягає, а знак Р - ім'я логічного сказуемогого прісудка.
По-третє, завдяки формалізованому мовою можна однозначно виявити логічну структуру думки, відрізнити логічний синтаксис від лінгвістичного
З точки зору лінгвістичного синтаксису ці міркування однакові Але з точки зору характеру логічних відносин, які вони фіксують, ці міркування різні
Щоб виявити відмінність між лінгвістичним синтаксисом і логічним синтаксисом цих мовних відрізків, треба записати ці міркування засобами формалізованої мови
У першому міркуванні висновок висловлює істину, щодо ж другого міркування ми цього не можемо сказати Це пояснюється тим, що в першому міркуванні словосполучення "мій учитель математики" в це ім'я до конкретної людини У другому ж міркуванні слова "кимось" і "хтось то "вказують, що ймовірність існування якогось предмета х А це значить, що у нас немає гарантії, що в першому і другому здійснити другий міркування вираз" існує такий х "може бути віднесінім до одного і того ж індивідуального предметного й того самого індиві дуального предмету.
Отже, застосування формалізованої мови в будь-якій області людської діяльності забезпечує оптимізацію (стислість) необхідної інформації, дає можливість за зовнішніми ознаками (за формою символів) оцінюється юват характер досліджуваних відносин, а також ефективно фіксувати логічну структуру мовних виразів (мова йде про природною мовою або про мовою науки.