Суждения а и б характеризуют отдельные свойства предмета «Иван», суждение в говорит нечто о предмете в целом. Оно не добавляет ничего особенно к нашему познанию предмета, а характеризует положение предмета в бытии, определяет, существует весь этот предмет или не существует.
Итак, в экзистенциальных суждениях утверждается или отрицается существование предметов в действительности.
| Существует праздник весны- восьмое марта
|
| «В мире будут таланты, пока существует учитель»
|
| На Земле уже не существуют многие виды животных
|
| В Московском Кремле существует "Царь - пушка", но из нее никогда не стреляли
|
| Не существует беспричинных явлений Алуштинский дворец находится в Крыму
|
| Кащей бессмертный- скупой и жадный
|
В отличие от атрибутивных суждений в реляционных суждениях всегда более чем один субъект и так же, как в атрибутивных суждениях, один предикат, только выраженных признаком- отношением.
| Атрибутивные суждения
| Реляционные суждения
| Один субъект
Один предикат
| Более одного субъекта
Один предикат
|
Вопрос №15 Сложные суждения и их виды
Сложные суждения образуются из простых суждений с помощью логических связок:
конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.
Итак, конъюнкция (a b) истина тогда, когда оба простых суждения
истинны. Строгая дизъюнкция (a b) истина тогда, когда только одно
простое суждение истинно. Нестрогая дизъюнкция (a b) истина тогда,
когда хотя бы одно простое суждение истинно. Импликация (a b) истина
во всех случаях, кроме одного: когда а – истинно, b –
ложно. Эквиваленция (a b) истина тогда, когда оба суждения истинны или
оба ложны. Отрицание (а) истины дает ложь, и наоборот.
ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ ПО ЗНАЧЕНИЯМ ИСТИННОСТИ
Суждения, как и понятия, делятся на сравнимые и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
Совместимые выражают одну и ту же мысль полностью или лишь в некоторой
части. Отношения совместимости: эквивалентность, логическое подчинение,
частичное совпадение (субконтрарность). Если два высказывания эквивалентны,
то невозможно, чтобы одно из них было истинным, а другое ложным.
В отношении частичного совпадения (субконтрарности) находятся два таких
совместимых суждения, которые имеют одинаковые субъекты и одинаковые предикаты,
но различаются по качеству.
Отношения несовместимости: противоположность, противоречие. Из истинности
одного из противоположных суждений вытекает ложность другого, но ложность
одного из них оставляет другое суждение неопределенным.
Закономерности, выражающие отношения между суждениями по истинности, имеют
большое познавательное значение, так как они помогают избежать ошибок при
непосредственных умозаключениях, производимых из одной посылки (одного
суждения).
ДЕЛЕНИЕ СУЖДЕНИЙ ПО МОДАЛЬНОСТИ
В логике мы до сих пор рассматривали простые суждения, которые называются
ассерторическими, а также составленные из простых сложные суждения. В них
утверждается или отрицается наличие определенных связей между предметом и его
свойствами или констатируется отношение между двумя или большим числом
предметов.
В этих ассерторических суждениях не установлен характер связи между субъектом и
предикатом. Помимо ассерторических существуют модальные суждения, в которых
уточняется или квалифицируется характер связи между S и P или
характер связи между отдельными простыми суждениями в сложном суждении.
Модальные суждения не просто утверждают или отрицают некоторые связи, а дают
оценку этих связей с какой-то точки зрения.
Модальными простыми суждениями называют простые суждения, выражающие
характер связи между субъектом и предикатом с помощью модальных операторов
Модальными сложными суждениями называют сложные суждения, выражающие
характер связи между составляющими их простыми суждениями с помощью модальных
операторов (модальных понятий).
Модальные высказывания изучаются в модальной логике, в которой имеются
отдельные разделы (или ветви): логика норм, логика времени, деонтическая
логика, логика действия, логика принятия решения и другие виды логик. В
модальной логике модальность суждений выражается различными модальными
операторами (категориями модальности): «доказуемо», «опровержимо»,
«запрещено», «необходимо», «невозможно» и т.п.
Логические модальности и онтологические модальности объединяются в общий вид
– алетические модальности. Они включают такие модальные операторы, или
категории модальности: необходимость и случайность, возможность и
невозможность. Слова «необходимо», «возможно», «случайно» в обыденном языке
употребляется в самых различных смыслах.
III УМОЗАКЛЮЧЕНИЕ
Умозаключение – форма мышления, в которой из одного или нескольких
суждений на основании определенных правил вывода получается новое суждение, с
необходимостью или определенной степенью вероятности следующее из них.
Умозаключение делится на такие виды: дедуктивные, индуктивные, по аналогии.
Умозаключения могут быть логически необходимыми, т.е. давать истинное
заключение, и вероятностными (правдоподобными), т.е. давать не истинное
заключение, а лишь с определенной степенью вероятности следующее из данных
посылок (при этом в качестве посылок могут быть и ложные суждения).
ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
В определении дедукции в логике выявляются два подхода:
1. В традиционной (не математической) логике дедукцией называют
умозаключение от знания большей степени общности к новому знанию меньшей
степени общности.
2. В современной математической логике дедукцией называется
умозаключение, дающее достоверное (истинное) суждение. Четкая фиксация
существенного различия классического и современного понимания дедукции
особенно важна для решения методологических вопросов. Правильно построенному
дедуктивному умозаключению присущ необходимый характер логического следования
заключения из данных посылок. Обобщая сказанное, можно дать такое
определение.
Дедуктивные умозаключения – те умозаключения, у которых между посылками и
заключением имеется отношение логического следования.
ПОНЯТИЕ ПРАВИЛА ВЫВОДА
Умозаключение дает истинное заключение, если исходные посылки истинны и
соблюдены правилами вывода. Правила вывода, или правила преобразования
суждений, позволяют переходить от посылок (суждений) определенного вида к
заключениям также определенного вида.
Формализация способов вывода состоит в том, что каждый шаг вывода совершается
только в соответствии с каким-нибудь из заранее перечисленных правил вывода,
относящихся только к способам оперирования с некоторыми материальными
объектами. 1 | 2 | 3 | 4 | 5 | 6 | Поиск по сайту:
|