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