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

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

Сократ

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

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

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

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

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

измерение знания определяет, что знает или не знает о определенный объект интеллектуальный субъект во время 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. ВхР -" КхР (чит.: если х не считает, что Р, то х знает, что Р).

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

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

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

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

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

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

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

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

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

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

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

 
< Пред   СОДЕРЖАНИЕ   След >