Реферат: Эпистемическая логика - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

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

Банк рефератов / Философия

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 60 kb, скачать бесплатно
Обойти Антиплагиат
Повысьте уникальность файла до 80-100% здесь.
Промокод referatbank - cкидка 20%!

Узнайте стоимость написания уникальной работы

Эпистемическ ая логика Блинов А.К. В качестве эффективного инструмента реконструкции и анализа теоретико -познавательных контекстов и проблем обычно используется особый вид ин тенсиональной логики – эпистемическая логика. Это направление соврем енной неклассической логики было инициировано пионерской работой Я.Хи нтикки "Знание и убеждение" (1962). Основная идея этой работы заключается в ин терпретация понятий знания и убеждения как особого рода (эпистемически х) модальных операторов, которые добавляются к языку обычной классическ ой логики. Хинтикка, в частности, использует операторы К а (для знания) и В а (для убеждения), где выражения К ар и В ар обозначают утверждения "а знает, ч то р" и "а считает (полагает, убежден, думает), что р" соответственно. "Здесь а е сть имя некоторого лица, личное местоимение или, возможно, конечное опис ание некоторого человека, а р есть независимое повествовательное предл ожение".[25] В дальнейшем изложении, чтобы избежать излишней технической де тализации, мы будем использовать эпистемические операторы без явной сс ылки на конкретного субъекта познания (т.е. индекс а будет опускаться); при этом всегда неявно подразумевается наличие некоторого фиксированного субъекта. Кр означает тогда "(некто) знает, что р" (или просто "р известно"), Вр – "(некто) полагает, что р". Иногда наряду с операторами знания и убеждения вводятся и другие аналогичные эпистемические операторы, например для "с омневается", "опровергает" и т.п. Аппарат эпистемической логики позволяет ставить и успешно решать зада чи выявления формальных (логических) свойств операторов знания и убежде ния (а значит и соответствующих понятий), формулировки аксиом, выражающи х эти свойства, и установления взаимосвязи между данными операторами и п онятиями. При этом активно задействуются результаты философского анал иза понятий знания и убеждения. Начнем с оператора убеждения. Для этого о ператора, дополнительно к аксиомам классической логики, можно принять с ледующие постулаты: В1. В(р ® q ) ® (Вр ® Вq). (Каждый должен быть убежден в истинности всех следствий п ринимаемых им допущений.) B 2. Bp ® ~ B ~ p . (Невозможно одновременно быть убежденным в истинности какого-ниб удь высказывания и его отрицания – рациональный субъект не должен прин имать противоречия.) B 3. Bp ® BBp . (Если некто считает, что р, то он также убежден в том, что он так считае т.) B 4. ~ Bp ® B ~ Bp . (Если некто не считает, что р, то он должен быть убежден в том, что он т ак не считает.) Первые два постулата говорят о том, что мы имеем здесь дело не с дескрипти вным, а с рационализированным понятием убеждения. Это понятие выражает н е фактические убеждения того или иного конкретного субъекта в том или ин ом конкретном случае, а принципы, которым должны подчиняться рациональн ые убеждения вообще.[26] Последние два постулата выражают то обстоятельст во, что мы не можем ошибаться касательно того, в чем мы убеждены, а в чем – н ет. Субъект всегда имеет определенность относительно высказываний о со бственных убеждениях. Перейдем теперь к оператору знания. Для этого оператора обычно принимаю тся следующие основополагающие постулаты: K1. Kp ® p . (Если высказывание известно, то оно истинно; знание высказывания вле чет за собой его истинность.) K 2. K(р ® q ) ® (Kр ® Kq). (Если известно, что высказывание p влечет за собой высказыван ие q , а также известно p , то известно и q ) K3. Kp ® KKp. (Если некто знает какое-то высказывание, то он также знает, что он это знает.) Во многих системах эпистемической логики принимается следующее правил о вывода, которому должен подчиняться оператор знания: Если высказывани е р является доказанным, то доказанным является и высказывание Кр (прави ло "навешивания" оператора знания). Согласно этому правилу, познающий суб ъект знает все теоремы логики (логическое всеведение). Это, конечно, довол ьно сильная идеализация, к тому же небесспорная. Имеется обширная логико -философская литература, посвященая обсуждению этого принципа и рассмо трению различных доводов за и против его принятия. Следующей важной задачей является установление взаимосвязи между опер аторами знания и убеждений. Эта взаимосвязь, в основном, фиксируется пос редством следующего постулата: KB1. Kp ® Bp. (Если некто знает, что р, то он также считает, что р.) Постулаты К1 и КВ1 отражают то понимание, что необходимыми условиями знан ия высказывания являются как его истинность, так и убежденность в нем со стороны некоторого субъекта. В некоторых системах эпистемической логи ки эти условия считаются также и достаточными, в результате чего получае м следующее определение знания: Определение 1. Кр U Вр U р. (Некто знает, что р, если и только если он убежден, что р и р является истинным.) Несмотря на то, что, как было показано в предыдущем параграфе, с философск ой точки зрения это определение является явно неполным, его вполне можно использовать для целей логического анализа в качестве рабочего опреде ления. Если же ввести дополнительный "оператор обоснованности" – Jp (читае тся как "р является обоснованным"), то можем сформулировать следующее опр еделение знания как обоснованного истинного убеждения: Определение 2. Кр U Вр U Jp U р. Перечисленные постулаты делают возможным формальный анализ понятий зн ания и убеждения в рамках определенной системы аксиом. Такой анализ осущ ествляется в ходе доказательства новых теорем. В качестве примера, покаж ем, как доказывается теорема, выражающая невозможность противоречивос ти знания: Кр ® ~ К ~ р . В скобках после каждого шага доказательства дается о боснование данного шага. Kp ® Bp ( постулат КВ1 ) Bp ® ~ B ~ p (постулат В2) Kp ® ~ B ~ p (из 1 и 2 по транзитивности) K ~ p ® B ~ p (частный случай постулата КВ1) ~ B ~ p ® ~ K ~ p (из 4 по контрапозиции) Kp ® ~ K ~ p (из 3 и 5 по транзитивности). То есть, если некто знает, что р, то неверно, что он знает ~ р – нельзя одновр еменно знать как р, так и ~ р , что и требовалось доказать. Другая интересная теорема, устанавливающая связь между понятиями знан ия и убеждения, непосредственно следует из постулатов К3 и КВ1: Kp ® В Kp . Эта те орема по существу говорит о том, что если мы что-то знаем, то мы обязательн о должны быть убеждены в самом факте нашего знания. Философское значение эпистемической логики заключается также в том, чт о сама постановка вопроса, следует ли принимать в качестве аксиом те или иные эпистемические формулы, способна стимулировать обсуждение соотве тствующих эпистемологических проблем, в частности проблемы философско го обоснования соответствующих эпистемологических принципов. Так напр имер, из вышеприведенных аксиом нельзя вывести следующие формулы: В p ® КВ p и ~ В p ® K ~ В p , которые утверждают, что если мы в чем-то убеждены или не убежден ы, то сам факт наличия или отсутствия этого убеждения должен быть нам изв естен. Можно было бы рассмотреть возможность принятия этих формул в каче стве дополнительных аксиом. Это, однако, требует предварительного содер жательного оправдания данных принципов. [25] Более подробно проблема критериев рациональности убеждений будет ра ссмотрена в § 9.6, в связи с понятием эпистемического состояния субъекта. [26] См ., напр . Carnap R. Scheinprobleme in der Philosophie. Das Fremdpsychische und der Realismusstreit. Berlin, 1928.
1Авиация и космонавтика
2Архитектура и строительство
3Астрономия
 
