Элементы полной структуры простого суждения. Виды простых суждений по характеру предиката. Объединенная классификация атрибутивных суждений по качеству и количеству. Отношения между понятиями, определение правильность определения и деления понятия.
Логические трактаты Аристотеля («Категории», «Об истолковании», Первая и Вторая «Аналитики», «Топика» и «О софистических опровержениях») были объединены его последователями под общим названием «Органон», которое можно перевести как «орудие» («инструмент») познания. В «Органоне» был заложен каркас логики как науки, сформулированы основные проблемы, решаемые в ней. Начало современной логике, строящейся в форме исчисления, положил Г Фреге в сочинении «Запись в понятиях» (1879), где средствами разработанного им символического языка изложил созданную им логику предикатов с равенством и применил ее к анализу и доказательству некоторых арифметических предложений Идеи, заложенные в этом исчислении, он развил в работе «Основания арифметики» (1884), а в 1893 г и 1903 г выпустил фундаментальные двухтомные «Основные законы арифметики», в которых формализовались арифметика и теория действительных чисел.Познавая объективный мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами. Связи и отношения выражаются в суждении посредством утверждения или отрицания. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным.Подобно тому, как понятия не могут возникнуть и существовать вне слов и словосочетаний, так и суждения не могут возникнуть и существовать вне предложений. И если всякое суждение выражается в предложении, то из этого не следует, что всякое предложение выражает суждение. Побудительное предложение, выражающее волеизъявление, направленное на осуществление определенных действий, также не выражает суждения; как и вопросительное предложение, не утверждая и не отрицая чего-либо о чем-либо, оно не может рассматриваться как истинное или ложное. Суждение о связи предмета и его признака состоит из двух понятий - двух терминов суждения: субъекта (от латинского слова subjektum), отражающего предмет суждения, и предиката (от латинского слова praedikatum), отражающего признак предмета. Кроме субъекта и предиката суждение включает в свой состав связку - элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака.Символически структура простого суждения выражается формулой: (K)S-P, где - некоторый квантор, а - связка (если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу). В зависимости от того, что утверждается или отрицается в суждениях - принадлежность признака предмету, отношение между предметами или факт существования предмета, они делятся на (1) атрибутивные суждения, (2) суждения с отношениями и (3) суждения существования (экзистенциальные). а). Суждением с отношением называется суждение, отражающее отношение между предметами. Например, суждение “А равно D” рассматривается как суждение о признаке предмета, где А - субъект суждения, “равно D” - его предикат; при такой интерпретации равенство предмету D выступает как признак предмета А. в). Предикатами этих суждений являются понятия о существовании или несуществовании предмета; связка, как правило, в языке не выражается, но путем преобразования грамматической формы суждения она может быть выражена словами “есть”, “не есть”, “является” и т. д.Любое суждение имеет и количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, в соответствии с которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.Простым называется суждение, в котором нельзя выделить правильную часть, т.е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Среди простых суждений выделяют атрибутивные суждения и суждения об отношениях. Атрибутивными называются суждения, в которых выражается наличие или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов. В утвердительных выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов; в отрицательных - невключение класса (части класса) в некоторый класс предметов, непринадлежность предмета классу предметов.
План
Содержание
Введение
1. Структура простого суждения
2. Суждение и предложение
3. Виды простых суждений по характеру предиката
4. Объединенная классификация атрибутивных суждений по качеству и количеству
Заключение
Практические задания
Список используемой литературы
Введение
Логика является одной из древнейших наук. Как стройная система знаний она сформировалась в IV веке до н. э. в трудах выдающегося древнегреческого мыслителя Аристотеля. Логические трактаты Аристотеля («Категории», «Об истолковании», Первая и Вторая «Аналитики», «Топика» и «О софистических опровержениях») были объединены его последователями под общим названием «Органон», которое можно перевести как «орудие» («инструмент») познания. В «Органоне» был заложен каркас логики как науки, сформулированы основные проблемы, решаемые в ней.
Логика - это нормативная наука о формах, законах и приемах интеллектуальной познавательной деятельности.
Начало современной логике, строящейся в форме исчисления, положил Г Фреге в сочинении «Запись в понятиях» (1879), где средствами разработанного им символического языка изложил созданную им логику предикатов с равенством и применил ее к анализу и доказательству некоторых арифметических предложений Идеи, заложенные в этом исчислении, он развил в работе «Основания арифметики» (1884), а в 1893 г и 1903 г выпустил фундаментальные двухтомные «Основные законы арифметики», в которых формализовались арифметика и теория действительных чисел. Эта работа была продолжена и завершена Уайтхедом и Расселом, издавшими в 1910-1913 гг свое фундаментальное исследование «Pnncipia mathematica», содержащее систематическое изложение современной логики и ее применение для обоснования всей математики Издание этой работы знаменовало собой оформление современной логики.
В современной логике происходит постоянное возникновение новых логических теорий, в которых исследуются новые типы рассуждений, новые типы высказываний, требующие введения новых типов правил и законов. Таким образом, логика является развивающейся наукой.
Вывод
Простым называется суждение, в котором нельзя выделить правильную часть, т.е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Среди простых суждений выделяют атрибутивные суждения и суждения об отношениях.
Атрибутивные суждения. Атрибутивными называются суждения, в которых выражается наличие или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов.
По качеству они делятся на утвердительные и отрицательные. В утвердительных выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов; в отрицательных - невключение класса (части класса) в некоторый класс предметов, непринадлежность предмета классу предметов.
По количеству атрибутивные суждения делятся на единичные, общие и частные. В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. В общих - включение или невключение класса предметов в класс.
Проверить правильность определения понятия. Если оно неправильно, то необходимо назвать ошибку.
1) Гипотеза это не теория.
Решение: Определение верно, т.к. гипотеза не является теорией.
Гипотеза - недоказанное утверждение, предположение или догадка.
Теория - совокупность умозаключений, отражающая объективно существующие отношения и связи между явлениями объективной реальности.
2) Дети это цветы жизни.
Решение: С одной точки зрения нарушено правило ясности - слова, встречающиеся в определяющей части, обязаны иметь как можно более ясный смысл, посреди них не обязано быть метафор и иных образных выражений. Если же мы желаем решить задачки, стоящие перед операцией определения, то нам в определяющей части следует употреблять верно мыслимые признаки.
Если это определение рассматривать с другой точки зрения , то нельзя предположить, что в этом сравнении понятие «цветы» будет родом по отношению к понятию «дети». Цветы сами по себе вообще не являются признаком, присущим детям. Но образное сравнение детей с цветами дает возможность понять присущие детям свойства (красота, нежность и др.).
Задание III
Проверить правильность деления понятия. Если оно неправильно, то необходимо назвать ошибку.
Сделки могут быть односторонними, двусторонними, многосторонними и письменными.
Решение: Ошибка, Письменная сделка - это форма сделки. Сделки могут быть односторонними, двусторонними, многосторонними, а форма сделок бывает устная и письменная.
Живые существа делятся на растения, позвоночных и беспозвоночных животных.
Решение: Ошибка, деление должно быть последовательным: живые существа делятся на растения и животных, растения - на однолетние и многолетние, животные - на позвоночных и беспозвоночных.
Задание IV
Определить содержит ли данное языковое выражение суждение.
Договор об аренде жилого помещения.
Решение: Данное языковое выражение содержит суждения, т.к. предложение является повествовательным.
Подпишите договор об аренде.
Решение: Данное языковое выражение не содержит суждения, т.к. предложение является побудительным.
Задание V
Назвать вид простого атрибутивного суждения по качеству и количеству. Написать формулу. Подчеркнуть субъект и предикат. Изобразить круговое отношение субъекта к предикату с помощью кругов.
Этот аргумент не является убедительным.
Решение: Некоторые S не есть Р.
Данное суждение по количеству - частное, по качеству - отрицательное (Тип О)
Это частноотрицательные суждение - S о P, где S(-) и P( )
S (субъект) - Аргумент, Р(предикат) - не убедительный.
Все адвокаты - юристы.
Решение: Все S есть Р.
Данное суждение по количеству - общие, по качеству - утвердительное (Тип А)
Это общеутвердительное суждение - S а P, где S( ) и P(-)
S (субъект) - Адвокат, Р(предикат) - Юрист, Квантор общности - Все
Задание VI
Написать формулу сложного суждения на языке логики суждений.
То ли сам факт, то ли его интерпретация вызвали у следователя серьезные сомнения.
Решение: А?В?С
Закон суров, но справедлив.
Решение: А?В
Задание VII
Определить вид модальности суждения, какие модальные понятия используются в приведенном суждении.
1) Безразлично, как человек называет свою собаку.
Решение: Вид модальности в данном суждении - Деонтические. Модальные понятия - «безразлично».
2) Доказано, что на луне нет жизни.
Решение: Вид модальности - Эпистемические. Модальные понятия - «доказано».
Список литературы
1. Гомбоева Л.В., Кузьмин А.В. Задачи по логике: Учебное пособие. - Улан-Удэ: Изд-во ВСГТУ,2004. - 154 с., 2004
2. В.А. Бочаров, В.И. Маркин. Введение в логику - Москва ИД «ФОРУМ» - ИНФРА-М 2008
