1. Выразить в символическом виде следующие сложные суждения:

Если воду нагреть, то она расширится.

Если S есть Р, то S есть Р1. (S – P) ® (S – P1)

Линии бывают прямыми, или кривыми, или ломаными.

S есть Р1, Р2, и Р3. S ® <Р1 ẁ Р2 ẁ Р3>.

Умозаключение

1. Назвать составные элементы предложенных умозаключений:

Все французы суть европейцы.

Некоторые виноделы - французы

Некоторые виноделы - европейцы.

В данном умозаключении субъектом вывода являются "виноделы", т.е. это меньший термин умозаключения; соответственно и посылка, в которой он находится, является меньшей посылкой. Предикатом вывода выступает понятие "европеец", это - большой термин; соответственно и посылка, в которой он находится, тоже большая. Средним термином этого умозаключения является понятие о французах.

Некоторые мои знакомые - студенты .

Все студенты – учащиеся.

Некоторые учащиеся - мои знакомые.

В данном умозаключении субъектом вывода является понятие "учащиеся", т.е. это меньший термин умозаключения; соответственно и посылка, в которой он находится, является меньшей посылкой. Предикатом вывода выступает понятие "мои знакомые", это - большой термин; соответственно и посылка, в которой он находится, тоже большая. Средним термином этого умозаключения является понятие о студентах.

2. Составить из предложенных суждений умозаключения:

Все планеты - шарообразны.

Земля – планета.

Земля шарообразна.

Все планеты – шарообразны, Земля является планетой, значит Земля шарообразна.

Некоторые живущие в воде - позвоночные.

Все млекопитающие - позвоночные.

Некоторые млекопитающие живут в воде.

Некоторые живущие в воде – позвоночные, а все млекопитающие – позвоночные, значит некоторые млекопитающие живут в воде.

Некоторые студенты отличники.

Все студенты - учащиеся.

Некоторые студенты отличники. Все студенты - учащиеся. Значит некоторые учащиеся – отличники.

3. Нарушены ли законы логики (какие) в следующих умозаключениях:

Логика учит правильно рассуждать.

Грамматика не есть логика.

Грамматика не учит правильно рассуждать.

Все волки - хищники.

Это животное - хищник.

Это животное - волк.

Все слова выражают какие-то мысли.

Все жесты выражают какие-то мысли.

Все жесты - слова.

Все рыбы живут в воде.

Этот организм живет в воде.

Этот организм - рыба.

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

4. Восстановить до полного силлогизма следующие знтамемы:

Наше дело правое, мы - победим.

В данной энтимеме выводом является суждение "мы - победим", а меньшей посылкой, поскольку в ней находиться субъект вывода "Мы(наше)"." суждение ""Наше дело правое". Зная, что средним термином здесь выступает понятие "правое", легко восстановить большую посылку, в которой будет предикат вывода, он нам уже известен. Тогда получаем:

Правое дело всегда побеждает.

Наше дело правое.

Значит мы – победим.

Все металлы электропроводны, а золото металл.

В данной энтимеме опущен вывод. Большей посылкой является «металлы электропроводны», меньшей посылкой – «золото – металл»

Тогда получаем:

Все металлы электропроводны.

Золото металл.

Значит золото электропроводно.

5. Перечислить законы логики (раскрыть).

Закон обратного отношения - объем одного понятия (моторная лодка) может входить в объем другого понятия (лодка), более широкого по содержанию. Чем шире объем понятия, тем уже его содержание, чем шире содержание, тем уже объем.

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

К противоположным суждениям относятся:

противные (контрарные), которые оба могут быть ложными, поэтому не являются отрицанием друг друга.

противоречащие (контрадикторные) они являются отрицающими, т.к. если одно из них истинно, то другое ложно.

Если в речи человека обнаружено формально-логическое противоречие, то его мышление (и речь) считаются неправильным, а суждения - ложным. Поэтому в полемике широко используется метод “приведение к абсурду”.

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

”Данное S есть Р “ и “Данное S не есть Р”

“Ни одно S не есть Р” и “Все S есть Р”.

“Все S есть Р” и “Некоторые S не есть Р”.

“Ни одно S не есть Р” и “Некоторые S есть Р”.

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

Закон достаточного основания - всякая истинная мысль должна быть достаточно обоснованной.

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

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

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

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