Логические отношения между суждениями, логический квадрат

Суждение - форма мышления, в кот. утвержд. или отр. связь между предметом и его признаком или отнош. между предметами и которая обладает свойством выражать истину либо ложь. Оно выражается в повеств. предлож. или ретор. вопр.(S-субъект P-предикат)

Отнош. между прост. сужд. бывают:

1)Несравнимыми среди прост. сужд. яв. сужд., имеющие различные S и P.

2)Сравнимыми яв. сужд. с одинак. терминами(S и P) и различ. по качеству или кол-ву

Отнош. между сужд. обычно рассматр. с помощью лог. квадрата.

Контрарность- противоположность

Субконтрарность- частичная совместимость

Контрадикторность- противоречие

Так среди сравнимых различ.:

1.) отнош. совместимости - сужд., кот. одновремен. могут быть ист.:

а.) эвивалентными яв. сужд, имеющие одинак. лексич. характ.: S и P, однатипную утв. или отрец. связку, одну и тужу колич. характ., выраж. квантаром, различие лишь в словах, языке или др., смысл один и тот же. С помощью лог. кв. отнош. между эквивал. сужд. не регестрир..

б.) частич. совмесит. характ. дял сужд. I и O, кот.могут быть одновремен. ист., но не могут быть одновремен. лож.. Приложности одного из них др. будет лож.

в.) подчинение имеет место между A и I, E и O. При ист. общего сужд. частное всегда будет ист.: A→I, E→O, но при лож. общ. сужд., част. сужд. может быть как ист., так и лож.. При лож. частн. сужд., общ. суж. также будет лож., а при ист. частн. сужд., общ. сужд. может быить и ист. и лож.

2.) отнош. несовместимости - несовместимыми яв. сужд. A и E, A и O, E и I, кот. одновремен. не могет быть ист.. Различ. два вида несовмест.:

а.) противоположными (контрасностыми) яв. A и E кот. не могут быть одновремен. ист., но могут быть одновремен. лож.. Ист. одного опред. лож. другого. (Все гр. яв. людьми= ни один гр. не яв. чел.)

б.) противоречещеми (котрадикторностными)- яв. сужд. A и O, E и I, кот. одновремен. не огут быть ни ист., ни лож.. (альтернативная несовместимость) (Все людям свойств. ошибатся= Некотор людям не свойствено ошиб.)

Еденич.сужд. могут наход. только в отнош. противореч., т..к отдел. предм. либо присущ, либо неприсущ. опред. признак.

Отнош. между сложн. сужд.

Сложн. сужд. также могут быть сравним. и несравин.

Несравн. - те, кот. не имеют общих пропазиционных переменых (p^q и m^n)

Сравнимые - те, котор. имеют хоть 1 общеепрост.сужд (пропаз. перем.).

Сравнимые сужд. могут быть:

1.) совместимыми наз. такие сужд., кот. одновремен. могут быть ист..

а.) Эквивал. - сужд, кот. принем. одни и теже знач., т.е. одновремен. яв. либо ист., либо лож..(↔)

б.) Частично совмест. - сужд., кот могут быть однавремен ист., но не могут быть одновремен лож.. (v)

в.) подчинение - если ист. подчиняющ., то ист. и подчинён.. (→)

2.) несовместиными - сужд., кот. одновремен. не могут быть ист..

а.) противоположность - сужд. не могут быть одновремен. ист., но могут быть одновремен лож..

б.) противоречие - сужд. не могут быть одновремен ни ист., ни ложн., если 1 ист, то 2 лож, и наоборот..