Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

Епистемическая логика

Я знаю, что я ничего не знаю, а Другие и этого не знают,

Сократ

Епистемическая логика (греч. - знание) - раздел модальной логики, исследующий рассуждение, в структуре которых выделяются высказывания с епістемічними модальностями "знает", "считает", "верующий", "думает", "известно", "доказано", "подтверждается", "сомневается", "уверен" и проч. Например: "Олег знает, что такое виртуальная реальность", "Ирина убеждена, что все у нее будет хорошо", "Я. сомневается, что лицо Г. говорит правду", "Я сомневаюсь, что выполню это задание", "Известно, что мир не без добрых людей" - модальная система, которая создается на основании логической экспликации епістемічних модальностей, выраженных в естественном языке в определенной личностной или безособистісній форме, средствами формализованного языка.

Возникновение и развитие епістемічної логики связанные с теорией познания, выделением "мира знания", носителем которого является человек, что усвоила определенную сумму знаний, множество людей, носителей определенного вида и типа знания, превращения знания в движущую силу общества.

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

Интеллектуальный субъект - отдельный человек, множество людей, которые являются носителями знания, веры, сомнения, убеждения и т.п.

Объект знания - то, о чем знает интеллектуальный субъект; во что он верует; в чем сомневается и др.

измерение знания определяет, что знает или не знает о определенный объект интеллектуальный субъект во время f.

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

в Зависимости от обособления той или иной епістемічної модальности, создается отдельная разновидность епістемічної логики как модальной системы - "логика знания", "логика веры", "логика убеждения", "логика сомнения".

Первая система епістемічної логики создана на основании модальностей "знает" и "верующий (считает)". Она получила название "логика объективного и субъективного знания" (Я. Хінтікка, Г. X. фон Врігт, Е. Лемон и др.).

Разделение знания на объективное и субъективное впервые осуществили древнегреческие философы. Объективное знание они называли "episteme", а субъективное - "doxa" (взгляд, личное мнение, собственный взгляд).

Анализируя знания (episteme), Аристотель определил: а) различные значения термина "знания": состояние ума (души), убежденность и др.; б) предпосылки знания (чувственное восприятие); в) виды знания - доказательное и недоказове, знания о необходимое и не необходимое или случайное, знания о общее и единичное, знания о первопричине всего существующего и знания о причинах отдельных случаев и т.д.; г) способы обоснования истинности знания, а именно: доказательства, построение силогизма, определения понятий и т.п.

Анализируя термин "doxa" (взгляд, опінія), Аристотель определил, что "doxa" является сферой субъективного мышления людей и является основанием для рассуждений, когда выражают нечто противоположное и непостоянное о предмете мысли. Например, субъективные мнения людей о благо, добро, зло, красоту могут быть разными и по логичной оценкой как истинными, так и ложными.

Разницу между знаниями и взглядами, Аристотель определил во второй "Аналитике". "Знание направлено на общее и основывается на необходимых положениях: необходимым же является то, которое не может быть другим... Взгляд (опінія) бывает о том, что хотя и истинное или ложное, но может быть и иначе... взгляд есть нечто непостоянное, и такова его природа..."

Знания о необходимое и всеобщее дает наука, а взгляд соответствует тому, что наблюдается и зависит от точки зрения субъекта, который наблюдает.

Логический анализ терминов "знания" и "вера"

Термин "знания" имеет много значений. В широком смысле знание - это информация (сведения), которую получает человек о объективный мир, и саму себя в процессе познания и самопознания.

В логико-философском значении знания:

1) продукт познавательной деятельности людей, выраженный в определенной знаково-символической форме;

2) идеальный продукт деятельности человека и человечества;

3) продукт личного или субъективного опыта, индивидуальной познавательной деятельности.

Структура знание: объективное содержание, т.е. информация, которая выражена, изображена определенным способом, знаково-символический способ выражения. Материальным носителем знания является текст, в форме которого знания представленное, оформленное.

Логической формой выражения знания являются высказывания. Множество высказываний, связанных между собой логическими отношениями, создает совокупность знания. Знания в логико-семантическом аспекте имеет:

1) определенный смысл (научный, философский, юридический, политический и проч.);

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

