Модальные суждения, их состав и виды

 

В логике рассматривались, простые суждения, которые называются ассерторическими, а так же сложные суждения, составленные из простых. В них утверждается или отрицается наличие определенных связей между предметом и его свойствами или констатируется отношение между двумя или большим числом предметов. Например, «школьники – учащиеся», «в прямоугольном треугольнике сумма квадратов (катетов равна квадрату гипотенузы, т.е. а+в =с». Общая форма суждений: «S есть (не есть) Р, то S есть (не есть) Р».

В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Характер связи между субъектом и предикатом или между отдельными простыми суждениями в сложном суждении раскрывается в модальном суждении. Из выше перечисленных суждений можно образовать такие, например, модальные суждения: «несомненно, что все школьники – учащиеся», «доказано, что в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы». Отсюда видно, что модальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой – то точки зрения.

О предмете А можно просто сказать, что он имеет свойство В (это будет ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой, или наоборот, случайной; хорошо ли, что А есть В или это плохо; доказано, что а есть В или не доказано. В результате таких уточнений мы получакм модальные суждения различных типов. Приведем другие примеры модальных суждений: «возможно, на марсе есть жизнь», «при красном свете светофора проезд транспорта запрещен».

Структура простых модальных суждений такая: М (S есть Р) или М (S не есть Р), где М обозначает модальное понятие.

 Но как было уже сказано, модальными могут быть и сложные суждения. Если а ив – простые суждения, то из сложных ассерторических суждений: а в, а в, а в, а в, а= - можно получить соответствующие сложные модальные суждения:

М(а в); М(а в); М(а в); М(а в); М(а в). В каждом из пяти типов сложных модальных суждений модальное понятие М может быть заменен его разновидностями, например, из сложного ассерторического суждения «если в почву внести удобрения, то урожай повысится» можно получить такие модальные суждения: «доказано, что если в почву внести удобрения, то урожай повышается», «хорошо, что если в почву внести удобрения, то урожай повышается и др.»

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

Модальными сложными суждениями называют сложные суждения, выражающие связь между составляющими их простыми суждениями с помощью модальных понятий.

В настоящее время современной модальной логикой изучены многие виды модальностей, и те из них которые сравнительно хорошо изучены систематизированы в следующей таблице, предложенной А.А. Ивиным.

 

Логические модальности	Онтологические модальности	Эпистемические модальности Знание убеждение
Логически необходимо	Онтологически необходимо	Доказуемо	Полагает (убежден)
Логически случайно	Онтологически случайно	Неразрешено (непроверяемо)	Сомневается
Логически невозможно	Онтологически невозможно	опровержено	Отвергает
Логически возможно	Онтологически возможно		Допускает

 

Термин «эпистемическая модальность» происходит от греческого слова «эпистем» означавшего внешний тип несомненного, достоверного знания.

Термин «деонтический» с греческого означает «обязанность». Термин «аллетический» - необходимость.

 

Деонтические модальности	Аксиологические модальности		Временные модальности
	абсолютные	сравнительные	Абсолютные	сравнительные
Обязательно	Хорошо	Лучше	Всегда	Раньше
Нормативно – безразлично	Аксиологически безразлично	Равноценно	Только иногда	Одновременно
Запрещено	плохо	хуже	никогда	позже
разрешено

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

Логические и онтологические модальности объединяются в общий вид –аллетические модальности. Они включают такие модальные понятия: необходимость и случайность, возможность и невозможность. Слова «необходимо», «возможно», «случайно» в обыденном языке употребляются в самых различных смыслах.

Алетические модальности обозначаются так: «А» -«необходимо А»; «А» -«А»- «случайно А; «А»- «возможно А»; «А»- «невозможно А» (знак ««- отрицание). Иногда их обозначают так:» «- «необходимо р», «Мр» - возможно р»

Формулы взаимосвязи алегичеких модальностей.

1. («если необходимо, что А, тоА») 2. («если А, то возможно, что А») 3. («необходимо, что А, тогда и только тогда, когда невозможно, что не а») 4. («возможно, что А, тогда и только тогда, когда необходимо, что не А»)

Умозаключение как форма мышления. Структура и общее правило умозаключения. Типы и виды умозаключений

Формами мышления является понятие, суждения и умозаключения. С помощью многообразных видов умозаключений мы можем получать новые знания. Построить умозаключение можно при наличии одного или нескольких истинных суждений, поставленных во взаимную связь. Возьмем пример умозаключения:

Все углероды горючи

Алмаз –углерод

Алмаз горюч

Структура всякого умозаключения включает посылки (истинные суждения), заключение и логическую связь между посылками и заключением. Логический переход от посылок к заключению называется выводом. В приведенном примере 2 первых суждения, стоящих над чертой, являются посылками; суждение: «алмаз горюч» является заключением. Для того что бы проверить истинность заключения «алмаз горюч», вовсе не нужно сжигать алмаз. Заключение о горючести алмаза с полной достоверностью можно получить с помощью умозаключения, опираясь на истинность посылок и соблюдение правил вывода.

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

Выведение следствий из данных посылок широко распространенная логическая операция.

Логическое следствие из данных посылок есть предложение, которое не может быть ложным, когда эти посылки истинны.

Пример, нам даны 3 посылки:

1) «если Иван- брат Марьи или Иван- сын Марьи, то Иван и Марья- родственники».

2) «Иван и Марья –родственники»

3) «Иван не сын Марьи». Можно ли из них вывести логическое следствие, что «Иван – брат Марьи?» многим кажется, что такое логическое заключение из данных трех посылок будет истинным. Что бы проверить это, следует составить формулу этого умозаключения. Обозначим суждение «Иван – брат Марьи» буквой а, суждение «Иван –сын Марьи» -в, и суждение «Иван и Марья – родственники»- с. Над чертой -3 данные посылки, под чертой – предполагаемое заключение:

Объединив 3 посылки в конъюнкцию и присоединив к ним посредством знака предполагаемое заключение а, получим:

Теперь составим для этой формулы таблицу.

 

а	в	с	В	а в	(а в) с	(а в) с с в	(а в) с с в а
И	И	И	Л	Л	И	Л	И
И	И	Л	Л	Л	И	Л	И
И	Л	И	И	И	И	И	И
И	Л	Л	И	И	Л	Л	И
Л	И	И	Л	И	И	Л	И
Л	И	Л	Л	И	Л	Л	И
Л	Л	И	И	Л	И	И	Л
Л	Л	Л	И	Л	И	Л	Л

 

В последней колонке формула в одном случае принимает значение «ложь», значит, она не является законом логики. Следовательно, из данных трех посылок не следует с необходимостью заключение, что «Иван – брат Марьи». Иван может быть племянником марь, или отцом Марьи, или дядей Марьи, или каким – либо другим ее родственником.

Этот пример показывает, что эффективность средств математической логики видна тогда, когда средствами, традиционной формальной логики трудно установить вытекает ли какое – либо следствие из данных посылок или нет, особенно, когда мы имеем дело с большим числом посылок.

Умозаключения делятся на дедуктивные, индуктивные и Все окуни дышат жабрами я по аналогии. Умозаключения могут быть логически необходимыми, т. е. давать истинное заключение, и вероятными (правдоподобными), т.е. давать истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок.

Итак,

1) формами мышления являются не только понятия и сужения, но и умозаключения.

2) Структура умозаключения включает посылки, заключение и логическую связь между посылками и заключением.

3) Умозаключения делятся на дедуктивные, индуктивные и умозаключения по аналогии.

Предыдущая123456789Следующая

Поделиться:

Воспользуйтесь поиском по сайту: