Формальная логика

Контрольная работа

ВНИМАНИЕ! Работа на этой странице представлена для Вашего ознакомления в текстовом (сокращенном) виде. Для того, чтобы получить полностью оформленную работу в формате Word, со всеми сносками, таблицами, рисунками (вместо pic), графиками, приложениями, списком литературы и т.д., необходимо скачать работу.

Содержание

Задание 1 3
Задание 2 3
Задание 3 3
Задание 4 4
Задание 5. 5
Задание 6. 6
Задание 7. 7
Задание 8. 8
Задание 9. 9
Задание 10. 11
Задание 11. 11
Задание 12. 12
Список литературы 13

Задание 1

Дайте полную логическую характеристику избранным вами двум понятиям.

Ответ: «адвокат» Данное понятие включает в себя членов коллегии адвокатов, оказывающих юридическую помощь на профессиональной основе.
«Преступность» Данное понятие включает в себя противоправные деяния, за которые установлена ответственность нормами уголовного права.

Задание 2
Выполните операции обобщения, а затем ограничения трех понятий, избранных вами.

Ответ: Обобщение: «Трактор» - «сельская техника»; «стол» - «мебель»; «милиционер» - «сотрудник правоохранительных органов».
Ограничение: «трактор» - «гусеничный трактор»; «стол» - «письменный стол»; «милиционер» - «сотрудник ППС».

Задание 3
Приведите примеры ошибочных определений и делений понятий (по одному на каждую возможную ошибку), укажите, в чем состоит ошибка.

Ответ: «Различают два вида заболеваний: вирусные и ифекционные».
В примере нет деления понятий, так как деление должно быть последовательным, т.е. делимое понятие должно представлять ближайший род для членов деления, а члены деления должны быть непосредственными видами делимого понятия. Нельзя переходить к подвидам, минуя непосредственно видовые понятия. Нарушение этого правила ведет к логической ошибке "скачок в делении". А в примере получается, что представлен всего один вид – вирусные, а видообразующий признак – это признак, который еще непосредственно будет делиться на другие подвиды.
«Европа делиться на северную, южную, западную и восточную»
Деление понятия считается правильным, если выполнены следующие условия:
Деление соразмерно, т.е. его члены совместно исчерпывают объем делимого термина;
Члены деления образуют непересекающиеся подклассы;
Деление произведено по одному основанию, т.е. все признаки, по которым произведено деление, принадлежат одному семейству.
В данном случае деление на «северную» и «южную» Европу является не правильным, т.к. эти подклассы дублируют другие.

Задание 4
Приведите примеры атрибутивных суждений А, Е, I, О (по одному на каждый вид), раскройте их логическую структуру, приведите их схемы, отношения между терминами изобразите с помощью кругов Эйлера; установите распределенность терминов

Ответ:
А(SP): Все S есть (суть) Р – «все окуни - рыбы» A(SP)

I(SP): Некоторые S есть Р «некоторые собаки линяют»
I(SP)

Е(SP): Ни одно S не есть Р «негры не живут в России»
E(SP)
О(SP): Некоторые S не есть Р «Некоторые студенты не работают»
O(SP)

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

Ответ: «Некоторые милиционеры берут взятки»
Логическое строение «А есть Е», суждение существования простое суждение, утвердительное, «некоторые милиционеры» «берут» – связка, «взятки» - предикат.

«автомобиль имеет сложное устройство»
Логическое строение «S есть P», суждение существования простое суждение, утвердительное, «автомобиль» - субъект, «имеет» – связка, «сложное устройство» - предикат.

Задание 6.
Подберите суждения А, Е, О (по одному на каждый вид), сделайте из них выводы путем противопоставления предикату, проверьте правильность вывода с помощью превращения и обращения

