озволяє «побачити» це зміст і його структуру. Тобто об'єктом логічного аналізу є саме абстрактне зміст як таке, в той час як природні мови є лише необхідною умовою такого аналізу.
Сфера абстрактного змісту являє собою структуровану область чітко помітних між собою об'єктів особливого роду. Ці об'єкти утворюють якусь жорстку універсальну абстрактну структуру. Природні мови репрезентують не тільки ті чи інші елементи цієї структури, а й певні цілісні фрагменти її. Будь природна мова в якійсь мірі дійсно відображає структуру об'єктивної реальності. Але це відображення носить поверхневий, неточний і суперечливий характер. Природна мова формується в процесі стихійного соціального досвіду. Його надбудова відповідає вимогам не чисто теоретичної, а практичної (переважно повсякденного) діяльності людини і тому являє собою конгломерат обмежених і часто суперечливих правил.
. Штучні мови
Штучні мови - це допоміжні знакові системи, що створюються на базі природних мов для точної і економною передачі наукової та іншої інформації. Вони конструюються за допомогою природної мови або раніше побудованого штучної мови.
Всякий штучна мова має три рівні організації:
1. синтаксис - рівень структури мови, де формуються і досліджуються відносини між знаками, способи освіти і перетворення знакових систем;
. сінематіку, де досліджуються відносини знака до його змістом (значенням, під яким розуміється небудь думка, висловлюване знаком, або об'єкт, що позначається їм);
. прагматику, де досліджуються способи вживання знаків в даному співтоваристві, использующем штучна мова.
Побудова штучної мови починається з введення алфавіту, тобто набору символів, якими позначаються об'єкт даної науки, і правил побудови формул даної мови. Частина правильно побудованих формул приймається за аксіоми. Таким чином, всі знання, оформлене за допомогою штучної мови, набуває аксіоматизована форму, а разом з нею доказовість і достовірність.
Штучні мови різного ступеня строгості широко використовуються в сучасній науці і техніці: хімії, математиці, теоретичній фізиці, обчислювальній техніці, кібернетиці, зв'язку, стенографії.
Роль формалізації природної мови в науковому пізнанні і в логіці в особливості:
. Формалізація дає можливість аналізувати, уточнювати, визначати і роз'яснювати поняття. Багато поняття є не підходять для наукового пізнання в силу їх невизначеності, неоднозначності і неточності.
. Формалізація набуває особливу роль при аналізі доказів. Подання докази у вигляді послідовності формул, одержуваних з вихідних за допомогою точно зазначених правил перетворення, надає йому необхідну строгість і точність.
. Формалізація, заснована на побудові штучних логічних мов, служить теоретичним фундаментом для процесів алгоритмізації та програмування обчислювальних пристроїв, а тим самим і комп'ютеризації не тільки науково-технічного, а й іншого знання.
Загальноприйнятий в сучасній логіці штучна мова - це мова логіки предикатів. Основними семантичними категоріями мови є: імена предметів, імена ознак, пропозиції.
Імена предметів - це окремі словосполучення, що позначають предмети. Кожне ім'я має подвійне значення - предметне і смислове. Предметне значення імені - це безліч предметів, до яких відноситься ім'я Смислове значення - це притаманне предметам властивості, за допомогою яких виділяють безліч предметів.
Логічний мова також має свій алфавіт, що включає в себе певний набір знаків (символів), логічні зв'язки. За допомогою логічного мови будується формалізована логічна система, звана обчисленням предикатів.
Штучні мови також успішно використовуються логікою для точного теоретичного і практичного аналізу розумових структур.
Призначений для логічного аналізу міркувань, мова логіки предикатів структурно відображає і точно слідує за смисловими характеристиками природної мови. Основний смисловий категорією мови логіки предикатів є поняття імені.
Алфавіт мови логіки предикатів включає наступні види знаків (символів):
) а, b, с, ... - символи для одиничних (власних або описових) імен предметів; їх називають предметними постійними, або константами;
) х, y, z, ... - символи загальних імен предметів, що приймають значення в тій чи іншій області; їх називають предметними змінними;
) Р1, Q1, R1, ... - символи для предикатів, індекси над якими висловлюють їх місцевість; їх називають предикативними змінними;
) р, q, r, ... - символи для висловлю...
