рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Простые суждения и их виды

Простые суждения и их виды - раздел Информатика, Статистики и информатики Суждение –Это Мысль, В Которой Что-Либо Утверждается Или...

Суждение –это мысль, в которой что-либо утверждается или отрицается о каких-либо объектах, их свойствах и связях между ними. Как правило, суждения выражаются повествовательными предложениями или высказываниями и могут носить как истинный, так и ложный характер. Предложение – это форма выражения законченной мысли. Высказывание – это грамматически правильное предложение,взятое вместе с выражаемым им смыслом. Примеры суждений: «Луна является спутником Земли», «Остров – часть суши, окруженная водой», «Катран не является морским млекопитающим». Между суждениями и выражающими их предложениями нет полного совпадения.Иногда одно и то же предложение может выражать два и более различных суждения. Например, «Он является творческой личностью». В данном предложении можно понимать несколько суждений: «Он является поэтом», «Он является композитором», «Он является ученым» и т.д.. Все суждения делятся на простые и сложные.

Простым, является такое суждение, ни одна из логических частей которого не может являться суждением. К ним относятся атрибутивные (суждения о свойствах), реляционные (суждения об отношениях) и экзистенциальные (суждения о существовании). Теория, изучающая логическую структуру простых атрибутивных высказываний, отношения между ними и выводы, построенные с учетом этой структуры называется силлогистика.

Атрибутивные суждения – это суждения, в которых утверждается наличие или отсутствие какого-либо свойства у объекта. Например, «Все киты являются морскими млекопитающими», «Часть студентов является отличниками учебы». Основными элементами логической структуры атрибутивного суждения являются: субъект, предикат, связка и квантор.

Субъект обозначается S (от лат. слова «subjectum» - лежащий внизу, подлежащее) – термин, обозначающий те предметы, о которых в высказывании нечто утверждается или отрицается.

Предикат обозначается - P (от лат. слова «predicatum» - сказанное) (логическое сказуемое) – термин, обозначающий свойство, наличие которого утверждается или отрицается у этих предметов.

Квантор (от лат. слова «guantum» - сколько) обозначается символами: (количественное) - термин указывает, о каком количестве предметов идет речь. Слова «все», «каждый», «ни один» выражают всеобщность приписываемого свойства относительно данного класса предметов. Слова «некоторые», «по крайне мере один», «существует» выражают существование в данном классе предметов с указанным свойством.

Связка – слово, которое утверждает или отрицает наличие некоторого свойства у субъекта. Связки делятся на утвердительные («есть, «является», «суть») и отрицательные («не есть», «не является», «не суть»).

Например, в суждении «Некоторые студенты являются стипендиатами», субъект – «студенты», предикат – «стипендиаты», связка – «являются» и квантор – «некоторые». Субъект и предикат называются терминами суждения.

Атрибутивные суждения подразделяются на виды в соответствии с характеристиками качества и количества. Характеристика качества позволяет делить суждения на утвердительные и отрицательные. В утвердительных суждениях утверждается принадлежность предметам некоторых свойств или принадлежность некоторого класса предметов либо его части другому классу предметов. В отрицательных суждениях утверждается отсутствие у предметов некоторых свойств или невключение класса предметов либо его части в некоторый класс предметов. Например, «Волк является хищником» - утвердительное, а суждение «Волк не является домашним животным» - отрицательное.

В соответствии с характеристикой количества суждения делятся на единичные, общие и частные. В единичных суждениях утверждается, принадлежит и нет предмет к какому-либо классу предметов. Например, «Красноярский край – субъект Российской Федерации». В общих суждениях утверждается включение или не включение класса предметов в некоторый класс. Например, «Все огурцы и помидоры являются овощами». В частных суждениях выражается частичная принадлежность или ее отсутствие некоторого класса предметов в другой класс предметов. Например, «Некоторые преподаватели являются кандидатами наук», «Некоторые профессора не являются докторами наук».

В логике часто используют такую классификацию как объединенное деление атрибутивных суждений по количеству и качеству на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.

Общеутвердительные суждения – это суждения, которые одновременно являются общими и утвердительными. Оно имеет вид: «Все S есть P». Например, «Все гуси умеют плавать». Общеутвердительное суждение обозначается латинской буквой A и записывается в виде SAP.

Общеотрицательные суждения – это суждения, которые являются одновременно и общими, и отрицательными. Они обозначаются латинской буквой E и записываются «Ни одно S не есть P» или вкратце SEP. Например, «Ни один воробей не умеет плавать».

