Суждения

1. Определите вид простых суждений и их классификацию, приведите к явной логической форме, если это необходимо. «Внеземные цивилизации существуют». «Алексей старше Екатерины, а Екатерина старше Светланы». «Точные науки не являются гуманитарными».

1. «Внеземные цивилизации существуют».- Данное суждение является экзистенциальным, так каквыражает факт существования.

2. «Алексей старше Екатерины, а Екатерина старше Светланы».- Данное суждение – реляционное, так как здесь имеется отношение между элементами Х, У иZ.

Свойство отношения – транзитивное, так как из отношения

Х и У, У и Zследует отношение Х иZ.

3. «Точные науки не являются гуманитарными». - Данное суждение является атрибутивным, так как оно о признаке предмета и здесь отрицается то, что точные науки являются гуманитарными.Структура: «Ни одно S не являетсяР»,

где S- субъект, понятие о предмете суждения;Р- предикат, понятие о признаке предмета. Связка - отношение между S и Р;«не является» - следовательно, суждение отрицательное. Квантор – указатель на объём S:«ни одно», который в данном случае отсутствует, и только подразумевается - следовательно, суждение общее.

Таким образом, суждение «Точные науки не являются гуманитарными» - в явной форме: «Ни одна точная наука не являются гуманитарной наукой» - является атрибутивным и общеотрицательным («Е»).

2. Найдите S, Р, кванторное слово и связку у атрибутивного суждения. Определите объединительную классификацию по качеству и количеству, приведите к явной логической форме. Выявите распределенность терминов и изобразите схематично. «Древние греки внесли большой вклад в развитие философии».

Субъект - «древние греки»(S).Предикат -«внесли большой вклад в развитие философии» (Р).

Подбираем к субъекту суждения родовое понятие - «Люди».

В канонической форме предикат будет выглядеть таким образом: «Люди, внесшие большой вклад в развитие философии».

Логическая связка – «есть» - утверждается наличие свойств. Кванторное слово - отсутствует, но из анализа смысла суждения ясно, что речь идет только о некоторой части древних греков → квантор суждения -«Некоторые».

Логическая форма суждения: «Некоторые древние греки (S) есть люди, внесшие большой вклад в развитие философии (Р)».

Формула суждения:Некоторые S есть Р. Количественно-качественная характеристика суждения – частноутвердительное (I). Графически изображаем отношения между терминами суждения, которое является отношением перекрещивания.

Из схемы видно, что оба термина взяты в части объема, значит, они являются нераспределенными (S^-,Р ^-).

3. Определите отношения между суждениями, их виды и истинность: «Российское законодательство ни сколько не изменилось за последние годы». «Российское законодательство изменилось полностью за последние годы».

Определим вид суждений: «Российское законодательство ни сколько не изменилось за последние годы»- общеотрицательное «Е».«Российское законодательство изменилось полностью за последние годы»- общеутвердительное «А».

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

4. Установите вид сложного сужения, составьте символическую запись, укажите составные части, при необходимости сформулируйте его в явной логической форме: «Брак расторгается, если судом установлено, что совместная жизнь супругов и сохранение семьи невозможно».

«Брак расторгается, если судом установлено, что совместная жизнь супругов и сохранение семьи невозможно».

Приведем к явной логической форме: «Если судом установлено, что совместная жизнь супругов и сохранение семьи невозможно, то брак расторгается».

Расчленим данное сложное суждение на простые: а) «Судом установлено, что совместная жизнь супругов невозможна» - (р);б) «Судом установлено, что сохранение семьи невозможно» - (q);в)«Брак расторгается» - (r).Имеет место утверждение одновременного наличия нескольких ситуаций -конъюнкция(Ù); и возникновение другой ситуации -импликация(→).

Формула данного сложного суждения: (рÙq) →r,

где, р, q,r– переменные; (рÙq) – основание;r– следствие.