Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте za4eti.ru

Философия Философия

Модальная логика

Крючки с поводками Mikado SSH Fudo "SB Chinu", №4BN, поводок 0,22 мм.
Качественные Японские крючки с лопаткой. Крючки с поводками – готовы к ловле. Высшего качества, исключительно острые японские крючки,
58 руб
Раздел: Размер от №1 до №10
Совок №5.
Длина совка: 22 см. Цвет в ассортименте, без возможности выбора.
18 руб
Раздел: Совки
Браслет светоотражающий, самофиксирующийся, желтый.
Изготовлены из влагостойкого и грязестойкого материала, сохраняющего свои свойства в любых погодных условиях. Легкость крепления позволяет
66 руб
Раздел: Прочее

Сущность модальной логики Традиционная или классическая логика, которую мы до сих пор рассматривали, является самой простой и наиболее употребительной логической системой. Она исходит из того, что атомарные (простые) суждения и понятия, из которых строятся рассуждения и которые уже не анализируются, либо истины, либо ложны, но ни то ни другое вместе. Однако многие понятия и суждения повседневных и научных рассуждений не так хорошо укладываются в категории истинных и ложных. Истинностное значение суждения «Вероятно, завтра будет дождь» весьма и весьма не определено. Некоторые логики, начиная с Аристотеля, стали учитывать различие между истинами, являющимися таковыми, так сказать, в силу необходимости, и истинами случайными. Так возникли модальная логика и вероятностная логика. В отличие от классической логики, приписывающей суждениями и понятием два истинностных значения: истина и ложь, модальная логика оперирует такими истинностными значениями, как «возможно», «необходимо», «невозможно», и т.д. Первую попытку построить модальную логику предпринял Аристотель в своем сочинении «Первая и вторая аналитики» (ей посвящены главы третья и восьмая – двадцать вторая «первой аналитики»). Однако, как подметил Я. Лукосевич (1878–1956), аристотелевское изложение модальной логики не было свободно от недостатков. Ученик Аристотеля Теофраст (370–288 до н. э.) уточнил учение Аристотеля о модальности суждений. Средневековые схоласты развили аристотелевскую модальную силлогистику. Современные исследования в области модальной логики характеризуются стремление построить аксиоматические системы модальной логики. Наиболее известные из них это системы Льюиса, Аккермана и Лукасевича. Модальная и вероятностная логики – довольно специфические ветви логики. Знакомство с их основами необходимо для понимания методологии научного исследования. Модальность суждений Под модальностью суждений понимается различия между суждением в зависимости от того, выражают ли они необходимую или вероятностную (случайную) связь между субъектом и предикатом. По модальности суждения делят на три группы: суждения возможности (проблематические), суждения действительности(ассерторические) и суждения необходимости(аподиктические). В суждении возможности отображается возможность наличия или отсутствия признаков у предмета, о котором говорится в данном суждении. Его формула «S возможно есть (не есть) Р». Таким будет, например, суждение «Возможно в Киеве в апреле этого года будет снег». В суждении действительности констатируется наличие или отсутствие у предмета того или иного признака. Его формулы «S есть (не есть) Р». Суждение «Киев стоит на Днепре» – это суждение действительности. В суждении необходимости отображается такой признак, который имеется (отсутствует) у предмета при всех условиях. Его формула «S необходимо есть (не есть) Р». примером суждения необходимости может быть следующее суждение: «Тело, лишенное опоры, падает на Землю». Суждения возможности, действительности и необходимости делятся по качеству на утвердительные и отрицательные, а также по количеству на частные и общие.

