7592

Семіотичний характер логіки.

Лекция

Логика и философия

Семіотичний характер логіки. Всю множину мов можна поділити на дві підмножини: природні і штучні мови. Природні мови виникають стихійно, в умовах практичної взаємодії між людьми. Вони використовуються насамперед з комунікативною метою як ефективний ...

Украинкский

2013-01-26

39.5 KB

23 чел.

Семіотичний характер логіки.

Всю множину мов можна поділити на дві підмножини: природні і штучні мови.

Природні мови виникають стихійно, в умовах практичної взаємодії між людьми. Вони використовуються насамперед з комунікативною метою як ефективний засіб спілкування.

Штучні мови – це мови, які створені для фіксації результатів пізнання. До штучних мов відносяться мови математики, логіки, а також деякі шифри. В цих мовах відсутня комунікативна мета, вони не використовуються як засіб спілкування. Основна їх мета – це зафіксувати, утримати одержану інформацію. А як засіб комунікації вони використовуються лише спеціалістами.

Будь яка мова, як природна так і штучна – це сукупність певних знаків.

  •  Знак – це матеріальний об'єкт, який слугує представником якогось іншого об'єкту і використовується для зберігання і передачі знань.

Першу наукову класифікацію знаків здійснив американський вчений Ч.Пірс. Він виділив три види знаків в залежності від їх значень.

Перший вид – іконічні знаки (знаки-копії) – це знаки, значення яких повністю визначається тими предметами, яким вони відповідають. Прикладом іконічних знаків можуть бути фотографії, деякі картини.

Другий вид – знаки-символи. Значення цих знаків встановлюється за умовною згодою. Фізично вони не пов'язані з тими об'єктами, які представляють. Прикладом таких знаків можуть бути дорожні знаки, більшість слів природної мови.

Третій вид – знаки-індекси. Значення цих знаків повністю визначається ситуацією їх використання. Прикладом знаків-індексів можуть бути займенники, де-які прислівники (тут, тепер та інші).

Пізніше ця класифікація була модифікована і сьогодні всі знаки прийнято поділяти на мовні (знаки-символи і знаки-індекси) і не-мовні.

Кожний знак має значення. Розрізняють два типи значення: предметне і смислове.

В якості предметного значення (або денотата) виступає предмет, який позначається даним знаком. Смислове значення або смисл – це зміст знаку, який засвоюється в процесі його розуміння. Смисл знаку – це сукупність суттєвих ознак певного предмету, що позначаються даним знаком. Наприклад, якщо ми розглядатимемо ім'я Арістотель, то в якості предметного значення буде виступати сам Арістотель, а в якості смислового значення – мудрець тощо.

Вперше запропонував цю класифікацію німецький філософ Г.Фреге, який вперше створив мову логіки. Він хотів створити мову, в якій кожному знаку відповідав би один смисл. В природній мові це звичайно не так. Крім того в природній мові існують і знаки, які не мають предметного значення (наприклад, казкові персонажі).

Уявлення, пов'язане з знаками абсолютно суб'єктивне. Між денотатом і уявленням знаходиться смисл. Він не такий суб'єктивний, як уявлення, але не відповідає реальності настільки, як у денотата. Приклад: нехай астроном спостерігає Місяць. Місяць в даному разі буде денотатом, зображення на лінзах телескопу – смисл, на сітчатці астронома – уявлення.

Взагалі зв'язок між самим знаком, денотатом і змістом можна представити за допомогою трикутника віднесення.

        С

       

      А       В

А – знак;

В – предмет, до якого відноситься знак (денотат);

С – смисл.

Суцільні лінії означають прямі зв'язки, а пунктир – опосередковане відношення.

Процес, в якому щось виступає як знак, називається семіозисом або знаковим процесом. Цей процес розглядається як система із 4 компонентів:

1) знаковий засіб – те, що виступає знаком;

2) значення – те, на що вказує знак;

3) інтерпретатор – той, хто сприймає знак;

4) інтерпретанта – дія, поведінка того, хто сприймає знак.

Наука, яка вивчає знакові процеси, називається семіотика. Розрізняють два види семіотики:

1) Дескриптивна (описова) семіотика – це семіотика, яка вивчає конкретні знакові системи (семіотика кіно, семіотика архітектури, психоаналітична семіотика).

2) Теоретична семіотика – вивчає загальні властивості і відношення, які притаманні будь-який знаковим системам, незалежно від їх матеріального втілення. Її цікавлять загальні принципи побудови знакових систем, причини їх виникнення і принципи їх функціонування. Вона грунтується на логіці і теоретичній лінгвістиці.

Лінгвістична семіотика, або семіотика мови, вивчає текст як послідовність знакових одиниць Логічна семіотика вивчає природні і штучні мови в різних аспектах їх функціонування.

Існує декілька вимірів процесу семіозису (зазвичай вони присутні всі):

  •  Синтаксичний вимір симіозису – відношення між знаком та іншими знаками.
  •  Відношення між знаком та його значенням – це семантичний вимір семіозису.
  •  Відношення між знаком та інтерпретатором – це прагматичний вимір семіозису.

Однак бувають ситуації, коли один із цих вимірів зникає. Наприклад: віршик із казки Л.Керрола "Аліса в країні чудес".

