Суждения

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 – следствие.