Содержательная типология модальностей строится в зависимости от того, какими факторами обуславливается модальность (термин «модальность» означает обусловленный чем-либо). В модальной логики различают логические и физические модальности. Логические модальности – это законы логики и математики. В число физических или каузальных (причинных) модальностей входят все законы экспериментальных наук. Так, суждение «Не верно, что Р и не Р», «2 2=4» и т.п. выражают логические модальности, а суждения «PV=R », «U=IR» и т.п. – физические. Различают также абсолютные и относительные модальности. К абсолютным модальностям относят законы логики, математики, других наук необходимые сами по себе, независимые от чего бы то ни было. Это скажем, суждения «А=А», «2 3=5», «S=V » и т.д. Относительные модальности являются таковыми, необходимо или не необходимо зависимы от чего-либо. Такими модальностями будут, например, суждения: «Прямоугольник является квадратом, если его стороны равны», «Вода кипит при 1000 С при атмосферном давлении 760 мм ртутного столба» и т.п. Логические и физические модальности, независимо от того абсолютны они или относительны, объединяются в алетевтические модальности. Модальности, характеризующие допустимые (или недопустимые) поступки людей, называются деонтологическими. Они выражаются в суждениях, в которых употребляются такие слова (модальные операторы), как «обязательно», «разрешено», «запрещено», «имеют право» и др. Примерами таких модальностей будут суждения: «На Украине пропаганда войны запрещена», «Граждане Украины имеют право исповедовать любую религию или никакую, быть атеистами» и т.п. Деонтологические модальности являются предметом изучения таких наук как этика, юриспруденция. Модальности, характеризующие доказательность каких-либо суждений, называются эпистемологическими. В суждениях эпистемологической модальности употребляются такие слова (модальные операторы), как «доказуемо», «опровержимо». Примерами таких модальностей могут быть суждения: «Доказуемо, что на Марсе есть жизнь», «Опровержимо, что свет имеет волновую природу» и т.д. Эпистемологические модальности по своим свойствам близки к алетевтическим модальностям, при чем оператору «доказуемо», соответствует оператор «необходимо», оператору «опровержимо» – оператор «невозможно». Наконец, иногда различают модальность de dic o («о речи») относящиеся к суждению в целом и de re («о вещи»), которые относятся к предикату. Так, суждение «Возможно, что на Марсе есть жизнь» будет суждением de dic o, а суждение «На Марсе возможна жизнь» – de re. Однако в большинстве современных системах модальной логики модальности интерпретируются как «абсолютные» логические модальности de dic o. Модальная силогистика Модальная силлогистика Аристотеля является крайне сложной логической системой как по своему содержанию, так и по числу модусов (их по меньшей мере 137) Аристотель последовательно рассматривает силлогизмы, в которых одна из посылок является проблематической (символически обозначается Рr) или аподиктической (АР), или ассерторической (Аs). Возможное в сочетании этих посылок: 1) Ар Ар; 2) Ар Аs; 3) Аs Ар; 4) Рr Рr; 5) Рr Аs; 6) Аs Рr; 7) Рr Ар; 8) Ар Рr.

