Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
LOGIKA_EKZAMYeN_mod.docx
Скачиваний:
66
Добавлен:
06.06.2015
Размер:
110.34 Кб
Скачать

3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.

Объединённая классифик. простых суждений.

Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение это суждение, общее по количеству и утвердительное по качеству. Общеотрицательное суждение суждение, общее по количе­ству и отрицательное по качеству. Частноутвердительное суждение суждение, частное по количеству и утвердительное по качеству. Частноотрцательное суждение суждение, частное по количеству и отрицательное по качеству.

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

Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не присуще свойство Р.

31) Простые суждения, их виды.

Виды простых категорических суждений.

. Атрибутивным называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается.(сроки аренды определяются договором)

Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.основную смысловую нагрузку несет предикат.

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

S(S1, S2 , S2) есть Р (простое со сложным субъектом) права авторов,изобретателей, рационализаторов охраняются гос-вом

S есть Р( З1, Р2, Р3) (простое со сложным предикатом) никто не может быть подвергнут произвольному аресту, задержанию, изгнанию

S(S1, S2) есть Р(Р1, Р2, Р3) (сложный субъект и сложный предикат) (мужчина и женщина имеют равные права и свободы и равные возможности их реализации.

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

суждением с отношением называется суждение об отношении между предметами

могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. xRy, где x и y – члены отношения,обозначают понятия о предметах; R – отношения между ними. т.е. запись отрицательного суждения

  1. В суждениях существования выражается сам факт существования или несуществования предмета суждения.(экзистенциальные суждения) пример существуют статические законы

S есть Р

32) Объединенная квалификация простых категоричных суждений по количеству и качеству.

Объединённая классифик. простых суждений.

Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение это суждение, общее по количеству и утвердительное по качеству. «Все S есть Р»

Общеотрицательное суждение суждение, общее по количе­ству и отрицательное по качеству «Ни одно S ни есть Р»

Частноутвердительное суждение суждение, частное по количеству и утвердительное по качеству. «Некоторые S есть Р»

Частноотрцательное суждение суждение, частное по количеству и отрицательное по качеству. «Некоторые S не есть Р»

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

Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не присуще свойство Р.