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

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

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

Ночник-проектор "Звездное небо и планеты", фиолетовый.
Оригинальный светильник - ночник - проектор. Корпус поворачивается от руки. Источник света: 1) Лампочка (от карманных фонариков) 2) Три
330 руб
Раздел: Ночники
Коврик для запекания, силиконовый "Пекарь".
Коврик "Пекарь", сделанный из силикона, поможет Вам готовить вкусную и красивую выпечку. Благодаря материалу коврика, выпечка не
202 руб
Раздел: Коврики силиконовые для выпечки
Карабин, 6x60 мм.
Размеры: 6x60 мм. Материал: металл. Упаковка: блистер.
44 руб
Раздел: Карабины для ошейников и поводков

Многозначные логики Я. Лукасевича Блинов А.К. 1. Возникновение и формализация модальных логик Многозначные логики представляют собой оригинальное и интересное направление в логике. Их появление часто связывают с широко известной проблемой «будущей случайности». В девятой главе трактата «Об истолковании» Аристотель ставит следующую проблему: верно ли, что относительно единичного и вместе с тем будущего события всякое утверждение или отрицание истинно или ложно? Верно ли, например, что относительно завтрашнего морского сражения истинно или ложно утверждение «завтра морское сражение произойдет» или отрицание «завтра морское сражение не произойдет?» Содержание знаменитого фаталистического аргумента Аристотеля можно представить следующим образом. Пусть сейчас истинно, что завтра будет морское сражение. Из этого следует, что завтрашнее морское сражение является необходимым, так как не может быть, чтобы завтра не было морского сражения, иначе сегодня не было бы истинно, что морское сражение завтра произойдет. Подобное рассуждение можно сформулировать и для случая, когда сейчас ложно, что морское сражение завтра произойдет. Сейчас истинно или ложно, что завтра будет морское сражение. Значит, или необходимо, что оно произойдет, или необходимо, что оно не произойдет. Получается, что все происходящее происходит по необходимости, случайных событий нет. Указанная проблема оказалась удивительно продуктивной для развития логики: распространенным является мнение, что именно многочисленные попытки логической реконструкции подхода Аристотеля к решению проблемы будущей случайности привели к появлению многозначных логик. Следует отметить, что идея многозначных логик имеет давнюю историю. Незыблемость принципа логической бивалентности, или двузначности, согласно которому каждое высказывание является истинным или ложным, подвергалась сомнению уже в средневековье. Некоторые исследователи отмечают , что, в частности, еще Петр Аврелий высказывал предположение о возможном ограничении указанного принципа в целях сохранения случайности, подойдя, т.о., к идее третьего значения довольно близко. Многие исследователи (Ф. Бенер, А. Прайор, П. Белтс и др.) утверждают, что четкая идея трехзначной логики просматривается у Оккама, хотя последний и не продолжил исследований в этом направлении. Тем не менее, развитие многозначных логик как особого направления связывается, прежде всего, с именем Яна Лукасевича. Такие работы Лукасевича, как статьи «В защиту логистики» и «О детерминизме», монография «Аристотелевская силлогистика с точки зрения современной формальной логики» по праву входят в число классических произведений современной философии и логики. «Философию необходимо перестроить, начиная с оснований, вдохнуть в нее научный метод и подкрепить ее новой логикой» - такая задача представляется Лукасевичу важнейшей в контексте его научного кредо. Проблема, которая более всего интересовала Лукасевича – это проблема детерминизма. При этом, под детерминизмом он понимал «точку зрения, гласящую, что если А является b в момент , то истинно в любой момент, предшествующий , что А есть b в момент .»

