Опис мови логіки предикатів
мислення мова знак символ
Необхідна зв'язок мислення і мови, при якій мова виступає матеріальною оболонкою думок, означає, що виявлення логічних структур можливе лише шляхом аналізу мовних виразів. Подібно до того, як до ядра горіха можна дістатися лише розкривши його шкаралупу, так і логічні форми можуть бути виявлені лише шляхом аналізу мови.
Мова - Це знакова інформаційна система, що виконує функцію формування, зберігання і передачі інформації в процесі пізнання дійсності і спілкування між людьми.
Основним будівельним матеріалом при конструюванні мови виступають використовувані в ньому знаки. Знак - це будь-який чуттєво сприймається (зорово, на слух чи іншим способом) предмет, який виступає представником іншого предмета. Серед різних знаків виділимо два види: знаки-образи і знаки-символи.
Знаки-образи мають певну схожість з позначається предметом. Приклади таких знаків: копії документів; дактилоскопічні відбитки пальців; фотознімки; деякі дорожні знаки із зображенням дітей, пішоходів і інших об'єктів. Знаки-символи не мають схожості з позначається предметом. Наприклад: нотні знаки; знаки азбуки Морзе; букви в алфавітах національних мов.
Безліч вихідних знаків мови складає його алфавіт.
Комплексне вивчення мови здійснюється загальною теорією знакових систем - семіотика, яка аналізує мову в трьох аспектах: синтаксичному, семантичному та прагматичному.
Синтаксис (синтактика) - це розділ семіотики, вивчає структуру мови: способи утворення, перетворення і зв'язку між знаками. Синтактика абстрагується від усіх факторів, за винятком знаків. Вона досліджує зв'язки між знаками деякої мови, встановлює правила побудови складових знаків (наприклад, пропозицій) з простіших знаків (Наприклад, окремих слів). Вона створює критерій визначення приналежності даних знаків до певної мови і є свого роду загальної граматикою.
Серйозні та систематичні дослідження в області синтактики почалися лише у ХХ ст., хоча інтерес до цих явищ виявляється значно раніше, і на те були свої причини. У XIX в. світ перестав сприйматися як що з добре визначених речей, кожна з яких має свою сутність і називається небудь ім'ям. Самі речі почали "двоїтися", "троіться", як би розпадатися на ряд самостійних об'єктів (звичайно, у сприйнятті деяких людей, а не в дійсності). Відомий французький філософ Анрі Бергсон (1859 - 1941 рр..), Який вважав, що сутність життя може бути осягнута тільки за допомогою інтуїції, писав в 1889 р.: "Кожен день я дивлюся на одні й ті ж будинку і, знаючи, що це ті ж самі об'єкти, постійно називаю їх тим же ім'ям. Але якщо через деякий час я порівняю своє первісне враження від них з теперішнім, то буду дивуватися, наскільки неповторне, нез'ясовне і, найголовніше, невимовне зміна здійснилося в них ". Згадаймо серію полотен Клода Моне "Руанські собори" (на них зображений один і той же Руанский собор, але в різний час дня і при різному освітленні). "Роздвоюється" і люди (Ф.М. Достоєвський "Двійник", Е. По "Вільям Вільсон"). У філософії мови на перший план поступово, але упевнено виходять факт, подія і витісняють собою річ. Світ тепер складається не з речей, а з подій і фактів. А формою і засобом вираження факту є пропозиція. Значить, головним об'єктом дослідження стає предикат. p> За походженням мови бувають природні і штучні.
Природничі мови - це історично склалися в суспільстві звукові (мова), а потім і графічні (лист) інформаційні знакові системи. Вони виникли для закріплення і передачі накопиченої інформації в процесі спілкування між людьми. Природні мови виступають носіями багатовікової культури народів. Вони відрізняються багатими виразними можливостями і універсальним охопленням найрізноманітніших областей життя.
Штучні мови - це допоміжні знакові системи, що створюються на базі природних мов для точної і економною передачі наукової та іншої інформації. Вони конструюються за допомогою природної мови або раніше побудованого штучної мови. Мова, який виступає засобом побудови або вивчення іншої мови, називають метамовою, основний - мовою-об'єктом. Мотузки, як правило, має більш багатими в порівнянні з мовою-об'єктом виразними можливостями.
Штучні мови різного ступеня строгості широко використовуються в сучасній науці і техніці: хімії, математики, теоретичної фізики, обчислювальної техніки, кібернетики, зв'язку, стенографії. Штучний формалізований мова використовується і логічною наукою для теоретичного аналізу розумових структур.
Особливу групу складають змішані мови, базою в яких виступає, природний (Національний) мова, що доповнюється символікою і умовними позначеннями, відносяться до конкретної предметної області. До цієї групи можна віднести мову, умовно званий "юридичною мовою", або "мовою права". Він будується на базі природного (у нашому випадку російської) мови, а також включає безліч правових ...