Частноутвердительные суждения – это суждения, которые одновременно являются и частными, и утвердительными. Они имеют вид: «Некоторые S суть P». Они обозначаются латинской буквой I и записываются в виде SIP. Например, «Некоторые студенты являются отличниками учебы».

Частноотрицательные суждения – это суждения, которые являются одновременно частными и отрицательными. Они имеют вид: «Некоторые S не есть P». Обозначаются они латинской буквой O и записываются в виде SOP.Например, «Некоторые студенты не живут в общежитии».

Субъект и предикат суждения могут быть распределены, то есть взяты в полном объеме. При этом термин может полностью включаться или полностью исключаться из класса. Для обозначения этого в суждении используются кванторные слова «Все», или «Ни один». Например, «Все студенты являются отличниками учебы» или «Ни один студент не живет в общежитии».

В случае, когда субъект и предикат суждения не распределены, взяты не в полном объеме и термин частично включается в класс, тогда используется кванторное слово «Некоторые». Например, «Некоторые студенты – спортсмены». В общих суждениях распределены субъекты, а в отрицательных – предикаты. При этом связка «не есть» или «не является» указывает на то, что некоторый класс или его часть не принадлежит целому классу.

Реляционные суждения – это суждения, в предикате которых выражаются определенные отношения между предметами. Например, в суждении «Город Вологда находится севернее города Калуги» утверждается, что отношение «находится севернее» имеет место между Вологдой и Калугой. В суждении «Александр старше Бориса, а Борис старше Владимира» утверждается, что отношение «старший» имеет место между Александром, Борисом и Владимиром.

Суждения об отношениях делятся по характеристикам качества и количества. По качеству они подразделяются на утвердительные и отрицательные. В утвердительных суждениях об отношениях говорится о том, что предметы находятся в определенном отношении, а в отрицательных - что они не находятся в определенном отношении. Например суждение, «Озеро Байкал больше Чудского озера» является утвердительным, а в суждение «Река Урал не глубже реки Енисей» является отрицательным.

По количеству суждения о двухместных отношениях делятся на: единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные и частно-общие. Например, «Челябинск западнее Новосибирска» (единично-единичное); «Каждая собака знает каждого жителя деревни» (обще-общее); «Некоторые студенты МГУ им. М.В. Ломоносова знают некоторых студентов РЭУ им. Г.В. Плеханова» (частно-частное); «Сидоров знает всех хоккеистов команды «ЦСКА» (единично-общее); «Абрамович богаче некоторых олигархов России» (единично-частное); «Все первокурсники изучают «Историю» (обще-единичное); «Некоторые студенты университета изучают «Культурологию» (частно-единичное); «Все аспиранты сдают кандидатский экзамен по «Истории и философии науки»(обще-частное); «Некоторые студенты-выпускники знают всех преподавателей университета»(частно-общее). Также аналогично деление по количеству суждений о трехместных, четырехместных и т.д. отношениях.

Экзистенциальные суждения – это суждения, в которых утверждается или отрицается факт существования того или иного предмета мысли. Например, «Дай бог прожить тебе 100 лет» или «Счастливого плавания вам и семь футов под килем». Отдельно мы не будем рассматривать виды данных суждений, так как с определенными оговорками их можно истолковывать как атрибутивные или реляционные суждения.

Упражнение.Определите субъект и предикат суждений, их вид.

1. Таганрог расположен южнее Воронежа.

2. Люблю грозу в начале мая.

3. Ранняя осень грачи улетели.

4. Любимая пора, очей очарованье.

5. Все студенты вузов изучают философию.

– Конец работы –

Эта тема принадлежит разделу:

Статистики и информатики

российской федерации... Московский государственный университет экономики статистики и информатики...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Простые суждения и их виды

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Становление логики и ее значение
Слово «логика» происходит от древнегреческого «lоgоz» что переводится как «разум», «мысль», «рассуждение». Логика является одной из самых древних наук на Земле. Она возникла как часть науки об орат

Предмет логики
В понятии «логика» в настоящее время выделяется несколько значений: объективная и субъективная логика. Если объективная логика изучает закономерности развития и взаимосвязи предметов и явлен

Понятие логической формы
Логика не только описывает различные приемы познания, но и формулирует критерии их правильности. Какие рассуждения можно считать правильными? Каким требованиям должны удовлетворять определение, воп