Это следует читать так: «1) большая посылка аподиктическая, меньшая – аподиктическая; 2) большая посылка аподиктическая, меньшая – ассерторическая и т.д.». В каждом из этих случаев он строит модусы, подбирая в качестве посылок общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения. Руководствуясь аналогией с расположением терминов в посылках І, ІІ, ІІІ фигур категорического силлогизма, он решает задачу, какой вывод вытекает из данного сочетания посылок. Так, подбирая посылки по аналогии с расположением посылок в 1 модусе 1 фигуры АМРЩASM→АSP мы получаем задачу: если всякому у необходимо присуще х и всякому z необходимо присуще у, то? в этом случае мы не вправе заменить вопросительный знак общеутвердительным аподиктическим суждением. Мы должны довольствоваться ассерторическим суждением: всякому z присуще х. Еще например, подбирая в четвертой группе (Рr Рr ) посылки согласно модусу АМРЩYSM→YSP ІІІ фигуры получаем: если всякому у может быть присуще х и некоторым у может присуще z, то? Ответом будет вывод некоторым z может быть присуще х. В ряде случаев трудно бывает сразу интуитивно решить, какой должен быть вывод при данном подборе посылок, являющимися модальными высказываниями и требуется тщательное изучение этих случаев. В формализованных аксиоматических системах модальной логики эти вопросы решаются с помощью простой процедуры следования (правда, для введения этой процедуры требуется очень сложный символический язык, который вряд ли смогут понять нематематики). Имеют место следующие содержательные правила для умозаключений модальности. В каждом истинном модус можно заключать: от необходимости к действительности; от невозможного к недействительному; от необходимого и действительного к возможному; от невозможного и недействительного к не необходимому. Нельзя заключать: от возможного к действительному; от действительного к необходимому; от не необходимости к недействительности; от недействительности к невозможности. Вероятностная логика В вероятностной логике исследуются рассуждения с суждениями вероятности. В этих суждениях что-то утверждается или отрицается с известной степенью правдоподобия. При определении вероятностей применяются правила математического исчисления вероятностей. Это делается тремя основными путями. Индуктивное или классическое определение вероятностей было развито Л. Ферма, Я. Бернули (1654–1705), П. Лапласом (1749–1827) и др. Оно основано на анализе равновероятных исходов мыслимого эксперимента. Если все исходы этого мыслимого эксперимента составляют , а, m – число тех наступления события А в этом эксперименте, вероятность которого хотят найти, тоР (А)=Например, исходя из симметрии игральной кости до ее подбрасывания легко подсчитать, что вероятность выпадения более четырех очков (событие А) равна 1/3. В самом деле, вероятность выпадения пяти очков равна, вероятность выпадения шести очков-то же . Следовательно, Р (А)= В ХХ в. сначала Р. Мизес, а затем Г. Рейхенбах обратили внимание на то, что часто интересуемые нас события опосредованы такой массой обстоятельств, что учесть их и априорно предсказать, с какой вероятностью из них будут вытекать эти события, не представляется возможным.

Д'Артаньян полагает, что это две разные улицы, поскольку они по-разному называются; он знает, что живет на улице, являющейся продолжением Арамисовой, но по ошибке именует ту улицей Сервандони, а не улицей Гнутой Ноги. Почему бы и нет? Возможно, он знаком с флорентийцем по имени Сервандони, прапрадедушкой зодчего, и память просто сыграла с ним такую шутку. Однако в тексте не сказано, что д'Артаньян попадает на улицу, которую «он считает» улицей Сервандони. В тексте сказано, что он попадает на улицу, которую читатель [200] должен считать улицей Сервандони. Как выйти из этой, еще более щекотливой ситуации? Чтобы из нее выйти, учтем, что до сих пор мы с вами псевдофилософствовали на темы онтологии вымышленных персонажей, а должна была нас интересовать вовсе не онтология литературных миров и их обитателей (она предмет модальной логики), но позиция читателя. О том, что Холмс не женат, нам известно из корпуса художественных текстов, Холмсианы. А вот о том, что в 1625 году улицы Сервандони не существовало, мы можем узнать только из Энциклопедии, внетекстовых источников, которые для текстового мира представляют собой досужие сплетни

1. Алгебра логики

2. «Нечеткая логика в системах управления»

3. Алгебра логики

4. Предмет и значение логики

5. Логика (Контрольная)

6. Расчёт элементов эмиттерно-связанной логике
7. Логико-методологические аспекты технического знания
8. ЛОГИКА

9. Сравнение основных законов мышления в формальной логике

10. Логика Аристотеля

11. Контрольная работа по логике

12. Аристотель - основатель науки Логики

13. Содержание и логика развития управления

14. Ф.Ф. Сидоренко. Логика (пособие с задачами и упражнениями)

15. Логика в судебной практике

16. "Метель" А. С. Пушкина: тайна смысла и логика сюжета