Ответ:
О - «Некоторые собаки не допущены к выставке», В высказываниях вида “Некоторые S суть Р” утверждается, что (по крайней мере) часть класса S включается в класс Р, т.е. оно истинно, если объемные отношения между S и Р совпадают.
А- «Все собаки допущены к выставке».
В высказываниях вида “Все S суть Р” утверждается, что класс S полностью включается в класс Р, т.е. оно истинно, если объемные отношения между S и Р отвечают
Первое суждение является частноотрицательным, а второе частноутвердительным. Данный суждения являются противоположными. Поэтому если А истина, то Е – ложь.
Е – «Ни одна собака не допущена к выставке » Общеотрицательное суждение является одновременно общим и отрицательным. Оно имеет структуру: “Ни одно S не суть Р” и обозначается латинской буквой Е

Задание 7.
Подберите одно общеутвердительное суждение. Опираясь на логический квадрат, выведите суждения противоположное, противоречащее, подчиненное данному. Установите их истинность или ложность.

Ответ: Все экономисты изучают право, и все инженеры изучают право. Отрицание суждений связано с отрицательной частицей «не».
Производится оно путем отрицания связки суждения, т.е. замены утвердительной связки на отрицательную. Отрицать можно не только утвердительное, но и отрицательное суждение. Этим действием истинное исходное суждение преобразуется в ложное, а ложное – в истинное. Отрицается суждение по средством отрицания квантора, субъекта, предиката или нескольких элементов сразу.
Отрицание суждения - представляет собой действие, связанное с изменением качества исходного суждения – связки. При этом предикат полученного суждения должен противоречить исходному.
Таким образом утвердительное суждение превращается в отрицательное и наоборот. В виде формул это выглядит так:
S есть Р S не есть Р
______________ ___________
S не есть не-Р S есть не Р

Общеутвердительное суждение «Все экономисты изучают право» превращается в общеотрацательное «Все экономисты не изучают право»
Принцип противоречия требует, чтобы мышление было последовательным.
Он требует, чтобы, утверждая нечто о чем-то, мы не отрицали того же о том же в том же самом смысле в то же самое время, т.е. запрещает одновременно принимать некоторое утверждение и его отрицание.
Вытекающий из принципа противоречия, принцип исключенного третьего требует не отвергать одновременно высказывание и его отрицание. Суждения «S есть Р» и «S не есть Р» нельзя отвергнуть одновременно, так как одно из них обязательно истинно, поскольку произвольная ситуация либо имеет, либо не имеет места в действительности.

Задание 8.
Приведите пример простого категорического силлогизма и сделайте его полный разбор (укажите структуру, изобразите в круговых схемах отношения между терминами; установите, не нарушены ли общие правила; определите фигуру; модус и укажите, следует ли заключение с необходимостью).

Ответ: «Дача ложных показаний свидетелем уголовно наказуема, значит, свидетеля Иванова можно привлекать к уголовной ответственности, поскольку в его показаниях содержатся ложные сведения».
: Большая посылка – ложные сведения, содержащиеся в показаниях свидетеля, маленькая посылка – ложные показания иванова.
Заключение – уголовно наказуема
Термины - Меньший S – ложные показания Иванова. Больший Р – ложные показания свидетеля, средний М – уголовно наказуема.
2-я фигура ПКС Модус ЕЕА Круговые схемы:

->

Силлогизм построен неправильно, т.к. не соблюдено общее правило ПКС, согласно которому одна из посылок должна быть утвердительной.

Задание 9.
Подберите примеры чисто условного, условно-категорического, разделительно-категорического, условно-разделительного умозаключений (по одному на каждый вид) и сделайте их символическую запись.

