Мова - це система знаків, призначена для фіксації, зберігання, переробки і передачі інформації.
Знак - це об'єкт, який використовується інтерпретатором в процесі пізнання або спілкування в якості представника будь-якого іншого об'єкта.
Роль знаків в пізнанні досліджував ще Аристотель. Цією проблемою займалися Лейбніц та інші вчені. У XIX столітті, в зв'язку з запитами логіки та лінгвістики виникає спеціальна наука про знаках - семіотика, основи якої заклав Чарльз Сандерс Пірс (1839-1914). Предметом цієї науки є знакова ситуація (семиозис). що складається з трьох елементів: знак, що позначається, інтерпретатор.
Як «знаків» можуть виступати вимовлені вголос або написані слова і словосполучення, графічні символи, жести, сигнали і т.п. Наприклад, словосполучення «засновник теорії атомізму» служить знаком Демокріта, символ «+» в мові арифметики - знаком операції додавання, крани сигнал світлофора - знаком того, що рух заборонено.
«Позначати» в логіці називають все, що ми можемо мислити, все, що може стати об'єктом нашого розгляду - конкретні матеріальні індивіди, абстрактні об'єкти, властивості, відносини, функції, безлічі, процеси, явища, події, стану і т.п.
Як «інтерпретатора» може виступати окрема особа, група людей або суспільство в цілому. Іноді цей термін трактують розширено, допускаючи, що інтерпретацію можуть здійснювати не тільки люди, але також тварини, роботи і т.п.
Мова як знакову систему можна розглядати в трьох аспектах, кожен з яких досліджується в спеціальному розділі семіотики.
1) Синтаксис вивчає відносини між самими знаками (правила побудови і перетворення виразів мови і т.д.)
2) Семантика досліджує відносини знаків до подаються ними об'єктів (правила надання сенсу і значення правильно побудованим виразами мови).
3) Прагматика вивчає відношення інтерпретатора до знаків, а також відносини між інтерпретаторами в процесі мовного спілкування (правила і прийоми практичного використання знаків людьми).
Всі теми даного розділу:
Становлення логіки і її значення
Слово «логіка» походить від давньогрецького «lоgоz» що перекладається як «розум», «думка», «міркування». Логіка є однією з найдавніших наук на Землі. Вона виникла як частина науки про Оратів
предмет логіки
У понятті «логіка» в даний час виділяється кілька значень: об'єктивна і суб'єктивна логіка. Якщо об'єктивна логіка вивчає закономірності розвитку і взаємозв'язку предметів і явлений
Поняття логічної форми
Логіка не тільки описує різні прийоми пізнання, а й формулює критерії їх правильності. Які міркування можна вважати правильними? Яким вимогам повинні задовольняти визначення, пи
Логічне слідування і логічна істинність
Одна з найважливіших завдань логіки - визначати, які міркування є правильними і чому. Відразу зауважимо, що не можна змішувати питання про правильність міркування з питанням про іст
Сенс і значення знака. види знаків
Значним знака називається предмет, що репрезентується даними знаком. Безліч всіх предметів, які знак репрезентує, називається його екстенсіона
Природні і штучні мови
Природні мови виникли як засіб спілкування між людьми. Їх формування і розвиток являє собою тривалий історичний процес і відбувається в осно
семантичні принципи
Принцип однозначності: кожне ім'я має мати тільки одне значення (екстенсіонал). З порушенням цього принципу пов'язана помилка, яку називають «під
Мова логіки висловлювань
Логіка висловлювань (пропозіціональная логіка) - це розділ логіки, що вивчає способи побудови і логічну структуру висловлювань, відносини між ними і висновки, отримані
Основні закони логіки
Законом логіки називається складне логічне висловлювання, істинність якого не залежить від складових його логічних відносин. Вони складають основу мислить
Аесть тому, що є У
Будь-яка думка може бути визнана істинною тільки тоді, коли вона має достатню підставу. Наприклад, «Ця речовина є електропровідним, тому що воно -
Oslash; (А Ú В) É ØА ØВ
Заперечення диз'юнкції рівнозначно кон'юнкції двох заперечень. Наприклад, «Невірно, що йде дощ або падає сніг» означає «Сьогодні немає дощу і немає снігу». 9) За
Логіко-семантичні парадокси
Природна мова є найнеобхіднішим інструментом людини в його інтелектуальної діяльності. Однак саме мова часто створює проблеми для тих, хто його використовує. ці ін
Який принцип порушений?
1. Міркування «Матерія нескінченна. Містеру N забракло матерії на штани. Значить, його штани більше, ніж нескінченність »порушує принцип 1. однозначності 2. предметності
парадоксальні завдання
1. Екзаменатор говорить недбайливому студенту: «Вгадайте, яку оцінку я вам поставлю. Якщо вгадаєте, отримаєте 3, а то й вгадаєте - 2. »Однак відповідь студента поставив викладача в глухий кут. Він не смо
Основні закони логіки
1. Закон ... стверджує, що суперечать один одному судження не можуть бути одночасно істинними. a) тотожності b) несуперечливий c) Клавия d) д
Види понять за обсягом
При виділенні видів понять потрібно враховувати різні їх особливості. Найважливішими підставами для поділу понять є: (1) тип їх обсягу, (2) тип елементів, що входять в їх обсяги, (3) тип
Види понять за типом елементів обсягу
За типом елементів обсягу поняття поділяються на: а) конкретні і абстрактні - Конкретнимсчітается поняття, елементами обсягу до
Види понять за змістом
За типом ознак поняття поділяють на: а) позитивні і негативні - Положітельнимсчітается поняття, в якому предмети узагальнюються на о
А В А ØA
Штрихуванням на схемах позначено результат застосування відповідних операцій до класів А і В. Перетин обсягів д
Відносини між поняттями за обсягом
Між поняттями існують об'єктивні, незалежні від людини відносини. Перш за все, це відносини порівнянності і непорівнянність. Два понятіяaА (a) і
Узагальнення і обмеження понять
Крім булевих операцій, до понять часто застосовуються такі операції узагальнення і обмеження. Вони засновані на ставленні типу «рід-вид». З двох непустих понять одне з
види понять
1. Конкретним називається поняття, обсяг якого складається з a) об'єктів або їх класів b) властивостей або відносин c) об'єктів або їх властивостей d) кла
Визначення та прийоми, подібні до них
Визначення, дефініція (від лат. «Definitio» - уточнення меж) - це логічна процедура надання строго фіксованого сенсу мовними виразами. У
Явні і неявні визначення
Найбільш поширений вид визначень - явні визначення. Визначення називається явним, якщо і тільки якщо воно задається лінгвістичної конструкц
Реальні і номінальні визначення
Крім того, що всі визначення поділяються на явні і неявні, контекстуальні і неконтекстуальние, їх можна ділити також на реальні і номінальні. При цьому слід
Правила визначення
Для того, щоб визначення було логічно правильними, вони повинні відповідати деяким основним вимогам, правилам. 1) Визначення повинно бути зрозумілим. це оз
види визначень
1. Правило заміни по дефініції діє тільки для ... визначень a) явних b) неявних c) контекстуальних d) аксіоматичних 2. Аксіоматі
Помилки у визначенні
1. Визначення «Квадрат - це чотирикутник, діагональ якого є віссю симетрії» є a) правильним b) занадто вузьким c) занадто широким d) перехрещені
Прості судження та їх види
Судження це думка, в якій що-небудь стверджується або заперечується про будь-яких об'єктах, їх властивості та зв'язки між ними. Як правило, судження виражаються оповідальними
Складні судження та їх види
Судження називаються складними, якщо в них можна виділити правильні частини, які в свою чергу є судженнями. Складні судження утворюються як з простих, так і з ін
заперечення судження
Заперечення судження - це логічна операція, при якій істинне судження змінюється на помилкове, і наоборот.Прі цьому, при запереченні атрибутивного судження одночасно змінюються
Відносини між судженнями
В процесі побудови відносин між судженнями можна виділити порівнянні і непорівнянні. Порівнянні судження мають загальний суб'єкт і предикат. Незрівнянні судження не ма
IсубконтрарностьО
Розглянемо ці відносини між судженнями за допомогою логічного квадрата. Що стосується підпорядкування перебувають судження форм A і I, а також судження E і O. Наприклад, общеутвердительное су
Види атрибутивних суджень
1. Установіть відповідність між типами атрибутивних суджень і формулами, їх виражають. (1) Усі S є Р (А) S a P (2) Жоден S не є P (В) S e P (3) Деякі S
Oslash; А
Таким чином, правильними є висновки від затвердження антецедента (А) до утвердження консеквента (В) і від заперечення консеквента (
На роботі. Отже, на заняттях його не було ».
Умовно-розділові (лемматіческіе) умовиводи. Ці умовиводи містять кілька імплікатівних і одну діз'юнктівную посилку. У диз'юнктивній посилці поділяються певні варіан
безпосередні умовиводи
Безпосередніми називаються умовиводи, в яких висновок робиться з однієї посилки. Незважаючи на тривіальність, в практиці аргументації таких висновків відводиться дуже важлива р
S
протиставлення протиставлення протиставлення суб'єкту предикату суб'єкту і предикату Кожен з них може бути зведений до комбінації звернений
S P S P S P S P
Фігура I фігура II фігура III фігура IV Модус силогізму - це різновид фігури, яка визначається типом входять до нього посилок і висновку. сокра
Ентимеми і полісіллогізм
Ентимемою (від лат. «Ентімем» - «в умі») називається скорочений силогізм, у якому пропущена одна з посилок або висновок. У практиці аргументації ен
Правила посилок
1. Згідно із загальними правилами силогізму, якщо одна з його посилок є негативною, то висновок повинен бути 1. приватним 2. загальним 3. ствердною
A1, ..., An ú»У
Такі висновки отримали назву індуктивних (від лат. «Inductio» - «наведення»), або правдоподібних. До числа правдоподібних умозаключіть
статистична індукція
Статистичної називається узагальнююча індукція, при якій встановлюється відносна частота володіння властивістю Р для довільного
Аргументація і доказ
Аргументація - це повне або часткове обгрунтування істинності якого-небудь судження за допомогою інших суджень. При цьому передбачається, що в правильних аргументації
Спростування та критика
Діяльністю, протилежної за своєю метою і змістом ар-гументаціі, є спростування і критика. Спростування - це повне обгрунтування хибності тези, а
Основні правила аргументації
В процесі аргументації і критики можуть відбуватися помилки двох типів: навмисні і ненавмисні. Умисні помилки називаються софизмами, а особи, які вчиняють такі помилки, -
СЛОВНИК логічних термінів
1. абдукції (від лат. Abducere - приведення) - форма умовиводу, в якому з вихідних суджень (що описують властивості якихось явищ) вибирається нове судження (гіпотеза), котор