Детерминистская точка зрения, по мнению Лукасевича, «странна и совсем не очевидна» . Он подробно рассматривает два наиболее сильных аргумента в ее защиту: первый, идущий от Аристотеля, основывается на принципе исключенного третьего, второй – на физическом принципе причинности. Лукасевич показывает, что второй аргумент не исключает индетерминизма, т.е. что «можно быть глубоко убежденным, что ничего не происходит без причины и что каждое событие имеет своей причиной какое-нибудь событие прошлого, но тем не менее, не быть детерминистом.» Желая разрушить фаталистический аргумент Аристотеля, Лукасевич приходит к необходимости отказаться от принципа двузначности, так как полагает, что доводы Аристотеля не столько подрывают принцип исключенного третьего, сколько именно принцип двузначности. Различение принципа двузначности (бивалентности) и принципа исключенного третьего следует отметить как серьезное достижение Лукасевича. А.С. Карпенко, например, отмечает смешение принципа бивалентности с законом исключенного третьего как весьма распространенную ошибку и следующим образом характеризует имеющее место различие: «Различие между указанными принципами является более глубоким, даже фундаментальным, чем это можно выразить на формальном уровне. Принцип бивалентности применим только к высказываниям и потому является только логическим принципом, т.е. принципом теории истинности, в то время как содержание закона исключенного третьего ничуть не исчерпывается формой р U O р, поскольку кроме своего логического статуса имеет еще металогический и онтологический статус» . В уже упомянутой статье «О детерминизме» Лукасевич так характеризует принцип двузначности: «Этот принцип, ввиду того, что он лежит в основе логики, не может быть доказан. Ему можно только доверять, а доверяет ему тот, кому он кажется очевидным. Поэтому мне ничто не препятствует этот принцип не признать и принять, что, кроме истинности и ложности существуют еще другие логические значения, по крайней мере, еще одно, третье логическое значение». Т.о., неопределенные высказывания, к которым относятся и высказывания о будущих случайных событиях, по мнению Лукасевича, не являются ни истинными, ни ложными, им присуще другое истинностное значение. Этим высказываниям не соответствует ни бытие, ни небытие, но лишь возможность. Т.о., Лукасевич вводит в логику третье истинностное значение, промежуточное между «истиной» и «ложью», которое он интерпретирует как «возможность». Так Лукасевич разрушает фаталистический аргумент Аристотеля. Причем, способ решения частной проблемы в данном случае не менее важен, чем результат. Нельзя не согласиться с Лукасевичем, который утверждал, что введение третьего значения в логику изменяет ее до основания, что трехзначная логика отличается от двузначной не менее, чем системы неэвклидовой геометрии от евклидовой геометрии. Существовала ли и существует до сих пор тенденция связывать индукцию с вероятностным подходом или, как его называли ранее, особенно логики, с правдоподобием? Вначале Лукасевич был сторонником т.н. инверсной теории дедукции, согласно которой индукция является рассуждением, в котором отыскивается логическое основание для единичных предложений опыта.

Связь индуктивных и дедуктивных рассуждений он обобщил, следуя Твардовскому, в понятии рассуждения как процесса. Лукасевич различает основание и следствие, которые не соответствуют паре посылка-заключение, и в связи с этим вводит направление рассуждения . Если посылка является основанием, а заключение - следствием, то речь идет о дедуктивном рассуждении, а если посылка есть следствие, а заключение - основание, то речь идет о рассуждении-редукции, или говоря иначе, дедукция является нахождением следствия по данному основанию, а редукция - основания для данного следствия. Дедукция является надежным, безошибочным рассуждением, тогда как редукция - всего лишь правдоподобным. Но в 1909 году Лукасевич, анализируя формулу Лапласа p = 1/ 2, по которой определяется правдоподобие того, что 1 событие обладает свойством, которое проявилось в событиях, формулирует аргумент, ставивший под сомнение осмысленность приписывания индуктивным заключениям меры правдоподобия . Формула Лапласа касается единичного события, тогда как в индуктивном заключении речь идет о правдоподобии генерализации. Можно воспользоваться т.н. обобщенной формулой Лапласа p = 1/ m 1, где m - это число событий, охваченных генерализацией, а - базис индукции (число наблюдаемых событий). Поскольку m много больше , то p не может быть больше 1/2, а если m стремится к бесконечности, то p - к нулю. Поэтому Лукасевич в работе "Логические основания исчисления правдоподобия" старается выяснить, почему понятие правдоподобия не относится к предложениям (суждениям). Он считает, что меру правдоподобия можно приписывать пропозициональным функциям в виде отношения числа аргументов, для которых она истинна, к конечному числу всех значений переменной. Предложения, т.е. формулы без свободных переменных бывают или истинными, или ложными и понятие правдоподобия к ним не относится вообще. Таким образом, если истинностную оценку считать именем предложения в косвенном употреблении, то, очевидно, отождествить ее с ситуацией невозможно. Поэтому Лукасевич оставляет индукцию как опосредующий метод, предваряющий дедукцию и обращается непосредственно к ревизии рассуждения как понятию, охватывающему и индукцию, и дедукцию. Эта ревизия состояла в высказывании сомнения относительно универсальности двух важнейших законов: принципа исключенного третьего и принципа противоречия. Если второму из этих законов посвящена монография "О принципе противоречия у Аристотеля" , то о первом можно найти упоминание в коротком отчете "О принципе исключенного среднего" . Исходная позиция метафизика Лукасевича в ревизии обоих этих законов одна. В отчете он пишет: " два важнейших онтологических принципа, известных как принцип противоречия и принцип исключенного среднего истинными сами по себе не являются, но требуют доказательства; однако поскольку доказать их не удается, особенно в применении к реальным предметам, то их следует считать только допущениями. Поэтому необходимость признания этих принципов не имеет логического источника, но проистекает из определенных практических потребностей" . В ревизии рассуждения как процесса, в частности, процесса приписывания свойств предметам именно последние стали для Лукасевича на какое-то время целью анализа, и здесь можно обнаружить выразительное влияние А.М

