Основы логики
Анализ правильности суждений через формирование таблиц истинности. Определение количества возможных комбинаций и их анализ. Примеры общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных суждений. Объем и содержание понятий.
| Рубрика | Философия |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 07.10.2013 |
| Размер файла | 22,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
Задание №1
Перевести на язык логике высказываний и при помощи таблиц истинности проанализировать правильность рассуждения.
а) Выяснить, можно ли сделать вывод о виновности одного из четырех подозреваемых на основе рассуждения: «Если из невиновности Петрова не следует виновность Сидорова или Родионова, то из виновности Кулагина не следует виновность хотя бы одного из остальных. Родионов виновен только в том случае, если невиновен Сидоров».
1) виноват Петров - a.
2) виноват Сидоров - b.
3) виноват Родионов - c.
4) виноват Кулагин - p.
(¬ a > ¬ (b c)) (p > ¬ (a b c)) (c > ¬ b).
1) b ? c 5) a b c 8) ¬ b 10) 4 7
2) ¬1 6) ¬5 9) c > 8 11) 10 9
3) ¬ a 7) p > 6
4) 3 > 2
В таблице истинности количество возможных комбинаций значений переменных равно 24=16, так как в данном случаи 4 переменные.
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
|||||
|
a |
b |
c |
p |
b ? c |
¬1 |
¬ a |
3 > 2 |
a ? b ? c |
¬5 |
p > 6 |
¬ b |
c > 8 |
4 ? 7 |
10 ? 9 |
|
|
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
|
|
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
|
|
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
|
|
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
|
|
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
|
|
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
|
|
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
|
|
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
|
|
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
|
|
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
|
|
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
|
|
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
Данное высказывание является ТАВТОЛОГИЕЙ, т.к. в итоговом столбце имеются только значения ИСТИНА, а рассуждение является верным.
Задание №2
Привести примеры общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных суждений. Выяснить, распределены или нет субъект и предикат в каждом из этих суждений.
Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.
Рассмотрим, как распределены термины в суждениях А, Е, I, О.
Суждение А (Все S суть Р). «Все люди (S) есть существа мыслящие (Р)». Субъект этого суждения («Все люди») распределен, он взят в полном объеме: речь идет обо всех людях нашей планеты. Предикат этого суждения не распределен, так как в нем мыслится что все люди мыслят.
Таким образом, в общеутвердительных суждениях S распределен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.
Суждение Е (Ни одно S не есть Р). «Ни один человек (S) не является животным (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключается из объема другого: ни один человек не является животным и ни одно животное не является человеком. Следовательно, в общеотрицательных суждениях и S, и Р распределены.
Суждение I (Некоторые S суть Р). «Некоторые люди (S) являются русскими (Р)». Субъект этого суждения не распределен, так как в нем мыслится только часть населения земли которое является русскими, объем субъекта лишь частично включается в объем предиката: некоторые люди населения земли являются русской национальности. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые люди русской национальности - населяют землю.
Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.
Исключение из этого правила составляют частновыделяющие суждения, предикат которых полностью входит в объем субъекта. Например: «Некоторые родители, и только они (S), являются многодетными (Р)». Здесь понятие «многодетные» полностью входит в объем понятия «родители». Субъект такого суждения не распределен, предикат распределен.
Суждение О (некоторые S не суть Р). «Некоторые люди (S) не белого цвета кожи (Р)». Субъект этого суждения не распределен мыслится лишь часть людей, предикат распределен, в нем мыслятся все люди белого цвета кожи, ни один из которых не включается в ту часть людей, которая мыслится в субъекте. Следовательно, в частноотрицательном суждении S не распределен, а Р распределен.
Обобщая сказанное, можно вывести следующие закономерности, характеризующие распределенность терминов в суждениях:
а) субъект распределен в общих (А и Е) и не распределен в частных суждениях (I и О);
б) предикат распределен в отрицательных (Е и О) и не распределен в утвердительных суждениях (А и I);
в) в выделяющих суждениях предикат распределен.
Задание №3
суждение истинность правильность
Для каждого из нижеследующих понятий выполнить следующие действия:
1) записать объем и содержание для каждого понятия;
2) выяснить (если возможно), к какому виду это понятие относиться: 2.1 пустое, единичное или общее; 2.2 регистрирующее или не регистрирующее; 2.3 конкретное или абстрактное; 2.4 положительное или отрицательное; 2.5 безотносительное или соотносительное
Вариант 1
ж) беззаконие, баба-яга, справедливость.
А 1) Беззаконие - отсутствие законности, нарушение закона, незаконный поступок.
2) 2.1 пустое (т.е. понятие существует, а объект, который оно обозначает, не существует)
2.2 регистрирующее
2.3 абстрактное
2.4 отрицательное
2.5 соотносительное
Б 1) Баба-яга - популярный персонаж фольклора у славян, старуха, наделённая магической силой, ведунья. По своим свойствам ближе всего к ведьме. Она умеет колдовать, а также летать в ступе.
2) 2.1 пустое (т.е. понятие существует, а объект, который оно обозначает, не существует)
2.2 регистрирующее
2.3 конкретное
2.4 отрицательное
2.5 безотносительное
В 1) Справедливость - понятие о должном, содержащее в себе требование соответствия деяния и воздаяния: в частности, соответствия прав и обязанностей, труда и вознаграждения, заслуг и их признания, преступления и наказания, соответствия роли различных социальных слоев, групп и индивидов в жизни общества и их социального положения в нём. Справедливость - правильное по мнению одной из спорящих (конфликтующих) сторон решение спора (конфликта). Другой стороной это решение обычно воспринимается как несправедливое. Поэтому справедливость понятие относительное. Не может быть абсолютной справедливости.
2) 2.1 пустое (т.е. понятие существует, а объект, который оно обозначает, не существует)
2.2 регистрирующее
2.3 абстрактное
2.4 положительное
2.5 соотносительное
Задание №4
Привести пример индуктивного, дедуктивного рассуждений и рассуждения по аналогии. Пояснить, чем они отличаются друг от друга.
Индуктивное рассуждение.
Пример:
Аргентина является республикой; Бразилия - республика;
Венесуэла - республика; Эквадор - республика.
Аргентина, Бразилия, Венесуэла, Эквадор-латиноамериканские государства.
Все латиноамериканские государства являются республиками.
Италия - республика; Португалия - республика;
Финляндия - республика; Франция - республика.
Италия, Португалия, Финляндия, Франция - западноевропейские страны.
Все западноевропейские страны являются республиками.
Индуктивное умозаключение - связь посылок и заключения опирается не на закон логики, а на некоторые фактические или психологические основания, не имеющие чисто формального характера. В таком умозаключении заключение не следует логически из посылок и может содержать информацию, отсутствующую в них. Достоверность посылок не означает поэтому достоверности выведенного из них индуктивно утверждения. Индукция дает только вероятные, или правдоподобные, заключения, нуждающиеся в дальнейшей проверке.
Индукция не дает полной гарантии получения новой истины из уже имеющихся. Максимум, о котором можно говорить, это определенная степень вероятности выводимого утверждения. Так, посылки и первого и второго индуктивного умозаключения истинны, но заключение первого из них истинно, а второго - ложно. Действительно, все латиноамериканские государства - республики; но среди западноевропейских стран имеются не только республики, но и монархии, например, Англия, Бельгия и Испания.
Дедуктивное рассуждение.
Пример:
Если данное число делится на 6, то оно делится на 3.
Данное число делится на 6.
Данное число делится на 3.
Дедуктивное умозаключение, являющееся предметом традиционной логики, применяется всякий раз, когда требуется рассмотреть какое-либо явление на основании уже известного нам общего положения и вывести в отношении этого явления необходимое заключение.
Структура дедуктивного умозаключения и принудительный характер его правил, заставляющих принять заключение, логически вытекающее из посылок, отобразили самые распространенные отношения между предметами материального мира: отношения рода, вида и особи, то есть общего, частного и единичного.
Рассуждение по аналогии.
Умозаключение по аналогии (или просто аналогия) - индуктивное умозаключение, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве также по другом параметрам.
Общая схема умозаключения по аналогии:
Объект А имеет признаки а, b, с.
Объект B сходен с A в том, что имеет признаки а и b.
Значит, объект В имеет, вероятно, и признак с.
В обычном мышлении умозаключение по аналогии редко встречается в ясной, не требующей размышления и реконструкции форме. Чаще всего аналогия оказывается свернутой, какие-то части умозаключения опускаются. Иногда она протекает так, что ее можно спутать с популярной индукцией
Пример:
И. Кеплер нашел, что Марс описывает вокруг Солнца траекторию в форме эллипса. Зная также, что имеется много общего между Марсом и Меркурием, Венерой, Землей, Юпитером и Сатурном, Кеплер заключил, что все планеты Солнечной системы движутся по эллиптическим орбитам. Форма траектории Марса известна, значит, и похожий на него Меркурий описывает такую же траекторию. Это верно также для Венеры, Земли, Юпитера и Сатурна.
Отличие индуктивного умозаключения от дедуктивного:
а) индуктивный вывод строится на множестве посылок;
б) заключение возможно при всех отрицательных посылках;
в) все посылки индуктивного умозаключения - единичные или частные суждения;
г) в индуктивном умозаключении даже из верных посылок вывод получается вероятностный.
Дедукция дает достоверные выводы, а индукция и аналогия - вероятностные.
Задание №5
Выполнить операцию деления над понятием. Выделить делимое понятие, члены деления, основание деления. Затем выполнить операции деления с нарушение каждого из нижеследующих правил (на каждое правило свое деление):1) требование соразмерности 2) требование последовательности 3) требование исключения членов друг другом 4) требование одного основание.
а) обувь.
Делимое (родовое) понятие «обувь» делится на следующие члены деления (виды): «бытовая» и «специальная». В зависимости от цели, практических потребностей одно понятие можно разделить по различным основаниям деления (например, современная обувь по назначению - бытовую подразделяется на повседневную, выходную (модельную) и домашнюю; специальную - на спортивную, ортопедическую (медицинскую), производственную (защитную); по качеству - на хорошую и плохую).
1) требование соразмерности:
а) неполное деление:
обувь бывает повседневная, выходная, а также других видов;
б) деление с излишним членом:
обувь бывает ортопедическая, спортивная и коньки.
2) требование последовательности:
обувь делиться на виды: бытовая, спортивная ортопедическая производственная.
3) требование исключения членов друг другом:
обувь делиться на виды: бытовая, повседневная, домашняя, спортивная, производственная, бытовая, специальная.
4) требование одного основание:
обувь делиться на виды: бытовая, специальная, хорошая.
Задание №6
В авиационном подразделении служат Потапов, Щедрин, Семенов, Коновалов и Самойлов. Их специальности: пилот, штурман, бортмеханик, радист и синоптик. Определить, какую специальность имеет каждый из них, если известны следующие факты: Щедрин и Коновалов не знакомы с управлением самолета; Потапов и Коновалов готовятся стать штурманом; квартиры Щедрина и Самойлова находятся рядом с квартирой радиста; Семенов, находясь в доме отдыха, встретил Щедрина и сестру синоптика; Потапов и Щедрин в свободное от работы время играют в шахматы с бортмехаником и пилотом; Коновалов, Семенов и синоптик увлекается боксом, радист боксом не увлекается.
На основе условий задания составим таблицу, в которую занесем данные.
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
||||||
|
штурман |
||||||
|
бортмеханик |
||||||
|
радист |
||||||
|
синоптик |
1) Щедрин и Коновалов не знакомы с управлением самолета;
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
||||
|
штурман |
||||||
|
бортмеханик |
||||||
|
радист |
||||||
|
синоптик |
2) Потапов и Коновалов готовятся стать штурманом;
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
||||
|
штурман |
ложь |
ложь |
||||
|
бортмеханик |
||||||
|
радист |
||||||
|
синоптик |
3) квартиры Щедрина и Самойлова находятся рядом с квартирой радиста;
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
||||
|
штурман |
ложь |
ложь |
||||
|
бортмеханик |
||||||
|
радист |
ложь |
ложь |
||||
|
синоптик |
4) Семенов, находясь в доме отдыха, встретил Щедрина и сестру синоптика;
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
||||
|
штурман |
ложь |
ложь |
||||
|
бортмеханик |
||||||
|
радист |
ложь |
ложь |
||||
|
синоптик |
ложь |
ложь |
5) Потапов и Щедрин в свободное от работы время играют в шахматы с бортмехаником и пилотом;
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
ложь |
|||
|
штурман |
ложь |
ложь |
||||
|
бортмеханик |
ложь |
ложь |
||||
|
радист |
ложь |
ложь |
||||
|
синоптик |
ложь |
ложь |
6) Коновалов, Семенов и синоптик увлекается боксом, радист боксом не увлекается.
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
ложь |
|||
|
штурман |
ложь |
ложь |
||||
|
бортмеханик |
ложь |
ложь |
||||
|
радист |
ложь |
ложь |
ложь |
ложь |
||
|
синоптик |
ложь |
ложь |
ложь |
Исходя из полученных данных можно заполнить таблицу.
|
Потапов |
Щедрин |
Семенов |
Коновалов |
Самойлов |
||
|
пилот |
ложь |
ложь |
истина |
ложь |
ложь |
|
|
штурман |
ложь |
истина |
ложь |
ложь |
ложь |
|
|
бортмеханик |
ложь |
ложь |
ложь |
истина |
ложь |
|
|
радист |
истина |
ложь |
ложь |
ложь |
ложь |
|
|
синоптик |
ложь |
ложь |
ложь |
ложь |
истина |
Исходя из данных итоговой таблицы получилось:
Потапов - радист;
Щедрин - штурман;
Семенов - пилот;
Коновалов - бортмеханик;
Самойлов - синоптик.
Список литературы
1. Грядовой Д.И., Логика, Учебное пособие, изд. «Щит», 2007 г.
2. Гусев Д.А. Краткий курс логики: Искусство правильного мышления: Понятие, суждение, умозаключение; Основные законы логики; Тест по курсу логики; 100 занимательных задач, Издательство: НЦ ЭНАС, 2003 г.
3. http://www.metodist.ru/iitdocs/baz/zan4
4. http://www.humanities.edu.ru/db/msg/1424
Размещено на Allbest.ru
...Подобные документы
Логическая характеристика некоторых понятий. Круговые схемы логических отношений между понятиями. Объединенная классификация суждений, анализ их истинности при помощи "логического квадрата". Проверка правильности простого категорического силлогизма.
контрольная работа [103,9 K], добавлен 29.11.2010Предмет и цели изучения логики. Понятие и основные концепции истины. Решение задач с помощью "кругов Эйлера". Формализация сложного суждения и построение таблиц истинности. Определение пар суждений, находящихся в отношении противоречия и подчинения.
контрольная работа [116,4 K], добавлен 16.10.2016Порядок исследование и формирование полной логической характеристики заданных понятий. Определение понятий, равнозначных заданным. Проверка правильности ограничений. Логическое строение, качество и количество суждений, распределенность терминов в них.
контрольная работа [14,2 K], добавлен 28.10.2013Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".
реферат [12,4 K], добавлен 22.02.2009пределение отношений между понятиями. Субъект, предикат и связка суждений. Определение количества и качества суждений. Описание схемы вывода путем превращения. Построение логического квадрата. Построение умозаключения по утверждающе-отрицающему модусу.
контрольная работа [55,5 K], добавлен 26.06.2012Логическая характеристика понятий. Отношения между понятиями. Состав и виды простых суждений. Определение истинности по логическому квадрату. Умозаключения из суждений с отношениями. Методы установления причинных связей; доказательство и опровержение.
контрольная работа [134,8 K], добавлен 30.10.2015Европейская формальная логика. Самобытный мир со своими законами, условностями, традициями. Виды и состав простых суждений. Атрибутивные, релятивные и экзистенциональные суждения. Структура логики как науки. Обобщение, определение и ограничение понятий.
контрольная работа [29,4 K], добавлен 24.04.2009Примеры ошибок в определении понятий: "только отрицательное определение", "подмена основания в делении", "пересечение результатов", "скачок в делении". Изучение сложных суждений: конъюнкции, строгой дизъюнкции, импликации, эквиваленции и отрицания.
задача [15,7 K], добавлен 10.02.2015Суть и разновидности суждений, различение по степени сложности. Качество и количество — важнейшие его логические характеристики. Единство суждения и предложения. Характеристика утвердительных суждений. Виды модальности. Познавательная ценность суждений.
реферат [27,7 K], добавлен 10.02.2009Доказательство – логическая операция по обоснованию истинности суждений с помощью других истинных суждений. Опровержение - вид доказательного процесса, направленного на уже существующие доказательства для того, чтобы показать их несостоятельность.
контрольная работа [23,2 K], добавлен 21.05.2008Изучение таких видов рассуждений, которые не могут быть обоснованы, исходя из истинностного значения составляющих их суждений. Обобщение, ограничение и деление понятий. Определение понятий – операция с помощью, которой устанавливается содержание понятия.
реферат [38,1 K], добавлен 13.08.2010Суждения со сложным субъектом и сложным предикатом, понятие их истинности или ложности. Соединительные и разделительные суждения. Построение логического квадрата. Антецедент и консеквент условных и эквивалентных суждений и их символическая запись.
контрольная работа [18,8 K], добавлен 23.09.2011Классификация непосредственных умозаключений. Диаграмма Эйлера для терминов: люди, мужчины, женщины, дети. Таблица истинности формулы. Определение истинного суждений при ложности данного: "Все промышленно развитые страны применяют безотходные технологии".
контрольная работа [47,6 K], добавлен 29.03.2010Понятия "мировая экономика", "пеня". Инструменты финансового менеджмента. Примеры экзистенциальных, атрибутивных суждений, суждений с отношением. Законы правильного мышления, примеры нарушения. Определение вида доказательства, содержащегося в рассуждении.
контрольная работа [48,9 K], добавлен 28.05.2015Последовательное ограничение и обобщение понятий: роман, учащийся, планета, юрист, плоская замкнутая геометрическая фигура. Правильность деления понятий. Виды модальностей суждений. Непосредственное умозаключение путем превращения. Тождество суждений.
контрольная работа [22,4 K], добавлен 20.01.2009Логическая форма и законы мышления. Содержание и форма мысли. Виды понятий по содержанию. Таблицы истинности тождества и отрицания. Непосредственные умозаключения из сложных суждений. Прямые и косвенные доказательства.
контрольная работа [27,6 K], добавлен 26.01.2007Предмет логики, ее принципы, значение и виды. Модальность суждений, понятие и виды модальности. Выражение модальных характеристик суждений парными категориями. Логическая характеристика суждения. Алетическая, эпистемическая и деонтическая модальность.
реферат [13,5 K], добавлен 08.12.2010Приведение определений понятий "республика" и "год"; их признаки. Принципы деления понятия "доказательство" по видоизменению признака. Разбор определения термина "предательство" по правилам соразмерности и ясности. Сопоставление и отрицание суждений.
контрольная работа [90,0 K], добавлен 05.01.2012Сущность логики как научного направления, место и значение в ее становлении великого ученого Аристотеля. Классификация суждений по Аристотелю: по качеству, объему охватываемых в суждении понятий, модальности. Развитие ученым принципов диалектики.
реферат [24,0 K], добавлен 01.11.2010Сущность конкретных и пустых, абстрактных и общих понятий, отношения между ними. Субъект и предикат, постройка рассуждения по модусу разделительно-категорического умозаключения. Логическая форма суждений, способы аргументации и формы обоснования.
контрольная работа [36,5 K], добавлен 24.01.2010