Логическое следование и логическая истинность
  Одна из важнейших задач логики – определять, какие рассуждения являются правильными и почему. Сразу заметим, что нельзя смешивать вопрос о правильности рассуждения с вопросом об ист

Язык как знаковая система
  Язык – это система знаков, предназначенная для фиксации, хранения, переработки и передачи информации. Знак – это объект, используе

Смысл и значение знака. Виды знаков
  Значением знака называется предмет, репрезентируемый данным знаком. Множество всех предметов, которые знак репрезентирует, называется его экстенсиона

Естественные и искусственные языки
  Естественные языки возникли как средство общения между людьми. Их формирование и развитие представляет собой длительный исторический процесс и происходит в осно

Семантические принципы
  Принцип однозначности: каждое имя должно иметь только одно значение (экстенсионал). С нарушением этого принципа связана ошибка, которую называют «под

Язык логики высказываний
Логика высказываний (пропозициональная логика) – это раздел логики, изучающий способы построения и логическую структуру высказываний, отношения между ними и выводы, полученные

Основные законы логики
  Законом логики называется сложное логическое высказывание, истинность которого не зависит от составляющих его логических отношений. Они составляют основу мыслит

Аесть потому, что есть В
Всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание. Например, «Это вещество является электропроводным, потому что оно –

Oslash;(А Ú В) É ØА & ØВ
Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний. Например, «Неверно, что идет дождь или идет снег» означает «Сегодня нет дождя и нет снега». 9) За

Логико-семантические парадоксы
  Естественный язык является самым необходимым инструментом человека в его интеллектуальной деятельности. Однако именно язык часто создает проблемы для тех, кто его использует. Эти пр

Какой принцип нарушен?
1. Рассуждение «Материя бесконечна. Мистеру N не хватило материи на штаны. Значит, его штаны больше, чем бесконечность» нарушает принцип 1. однозначности 2. предметности

Парадоксальные задачи
1. Экзаменатор говорит нерадивому студенту: «Угадайте, какую оценку я вам поставлю. Если угадаете, получите 3, если не угадаете – 2.» Однако ответ студента поставил преподавателя в тупик. Он не смо

Основные законы логики
  1. Закон … утверждает, что противоречащие друг другу суждения не могут быть одновременно истинными. a) тождества b) непротиворечия c) клавия d) д

Общая характеристика понятий. Виды понятий
Понятие является одной из форм рациональной ступени процесса познания. Мышление, рассуждение всегда осуществляется с помощью языка, но мыслим мы всегда терминами, категориями, понятиями.

Виды понятий по объему
При выделении видов понятий нужно учитывать различные их особенности. Наиболее важными основаниями для деления понятий являются: (1) тип их объема, (2) тип элементов, входящих в их объемы, (3) тип

Виды понятий по типу элементов объема
По типу элементов объема понятия делятся на: а) конкретные и абстрактные – Конкретнымсчитается понятие, элементами объема к

Виды понятий по содержанию
По типу признаков понятия подразделяют на: а) положительные и отрицательные – Положительнымсчитается понятие, в котором предметы обобщаются на о

А В А ØA
    Штриховкой на схемах обозначен результат применения соответствующих операций к классам А и В. Пересечение объемов д

Отношения между понятиями по объему
Между понятиями существуют объективные, независящие от человека отношения. Прежде всего, это отношения сравнимости и несравнимости. Два понятияaА(a)и

Обобщение и ограничение понятий
  Помимо булевых операций, к понятиям часто применяются такие операции обобщение и ограничение. Они основаны на отношении типа «род-вид». Из двух непустых понятий одно с

Виды понятий
  1. Конкретным называется понятие, объем которого состоит из a) объектов или их классов b) свойств или отношений c) объектов или их свойств d) кла

Определение и приемы, сходные с ним
  Определение, дефиниция (от лат. «definitio» – уточнение границ) – это логическая процедура придания строго фиксированного смысла языковым выражениям. У

Явные и неявные определения
  Наиболее распространенный вид определений – явные определения. Определение называется явным, если и только если оно задается лингвистической конструкц

Реальные и номинальные определения
  Помимо того, что все определения подразделяются на явные и неявные, контекстуальные и неконтекстуальные, их можно делить также на реальные и номинальные. При этом след

Правила определения
Для того, чтобы определения было логически правильными, они должны отвечать некоторым принципиальным требованиям, правилам. 1) Определение должно быть ясным. Это оз

