8. Отношения между суждениями.

Отношение лог. совместимости по истинности имеет место между с. А и В, если и только если лог. формы этих с. таковы, что сущ. с. этих лог. форм, такие, к-ое оба являются истинными. Если такие с. не сущ., то между исходными с. имеет место отношение лог. несовместимости по истинности. Отношение лог. совместимости по ложности имеет место между с. А и В, если и только если сущ. с. А´ и В´, к-ые оба являются ложными. Если таковые не сущ., то с. А и В находятся в отношении лог. несовместимости по ложности. Отношение лог. следования имеет место между с. А и В (факт наличия этого отношения обозначается так: А |=В), если и только если не сущ. с. А´ и В´, тех же лог. форм. Такие, что А´ истинно, а В´ложно. Отношение лог. эквивалентности имеет место между с. А и В, если и только если А |=В и В|= А оно обозначается А ~В. Суждения А и В находятся в отношении подчинения, если и только если А|= В и В |= А. Знак «|=» означает: «не следует». С. А называется в этом случае подчиняющим, а В-подчиненным. Отношение противоречия (контрадикторности) имеет место между с., к-ые не совмести по истинности и несовместимы по ложности. Контрарными являются с., совместимые по ложности, но не совместимые по истинности. Субконтрарными являются с., к-ые совместимы по истинности, но не совместимы по ложности. С. являются лог. независимыми, если и только если они совместимы по истинности и ложности и каждое из них не находится в отношении лог. следования к другому.

9. Отрицание суждений.

Отрицание с. – операция, заключающаяся в таком преобразовании лог. содержания с., в результате к-ого истинное значение с. меняется на противоположное. При отриц. атрибутивного с. меняются его качества и кол-во. При отриц. с. об отношениях их качество и кол-во также как и при отриц. атрибут. с., меняются на противоположные. Результатом отриц. конъюнктивного с. является дизъюнктивное с. , в к-ом составляющие с. являются отрицаниями составляющих с. исходного конъюнктивного с. _____________Результатом отриц. (нестрогого) дизъюнктивного с. является конъюнктивное с., в к-ом составляющие с. являются отрицаниями составляющих суждений дизъюнктивного с. ________________. Результатом отриц. импликативного с. является конъюнктивное с., в к-ом одним из составляющих с. является антецедент исходного с., а вторым – отриц. консеквента исходного с. __________________. Условное с. отрицается по схеме: _________________________. 10. Логическая и прагматическая характеристика вопросов и ответов.

Вопрос – мысль, в к-ой выражается требование или просьба дополнить имеющуюся информацию с целью устранения или уменьшения познавательной неопределенности. Характеризуя вопросы слог. точки зрения следует рассматривать вопрос но –ответной ситуации, включающие предпосылки вопроса. Лог. не корректные вопросы. два вида таких вопросов: тривиально некорректные и нетривиально некорректные. Вопрос является тривиально некорректным, или бессмысленным, если он выражается предложениями, содержащими неясные слова или словосочетания. Вопрос является нетривиально некорректным, если его предпосылкой является ложное утверждение. Н а такой вопрос нельзя дать истинного ответа. Нетривиально некорректные вопросы называются также провокационными. Открытые и закрытые вопросы. К вопросам первого вида относятся те, на которые существует бесконечное число ответов. На закрытые вопросы можно дать лишь конечное число ответов. Виды ответов. Сильный ответ полностью устраняет имеющуюся познавательную неопределенность, а слабый -неполностью. Из двух слабых ответов один может быть более сильным….., чем другой. Ответы бывают также полными и неполными. Ответ на сложный вопрос является полным, если в нем содержаться ответы на все подвопросы этого сложного вопроса. Иногда, на вопросы даются нерелевантные ответы, т.е. отвечают не на заданные вопросы а на другие. 11. Аргументация и логическое доказательство. Состав, виды.

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

Частным случаем аргументации является доказательство. Доказательство- это установление истинности какого-либо положения с использованием логических средств и утверждений. истинность которых уже установлена. Доказательство-это аргументация, в которой аргументы являются утверждениями, истинность которых установлена. Следовательно, можно различать доказательную аргументацию и недоказательную аргументацию. Можно выделить (правильные) аргументации двух типов по другому основанию- по направленности рассуждения. В прямой аргументации рассуждение идет от аргументов к тезису. Косвенная аргументация ( один из ее видов) заключается в следующем. Требуется обосновать некоторое утверждение (тезис). Выдвигается утверждение, являющееся отрицанием тезиса, т.е. антитезис,выводят противоречие. В результате делается вывод об обоснованности (полной или частичной) тезиса. Этот вид косвенной аргументации называется аргументацией от противного, или апагогической аргументацией. Обычно выделяют косвенные аргументации, еще одного вида, которые называют разделительными аргументациями.