3) предметная сфера интерпретации знания в зависимости от цели его использования.

Знание как идеальный продукт деятельности человека и человечества имеет онтологические и гносеологические основания. Онтологической основанием является объективный мир вещей, явлений, процессов, с которым взаимодействует человек непосредственно или опосредованно и которое влияет на человека и дается ему в ощущениях, представлениях, в опосредованных формах познания - понятиях, высказываниях, умозаключениях. Основой знания является ощущение. Гносеологічною основанием возникновения и развития знания является взаимодействие субъекта, познающего мир с объектом, на который направлена его активность, с помощью определенных методов познания.

Термин "вера" также имеет много значений в разных контекстах: религиозном, психологическом, философском, логическом и др. Определим его значение лишь в логическом контексте. Термин "вера" означает:

1) личное субъективное мнение (взгляд), которая может быть истинной и ложной;

2) субъективную уверенность в существовании того, что нам еще точно неизвестно;

3) субъективную уверенность в правоте (истинности) определенных идей, гипотез, версий, которые еще не имеют строгого логического доказательства в определенный момент времени.

Наличие веры (верований) в интеллектуальных субъектов иногда находится в противоречии с логически обоснованным знанием (логосом), которое вытекает из логически обоснованных оснований, законов, принципов, аксиом. Это отмечал еще средневековый философ-схоласт Тертуллиан. По его мнению, высказывание несколько связано с верованием личностей, не обязательно соответствует законам логики. Этот тезис отражена в таких его известных высказываниях: "Верую, поскольку абсурдно"; Это истинно, поскольку это абсурдно".

В епістемічній логике смысл языкового выражения "Я верю, что...", можно интерпретировать в значениях: "Я уверен, что..."; "Я считаю, что..."; "Я думаю, что..."

Противоположными терминами "знания" и "вера" будут сроки "незнание" и "недоверие". Незнание - это отсутствие у человека или человечества сведений, информации (представлений, понятий, системы понятий) о определенные предметы, явления, процессы объективного мира в определенный момент времени. Неверие в логическом смысле будет означать отсутствие собственных мыслей, убеждений, уверенности в лица х, которая обусловлена ее субъективной установкой. Например: "Я не верю, что есть жизнь после смерти".

На основании логической экспликации терминов "знания" и "вера" определим значение терминов "объективное знание" и "субъективное знание".

Термин "объективное знание" имеет значение:

- таков смысл нашего мышления, которое является адекватным отражением действительности;

- такой продукт познавательной деятельности человечества, который опредмечується в научных и философских теориях, а также гипотезах, концепциях, картинах мира; в других вне-научных формах и видах знания и который объективно существует в материализованных формах - книгах, статьях, газетных и журнальных публикациях, на компьютерных дискетах и т.п.

Термин "субъективное знание" имеет следующие значения:

- мир субъективных мнений, верований, взглядов, убеждений, то есть мир перцепцій конкретных индивидов, личностей;

- продукт индивидуальной познавательной деятельности субъекта х, который выражен в определенных высказываниях.

Согласно такому разделению, логику знания называют логикой объективного знания, а логику веры - логике субъективного знания.

В епістемічній логике для характеристики высказываний, которые кое утверждают о познавательную деятельность интеллектуальных субъектов и в семантическом аспекте имеют объективные и субъективные компоненты, был введен термин "пропозиційна установка" (В. Рассел). Пропозиційна установка (англ. propositional attitude) означает отношение между субъектом, который познает мир и себя самого, и содержанием высказывания, выражающий знания, веру, взгляды, собственные мысли, убеждения, представления и др. Пропозиційна установка имеет вид их знает, что..."; "в верует, что... "; "х считает, что..."; "где х и у - интеллектуальные субъекты, за которыми следует определенный утвердительный высказывание о том, что они знают. Например: "Петр знает, что Земля имеет форму шара"; "Игорь считает, что телепатия существует".

Построение системы епістемічної логики (логики знания и веры)

Ее построение основывается на общих принципах построения модальных логик и имеет семантический и синтаксический аспекты.

Семантика содержит категории:

- "класс"; "высказывания"; "свойство"; "отношение";

