Автор работы: Пользователь скрыл имя, 03 Мая 2015 в 13:05, контрольная работа
Суждение как форма мышления содержит двоякую информацию - основную и дополнительную. Основной является информация о предметах и их признаках, о наличии или отсутствии связи между ними, об их количественной характеристике. Эта информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Суждения, содержащие только основную информацию, называются ассерторическими. В них речь идет только о наличии или отсутствии чего-либо, то есть фиксируется лишь фактическое положение дел. Примером ассерторического суждения может быть определение понятия логики: "логика есть наука о формах и законах мышления".
Введение……………………………………………………………3
1. Логические отношения между суждениями……………….4
2. Понятие и виды модальности……………………………….8
3. Функция высказывания и суждения……………………….10
4. Заключение…………………………………………………..13
5. Аннотация…………………………………………………....14
6. Глоссарий…………………………………………………….16
7. Список использованной литературы ………………………18
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»
Нижневартовский экономико-правовой институт (филиал)
Кафедра философии и теории права
Контрольная работа
по дисциплине: «Логика»
на тему: «Модальность суждений»
Нижневартовск 2015
Регистрационный номер (кафедра)
Содержание
Введение…………………………………………………………
Введение
Суждение как форма мышления содержит двоякую информацию - основную и дополнительную. Основной является информация о предметах и их признаках, о наличии или отсутствии связи между ними, об их количественной характеристике. Эта информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Суждения, содержащие только основную информацию, называются ассерторическими. В них речь идет только о наличии или отсутствии чего-либо, то есть фиксируется лишь фактическое положение дел. Примером ассерторического суждения может быть определение понятия логики: "логика есть наука о формах и законах мышления".
Дополнительная информация относится к особенностям связи между предметами и их признаками (необходима она или случайна), к степени обоснованности суждения (достоверно или проблематично), к оценочным, регулятивным, временным и другим его характеристикам. Такая дополнительная информация называется модальностью суждения. В речевом высказывании она может быть выражена отдельными словоформами (может быть, обязан, необходимо и др.), но может и не иметь явного выражения. В этом случае ее определяют содержательным анализом соответствующих высказываний.
Главная цель моей работы - дать общее представление о модальности суждений.
Задача моей контрольной работы рассмотреть:
Логические отношения между суждениями
Логика – это искусство ошибаться с уверенностью в своей правоте.
А. Ступин1
Основу отношений между суждениями составляет их сходство по смыслу и логическим значениям ( истинности и ложности). В силу этого отношения устанавливаются не между любыми, а лишь между сравнимыми, т.е. имеющими общий смысл, суждениями. Учитывая структурные различия, рассмотрим вначале отношения между простыми, а затем между сложными суждениями.
Простые суждения
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».
Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантом. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях». Среди сравнимых различают совместимые и несовместимые суждения.
Отношение совместимости.
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: эквивалентность (полная совместимость), частичная совместимость (субконтрарность) и подчинение.
При истинности общего суждения частное всегда будет истинным: Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное – «Некоторые правоотношения регулируются нормами права».
При ложности частного суждения общее суждение также будет ложным: Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
Для противоречия характерна строгая, или альтернативная несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключительного третьего.
Сложные суждения
Сложные суждения могут быть сравнимыми и несравнимыми.
Несравнимые – это суждения, которые не имеют общих пропозициональных переменных.
Сравнимые – это суждения, которые имеют одинаковые попозиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Сложные сравнимые суждения могут быть совместимыми несовместимыми.
К совместимым относятся такие сравнимые сужения, которые одновременно могут быть истинными. Как и в простых суждений, различают три вида совместимости сложных суждений: эквивалентность, частичная совместимость и подчинение.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна – противоположность, другая – противоречие.
Противоположность – отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
Противоречие – отношение между суждениями, которые одновременно не могут быть истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
Понятие и виды модальности
Без логики почти невозможно внесение в наш мир гениальных находок интуиции.
К. Фандеев2
Модальность – это дополнительная информация о характере зависимости между реальными явлениями, о логическом статусе суждений, об оценочных, регулятивных и других характеристиках.
Все модальные суждения делятся на простые и сложные.
Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий).
Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов ( модальных понятий).
Основные виды модальностей:
Другие виды модальностей:
Функция высказывания и суждения
Логика - это нравственность мысли и речи.
Ян Лукасевич3
Сложные суждения образуются из простых двумя основными способами:
1. Путем квантификации высказываний;
2. Объединением простых или элементарных высказываний с помощью логических связок или операторов.
Первый способ представляет собой метод получения общих суждений путем использования логических кванторов, характеризующих объем суждения. Прежде чем перейти к его обсуждению, рассмотрим понятие функции-высказывания, которое играет важную роль в логике.
Высказывания в функции-высказывании оцениваются с точки зрения их истинностного значения, поэтому такая функция называется также истинностной функцией. Она образуется по аналогии с математической функцией, но в отличие от последней, аргументами в ней являются не числа и другие математические объекты, а логические объекты – высказывания. В связи с этим ее называют также пропозициональной функцией или – что менее благозвучно – высказывательной функцией. Значениями ее аргументов и самой функции являются "истина" и "ложь". Таким образом, здесь мы имеем дело с пропозициональной функцией двузначной классической логики.
Пропозициональные функции логики превращаются в конкретные высказывания, если вместо логических переменных подставляются определенные имена.
Пропорциональная функция – это выражение, содержащее переменные, которые при подстановке вместо них постоянных превращают выражение в конкретное высказывание.
Чтобы превратить пропозициональные функции в подлинные высказывания, можно, во-первых, придать переменным конкретные значения, как это было показано выше; во-вторых, можно пойти по линии квантификации высказываний. С помощью высказываний с универсальным квантором формулируются общие законы науки, в частности математические законы, теоремы и их следствия. Обратите внимание, что термин "универсальный" относится только к общим высказываниям определенной предметной области, например, математики, физики, экономики и других наук.
Таким образом, один из способов образования высказываний состоит в том, что сначала мы составляем пропозициональную функцию, где фигурируют соответствующие переменные, а затем связываем их кванторами общности и существования. Благодаря этому получаются общие и частные высказывания.