Відповідно до вимірів семозису, в логічній семіотиці виділяють три розділи:

1) Логічний синтаксис – це розділ семіотики, який вивчає відношення між знаками в структурі формалізованої мови. Для того, щоб його побудувати, потрібно визначитись із алфавітом (сукупність знаків, які використовуються в мові) і синтаксичними правилами (правила творення, які визначають правильно побудовані вирази певної логічної мови; правила перетворення – за їх допомогою з одних правильно побудованих виразів отримують інші правильно побудовані вирази).

2) Логічна семантика – це розділ логічної семіотики, який вивчає відношення знаків до їх значень. Відповідно до двох типів значень, в логічні семантиці виділяють два розділи:

а) теорія референції – вивчає відношення знаків до денотатів (до предметних значень);

б) теорія смисла – вивчає відношення знаків до смислових значень.

Для побудови семантики формалізованої мови необхідно визначитись з алфавітом, правилами творення і правилами інтерпретації (які здійснюють операції приписування значень всім правильно утвореним виразам даної логічної теорії).

3) Логічна прагматика – визначає відношення знаків до інтерпретаторів.

Основним поняттям логічної прагматики ї поняття прагматичного значення. На відміну від семантичного значення, яке є сталим і незмінним в різних контекстах, прагматичне значення є відносним. Воно залежить від знань, вірувань, намірів конкретно людини, а також від позамовного контексту (місця, часу тощо).

Спочатку дослідники найбільшу увагу приділяли логічному синтаксису, потім переважав інтерес до логічної семантики (70-80 рр. 20-го століття). Лише недавно почали досліджувати проблеми логічної прагматики.

Крім вимірів знакового процесу, розрізняють ще рівні семіозису. Вони представляють собою рівні абстракції при розгляді конкретного знакового процесу, тому що розрізняються, які притаманні даному знаку і відношення того знаку, за допомогою яких ми описуємо відношення даного знаку. Відповідно в логіці розрізняють два рівні:

1) об'єктна мова – це мова, за допомогою якої описується певний фрагмент позамовної дійсності;

2) метамова досліджує властивості і відношення об'єктної мови.

В природній мові такої різниці між цими двома рівнями не існує, і тому в природній мові наявні парадокси (це такі міркування, які призводять до двох протилежних висновків).


 

А также другие работы, которые могут Вас заинтересовать

16335. Двумерные массивы. Вложенные циклы 112 KB
  Лабораторная работа № 7 Двумерные массивы. Вложенные циклы Цель: приобретение навыков программирования обработки табличных данных с помощью пользовательской подпрограммыпроцедуры. Индивидуальные варианты лабораторной работы № 7 представлены в таблицах 23 24
16336. Разработка пользовательского приложения с помощью объектов: кнопки-переключателя, контрольного индикатора, рамки 258.5 KB
  Лабораторная работа № 8 Разработка пользовательского приложения с помощью объектов: кнопкипереключателя контрольного индикатора рамки Цель: приобретение навыков разработки проекта VBA с помощью объектов Формы кнопкапереключатель контрольный индикатор рамка. ...
16337. Массивы в VBA 61.5 KB
  Массивы В VBA различают два вида переменных простые переменные и переменные структурного типа. Простые переменные служат для идентификации и резервирования памяти для одного данного. Переменные структурного вида предназначены для идентификации и резервирования па
16338. Объекты формы в VBA: Кнопки-переключатели, Контрольные индикаторы, Рамки 652.5 KB
  Объекты формы в VBA: Кнопкипереключатели Контрольные индикаторы Рамки Кнопкипереключатели. Элемент управления OptionButtons Переключатель позволяют пользователю выбрать одну или несколько взаимоисключающих альтернатив. Эти элементы управления обычно появляются групп...
16339. Функции в VBA 131.5 KB
  Функции в VBA В VBA используются следующие виды функций: математические встроенные функции; математические функции не представленные в VBA; функции форматирования данных; функции преобразования типов Математические встроенные функции ...
16340. Условный оператор в VBA 49 KB
  Условный оператор Условный оператор VBA позволяет проверить некоторое условие и в зависимости от результатов проверки выполнить то или иное действие. Таким образом условный оператор это средство ветвления вычислительного процесса. В VBA существует 2 типа условного ...
16341. Табулирование функции. Табулирование функции одной переменной в VBA 54 KB
  Табулирование функции Табулирование функции одной переменной Постановка задачи. На отрезке [ab] с шагом h протабулировать функцию fx=x2Ln|x| и вывести на печать значения этой функции. Технология выполнения задания: Для решения задачи в област
16342. Операторы цикла в VBA 42.5 KB
  Операторы цикла В VBA существуют два основных типа циклов циклы со счетчиком параметрические и циклы с условием итерационные. Циклы со счетчиком используют в тех случаях когда необходимо выполнить некоторые действия определенное число раз Циклы с условием при...
16343. Оператор выбора (переключатель) в VBA 29.5 KB
  Оператор выбора переключатель С помощью оператора выбора VBA можно выбрать вариант из любого количества вариантов. Параметром по которому осуществляется выбор служит ключ выбора. Структура оператора выбора: Select Case ключ_выбора Case Значение_1 ...