БарГУ.by » Учебные материалы » Лекции » Логика » Современные направления в логике

Современные направления в логике

Современные направления в логике

 

1.  модальная логика

2.  логика вопросов и ответов (интерогативная)

3.  многозначные логики

 

Вы не можете скачивать файлы с нашего сервера

 

1.Модальная логика в качестве самостоятельного направления логического исследования возникла в сер.20в. Одним из основателей был финский ученый Вригт. С точки зрения модальной логики любое высказывание обладает не только основным логическим значением (ложь и истина), но и модальным значением, выраженным в так называемых модальных операторах:

  • необходимость и случайность
  • разрешение и запрещение
  • опровергнутость и доказательность

Модальность – характеристика высказывания с точки зрения нелогических факторов. В зависимости от содержания модальных операторов в современной модальной логике выделяют следующие направления исследований:

1)  эпистемическое

2)  деонтическое

3)  алетическое

Эпистэмэ в переводе в древнегреческого означает «несомненное» (доказанное) знание. Все эпистемические модальности относятся к характеристикам знания и выражаются в модальных операторах:

  • опровержение
  • доказано
  • вероятно
  • сомнительно и т.д.

Выраженная в модальных операторах информация указывает на степень обоснованности высказываний: вероятно, что существует жизнь в других частях вселенной. Сомнительно, что можно создать универсальную экономическую модель развития для любого типа общества. Опровергнуто, что атом является неделимой частицей. Доказано, что земля вращается вокруг солнца.

Выделяют 2 вида эпистемических высказываний:

1)  мнение – высказывание, логическое значение которого четко не определено

2)  знание – высказывание, логическое значение которого обосновано

Деонтос (с греч. обязанность) – все деонтические модальности связаны с характеристиками действия и выражаются в модальных операторах:

  • разрешено
  • запрещено
  • обязательно и др.

Выраженная в модальных операторах информация указывает на степень обязанности в отношении действий человека.

Важнейшим объектом исследований в деонтической модальной логике выступает норма. Норма – регулятор действий человека. В деонтической логике выделяются следующие виды норм:

  • ·обязывающие формируются с помощью модальных операторов: должен, обязан
  • ·запрещающие нормы формируются с помощью модальных операторов: запрещено, не допускается
  • ·разрешающие с помощью модальных операторов «разрешено»

Алеттея (с греч открытость (истинность). Алитические модальности связаны с характеристиками высказываний и выражаются в модальных операторах:

  • необходимо
  • случайно
  • возможно

В алетических высказываниях содержится информация о логической или фактической определенности высказывания. Выделяют 2 основные способа определенности высказывания:

1) логическая определенность, в которой логическое значение определенности исключено логической формой самого высказывания. Высказывание является логически определенным (истинным), если оно выражает собой логический закон

2) фактическая определенность определяется объективной действительностью, влияющей на логическое значение высказываний. Если содержание высказывания соответствует реальности, то высказывание является фактически истинным, если не соответствует, то фактически ложным.

 

2.Интерагативная логика – раздел современной символической логики, в которой исследуются логико-семантические (семантика – учение о значениях) свойства вопросно-ответной системы высказывания. Основателем интерагативной логики является немецкий логик Лоренцем.

В интерагативной логике сложились 2 подхода в отношение изучения формы вопросно-ответной системы высказывания:

1) лингвистический. Согласно этому подходу материалом для формирования формальных описаний вопросно-ответной системой служат реально существующие вопросы и ответы естественного языка с неопределенной семантикой

2) информационный. Материалом для формирования формальных описаний вопросно-ответной системы выступает формализованный (искусственный) язык. Формализация вопросно-ответной системы осуществляется на основе искусственно созданной семантике, в которой любому вопросу и ответу четко определено значение.

Основным объектом изучения интерагативной логики выступает вопрос. Термин «вопрос» употребляется в 2-х смыслах:

1)  в широком смысле вопрос – форма развития знаний о мире

2)  в логическом смысле вопрос – особая форма мыслей, выражаемых в виде вопросительного высказывания