Ответ: Чисто условным умозаключением называется такое опосредст-вованное умозаключение, в котором обе посылки являются услов¬ными суждениями. Условным называется суждение, имеющее структуру: «Если а, то bs>. Структура чисто условного умозаклю¬чения такая:
Схема: Если а, то Ь. Если Ь. то С. Если а, то с. a-*b, fe-c а-» с
Согласно определению логического следствия, сформулирован¬ному в рамках исчисления высказываний, если формула а -» с есть логическое следствие из данных посылок, то, соединив посылки знаком конъюнкции и присоединив к ним посредством знака импликации заключение, мы должны получить формулу, которая является законом логики, т. е. тождественно-истинной формулой. В данном случае формула будет такова:
((а - Ь) л (Ь - с)) - (а – сД)
Доказательство тождественной истинности этой формулы мож¬но провести табличным методом. Этот вид умозаключения часто используется в обучении, в частности при изучении математики, физики, биологии.
пример:
«Если учить логику, то сессия будет сдана»
условно-категорическое умозаключение:
«Если студент не учит логику и не посещает семинары, то он не сдаст сессию».
Структура его:
Если а, то В. Не-в
Схема: а -» в Не-а
Разделительно-категорическое умозаключение
«Если студент не посещает лекции, то он плохой студент, Этот студент не является плохим, ----- Этот студент посещает лекции».
Условно-категорическое умозаключение может давать не толь¬ко достоверное заключение, но и вероятное.
Первый вероятностный модус
Рассмотрим первый модус, не дающий достоверного заключе¬ния.
Структура его:
Если а, то Ь.
__Ь.
Схема:
а -» Ь
Ъ,
Вероятно, а.
Вероятно, а.

Условно – разделительное умозаключение : получится и в таком умозаключении:
«Если данное тело — бумага, то оно намокает. Данное тело намокает.______________
Вероятно, данное тело — бумага.
Это второй модус, не дающий достоверного заключения.
Структура его:
Если а, то Ь. Не-а._____ Вероятно, не-Ь.
Схема:
а -» Ь ~а
Вероятно, Ъ

Задание 10.
Приведите примеры (полного и неполного) индуктивных -умозаключений и умозаключения по аналогии (по одному примеру), сделайте их символическую запись.
Ответ: Собаки – млекопитающие- такса – собака- полное индуктивное умозаключение символическая запись S – P - R
Книги - печатаются, Библия – рукописная, Библия – не книга. – неполное индуктивное умозаключение. Символическая запись
S – P
---------
P- R

Задание 11.
Подберите два тезиса, постройте их прямое и косвенное обоснование.
Ответ: Тезис «Утконос - это птица».
Аргументы: 1) «Все птицы размножаются яйцами», 2) «Утконос размножается яйцами».
утконос (Р) птица (S) - размножается яйцами (M)
2-я фигура. Модус ААА.

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

Задание 12.
Приведите пример рассуждения, в котором нарушены требования одного из формально-логических законов.

Ответ: Все солдаты служат в армии, и все они являются прогрессивными людьми. Следовательно, все прогрессивные люди - солдаты.
Для определения правильности рассуждения достаточно изобразить условия истинности посылок на диаграмме Венна и посмотреть, будет ли истинным заключение при этих же условиях.
Для решения данной задачи необходимо воспользоваться фигурами категорического силлогизма и правилами посылок.
Для данной задачи подходит следующая фигура:
S M
Где S = армия
M = солдаты
P = прогрессивные люди
P S

армия (S) – солдаты (M)
Прогрессивные люди (P)
--------------------------------------------
прогрессивные(P) служат в армии(S)
Силлогизм построен неправильно, т.к. не соблюдено общее правило ПКС, согласно которому одна из посылок должна быть отрицательной

Список литературы

1. Бойко А. П. Логика: Учебное пособие М., 2006
2. Гетманова А.Д. Логика. М., 2002.
3. Иванов Е. А. По законам логики. М., 1983.
4. Ивин А. А. Искусство правильно мыслить. М., 1998.
5. Кириллов В.И. Старченко А.А. Логика. М., 2003.
6. Свинцов. В.И. Логика: Учеб. Для вузов. М., 2001


Скачиваний: 1
Просмотров: 0
Скачать реферат Заказать реферат