Навигация
Модальная логика. Вероятностная логика
11326
знаков
0
таблиц
0
изображений
Модальная логика. Вероятностная логика
1. Сущность модальной логики
Традиционная или классическая логика, которую мы до сих пор рассматривали, является самой простой и наиболее употребительной логической системой. Она исходит из того, что атомарные (простые) суждения и понятия, из которых строятся рассуждения и которые уже не анализируются, либо истины, либо ложны, но ни то ни другое вместе. Однако многие понятия и суждения повседневных и научных рассуждений не так хорошо укладываются в категории истинных и ложных. Истинностное значение суждения «Вероятно, завтра будет дождь» весьма и весьма не определено. Некоторые логики, начиная с Аристотеля, стали учитывать различие между истинами, являющимися таковыми, так сказать, в силу необходимости, и истинами случайными. Так возникли модальная логика и вероятностная логика.
В отличие от классической логики, приписывающей суждениями и понятием два истинностных значения: истина и ложь, модальная логика оперирует такими истинностными значениями, как «возможно», «необходимо», «невозможно», и т.д. Первую попытку построить модальную логику предпринял Аристотель в своем сочинении «Первая и вторая аналитики» (ей посвящены главы третья и восьмая – двадцать вторая «первой аналитики»). Однако, как подметил Я. Лукосевич (1878–1956), аристотелевское изложение модальной логики не было свободно от недостатков. Ученик Аристотеля Теофраст (370–288 до н. э.) уточнил учение Аристотеля о модальности суждений. Средневековые схоласты развили аристотелевскую модальную силлогистику. Современные исследования в области модальной логики характеризуются стремление построить аксиоматические системы модальной логики. Наиболее известные из них это системы Льюиса, Аккермана и Лукасевича.
Модальная и вероятностная логики – довольно специфические ветви логики. Знакомство с их основами необходимо для понимания методологии научного исследования.
2. Модальность суждений
Под модальностью суждений понимается различия между суждением в зависимости от того, выражают ли они необходимую или вероятностную (случайную) связь между субъектом и предикатом. По модальности суждения делят на три группы: суждения возможности (проблематические), суждения действительности(ассерторические) и суждения необходимости(аподиктические). В суждении возможности отображается возможность наличия или отсутствия признаков у предмета, о котором говорится в данном суждении. Его формула «S возможно есть (не есть) Р». Таким будет, например, суждение «Возможно в Киеве в апреле этого года будет снег». В суждении действительности констатируется наличие или отсутствие у предмета того или иного признака. Его формулы «S есть (не есть) Р». Суждение «Киев стоит на Днепре» – это суждение действительности. В суждении необходимости отображается такой признак, который имеется (отсутствует) у предмета при всех условиях. Его формула «S необходимо есть (не есть) Р». примером суждения необходимости может быть следующее суждение: «Тело, лишенное опоры, падает на Землю».
Суждения возможности, действительности и необходимости делятся по качеству на утвердительные и отрицательные, а также по количеству на частные и общие.
Содержательная типология модальностей строится в зависимости от того, какими факторами обуславливается модальность (термин «модальность» означает обусловленный чем-либо).
В модальной логики различают логические и физические модальности. Логические модальности – это законы логики и математики. В число физических или каузальных (причинных) модальностей входят все законы экспериментальных наук. Так, суждение «Не верно, что Р и не‑Р», «2+2=4» и т.п. выражают логические модальности, а суждения «PV=RT», «U=IR» и т.п. – физические.
Различают также абсолютные и относительные модальности. К абсолютным модальностям относят законы логики, математики, других наук необходимые сами по себе, независимые от чего бы то ни было. Это скажем, суждения «А=А», «2+3=5», «S=Vt» и т.д. Относительные модальности являются таковыми, необходимо или не необходимо зависимы от чего-либо.
Такими модальностями будут, например, суждения: «Прямоугольник является квадратом, если его стороны равны», «Вода кипит при 1000 С при атмосферном давлении 760 мм ртутного столба» и т.п.
Логические и физические модальности, независимо от того абсолютны они или относительны, объединяются в алетевтические модальности.
Модальности, характеризующие допустимые (или недопустимые) поступки людей, называются деонтологическими. Они выражаются в суждениях, в которых употребляются такие слова (модальные операторы), как «обязательно», «разрешено», «запрещено», «имеют право» и др. Примерами таких модальностей будут суждения: «На Украине пропаганда войны запрещена», «Граждане Украины имеют право исповедовать любую религию или никакую, быть атеистами» и т.п. Деонтологические модальности являются предметом изучения таких наук как этика, юриспруденция.
Модальности, характеризующие доказательность каких-либо суждений, называются эпистемологическими. В суждениях эпистемологической модальности употребляются такие слова (модальные операторы), как «доказуемо», «опровержимо». Примерами таких модальностей могут быть суждения: «Доказуемо, что на Марсе есть жизнь», «Опровержимо, что свет имеет волновую природу» и т.д.
Эпистемологические модальности по своим свойствам близки к алетевтическим модальностям, при чем оператору «доказуемо», соответствует оператор «необходимо», оператору «опровержимо» – оператор «невозможно».
Наконец, иногда различают модальность de dicto («о речи») относящиеся к суждению в целом и de re («о вещи»), которые относятся к предикату. Так, суждение «Возможно, что на Марсе есть жизнь» будет суждением de dicto, а суждение «На Марсе возможна жизнь» – de re. Однако в большинстве современных системах модальной логики модальности интерпретируются как «абсолютные» логические модальности de dicto.
Похожие работы
... деятельности. Основателем логики является Аристотель, в IV в. до н.э. Аристотель исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов. Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.). Логика стоиков – основа ...
... непротиворечивости. Противоречивость многих существующих систем норм также не означает, что от них не следует требовать логической последовательности и непротиворечивости. 5. ДРУГИЕ РАЗДЕЛЫ НЕКЛАССИЧЕСКОЙ ЛОГИКИ Острой критике классическая логика подверглась за то, что она не дает корректного описания логического следования. Основная задача логики — систематизация правил, позволяющих из ...
... время находиться и не находиться в одном и том же месте" (противоречивость). Совместимые и несовместимые отношения между двумя суждениями принято схематически изображать в виде так называемого "Логического квадрата": Наряду с формами мышления формальная логика рассматривает в качестве своего предмета также и законы правильного мышления. Напомним, что традиционно под законами мышления понимаются ...
... такое риторика? Классический риторический канон. Общая структура публичной речи. Основной закон неориторики. Доводы к пафосу, логосу, этосу. Риторические тропы и фигуры. Цицерон об идеальном ораторе. Логика и риторика в их единстве. Термины Вербальное и невербальное общение, внешняя и внутренняя речь, дискурс, здравый смысл, идеал риторический, импровизация, инвенция, интуиция, классическая ...
0 комментариев