Таким образом трактовка модальности как функтора сугубо экстралингвистическая, в отличие от логического функтора, обладающего четко выраженной интралингвистической, или, как принято говорить, синсематической интерпретацией. Поэтому семиотическое воплощение модальности в виде оператора, как кажется, более адекватно ее смыслу, чем интерпретация в виде функтора, принятая Лукасевичем и распространенная в школе. 277 Lukasiewicz J. Uwagi o aksjomacie Nicoda i o «dedukcji uogolniajacej» / Ks.PTF. Ss.366-382. 1932. 278 Lukasiewicz J.] A system of modal logic «Journal of Computing Systems». I, no.3, 1953. Pp.111-149. 279 См., в частности: А.С.Карпенко. Многозначные логики Логика и компьютер. Вып.4. М: Наука, 1997; А.С.Карпенко. Логика Лукасевича и простые числа. М., ИФРАН, 2001; С.А.Павлов. Трехзначная логика Лукасевича и логика ложности FL4. Logical Jorney Online Studies. 1998, 1 ( 280 См.: The Concept of Truth in Formalized Languages, in Logic, Semantics, Metamathematics. Clarendon Press. Oxford, 1956; Tarski A. The Semantic Conception of Truth and the Foundations of Semantics.P Philosophy and Phenomenology Research, v.4 (1944), pp. 341-375

1. Философские проблемы фантастики

2. Философские проблемы математики

3. Суицид, как социально-философская проблема

4. Философские проблемы в романе Толстого "Война и мир"

5. Математическое моделирование как философская проблема

6. Классификация наук (философская проблема)
7. Моделирование как философская проблема
8. Философские проблемы технического прогресса. Его плюсы и минусы

9. Человек как философская проблема

10. Философская проблема времени

11. Человек как философская проблема

12. Философские проблемы взаимодействия природы и общества

13. Философские проблемы геосистем

14. Философские проблемы лирики А.С. Пушкина

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

16. Философские проблемы современной техники в работах К. Ясперса

Шторка антимоскитная "Цветок" с магнитными замками.
Размеры: 100х220 см. Препятствует проникновению насекомых. Не нарушает естественную циркуляцию воздуха. Подходит для любых типов дверных
372 руб
Раздел: Сетки противомоскитные
Пеленка-кокон Папитто на липучке (двухслойная).
Пеленка выполнена из двойного интерлока (100% хлопок), а это отличный материал для пошива одежды для новорожденных. Пеленка-кокон это
388 руб
Раздел: Пелёнки
Набор игрушек на присосках "Каскадер".
Что подарить творческому ребенку, из которого ключом бьет энергия? Чем занять неугомонного малыша в дороге или в ожидании? Набор игрушек
340 руб
Раздел: Из резины

17. Основы философских знаний. Философские проблемы в медицине

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

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

20. Многозначность и богатство русской лексики

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

22. «Нечеткая логика в системах управления»
23. Алгебра логики
24. Предмет формальной логики

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

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

27. Логика

28. Основы формальной логики (учебно-методическое пособие для студентов вечернего и заочного отделения)

29. Основные принципы диалектической и формальной логики и их содержание

30. Философские взгляды Больцмана в свете полемики по проблемам физики кон. ХIХ - нач. ХХ веков

31. Логика (Шпаргалка)

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

Дождевик для велосипеда Bambola.
Дождевик надежно защитит от непогоды вашего малыша. Прост и удобен в использовании. Крой создан с учетом форм большинства современных
313 руб
Раздел: Дождевики, чехлы для колясок
Микрофон "Караоке с мультяшками".
Караоке с мультяшками - это микрофон, который позволит исполнять песни из любимых мультфильмов. Какая игрушка превратит любой день в
330 руб
Раздел: Микрофоны
Копилка-сейф с ключом, черная, металл.
Качественный металлический сейф-копилка с двумя замками (кодовый и обычный) позволит Вам скопить приличную сумму на поездку
1439 руб
Раздел: Копилки

33. Ответы на вопросы по логике

34. Философский аспект проблемы взаимодействия интеллектуальных систем

35. Законы формальной логики в аспекте категории закона

36. Влияние математики на философию и логику

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

38. Ф.Ф. Сидоренко. Логика (пособие с задачами и упражнениями)
39. Проблема культурно-исторических взаимоотношений Москва-Петербург и их отражение в социально-философских, публицистических и художественных текстах
40. Логика в судебной практике

41. Логика русского языка

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

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

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

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

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

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

48. Логика контрольная 3 и 4

Подгузники "Ушастый нянь", 3 Midi (4-9 кг), 56 штук.
Детские одноразовые подгузники «Ушастый нянь» изготовлены из особо мягких и дышащих материалов, которые нежно контактируют с
536 руб
Раздел: 6-10 кг
Светильник "Черепаха", желтый.
Интересный светильник-ночник в виде игрушки «Черепаха». Три режима работы. Батарейки АА - 3 шт. Есть возможность запитать светильник от
449 руб
Раздел: Необычные светильники
Пазл "Собака", 697 элементов.
Собака и человек вместе с глубокой древности. Собрав этот пазл, Вы получите уникальное фигурное изображение самого верного друга человека
315 руб
Раздел: Пазлы (400-999 элементов)

49. Логика контрольная 6

50. Логика предикатов с одним переменным

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

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

53. Логика

54. Познание природы и логика
55. Минимизация функций алгебры логики
56. Элементы математической логики

57. Логика Космоса (физика античной Греции)

58. Логика странно летающих объектов

59. Математическая логика в младших классах

60. Инновационная война как способ оптимизации эволюции логико - математических систем

61. Философские принципы «социальной физиологии»: постановка проблемы

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

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

64. Логико-семантические идеи Г.Фреге

Электрокачели Pituso "legaria" (цвет: кремовый, рисунок: зоопарк).
Характеристики: - высокое качество и надежность; - 5 регулируемых скоростей качания; - 3 положения наклона спинки; - сиденье
10000 руб
Раздел: Качели, кресла-качалки, шезлонги
Бутылка под оливковое масло "Танго Магнолия", 18x8,5x24 см, 1100 мл.
Бутылка под оливковое масло. Размер: 18x8,5x24 см. Материал: доломит. Объем: 1100 мл.
315 руб
Раздел: Ёмкости для масла, уксуса
Конструктор электронный "Знаток". 180 схем, артикул 180-Znat.
Набор электронных блоков и соединений, позволяющий конструировать электрические цепи без пайки. В иллюстрированном руководстве описано 180 схем.
1815 руб
Раздел: Инженерные, научно-технические

65. Происхождение человека (Логика антропогенеза)

66. Коммунизм — «неотвратимая судьба России». Историософская логика Н. А. Бердяева

67. Логика как наука. Определение логики

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

69. Логика

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

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

74. Логика динамических систем

75. Многообразие и многозначность культуры

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

77. Философское исследование человека: проблема исходных допущений

78. Проблемы методологии в курсе философии*(диалектика как философская методология)

79. Проблема взаимосвязи духовности и нравственности в историко-философской ретроспективе

80. Философский смысл и проблемы субстанции

Глобус Земли физический + политический, с подсветкой, 250 мм.
Глобус Земли физический + политический, с подсветкой. Диаметр: 250 мм. Расцветка подставки в ассортименте, без возможности выбора!
769 руб
Раздел: Глобусы
Авто-вентилятор с функцией обогрева.
Каждый автомобилист знает, что нередко погода на улице заставляет нас дискомфортно чувствовать себя и в салоне собственного автомобиля. В
600 руб
Раздел: Прочее
Блюдо "Пасхальное", диаметр 25 см.
Блюдо. Диаметр: 25 см. Высота: 3 см. Материал: фарфор. В ассортименте, без возможности выбора.
515 руб
Раздел: Прочее

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

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

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

84. Динамика соотношения типов языковых значений в производных словах, развивающих многозначность (на материале французского языка)

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

86. Математическая логика и теория алгоритмов
87. Логика прорыва
88. Логико-структурный анализ понятий и признаков преступлений в действующем уголовном кодексе РФ

89. Логика

90. Споры о вере. Основные проблемы религиозно-философской мысли второй половины XVII в.

91. Понятие парадигмы и логика научных революций в концепции Т.Куна

92. Бухгалтерская (финансовая) отчетность на примере ЗАО "ЛОГИКА"

93. Логика и язык

94. Логика текста

95. Особенности отражения омонимов и многозначных слов в толковых словарях

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

Качели детские подвесные "Вятушка С".
Предназначены для развлечения, отдыха и физического развития детей в возрасте от 3 лет. Допустимая нагрузка до 30 кг. Материал: металл,
613 руб
Раздел: Качели
Игра настольная "Тише, не будите спящего папу".
Шшшш! Тише! Не разбудите папу! Кто может устоять перед вкусным шоколадным тортом? Не дети в любом случае! Пока папа спал и храпел в
1458 руб
Раздел: Игры на ловкость
Аппарат для приготовления домашнего творога и сыра "Нежное лакомство".
Сладкая творожная запеканка, мягкий пряный сыр, чесночная паста на бутерброды — сколько вкуснятины можно приготовить из домашнего творога
464 руб
Раздел: Прочее

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

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

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

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


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