Осмысленное и бессмысленное

Осмысленное – описание и оценка. Описание истинное или ложное. Оценки – абсолютные или сравнительные. Оценки – положительные, отрицательные или нейтральные. Бессмысленное – собственно бессмысленное и абсурдное. Собственно бессмысленное - семантически бессмысленное и синтаксически бессмысленное

12. Логический закон логики высказываний – это тавтология данной логики. Иными словами, множество законов логики высказываний и множество её тавтологий совпадают: каждый закон есть тавтология, и каждая тавтология есть закон. Это означает, что для установления того, является ли некоторая формула законом логики высказываний, достаточно с помощью таблиц истинности убедиться, является ли эта формула тавтологией. Логическим законом является, в частности, только что рассмотренная всегда истинна формула:

(А → В)(~ В → ~ А).

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

13. ЗАКОН ПРОТИВОРЕЧИЯ

Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении. Противоречием считается утверждение 2-х противоположных суждений об одном и том же предмете, взятом в одно и то же время, и в одном и том же отношении. Формула закона A /\ A.

К противоположным суждениям относятся: 1. противные (контрарные), которые оба могут быть ложными, поэтому не являются отрицанием друг друга.2. Противоречащие (контрадикторные) они являются отрицающими, т.к. если одно из них исьтинно, то другое ложно. Если в речи человека обнаружено формально-логическое противоречие, то его мышление (и речь) считаются неправильным, а суждения - ложным. Поэтому в полемике широко используется метод "приведение к абсурду".

Эти типы простых суждений не могут быть одновременно истинными:

1."Данное S есть Р " и "Данное S не есть Р" 2. "Ни одно S не есть Р" и "Все S есть Р".

3. "Все S есть Р" и "Некоторые S не есть Р". 4. "Ни одно S не есть Р" и "Некоторые S есть Р".

В №2 оба суждения могут быть одновременно ложными.

14. ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО.

Из 2-х противоречащих суждений одно истинно, а другое - ложно, третьего не дано. Контрадикторными (противоречащими) наз-ся такие 2 суждения, в одном из которых что-либо утверждается о предмете, а в другом - отрицается. Они не могут быть одновременно истинными или ложными, всегда одно из них истинно, а другое - ложно.

15. ЗАКОН ТОЖДЕСТВА

В процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе. Нарушение закона тождества в мышлении и рассуждении приводит к 2-смысленности. Эти логические ошибки часто совершаются через употребление омонимов. Ошибка - подмена тезиса, когда в ходе рассуждения выдвинутый тезис умышленно или неумышленно подменяется другим. Ошибка - подмена понятия, когда во время дискуссии в рез-те отождествления разных понятий спор по существу заменяется спором о словах.

Отождествление (идентификация) широко используется в следственной практике при опознании людей, сличении почерков, отпечатков пальцев.

16.Закон Двойного Отрицания
- закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: от­рицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселен­ная не является бесконечной, то она бесконечна». 3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отри­цания к.-л. высказывания следует противоречие, то имеет место двой­ное отрицание исходного высказывания, т. е. оно само. С применением символики логической (р - некоторое высказы­вание; à - условная связь, «если, то»; ~ - отрицание, «неверно, что») закон записывается так: ~ ~ p à p, если неверно, что неверно р, то верно р. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут- верждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: pà ~ ~p, если р, то неверно, что не-р. Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не непод­вижны в том и только том случае, если они движутся». Символи­чески (= — эквивалентность, «если и только если»): ~ ~Р = Р, неверно, что не-р, если и только если верно р.