- термины, которые выражают эпистемические модальности - "знает"; "верующий (считает)";

- термины, обозначающие істиннісне значение выражения - "истинно (и), "неправильное" (jc), "туманно" (l/2)î

термин "интеллектуальный субъект", который обозначает субъекта, носителя знания и веры ( верований);

термин "пропозиційна установка" (англ, propositional attitude), что означает отношение между интеллектуальным субъектом, носителем знания или веры и содержанию высказывания, которое выражает знания, верования, взгляды и т.п.

термин "когнитивный диссонанс", который означает противоречие между объективным и субъективным знанием.

Dfx - объективное знание - знание, усвоенное определенным интеллектуальным субъектом в процессе познавательной деятельности, которое утверждается в определенном высказывании. Выражается епістемічною модальностью "знает".

Df2 - субъективное знание - мир собственных верований, взглядов, убеждений интеллектуального субъекта, утверждается в определенном высказывании. Выражается епістемічною модальностью "верующий" ("считает").

Поскольку объективное знание выражает фактические данные, то по значению истинности оно истинно (F - истинно) или false (F - ложно), а субъективное знание неопределенное, то есть возможно истинное или ложное (72), поскольку собственные верования и взгляды интеллектуальных субъектов могут соответствовать объективному знанию, а могут не соответствовать.

Синтаксис - алфавит, правила построения формул из символов алфавита, правила вывода одних формул из других; правила интерпретации.

Алфавит - символы для обозначения:

Из символов алфавита строятся формулы, которые формализуют отношения между интеллектуальным субъектом, который кое-что знает (или имеет мнение, считает) о мир и выражает его в высказывании.

КхР (чит.: х знает, что Р. Например: "Богдан знает, что мир состоит из атомов").

ВхР (чит.: х считает, что Р.: "Игорь считает, что жизнь существует в других Галактиках").

На основании данных простых формул можно построить другие формулы:

Между модальностями "знает" и "считает" устанавливаются отношения логического следования:

1. КхР -" ВхР (чит.: если х знает, что Р, то он полагает, что Р).

2. ВхР -> КхР (чит.:если х считает, что Р, то он знает, что Р).

3. -" КхР -> -ч ВхР (чит.: если х не знает, что Р, то х не считает, что Р).

4. -" ВхР -> -" КхР (чит.: если х не считает, что Р, то х не знает, что Р).

Для каждого из приведенных формул можно построить таблицу истинности:

Аксиомы епістемічної логики:

Определенные формулы, содержащие противоречие, можно определить как парадоксы епістемічної логики. Например:

1. -" КхР -> ВхР (чит.: если х не знает, что Р, то он полагает, что Р).

2. ВхР -" КхР (чит.: если х не считает, что Р, то х знает, что Р).

Семантику "епістемічної" логики разрабатывают с целью интерпретации формальной системы знания для различных интеллектуальных субъектов - "идеально разумных субъектов", "реальных субъектов познания" и т.п.

Интерпретация епістемічної логики дается через абстракцию - "епістемічний возможный мир", которую внедрил в епістемічну логику Я. Хінтікка. В работе "Знания и взгляд" он рассматривал епістемічну логику как направление (раздел) модальной логики и екстреполював "семантику возможных миров" для интерпретации формальных систем с епістемічними контекстами.

Термин "возможный мир" в епістемічній логике имеет следующие значения:

- как состояние знания интеллектуального субъекта;

- как эпистемические воображаемые миры (модели), которые совместимы со всем тем, что на самом деле известно интеллектуальном субъекту;

- как эпистемические альтернативы, то есть такие модели, которые строятся на основании знания интеллектуального субъекта и которые могут противоречить действительному состоянию знания.

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

- конкретную сферу соображений интеллектуальных субъектов, которые выражают свое знание и верование в высказываниях с модальностью "знает" и "считает";

- предмет рассуждений (например, экономическая ситуация в мире, политическая ситуация в государстве /-/., полеты человека на Марс, существование жизни после смерти и т.п.);

- істиннісне значения высказываний с модальностями "знает" и "считает";

- логические отношения между высказываниями с епістемічними модальностями.

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 
Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее