Основы формальной логики
Ложность и истинность суждений. Определение, является ли данное суждение законом, методом от противного. Фиксация диалектического противоречия в виде конъюнкции двух суждений. Логическое следование формул. Превращение суждений. Ограничение понятий.
| Рубрика | Философия |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 14.10.2010 |
| Размер файла | 13,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
3
Задание 1
Известно, что X знает У, а У не знает X.
Проверить является ли следующее суждение истинным:
X знает У, или У знает X
Это предложения выражают суждения, но не являются ни истинными, ни ложными. Тогда это объяснение представляется неточным. Предположим, что Р содержит сингулярный термин, имеющий смысл, но не имеющий референции. Тогда Х выражает суждение, которое не имеет истинностного значения. Поэтому такое суждение не является истинным, и, следовательно, утверждение X знает У, или У знает X будет ложным.
Задание 2
Методом от противного определить является ли данное суждение законом?
(Р) (РvQ)
Закон непротиворечия читается так: «Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении». Итак, первичным выступает диалектическое противоречие, объективно возникающее в процессе познания, и именно оно служит движущей силой познания, а вторичным является способ фиксации диалектического противоречия виде конъюнкции двух суждений а и не-а, то есть в форме формально-логического противоречия.
Следовательно, данное суждение можно считать законом.
Задание 3
По таблицам определить, находятся ли формулы в отношении логического следования?
(Р-Q) и (-QР)
При переводе естественно-языковых высказываний в логическую форму выражения происходит извлечение из текста и формальная запись отношения логического следования и пропозициональных связок. Внелогическая семантика отношений объектов предметной области выражается посредством функциональной группировки представляющих их синтаксических объектов на основе созданной специально для этого случая функциональной модели. Логические отношения формализованных объектов знания находятся в зависимости от функциональной модели. Чем полнее эта модель, тем богаче ее параметризация, и тем больше зависимостей выводится на уровень, отображаемый логической сигнатурой.
Таким образом, данные формулы находятся в отношении логического следования.
Задание 4
Осуществите превращение суждения. Некоторые школьники не являются каратистами.
Частноотрицательное суждение (О) превращается в частноутвердительное (I). Например: “Некоторые из присутствующих не являются совершеннолетними. Следовательно, некоторые из присутствующих являются несовершеннолетними”.
Схема превращения суждения О:
Некоторые S не суть Р
Некоторые S суть не-Р
Некоторые школьники не являются каратистами
Не все каратисты являются школьными
Задание 5
Определите, верно, ли произведена логическая операция ограничения понятия:
Дом-комната.
Это логическая операция перехода от понятия с большим объемом к понятию с меньшим объемом, от рода к виду. Этот переход осуществляется за счет добавления к содержанию исходного понятия дополнительных признаков, принадлежащих лишь части предметов, входящих в объем исходного понятия.
Например, если мы добавим к содержанию данного понятия словосочетание «несколько комнат» мы получим дом.
Список литературы
1. Карпович В.Н. Элементарное введение в формальную логику. Новосибирск, 2003.
2. Кириллов В.И. Старченко АА Логика. - М., 2000.
3. Кузина Е.Б. Логика в кратком изложении и упражнениях. - М., 2000.
4. Смаллиан Р. Как же называется эта книга? М., 2001.
5. Челпанов Г.И. Учебник логики. М., 2004.
Подобные документы
Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".
реферат [12,4 K], добавлен 22.02.2009Логическая характеристика понятий. Отношения между понятиями. Состав и виды простых суждений. Определение истинности по логическому квадрату. Умозаключения из суждений с отношениями. Методы установления причинных связей; доказательство и опровержение.
контрольная работа [134,8 K], добавлен 30.10.2015Суть и разновидности суждений, различение по степени сложности. Качество и количество — важнейшие его логические характеристики. Единство суждения и предложения. Характеристика утвердительных суждений. Виды модальности. Познавательная ценность суждений.
реферат [27,7 K], добавлен 10.02.2009Элементы полной структуры простого суждения. Виды простых суждений по характеру предиката. Объединенная классификация атрибутивных суждений по качеству и количеству. Отношения между понятиями, определение правильность определения и деления понятия.
контрольная работа [174,9 K], добавлен 21.10.2011Примеры ошибок в определении понятий: "только отрицательное определение", "подмена основания в делении", "пересечение результатов", "скачок в делении". Изучение сложных суждений: конъюнкции, строгой дизъюнкции, импликации, эквиваленции и отрицания.
задача [15,7 K], добавлен 10.02.2015Последовательное ограничение и обобщение понятий: роман, учащийся, планета, юрист, плоская замкнутая геометрическая фигура. Правильность деления понятий. Виды модальностей суждений. Непосредственное умозаключение путем превращения. Тождество суждений.
контрольная работа [22,4 K], добавлен 20.01.2009Европейская формальная логика. Самобытный мир со своими законами, условностями, традициями. Виды и состав простых суждений. Атрибутивные, релятивные и экзистенциональные суждения. Структура логики как науки. Обобщение, определение и ограничение понятий.
контрольная работа [29,4 K], добавлен 24.04.2009пределение отношений между понятиями. Субъект, предикат и связка суждений. Определение количества и качества суждений. Описание схемы вывода путем превращения. Построение логического квадрата. Построение умозаключения по утверждающе-отрицающему модусу.
контрольная работа [55,5 K], добавлен 26.06.2012Порядок исследование и формирование полной логической характеристики заданных понятий. Определение понятий, равнозначных заданным. Проверка правильности ограничений. Логическое строение, качество и количество суждений, распределенность терминов в них.
контрольная работа [14,2 K], добавлен 28.10.2013Классификация непосредственных умозаключений. Диаграмма Эйлера для терминов: люди, мужчины, женщины, дети. Таблица истинности формулы. Определение истинного суждений при ложности данного: "Все промышленно развитые страны применяют безотходные технологии".
контрольная работа [47,6 K], добавлен 29.03.2010