Для любого вопроса характерна следующая формальная структура, включающая в себя форму и содержание. Форма вопроса указывает на построение терминов в самом вопросе. Содержание вопроса указывает на его значение. Вопросы выполняют следующие функции:

  • эпистемологическая (эпистемология – философское учение о знаниях) - вопросы выступают важнейшими средствами для формирования нового знания
  • психологическая - вопросы выступают в качестве средств эмоционального воздействия на убеждения человека
  • систематизирующая – вопросы служат средствами для организации определенной информации.

Виды вопросов:

1)  вопросы делятся на открытые и закрытые. Открытые вопросы не предполагают однозначного ответа. Закрытый вопрос использует однозначные ответы

2)  вопросы делятся на элементарные и составные

3)  вопросы делятся на важные и второстепенные

Наряду с вопросами важнейшим объектом изучения интерагативной логики является ответ. Ответ – высказывание, в котором содержится недостающая информация о чем-либо. В структуре ответа выделяют форму и содержание.

В зависимости от формы ответы делятся на:

  • исчерпывающие
  • неполные

В зависимости от содержания:

  • адекватные
  • неадекватные

Этапы ответа на вопрос:

1)  необходимо определить логическое значение вопроса

2)  необходимо разбить составной вопрос на элементарные

3)  необходимо определить значение терминов, входящих в вопрос

Наряду с вопросом и ответом в интерагативной логике в качестве объекта изучения выступает спор. В широком смысле спор – ситуация, в которой опровергается чье-либо мнение. В логическом смысле спор – вид диалога, особенность которого состоит в столкновении определенных мнений разных людей, где стороны используют аргументы в поддрежку своих убеждений. В большинстве случаев целью спора является доказательство истинности определенной системы высказываний.

Выделяют следующие виды спора:

1)  дискуссия

2)  полемика

3)  эклектика

4)  софистика

Дискуссия – вид спора, направленного на достижение согласия в отношении определенных утверждений. Важнейшая задача дискуссии состоит в учете всех мнений, высказанных с отношение эти утверждений, благодаря этому учету создаются условия для взаимопонимания. Результатом взаимопонимания должно стать согласие между участниками дискуссии.

Полемика – вид спора, в котором утверждается исключительно собственное мнение выступающих. В ней определяется выбор только тех аргументов, с которыми согласен их автор.

Эклектика – вид спора, в котором участники используют элементы и полемики, и дискуссии, и т.д.

Софистика – вид спора, в котором используется все дозволенные и недозволенные средства для победы над оппонентом.

 

3.Системы многозначной логики.

Впервые идеи многозначной логики возникли в рамках исследования областей математики и физики. Математик Брауэр считал, что ошибкой является рассмотрение логическим законом (законы прежде всего Аристотеля) в качестве основополагающих законов мышления человека. Считалось, что логические законы (законы формальной логики Аристотеля) опираются лишь на 2 основных логических значения: ложь и истина. На самом деле формальные логические законы отражают лишь закономерности отношений между элементами в конечных множествах. Но в отношении неограниченных множеств элементов законы формальной логики теряют свою значимость.

Завтра будет идти снег: с точки зрения Брауэра вопрос о логическом значении этого высказывания является неопределенным.

Впервые, наряду с логическими значениями ложь и истина немецкий физик Рейхинбах употребил в логическом исчислении логическое значение «не определено».

Одним из первых, кто сделал единую модель в многозначной логике является русский логик Васильев. Основные идеи теории Васильева является выделение в общей логике двух видов логических теорий:

1)  эмпирическая – логическая теория, в основе которой лежат формальные законы Аристотеля

2)  металогика – логическая теория, изучающая возможные миры, не связанные непосредственно с актуальным миром. Металогика строится на основе отрицания некоторых фундаментальных логических законов. Васильев изучал возможную логическую систему, в которой не действует закон непротиворечия.   



Обсудить на форуме

Комментарии к статье:

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

Регистрация

Реклама

Последние комментарии