Магнитофончик "Мульти-пульти".
С магнитофончиком "Мульти-пульти" можно устроить настоящую дискотеку! Слушай 16 песенок ("Весёлая карусель",
340 руб
Раздел: Прочие
Папка для чертежей и рисунков, А2.
Толщина 1,3 мм. Размер - А2 (640x470 мм). 1 отделение. Материал - пластик. 2 ручки. Закрывается на молнию. Цвет в ассортименте, без
537 руб
Раздел: Папки для акварелей, рисования
Набор детской посуды "Принцесса", 3 предмета.
Набор посуды для детей включает в себя три предмета: суповую тарелку, обеденную тарелку и кружку. Набор упакован в красочную, подарочную
397 руб
Раздел: Наборы для кормления

17. Две контрольные работы по логике

18. Контрольная по логике - 22 упражнения (вариант №3)

19. Контрольная работа по логике

20. Логика - контрольная работа МАЭП

21. Логика Эммануила Канта

22. Логика контрольная 3 и 4
23. Логика контрольная 6
24. Логика предикатов с одним переменным

25. Логика. Формальная или диалектическая?

26. Шпаргалка по логике

27. Логика

28. Познание природы и логика

29. Минимизация функций алгебры логики

30. Элементы математической логики

31. Сознание и формальная логика

32. ЛОГИКА

Пенал-книжка для начальной школы "Ever After High", 21x14 см.
Пенал-книжка для начальной школы. 1 отделение, держатели письменных принадлежностей. Застегивается на молнию. Размер: 21х14х3 см.
303 руб
Раздел: Без наполнения
Набор инструментов.
Помогаю папе - отличный игровой набор для юных мастеров. Научит начальным профессиональным навыкам. Поможет ребенку почувствовать себя
589 руб
Раздел: Инструменты и мастерские
Рюкзачок малый "Вспыш".
Легкий и компактный дошкольный рюкзачок - это красивый и удобный аксессуар для вашего ребенка. В его внутреннем отделении на молнии легко
436 руб
Раздел: Детские

33. Логика светской беседы

34. Законы логики

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

36. Многозначные логики Я. Лукасевича

37. Философия языка "Трактата": логика языка versus логика мышления

38. Происхождение человека (Логика антропогенеза)
39. Коммунизм — «неотвратимая судьба России». Историософская логика Н. А. Бердяева
40. Логика как наука. Определение логики

41. Предпосылки, своеобразие и логика развития социальной философии: исторический аспект

42. Логика

43. Гносеология и логика

44. Предмет и значение логики

45. Гегель - наука логика

46. Логика в судебном исследовании

47. Логика и методология Аристотеля

48. Многозначные логики

Насадка на кран "Палитра", светодиодная.
Светодиодная насадка «Палитра» включается под напором воды и, в зависимости от ее температуры, подсвечивает проходящий поток в синий,
490 руб
Раздел: Ванная
Чайник эмалированный "Шиповник" EM-40X1/45, с керамической ручкой, 4 л.
Объем: 4 л. Внешнее высокопрочное трехслойное эмалевое покрытие. Внутреннее эмалевое покрытие, устойчивое к воздействию пищевых
1323 руб
Раздел: Чайники эмалированные
Папка для труда, А4, на липучке.
Удобная папка для уроков труда на липучках. Полностью раскрывается. Внутри папки находится большое отделение с прозрачным окном, а также
366 руб
Раздел: Папки для труда

49. Предмет и значение логики

50. Законы логики

51. Деонтическая логика

52. Логика речи

53. Логика и мышление

54. Математическая логика и теория алгоритмов
55. Логика прорыва
56. Логико-гносеологические и социальные аспекты компьютерной информатизации

57. Логика

58. Аппарат экспрессии генов и его логика

59. Логика в системе гуманитарной культуры и юриспруденции

60. Логика права и правосознание

61. Использование нечёткой логики в системах автоматического управления

62. Разработка структуры процессора на основе МПА с жесткой логикой

63. Функции алгебры логики. Логический базис

64. Культура и коммуникация: логика взаимосвязи символов

Стул детский Ника "СТУ3" складной, мягкий (цвет: синий).
Особенности: - стул складной; - предназначен для детей от 3 до 7 лет; - металлический каркас; - на ножках стула установлены пластмассовые
518 руб
Раздел: Стульчики
Рюкзак для средней школы "Неон", 46x34x18 см.
Рюкзак для средней школы. 2 основных отделения, 4 дополнительных кармана. Формоустойчивая спинка. Ремни регулировки объема. Материал:
978 руб
Раздел: Без наполнения
Доска пробковая "Premium", 60x90, алюминиевая рамка.
Доска пробковая с качественным покрытием, в элегантной рамке из алюминиевого профиля. Изготовлены c использованием наполнителя Softboard,
1054 руб
Раздел: Прочее

65. Математическая логика

66. Логика аргументации при принятии решений в медицине

67. Логика деловых отношений

68. Промышленная логика TQM

69. Контрольные вопросы по логике

70. Понятие как логико-смысловая форма мышления. Логические операции с понятиями
71. Логико-математические игры в работе со старшими дошкольниками как средство формирования логического мышления
72. Логика как инструмент риторического воздействия

73. Логика как наука о мышлении

74. Суждение как логико-структурная форма мышления

75. Женская логика против мужского шовинизма

76. Диалектика судьбы человека: логика природы и логика истории

77. Индуктивная логика

78. История логики

79. Логика

80. Логика

Зеркало с подсветкой "Новый взгляд".
Хотите наносить макияж с максимальным комфортом? Увеличительное зеркало с подсветкой "Новый взгляд" обеспечит Вам отличную
639 руб
Раздел: Зеркала, расчески, заколки
Мощное чистящее средство для ванной комнаты и туалета с возможностью распыления "Mitsuei", 400.
Сверхсильное средство для удаления плесени. Эффективно очищает кафель, стены, расщепляет любые загрязнения. Дезинфицирует поверхности.
315 руб
Раздел: Для сантехники
Матрас в овальную кроватку Bambola (125x75x8 см).
С первых дней жизни здоровье малыша напрямую зависит от полноценного и комфортного сна. Правильно подобранный матрас для детской кроватки
2024 руб
Раздел: Матрацы более 120 см

81. Логика

82. Логика

83. Логика Аристотеля

84. Логика высказываний

85. Логика и риторика

86. Логика социальных наук К.Поппера
87. Логики как наука, ее предмет и задачи
88. Проблема начала в "Науке логики" Г.В.Ф.Гегеля.

89. Социальное назначение и функции логики

90. Философский анализ трансформаций свободы (логико-исторический аспект)

91. Формальная логика как наука о мышлении

92. Основные понятия логики

93. Основы и законы логики

94. Парадоксы логики

95. Возникновение логики как науки и основные этапы её развития

96. Роль микроэлементов в обменных процессах растений и на накоплении ими биологически активных веществ (Реферат (обзор литературы) () WinWord 97)

Говорящий плакат "Первые знания".
С помощью этого говорящего плаката ваш ребенок изучит буквы и цифры! Нажимай на мультяшек и слушай любимые песенки. Выбери игру -
445 руб
Раздел: Электронные и звуковые плакаты
Автокружка с подогревом USB 12 V (450 мл).
Подключается к стандартному автомобильному прикуривателю и разъему USB. Сохраняет жидкость теплой, пока подключена к прикуривателю или
660 руб
Раздел: Прочее
Ручка-стилус шариковая "Даниил".
Перед Вами готовый подарок в стильной упаковке — шариковая ручка со стилусом. Она имеет прочный металлический корпус, а надпись нанесена с
415 руб
Раздел: Металлические ручки

97. Экономическая сказка-реферат "НДС - вражья морда" или просто "Сказка про НДС"

98. Сравнительные степени прилагательных и наречий (Comparison) Модальные глаголы (Modal Verbs) Цепочки существительных (Атрибутивная, номинативная группа) (Chains of nouns)

99. Реферат перевода с английского языка из книги “A History of England” by Keith Feiling


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.