Логика: краткий теоретический курс. Веревичев И.И. - 20 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

19
Например, высказывание «Москва и Киев – крупные города» - является
сложным суждением, так как оно содержит в себе три понятия: «Москва»,
«Киев», «крупные города», а суждение «студенты, часто пропускающие
занятия, могут быть не допущены к сдаче экзаменов» - простое, так как в нем
выражается логическая связь только между двумя понятиями: нерадивыми
студентами и возможным видом наказания.
Всякое суждение может быть или истинным или ложным. Истинными
называют такие суждения, которые содержат информацию, адекватно
отражающую реальность. Ложные суждения отрицают такую информацию
(логическое отрицание обозначают знаком «┐»). Они противоречат истинным
суждениям.
Простые суждения символически обозначают прописными латинскими
буквами: p, q, r, … Соответственно их логическими отрицаниями являются
суждения: ┐p, ┐q, ┐r, … Отрицание логического отрицания в логике
равносильно утверждению: “Неверно, что Иванов не сдал логику”
эквивалентно суждению “Иванов сдал логику”.
Истинность или ложность некоторых простых суждений можно
проверить непосредственно, на практике: «Сейчас идет дождь», «Сборная
России по футболу вновь стала чемпионом мира» и т.п. Установить истинность
других суждений бывает достаточно трудно или вообще невозможно. К такого
рода суждениям можно отнести следующие: «Есть жизнь после смерти», «Бог
создал человека по своему образу и подобию» и т.п. В формальной логике
истинность одних суждений проверяется посредством других суждений,
истинность которых была установлена ранее.
2. Простые суждения
Простое суждение может выражать логическую связь между двумя
понятиями, характеризующими либо отношения между предметами и их
признаками, либо отношения между самими предметами, либо сами факты
существования предметов или признаков. К простым суждениям относятся:
1) атрибутивные суждения (категорические);
2) реляционные суждения (суждения с отношениями);
3) экзистенциальные суждения (суждения существования),
а также выделяющие суждения и исключающие.
Атрибутивные суждения подчиняются логической схеме «S есть Р», где
S – субъект суждения, т.е. понятие о самом предмете суждения, а Р –
предикат, т.е. понятие о признаке предмета суждения. S и Р называются
основными терминами: их взаимосвязь может быть выражена явно (с помощью
логических связок: «есть», «суть» и др.) или неявно (с помощью дефиса «-»). В
такого рода суждениях могут присутствовать также (явно или неявно)
кванторные слова, уточняющие объем субъекта в суждении. Различают
кванторы всеобщности - («все»), и кванторы существования -
«некоторые»).
Схема реляционных суждений: « а R в », где а и в – предметы, а R -
отношение между ними. Реляционные суждения обычно выражают отношения

Страницы