4Безопасность жизнедеятельности
5Биология
 
6Военная кафедра, гражданская оборона
 
7География, экономическая география
8Геология и геодезия
9Государственное регулирование и налоги
 
10Естествознание
 
11Журналистика
 
12Законодательство и право
13Адвокатура
14Административное право
15Арбитражное процессуальное право
16Банковское право
17Государство и право
18Гражданское право и процесс
19Жилищное право
20Законодательство зарубежных стран
21Земельное право
22Конституционное право
23Конституционное право зарубежных стран
24Международное право
25Муниципальное право
26Налоговое право
27Римское право
28Семейное право
29Таможенное право
30Трудовое право
31Уголовное право и процесс
32Финансовое право
33Хозяйственное право
34Экологическое право
35Юриспруденция
36Иностранные языки
37Информатика, информационные технологии
38Базы данных
39Компьютерные сети
40Программирование
41Искусство и культура
42Краеведение
43Культурология
44Музыка
45История
46Биографии
47Историческая личность
 
48Литература
 
49Маркетинг и реклама
50Математика
51Медицина и здоровье
52Менеджмент
53Антикризисное управление
54Делопроизводство и документооборот
55Логистика
 
56Педагогика
57Политология
58Правоохранительные органы
59Криминалистика и криминология
60Прочее
61Психология
62Юридическая психология
 
63Радиоэлектроника
64Религия
 
65Сельское хозяйство и землепользование
66Социология
67Страхование
 
68Технологии
69Материаловедение
70Машиностроение
71Металлургия
72Транспорт
73Туризм
 
74Физика
75Физкультура и спорт
76Философия
 
77Химия
 
78Экология, охрана природы
79Экономика и финансы
80Анализ хозяйственной деятельности
81Банковское дело и кредитование
82Биржевое дело
83Бухгалтерский учет и аудит
84История экономических учений
85Международные отношения
86Предпринимательство, бизнес, микроэкономика
87Финансы
88Ценные бумаги и фондовый рынок
89Экономика предприятия
90Экономико-математическое моделирование
91Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Приличная девушка не морщит носик, когда у тебя случайно вырвется матерное слово. По настоящему приличная девушка должна спросить, что значит это слово.
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по философии "Эпистемическая логика", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2017
Рейтинг@Mail.ru