Виды определений
  1. Правило замены по дефиниции действует только для … определений a) явных b) неявных c) контекстуальных d) аксиоматических 2. Аксиомати

Ошибки в определении
1. Определение «Квадрат – это четырехугольник, диагональ которого является осью симметрии» является a) правильным b) слишком узким c) слишком широким d) перекрещ

Сложные суждения и их виды
Суждения называются сложными, если в них можно выделить правильные части, которые в свою очередь являются суждениями. Сложные суждения образуются как из простых, так и из др

Отрицание суждения
Отрицание суждения – это логическая операция, при которой истинное суждение меняется на ложное, и наоборот.При этом, при отрицании атрибутивного суждения одновременно меняются

Отношения между суждениями
  В процессе построения отношений между суждениями можно выделить сравнимые и несравнимые. Сравнимые суждения имеют общий субъект и предикат. Несравнимые суждения не име

IсубконтрарностьО
Рассмотрим эти отношения между суждениями с помощью логического квадрата. В отношении подчинения находятся суждения форм A и I, а также суждения E и O. Например, общеутвердительное су

Виды атрибутивных суждений
1. Установите соответствие между типами атрибутивных суждений и формулами, их выражающими. (1) Все S есть Р (А) S a P (2) Ни один S не есть P (В) S e P (3) Некоторые S

Oslash;А
  Таким образом, правильными являются умозаключения от утверждения антецедента (А) к утверждению консеквента (В)и от отрицания консеквента (&

На работе. Следовательно, на занятиях его не было».
Условно-разделительные (лемматические) умозаключения. Эти умозаключения содержат несколько импликативных и одну дизъюнктивную посылку. В дизъюнктивной посылке разделяются определенные вариан

Непосредственные умозаключения
Непосредственными называются умозаключения, в которых вывод делается из одной посылки. Несмотря на тривиальность, в практике аргументации таким выводам отводится очень важная р

P – ~S ~P – S ~P – ~S
противопоставление противопоставление противопоставление субъекту предикату субъекту и предикату   Каждый из них может быть сведен к комбинации обращен

Простой категорический силлогизм
  Как уже отмечалось силлогизмом называют умозаключение из более чем одной посылки. В таком расширительном смысле силлогизмами являются, например, умозаключени

S P S P S P S P
Фигура I Фигура II Фигура III Фигура IV Модус силлогизма – это разновидность фигуры, определяемая типом входящих в него посылок и заключения. Сокра

Энтимемы и полисиллогизмы
  Энтимемой (от лат. «энтиме» – «в уме») называется сокращенный силлогизм, в котором пропущена одна из посылок или заключение. В практике аргументации эн

Правила посылок
  1. Согласно общим правилам силлогизма, если одна из его посылок является отрицательной, то заключение должно быть 1. частным 2. общим 3. утвердительным

Простой категорический силлогизм
1.Установите соответствие между терминами и их ролью в структуре силлогизма 1. средний термин (А) термин, имеющийся в обеих посылках 2. больший термин (В) предикат заключения

A1, …, An ú»В
Такие умозаключения получили название индуктивных (от лат. «inductio» – «наведение»), или правдоподобных. К числу правдоподобных умозаключен

Статистическая индукция
  Статистической называется обобщающая индукция, при которой устанавливается относительная частота обладания свойством Р для произвольного

Аргументация и доказательство
  Аргументация - это полное или частичное обоснование истинности какого-либо суждения при помощи других суждений. При этом предполагается, что в правильных аргументац

Опровержение и критика
Деятельностью, противоположной по своей цели и содержанию ар­гументации, являются опровержение и критика. Опровержение - это полное обоснование ложности тезиса, а

Основные правила аргументации
  В процессе аргументации и критики могут совершаться ошибки двух типов: умышленные и неумышленные. Умышленные ошибки называются софизмами, а лица, совершающие такие ошибки, -

СЛОВАРЬ ЛОГИЧЕСКИХ терминов
1. Абдукция(от лат. abducere – приведение) – форма умозаключения, в котором из исходных суждений (описывающих свойства каких-то явлений) выбирается новое суждение (гипотеза), котор

Программное обеспечение и интернет - ресурсы
1. http://www.logic.ru/Russian/: ЛОГИКА РОССИИ 2 .http://www.logic.ru/Russian/LogStud/index.html: Электронный журнал «Логические исследования». 3. http://www.iph.ras.ru:8100/~logi

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги