Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
зачет логика..doc
Скачиваний:
2
Добавлен:
01.07.2025
Размер:
497 Кб
Скачать
☆
  1. Отношения между суждениями. Логический квадрат.

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

Диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.  Вершины квадрата обозначают вид суждения по объединенной классификации А , Е , 0 , I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость(субконтрарность);две вертикальные стороны - отношения междуА и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Еи I- противоречие(контрадикторность).

Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными.

Все мужчины галантны. Ни один мужчина не галантен. Если одно из противоположных истинно, то другое ложно, но не наоборот. А истинно, Е ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∀- (x)(S(x) ⊃ P-(x)) Если верно, что все S суть P, то неверно, что ни одно S не суть P.

Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот. А истинно, O – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃- (x)(S(x) ⋀ P-(x)) Если верно, что все S суть P, то неверно, что некоторые S не суть P.

Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений. Ложность подчинённых, обуславливает ложность общих. A истинно, E – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃ (x)(S(x) ⋀ P(x)) Если верно, что все S суть P, то верно, что и некоторые S суть P. Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.

 

16. Понятие формально-логического закона, виды логических законов. Понятие формально- логического закона

 

 Рассмотрение этого вопроса следует начать с определения родового понятия «закон». Законесть существенная, внут­ренняя, устойчивая, необходимая, повторяющаяся связь явлений, обусловливающая их структуру, функционирование или развитие.

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

    Формально-логическими называются законы структурно-смысловой  связи элементов мысли между собой, придающие ей определенную форму,  посредством которой выражается содержание мысли. В них отражены устойчивые черты внутренней структуры мыслительного процесса, отложился многовековый опыт практической деятельности человека, отражены общие свойства и стороны действительности. Однако законы формальной  логики нельзя абсолютизировать даже в сфере мышления. Они – важный  момент в комплексе условий, определяющих истинность наших знаний, но  только отдельный момент, а не все условия; их действие правомерно в ос­новном в пределах логической формы, а с содержанием мысли они связа­ны лишь косвенно.

Различают следующие виды формально-логических законов:

1) законы, связанные с отдельными формами абстрактного мышления - или с понятием, или с суждением, или с умозаключением. На основе этих законов выведены конкретные правила, которые в данном пособии рассма­тривались при анализе каждой из названных форм мышления (например, закон обратного отношения между содержанием и объемом понятия, зако­ны распределенности терминов в простых суждениях, законы различных ви­дов умозаключений и т.д.);

2) законы, которые имеют всеобщий характер для мышления, проявля­ются во всех его формах. Это основные формально-логические законы: закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Их называют основными потому, что они:

— распространяют свое влияние на всю сферу мыслительной деятельности;

- лежат в основе различных логических операций с понятиями и суждениями;

— используются в процессе умозаключений и доказательств;

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

Первые три закона были выявлены и сформулированы древнегреческим мудрецом Аристотелем, закон достаточного основания - немецким филосо­фом XVIII века Г.В. Лейбницем.

Необходимо иметь в виду, что выделение четырех формально-логических законов осуществляется только в традиционной формальной логике, которая и является объектом нашего изучения. Логика же современная (в частности, математическая, символическая) утверждает, что логических законов бес­конечно много и нет оснований делить их на основные и второстепенные. Кроме того, построены логические системы, в которых не являются закона­ми, например, закон исключенного третьего (интуиционистская логика, не­которые системы многозначной логики), закон противоречия (паранепротиворечивая логика).

Однако, абстрагируясь от этого и оставаясь в рамках традиционной логики, обратимся к анализу основных формально-логических законов, которые играют вaжную роль в мыслительной деятельности юристов.