Зміст:
Введення
1. Логіка та мова
Висновок
Словник термінів
Список використаної літератури
Введення
Мова, як відомо, представляє собою засіб комунікації, спілкування між людьми, за допомогою якого вони обмінюються один з одним думками, тією чи іншою інформацією. Думка знаходить своє вираження саме в мові, без такого виразу думки однієї людини виявляються недоступними іншому.
Головна мета логіки полягає в тому, щоб знайти правила і принципи обгрунтованих міркувань. У доказових міркуваннях ми спираємося на правила дедуктивних умовиводів, які при істинних посилках гарантують отримання достовірно істинних висновків. У правдоподібних міркуваннях ми прагнемо за допомогою відповідних аргументів (доводів) підтвердити і обгрунтувати свої висновки. Оперуючи поняттями і судженнями, ми абстрагуємося в логіці від цілого ряду умов і обставин, оскільки нашим завданням є збереження, передача і перетворення істини. По суті справи основне завдання логіки полягає в тому, щоб сформулювати правила перетворення інформації, тобто з наявної інформації отримати нову інформацію. Саме для цієї мети і призначені міркування, чи умовиводи, що містять у своєму складі різні посилки, що складаються з суджень, які у свою чергу складаються з понять.
1. Логіка і мова.
Для вираження всіх елементів міркування служать різні засоби мови. Поняття виражаються за допомогою окремих слів або словосполучень, судження і умовиводи - за допомогою простих або складних речень. Тому логічний аналіз міркувань тісно пов'язаний з аналізом мови, хоча аж ніяк не зводиться до останнього. Дійсно, при логічному аналізі суджень ми цікавимося його логічної структурою, а не граматичною формою. Тому виділяємо в судженні ті елементи, які мають істотне значення для його характеристики з точки зору істинності і хибності. У строгому сенсі слова тільки судження можуть розглядатися як істинні чи хибні, бо саме вони можуть вірно чи невірно, адекватно або неадекватно ставитися до дійсності. Пропозиції ж хоча і використовуються для вираження суджень, самі по собі не можуть розглядатися як істинні чи хибні. Більше того, існують в нашій мові такі пропозиції, які служать не для вираження суджень, а являють собою питання, веління і т.п. Чому такий важливий логічний аналіз, яку роль він відіграє у повсякденному і особливо науковому пізнанні?
· Оскільки мова розвивалася як засіб комунікації і взаєморозуміння між людьми, остільки він головним чином вдосконалювався для швидкої передачі інформації, збільшення обсягу переданих повідомлень, іноді навіть за рахунок неточності та невизначеності їх сенсу. Це особливо характерно для образної мови ораторській та художньої мови, яка рясніє порівняннями, метафорами, синонімами і омонімами; та іншими мовними засобами, що додають їй особливого забарвлення, емоційність, наочність і виразність. Але все це значно ускладнює логічний аналіз мови, а іноді й ускладнює розуміння мови.
· Як універсальний засіб для комунікації та обміну думками та інформацією, мова виконує безліч функцій, які не цікавлять логіку. Логіка, навпаки, прагне якомога точніше передати і перетворити існуючу інформацію і тим самим усунути деякі недоліки природної мови шляхом створення штучних формалізованих мов. Такі штучні мови використовуються насамперед у науковому пізнанні, а в останні роки вони знайшли широке поширення в програмуванні і алгоритмізації різних процесів за допомогою комп'ютерів. Гідність подібних мов полягає насамперед у їх точності, однозначності, а найголовніше - у можливості представлення звичайного змістовного міркування за допомогою обчислення.
Формалізація міркування полягає в поданні його за допомогою символів і формул штучного (формалізованого) мови, в якому перераховуються, по-перше, вихідні формули, що виражають основні твердження змістовної теорії, по-друге, первісні поняття, які фігурують в цих твердженнях, і, по- третє, явно вказуються ті правила виводу або перетворення, за допомогою яких у змістовних теоріях отримують теореми з аксіом, а у формальних теоріях вихідні формули перетворять у похідні. Неважко помітити, що формалізація міркування відбувається відповідно до вимог аксіоматичного методу, знайомого нам зі шкільного курсу геометрії. Різниця полягає тільки в тому, що замість понять і суджень у ній використовуються символи і формули, а логічний висновок теорем з аксіом замінюється перетворенням вихідних формул в похідні. Таким чином, при повній формалізації змістовне мислення (міркування) його відображається у формальному обчисленні. Крім формалізованих мов логіки і математики, до штучних науковим мов відносять також мови тих наук, в яких широко використовуються символи і формули. Типовим є, наприклад, мова хімічних символів і формул. Однак у таких мовах символи і формули служать для більш компактною і короткої записи відповідних понять і тверджень. Так, в хімії символи вживаються для запису хімічних елементів або простих речовин, а формули - для запису їх сполук і складних речовин. Але саме міркування проводиться як зазвичай на змістовному рівні.
Яку роль відіграє формалізація у науковому пізнанні взагалі і в логіці особливо?
1). Формалізація дає можливість аналізувати, уточнювати, визначати і експлікувати (роз'яснювати) поняття. Інтуїтивні поняття хоч і здаються більш ясними і очевидними з точки зору здорового глузду, виявляються не підходять для наукового пізнання в силу їх невизначеності, неоднозначності та неточності. Так, наприклад, поняття неперервності функції, геометричної фігури в математиці, одночасності подій у фізиці, спадковості в біології і багато інших суттєво відрізняються від тих уявлень, які вони мають у повсякденній свідомості. Крім того, деякі вихідні поняття позначаються в науці тими ж словами, які вживаються у розмовній мові для вираження зовсім інших речей і процесів. Такі основні поняття фізики, як сила, робота та енергія, відображають цілком визначені і точно вказані процеси: наприклад сила розглядається у фізиці як причина зміни швидкості тіла, що рухається, а робота - як добуток сили на шлях. У розмовної мови ім надається більш широкий, але невизначений сенсу, унаслідок чого фізичне поняття, наприклад роботи, не застосовується до характеристики розумової діяльності. Але навіть у науці сенс і значення вводяться понять з часом змінюється, уточнюється і узагальнюється.
Формалізація набуває особливу роль при аналізі доказів. Представлення докази у вигляді послідовності формул, що отримуються з вихідних з допомогою точно зазначених правил перетворення, надає йому необхідну строгість і точність. При такому підході виключаються посилання на інтуїцію, очевидність або наочність креслення, так що при відповідній програмі доказ можна передати обчислювальної машині. Про те, яке значення має строгість докази, свідчить історія спроб докази аксіоми про паралельні в геометрії, коли замість такого доказу сама аксіома замінялася еквівалентним твердженням. Саме невдача подібних спроб змусила Н.І. Лобачевського мри тать неможливим такий доказ.
3). Формалізація, заснована на побудові штучних логічних мов, служить теоретичним фундаментом для процесів алгоритмізації і програмування обчислювальних пристроїв, а тим самим і комп'ютеризації не тільки науково-технічного, але й іншого знання.
Отже, формалізація передбачає змістовний логічний аналіз тих способів міркування, за допомогою яких виходять одні затвердження з інших, але самі твердження, що представляють по своїй структурі судження, в свою чергу складаються з понять. Тому ми почнемо вивчення логіки з аналізу понять.
Необхідна зв'язок мислення і мови, при якій мова виступає матеріальною оболонкою думок, означає, що виявлення логічних структур можливе лише шляхом аналізу мовних виразів. Подібно до того, як до ядра горіха можна дістатися лише розкривши його шкаралупу, так і логічні форми можуть бути виявлені лише, шляхом аналізу мови.
З метою оволодіння логіко-мовним аналізом розглянемо коротко структуру і функції мови, співвідношення логічних і граматичних категорій, а також принципи побудови особливої мови логіки.
Мова - це знакова інформаційна система, що виконує функцію формування, зберігання і передачі інформації в процесі пізнання дійсності і спілкування між людьми.
Основним будівельним матеріалом при конструюванні мови виступають використовувані в ньому знаки. Знак - це будь-який чуттєво сприймається (візуально, на слух чи іншим способом) предмет, який виступає представником іншого предмету. Серед різних знаків виділимо два види: знаки-образи і знаки-символи.
Знаки-образи мають певну схожість з позначаються предметами. Приклади таких знаків: копії документів; дактилоскопічні відбитки пальців; фотознімки; деякі дорожні знаки із зображенням дітей, пішоходів та інших об'єктів. Знаки-символи не мають схожості з позначаються предметами. Наприклад: нотні знаки, знаки абетки Морзе; букви в алфавітах національних мов.
Безліч вихідних знаків мови складає його алфавіт.
Комплексне вивчення мови здійснюється загальною теорією знакових систем - семіотикою, яка аналізує мову в трьох аспектах: синтаксичному, семантичному та прагматичному.
Синтаксис - це розділ семіотики, який вивчає структуру мови: способи утворення, перетворення і зв'язку між знаками. Семантика займається проблемою інтерпретації, тобто аналізом відносин між знаками і позначаються об'єктами. Прагматика аналізує комунікативну функцію мови - емоційні, психологічні, естетичні, економічні та інші відносини носія мови до самої мови.
За походженням мови бувають природні і штучні.
Природні мови - це історично склалися в суспільстві звукові (мова), а потім і графічні (письмо) інформаційні знакові системи. Вони виникли для закріплення і передачі накопиченої інформації в процесі спілкування між людьми. Природні мови виступають носіями багатовікової культури народів. Вони відрізняються багатими виражальними можливостями і універсальним охопленням самих різних областей життя.
Штучні мови - це допоміжні знакові системи, що створюються на базі природних мов для точної і економною передачі наукової та іншої інформації. Вони конструюються за допомогою природної мови або раніше побудованого штучної мови. Мова, виступаючий засобом побудови або вивчення іншої мови, називають метамовою, основний - мовою-об'єктом. Метамова, як правило, має більш багатими в порівнянні з мовою-об'єктом виразними можливостями.
Штучні мови різного ступеня строгості широко використовуються в сучасній науці і техніці: хімії, математики, теоретичної фізики, обчислювальної техніки, кібернетики, зв'язку, стенографії.
Особливу групу складають змішані мови, базою в яких виступає природний (національний) мова, що доповнюється символікою і умовними позначеннями, що відносяться до конкретної предметної області. До цієї групи можна віднести мову, умовно названий «юридичною мовою», або «мовою права». Він будується на базі природного (у нашому випадку російської) мови, а також включає безліч правових понять та дефініцій, правових презумпцій і припущень, правил докази і спростування. Вихідною клітинкою цієї мови виступають норми права, що об'єднуються в складні нормативно-правові системи.
Штучні мови успішно використовуються і логікою для точного теоретичного і практичного аналізу розумових структур.
Один з таких мов - мова логіки висловлювань. Він застосовується в логічній системі, званої обчисленням висловлювань, яка аналізує міркування, спираючись на істінностние характеристики логічних зв'язок і відволікаючись від внутрішньої структури суджень. Принципи побудови цієї мови будуть викладені в розділі про дедуктивних умовиводах.
Друга мова - це мова логіки предикатів. Він застосовується в логічній системі, званої обчисленням предикатів, яка при аналізі міркувань враховує не тільки істінностние характеристики логічних зв'язок, а й внутрішню структуру суджень. Розглянемо коротко склад і структуру цієї мови, окремі елементи якого будуть використані в процесі змістовного викладу курсу.
Призначений для логічного аналізу міркувань, мова логіки предикатів структурно відображає і точно слідує за смисловими характеристиками природної мови. Основний смисловий (семантичної) категорією мови логіки предикатів є поняття імені.
Ім'я - це має певний сенс мовне вираження у вигляді окремого слова або словосполучення, що позначає або іменує будь-якої позамовною об'єкт. Ім'я як мовна категорія має таким чином дві обов'язкові характеристики або значення: предметне значення і смислове значення.
Предметне значення (денотат) імені - це один або безліч будь-яких об'єктів, які цим ім'ям позначаються. Наприклад, денотатом імені «будинок» в російській мові буде все різноманіття споруд, які цим ім'ям позначаються: дерев'яні, цегляні, кам'яні; одноповерхові і багатоповерхові і т.д.
Смислове значення (смисл, або концепт) імені - це інформація про предмети, тобто притаманні їм властивості, за допомогою яких виділяють безліч предметів. У наведеному прикладі змістом слова «будинок» будуть наступні характеристики будь-якого будинку: 1) це споруда (будівля), 2) побудовано людиною, 3) призначено для житла.
Відношення між ім'ям, сенсом і денотатом (об'єктом) можна представити наступною семантичної схемою:
Це означає, що ім'я денотірует, тобто позначає об'єкти тільки через зміст, а не безпосередньо. Мовне вираження, що не має сенсу, не може бути ім'ям, оскільки воно не осмислено, а значить і не опредмечени, тобто не має денотата.
Типи імен мови логіки предикатів, що визначаються специфікою об'єктів іменування і представляють собою його основні семантичні категорії, це імена: 1) предметів, 2) ознак і 3) пропозицій.
Імена предметів позначають одиничні предмети, явища, події йди їх безлічі. Об'єктом дослідження в цьому випадку можуть бути як матеріальні (літак, блискавка, сосна), так і ідеальні (воля, правоздатність, мрія) предмети.
За складом розрізняють імена прості, які не включають інших імен (держава), і складні, що включають інші імена (супутник Землі). За денотату імена бувають одиничні і загальні. Одиничне ім'я позначає один об'єкт і буває представлено в мові ім'ям власним (Арістотель) або дається описово (найбільша річка в Європі). Загальне ім'я позначає безліч, що складається більш ніж з одного об'єкта; в мові воно буває представлено загальним ім'ям (закон) або дається описово (великий дерев'яний будинок).
Імена ознак - якостей, властивостей чи відносин - називаються предікаторамі. У пропозиції вони зазвичай виконують роль присудка (наприклад, «бути синім», «бігати», «дарувати», «любити» і т.д.). Число імен предметів, до яких відноситься предікатор, називається його місцевістю. Предікатори, що виражають властивості, притаманні окремим предметам, називаються одномісними (наприклад, «небо синє"). Предікатори, виражають відносини між двома і більше предметами, називаються багатомісними. Наприклад, предікатор «любити» відноситься до двомісних («Марія любить Петра»), а предікатор «дарувати» - до тримісним («Батько дарує книгу сину").
Пропозиції - це імена для виразів мови, у яких щось стверджується або заперечується. За свого логічного значенням вони висловлюють істину або брехня.
Алфавіт мови логіки предикатів включає наступні види знаків (символів):
1) а, b, с, ... - Символи для одиничних (власних або описових) імен предметів; їх називають предметними постійними, чи константами;
2) х, y, z, ... - Символи загальних імен предметів, що приймають значення в тій чи іншій області; їх називають предметними змінними;
3) Р 1, Q 1, R 1, ... - Символи для предикатів, індекси над якими висловлюють їх місцевість; їх називають предикативними змінними;
4) р, q, r, ... - Символи для висловлювань, які називають висказивательнимі, або пропозиційних змінними (від латинського рropositio - «вислів»);
5)
6) логічні зв'язки:
┐ - заперечення («не так, що ...»).
Технічні знаки мови: (,) - ліва і права дужки.
Інших знаків даний алфавіт не включає. Допустимі, тобто мають сенс у мові логіки предикатів висловлювання називаються правильно побудованими формулами-ППФ. Поняття ППФ вводиться наступними визначеннями:
1. Будь-яка пропозіціональная мінлива - р, q
2. Будь-яка предикатну змінна, взята з послідовністю предметних змінних або констант, число яких відповідає її місцевості, є ППФ: А1 (х), А 2 (х, у), А 3 (х, у, z), А "(х, у ,..., n), де А 1, А 2, А 3 ,..., А n - знаки метамови для предікаторов.
3. Для будь-якої формули з предметними змінними, в якій будь-яка з змінних зв'язується квантором, вирази
4. Якщо А і В - формули (А і В - знаки метамови для вираження схем формул), то вирази:
А
А
А
А
┐ А, ┐ У
також є формулами.
5. Будь-які інші вирази, крім передбачених у п. 1-4,
не є ППФ цієї мови.
Висновок
Необхідна зв'язок мислення і мови, при якій мова виступає матеріальною оболонкою думок, означає, що виявлення логічних структур можливе лише шляхом аналізу мовних виразів. Подібно до того, як до ядра горіха можна дістатися лише розкривши його шкаралупу, так і логічні форми можуть бути виявлені лише, шляхом аналізу мови.
За допомогою наведеного логічного мови будується формалізована логічна система, яка називається обчисленням предикатів. Елементи мови логіки предикатів будуть використані в подальшому викладі для аналізу окремих фрагментів природної мови.
Словник термінів
Ім'я - це має певний сенс мовне вираження у вигляді окремого слова або словосполучення, що позначає або іменує будь-якої позамовною об'єкт.
Мова - це знакова інформаційна система, що виконує функцію формування, зберігання і передачі інформації в процесі пізнання дійсності і спілкування між людьми.
Список використовуваної літератури:
1. Берков В.Ф. Логіка: Уч. - Мн: НТООО «ТетраСистемс», 1997.
2. Бойко А. П. Логіка: Навчальний посібник / А. П. Бойко. - М., 2002.
3. Гетманова А. Д. Підручник по логіці / А. Д. Гетманова. - М, 2004.
4. Іванов Є. А. Логіка / Є. А. Іванов. - М., 2002.
5. Рузавін Г.І. Логіка і аргументація: Уч.пос. - М: Культура і спорт, ЮНИТИ, 2000
Введення
1. Логіка та мова
Висновок
Словник термінів
Список використаної літератури
Введення
Мова, як відомо, представляє собою засіб комунікації, спілкування між людьми, за допомогою якого вони обмінюються один з одним думками, тією чи іншою інформацією. Думка знаходить своє вираження саме в мові, без такого виразу думки однієї людини виявляються недоступними іншому.
Головна мета логіки полягає в тому, щоб знайти правила і принципи обгрунтованих міркувань. У доказових міркуваннях ми спираємося на правила дедуктивних умовиводів, які при істинних посилках гарантують отримання достовірно істинних висновків. У правдоподібних міркуваннях ми прагнемо за допомогою відповідних аргументів (доводів) підтвердити і обгрунтувати свої висновки. Оперуючи поняттями і судженнями, ми абстрагуємося в логіці від цілого ряду умов і обставин, оскільки нашим завданням є збереження, передача і перетворення істини. По суті справи основне завдання логіки полягає в тому, щоб сформулювати правила перетворення інформації, тобто з наявної інформації отримати нову інформацію. Саме для цієї мети і призначені міркування, чи умовиводи, що містять у своєму складі різні посилки, що складаються з суджень, які у свою чергу складаються з понять.
1. Логіка і мова.
Для вираження всіх елементів міркування служать різні засоби мови. Поняття виражаються за допомогою окремих слів або словосполучень, судження і умовиводи - за допомогою простих або складних речень. Тому логічний аналіз міркувань тісно пов'язаний з аналізом мови, хоча аж ніяк не зводиться до останнього. Дійсно, при логічному аналізі суджень ми цікавимося його логічної структурою, а не граматичною формою. Тому виділяємо в судженні ті елементи, які мають істотне значення для його характеристики з точки зору істинності і хибності. У строгому сенсі слова тільки судження можуть розглядатися як істинні чи хибні, бо саме вони можуть вірно чи невірно, адекватно або неадекватно ставитися до дійсності. Пропозиції ж хоча і використовуються для вираження суджень, самі по собі не можуть розглядатися як істинні чи хибні. Більше того, існують в нашій мові такі пропозиції, які служать не для вираження суджень, а являють собою питання, веління і т.п. Чому такий важливий логічний аналіз, яку роль він відіграє у повсякденному і особливо науковому пізнанні?
· Оскільки мова розвивалася як засіб комунікації і взаєморозуміння між людьми, остільки він головним чином вдосконалювався для швидкої передачі інформації, збільшення обсягу переданих повідомлень, іноді навіть за рахунок неточності та невизначеності їх сенсу. Це особливо характерно для образної мови ораторській та художньої мови, яка рясніє порівняннями, метафорами, синонімами і омонімами; та іншими мовними засобами, що додають їй особливого забарвлення, емоційність, наочність і виразність. Але все це значно ускладнює логічний аналіз мови, а іноді й ускладнює розуміння мови.
· Як універсальний засіб для комунікації та обміну думками та інформацією, мова виконує безліч функцій, які не цікавлять логіку. Логіка, навпаки, прагне якомога точніше передати і перетворити існуючу інформацію і тим самим усунути деякі недоліки природної мови шляхом створення штучних формалізованих мов. Такі штучні мови використовуються насамперед у науковому пізнанні, а в останні роки вони знайшли широке поширення в програмуванні і алгоритмізації різних процесів за допомогою комп'ютерів. Гідність подібних мов полягає насамперед у їх точності, однозначності, а найголовніше - у можливості представлення звичайного змістовного міркування за допомогою обчислення.
Формалізація міркування полягає в поданні його за допомогою символів і формул штучного (формалізованого) мови, в якому перераховуються, по-перше, вихідні формули, що виражають основні твердження змістовної теорії, по-друге, первісні поняття, які фігурують в цих твердженнях, і, по- третє, явно вказуються ті правила виводу або перетворення, за допомогою яких у змістовних теоріях отримують теореми з аксіом, а у формальних теоріях вихідні формули перетворять у похідні. Неважко помітити, що формалізація міркування відбувається відповідно до вимог аксіоматичного методу, знайомого нам зі шкільного курсу геометрії. Різниця полягає тільки в тому, що замість понять і суджень у ній використовуються символи і формули, а логічний висновок теорем з аксіом замінюється перетворенням вихідних формул в похідні. Таким чином, при повній формалізації змістовне мислення (міркування) його відображається у формальному обчисленні. Крім формалізованих мов логіки і математики, до штучних науковим мов відносять також мови тих наук, в яких широко використовуються символи і формули. Типовим є, наприклад, мова хімічних символів і формул. Однак у таких мовах символи і формули служать для більш компактною і короткої записи відповідних понять і тверджень. Так, в хімії символи вживаються для запису хімічних елементів або простих речовин, а формули - для запису їх сполук і складних речовин. Але саме міркування проводиться як зазвичай на змістовному рівні.
Яку роль відіграє формалізація у науковому пізнанні взагалі і в логіці особливо?
1). Формалізація дає можливість аналізувати, уточнювати, визначати і експлікувати (роз'яснювати) поняття. Інтуїтивні поняття хоч і здаються більш ясними і очевидними з точки зору здорового глузду, виявляються не підходять для наукового пізнання в силу їх невизначеності, неоднозначності та неточності. Так, наприклад, поняття неперервності функції, геометричної фігури в математиці, одночасності подій у фізиці, спадковості в біології і багато інших суттєво відрізняються від тих уявлень, які вони мають у повсякденній свідомості. Крім того, деякі вихідні поняття позначаються в науці тими ж словами, які вживаються у розмовній мові для вираження зовсім інших речей і процесів. Такі основні поняття фізики, як сила, робота та енергія, відображають цілком визначені і точно вказані процеси: наприклад сила розглядається у фізиці як причина зміни швидкості тіла, що рухається, а робота - як добуток сили на шлях. У розмовної мови ім надається більш широкий, але невизначений сенсу, унаслідок чого фізичне поняття, наприклад роботи, не застосовується до характеристики розумової діяльності. Але навіть у науці сенс і значення вводяться понять з часом змінюється, уточнюється і узагальнюється.
Формалізація набуває особливу роль при аналізі доказів. Представлення докази у вигляді послідовності формул, що отримуються з вихідних з допомогою точно зазначених правил перетворення, надає йому необхідну строгість і точність. При такому підході виключаються посилання на інтуїцію, очевидність або наочність креслення, так що при відповідній програмі доказ можна передати обчислювальної машині. Про те, яке значення має строгість докази, свідчить історія спроб докази аксіоми про паралельні в геометрії, коли замість такого доказу сама аксіома замінялася еквівалентним твердженням. Саме невдача подібних спроб змусила Н.І. Лобачевського мри тать неможливим такий доказ.
3). Формалізація, заснована на побудові штучних логічних мов, служить теоретичним фундаментом для процесів алгоритмізації і програмування обчислювальних пристроїв, а тим самим і комп'ютеризації не тільки науково-технічного, але й іншого знання.
Отже, формалізація передбачає змістовний логічний аналіз тих способів міркування, за допомогою яких виходять одні затвердження з інших, але самі твердження, що представляють по своїй структурі судження, в свою чергу складаються з понять. Тому ми почнемо вивчення логіки з аналізу понять.
Необхідна зв'язок мислення і мови, при якій мова виступає матеріальною оболонкою думок, означає, що виявлення логічних структур можливе лише шляхом аналізу мовних виразів. Подібно до того, як до ядра горіха можна дістатися лише розкривши його шкаралупу, так і логічні форми можуть бути виявлені лише, шляхом аналізу мови.
З метою оволодіння логіко-мовним аналізом розглянемо коротко структуру і функції мови, співвідношення логічних і граматичних категорій, а також принципи побудови особливої мови логіки.
Мова - це знакова інформаційна система, що виконує функцію формування, зберігання і передачі інформації в процесі пізнання дійсності і спілкування між людьми.
Основним будівельним матеріалом при конструюванні мови виступають використовувані в ньому знаки. Знак - це будь-який чуттєво сприймається (візуально, на слух чи іншим способом) предмет, який виступає представником іншого предмету. Серед різних знаків виділимо два види: знаки-образи і знаки-символи.
Знаки-образи мають певну схожість з позначаються предметами. Приклади таких знаків: копії документів; дактилоскопічні відбитки пальців; фотознімки; деякі дорожні знаки із зображенням дітей, пішоходів та інших об'єктів. Знаки-символи не мають схожості з позначаються предметами. Наприклад: нотні знаки, знаки абетки Морзе; букви в алфавітах національних мов.
Безліч вихідних знаків мови складає його алфавіт.
Комплексне вивчення мови здійснюється загальною теорією знакових систем - семіотикою, яка аналізує мову в трьох аспектах: синтаксичному, семантичному та прагматичному.
Синтаксис - це розділ семіотики, який вивчає структуру мови: способи утворення, перетворення і зв'язку між знаками. Семантика займається проблемою інтерпретації, тобто аналізом відносин між знаками і позначаються об'єктами. Прагматика аналізує комунікативну функцію мови - емоційні, психологічні, естетичні, економічні та інші відносини носія мови до самої мови.
За походженням мови бувають природні і штучні.
Природні мови - це історично склалися в суспільстві звукові (мова), а потім і графічні (письмо) інформаційні знакові системи. Вони виникли для закріплення і передачі накопиченої інформації в процесі спілкування між людьми. Природні мови виступають носіями багатовікової культури народів. Вони відрізняються багатими виражальними можливостями і універсальним охопленням самих різних областей життя.
Штучні мови - це допоміжні знакові системи, що створюються на базі природних мов для точної і економною передачі наукової та іншої інформації. Вони конструюються за допомогою природної мови або раніше побудованого штучної мови. Мова, виступаючий засобом побудови або вивчення іншої мови, називають метамовою, основний - мовою-об'єктом. Метамова, як правило, має більш багатими в порівнянні з мовою-об'єктом виразними можливостями.
Штучні мови різного ступеня строгості широко використовуються в сучасній науці і техніці: хімії, математики, теоретичної фізики, обчислювальної техніки, кібернетики, зв'язку, стенографії.
Особливу групу складають змішані мови, базою в яких виступає природний (національний) мова, що доповнюється символікою і умовними позначеннями, що відносяться до конкретної предметної області. До цієї групи можна віднести мову, умовно названий «юридичною мовою», або «мовою права». Він будується на базі природного (у нашому випадку російської) мови, а також включає безліч правових понять та дефініцій, правових презумпцій і припущень, правил докази і спростування. Вихідною клітинкою цієї мови виступають норми права, що об'єднуються в складні нормативно-правові системи.
Штучні мови успішно використовуються і логікою для точного теоретичного і практичного аналізу розумових структур.
Один з таких мов - мова логіки висловлювань. Він застосовується в логічній системі, званої обчисленням висловлювань, яка аналізує міркування, спираючись на істінностние характеристики логічних зв'язок і відволікаючись від внутрішньої структури суджень. Принципи побудови цієї мови будуть викладені в розділі про дедуктивних умовиводах.
Друга мова - це мова логіки предикатів. Він застосовується в логічній системі, званої обчисленням предикатів, яка при аналізі міркувань враховує не тільки істінностние характеристики логічних зв'язок, а й внутрішню структуру суджень. Розглянемо коротко склад і структуру цієї мови, окремі елементи якого будуть використані в процесі змістовного викладу курсу.
Призначений для логічного аналізу міркувань, мова логіки предикатів структурно відображає і точно слідує за смисловими характеристиками природної мови. Основний смисловий (семантичної) категорією мови логіки предикатів є поняття імені.
Ім'я - це має певний сенс мовне вираження у вигляді окремого слова або словосполучення, що позначає або іменує будь-якої позамовною об'єкт. Ім'я як мовна категорія має таким чином дві обов'язкові характеристики або значення: предметне значення і смислове значення.
Предметне значення (денотат) імені - це один або безліч будь-яких об'єктів, які цим ім'ям позначаються. Наприклад, денотатом імені «будинок» в російській мові буде все різноманіття споруд, які цим ім'ям позначаються: дерев'яні, цегляні, кам'яні; одноповерхові і багатоповерхові і т.д.
Смислове значення (смисл, або концепт) імені - це інформація про предмети, тобто притаманні їм властивості, за допомогою яких виділяють безліч предметів. У наведеному прикладі змістом слова «будинок» будуть наступні характеристики будь-якого будинку: 1) це споруда (будівля), 2) побудовано людиною, 3) призначено для житла.
Відношення між ім'ям, сенсом і денотатом (об'єктом) можна представити наступною семантичної схемою:
ім'я |
сенс |
Об'єкт / денотат |
Це означає, що ім'я денотірует, тобто позначає об'єкти тільки через зміст, а не безпосередньо. Мовне вираження, що не має сенсу, не може бути ім'ям, оскільки воно не осмислено, а значить і не опредмечени, тобто не має денотата.
Типи імен мови логіки предикатів, що визначаються специфікою об'єктів іменування і представляють собою його основні семантичні категорії, це імена: 1) предметів, 2) ознак і 3) пропозицій.
Імена предметів позначають одиничні предмети, явища, події йди їх безлічі. Об'єктом дослідження в цьому випадку можуть бути як матеріальні (літак, блискавка, сосна), так і ідеальні (воля, правоздатність, мрія) предмети.
За складом розрізняють імена прості, які не включають інших імен (держава), і складні, що включають інші імена (супутник Землі). За денотату імена бувають одиничні і загальні. Одиничне ім'я позначає один об'єкт і буває представлено в мові ім'ям власним (Арістотель) або дається описово (найбільша річка в Європі). Загальне ім'я позначає безліч, що складається більш ніж з одного об'єкта; в мові воно буває представлено загальним ім'ям (закон) або дається описово (великий дерев'яний будинок).
Імена ознак - якостей, властивостей чи відносин - називаються предікаторамі. У пропозиції вони зазвичай виконують роль присудка (наприклад, «бути синім», «бігати», «дарувати», «любити» і т.д.). Число імен предметів, до яких відноситься предікатор, називається його місцевістю. Предікатори, що виражають властивості, притаманні окремим предметам, називаються одномісними (наприклад, «небо синє"). Предікатори, виражають відносини між двома і більше предметами, називаються багатомісними. Наприклад, предікатор «любити» відноситься до двомісних («Марія любить Петра»), а предікатор «дарувати» - до тримісним («Батько дарує книгу сину").
Пропозиції - це імена для виразів мови, у яких щось стверджується або заперечується. За свого логічного значенням вони висловлюють істину або брехня.
Алфавіт мови логіки предикатів включає наступні види знаків (символів):
1) а, b, с, ... - Символи для одиничних (власних або описових) імен предметів; їх називають предметними постійними, чи константами;
2) х, y, z, ... - Символи загальних імен предметів, що приймають значення в тій чи іншій області; їх називають предметними змінними;
3) Р 1, Q 1, R 1, ... - Символи для предикатів, індекси над якими висловлюють їх місцевість; їх називають предикативними змінними;
4) р, q, r, ... - Символи для висловлювань, які називають висказивательнимі, або пропозиційних змінними (від латинського рropositio - «вислів»);
5)
6) логічні зв'язки:
┐ - заперечення («не так, що ...»).
Технічні знаки мови: (,) - ліва і права дужки.
Інших знаків даний алфавіт не включає. Допустимі, тобто мають сенс у мові логіки предикатів висловлювання називаються правильно побудованими формулами-ППФ. Поняття ППФ вводиться наступними визначеннями:
1. Будь-яка пропозіціональная мінлива - р, q
2. Будь-яка предикатну змінна, взята з послідовністю предметних змінних або констант, число яких відповідає її місцевості, є ППФ: А1 (х), А 2 (х, у), А 3 (х, у, z), А "(х, у ,..., n), де А 1, А 2, А 3 ,..., А n - знаки метамови для предікаторов.
3. Для будь-якої формули з предметними змінними, в якій будь-яка з змінних зв'язується квантором, вирази
4. Якщо А і В - формули (А і В - знаки метамови для вираження схем формул), то вирази:
А
А
А
А
┐ А, ┐ У
також є формулами.
5. Будь-які інші вирази, крім передбачених у п. 1-4,
не є ППФ цієї мови.
Висновок
Необхідна зв'язок мислення і мови, при якій мова виступає матеріальною оболонкою думок, означає, що виявлення логічних структур можливе лише шляхом аналізу мовних виразів. Подібно до того, як до ядра горіха можна дістатися лише розкривши його шкаралупу, так і логічні форми можуть бути виявлені лише, шляхом аналізу мови.
За допомогою наведеного логічного мови будується формалізована логічна система, яка називається обчисленням предикатів. Елементи мови логіки предикатів будуть використані в подальшому викладі для аналізу окремих фрагментів природної мови.
Словник термінів
Ім'я - це має певний сенс мовне вираження у вигляді окремого слова або словосполучення, що позначає або іменує будь-якої позамовною об'єкт.
Мова - це знакова інформаційна система, що виконує функцію формування, зберігання і передачі інформації в процесі пізнання дійсності і спілкування між людьми.
Список використовуваної літератури:
1. Берков В.Ф. Логіка: Уч. - Мн: НТООО «ТетраСистемс», 1997.
2. Бойко А. П. Логіка: Навчальний посібник / А. П. Бойко. - М., 2002.
3. Гетманова А. Д. Підручник по логіці / А. Д. Гетманова. - М, 2004.
4. Іванов Є. А. Логіка / Є. А. Іванов. - М., 2002.
5. Рузавін Г.І. Логіка і аргументація: Уч.пос. - М: Культура і спорт, ЮНИТИ, 2000