КОНТРОЛЬНАЯ РАБОТА ПО ТЕМЕ «ВЫСКАЗЫВАНИЯ»
ПРЕЖДЕ ЧЕМ ВЫПОЛНИТЬ КОНТРОЛЬНУЮ РАБОТУ, НЕОБХОДИМО ИЗУЧИТЬ ДАННЫЙ МОДУЛЬ.
КОНТРОЛЬНЫЕ ЗАДАНИЯ НЕОБХОДИМО ВЫПОЛНЯТЬ С ОПОРОЙ НА ПРЕДСТАВЛЕННЫЙ В МОДУЛЕ ТЕОРЕТИЧЕСКИЙ МАТЕРИАЛ.
ОФОРМЛЕНИЕ РЕШЕНИЯ КОНТРОЛЬНЫХ ЗАДАНИЙ НЕОБХОДИМО ДЕЛАТЬ ПО ОБРАЗЦУ ПРИМЕРОВ, ПРЕДСТАВЛЕННЫХ В КОНЦЕ КАЖДОГО ТЕОРЕТИЧЕСКОГО БЛОКА ДАННОГО МОДУЛЯ.
КОНТРОЛЬНАЯ ВКЛЮЧАЕТ 5 ЗАДАНИЙ. ЗАДАНИЯ ПРЕДСТАВЛЕНЫСРАЗУ ПОСЛЕ МОДУЛЯ «ВЫСКАЗЫВАНИЯ» (стр. 13).
КОНТРОЛЬНУЮ РАБОТУ ВЫСЛАТЬ НА E-MAIL
k16arenhorni@mail.ru не позднее 10 апреля.
Файл с контрольной работой должен быть подписан (фамилия студента и полное наименование группы). Фамилию студента и номер группы также необходимо указать в самой контрольной работе.
КОНТРОЛЬНЫЕ РАБОТЫ, ВЫПОЛНЕНЫЕ С НАРУШЕНИЕМ ПЕРЕЧИСЛЕННЫХ ТРЕБОВАНИЙ НЕ ПОДЛЕЖАТ ОЦЕНКЕ.
МОДУЛЬ – 2. ВЫСКАЗЫВАНИЯ
| УЭ – 1. Простые высказывания УЭ – 2. Сложные высказывания УЭ – 3. Таблицы истинности. Тождественно истинные высказывания. УЭ – 4. Равносильные формулы. Понятие правильно построенной формулы УЭ – 5. Отношения между сложными высказываниями УЭ – 6. Модальные высказывания ТК |
Ключевая идея модуля: Высказывание – одна из форм мышления, в которой утверждается или отрицается связь между предметами мысли и их признаками, отношения между предметами, а также факт их существования (под предметом же понимается не только какая-либо вещь, но и явление или процесс). Различают высказывания простые и сложные, что определяется характером их субъектно-предикатной формы. Высказывания могут быть истинными или ложными. Различные варианты значений сложных высказываний в определенных познавательных целях, для удобства представляются в виде таблиц истинности. Например, для определения вида отношений между логическими формами высказываний или для определения тождественно-истинных либо тождественно-ложных логических форм высказываний без данных таблиц истинности не обойтись. Видовая характеристика многих высказываний может определяться еще и рядом модальных функторов в структуре этих высказываний.
Практическое применение:
Успешное усвоение темы позволяет на практике:
- осмысленно, а значит и критически относится к любому речевому материалу,
- замечать различного рода нарушения в рассуждениях кого-либо и избегать их в
собственных, например, подмену причины следствием или наоборот,
- не испытывать особых затруднений при анализе больших текстов, будь то учебный
параграф, реферат или научная статья по специальности,
- избегать суждений, логическая форма которых известна как тождественно ложная,
- корректно использовать логические союзы и модальные функторы в рассуждениях и т.д.
УЭ -1.ПРОСТЫЕ ВЫСКАЗЫВАНИЯ
ОСНОВНЫЕ ПОНЯТИЯ И ИХ КРАТКОЕ ОПРЕДЕЛЕНИЕ:
простое категорическое (атрибутивное) высказывание – форма мышления, в которой утверждается или отрицается связь между предметом мысли и его признаком;
субъектно-предикатная логическая форма высказывания – структура высказывания, в которой представлены субъект, предикат, кванторное слово и связка;
субъект высказывания(S) – предмет высказывания, логическое подлежащее;
предикат высказывания(P) – признак, который утверждается или отрицается за предметом высказывания, логическое сказуемое;
квантор общности – слово, указывающее на то, что субъект мыслится в полном объеме (все, каждый, любой и т.п.);
квантор существования – слово, указывающее на то, что субъект мыслится в неполном объеме (некоторые, большинство, меньшинство и т.п.);
связка – глагол быть в различных формах, служащий для утвердительной или отрицательной связи между субъектом и предикатом;
общеутвердительное высказывание (А) – простое категорическое высказывание, логическая форма которого имеет следующий вид: Все S есть Р
общеотрицательное высказывание (Е) – простое категорическое высказывание, логическая форма которого имеет следующий вид: Ни один S не есть Р
частноутвердительное высказывание(I) – простое категорическое высказывание, логическая форма которого имеет следующий вид: Некоторые S есть Р
частноотрицательное высказывание (О) – простое категорическое высказывание, логическая форма которого имеет следующий вид: Некоторые S не есть Р
ПОРЯДОК ИЗУЧЕНИЯ ВОПРОСА
1.1.Запомните субъектно-предикатную логическую форму и ее структурные элементы (кванторные слова, связку, субъект, предикат) различных видов простых категорических высказываний, а также обозначения этих видов:
Общеутвердительные высказывания (А) – Все S есть Р – Все люди смертные.
Общеотрицательные высказывания (Е) – Ни один S не есть Р – Ни один закон природы не является соглашением.
Частноутвердительные высказывания (I) – Некоторые S есть Р – Некоторые науки –
точные.
Частноотрицательные высказывания (О) - Некоторые S не есть Р – Некоторые книги не
есть интересные.
1.2.Обратите внимание на то, что логические подлежащее и сказуемое могут быть выражены сочетанием слов, что необходимо учитывать в дальнейшем при выполнении ряда логических процедур:
Пример: (Е) Ни один (образованный человек)-S не является (субъектом с узким кругозором)-P.
1.3. Обратите внимание на то, что логическая форма может иметь нестандартный вид, а это может вызывать определенные затруднения при выполнении ряда логических процедур. Чтобы этих затруднений избежать, можно привести нестандартную логическую форму к привычному виду:
Пример: (I) Находятся люди, склонные к проявлению крайней жестокости (нестандартный вид).
(I) Некоторые людиявляются склонными к проявлению крайней жестокости (стандартный вид).
1.4.Обратите внимание на распределенность субъекта и предиката в простых высказываниях:
Понятие распределенность субъекта и предиката указывает на то, мыслятся они в полном объеме или в частичном.
Субъект распределен (S+), а значит взят в полном объеме, в общих высказываниях, т.е. в высказываниях вида А и Е.
Предикат не распределен (Р-), а значит объем взят частично, в отрицательных высказываниях, т.е. в высказываниях вида I и O.
Таблица распределенности терминов
| Вид высказывания | S | P |
| А | + | - |
| Е | + | + |
| I | - | - |
| О | - | + |
Пример: (I) Некоторые граждане Беларуси (S-) – высококвалифицированные инженеры (Р-).
(Е) Ни один человек (S+) не стремится к страданиям в жизни (Р+).
УЭ – 2.СЛОЖНЫЕ ВЫСКАЗЫВАНИЯ
ОСНОВНЫЕ ПОНЯТИЯ И ИХ КРАТКОЕ ОПРЕДЕЛЕНИЕ:
конъюнкция – логические соединительные союзы (и, но, а, однако и т.п.), а также сложные высказывания, образованные с помощью этих союзов;
дизъюнкция нестрогая – логические соединительно-разделительные союзы (или, либо), а также сложные высказывания, образованные с помощью этих союзов;
дизъюнкция строгая – логические разделительные союзы (или или, либо либо), а также сложные высказывания, образованные с помощью этих союзов;
импликация – логические условные союзы (если…, то; тогда…, когда и т.п.), а также сложные высказывания, образованные с помощью этих союзов;
эквиваленция – логические союзы, именуемые еще как двойная импликация (тогда и только тогда…, когда; если и только если…, то и т.п.), а также сложные высказывания, образованные с помощью этих союзов;
отрицание – (неверно, что…; не)
комбинированные высказывания – сложные высказывания, состоящие из простых высказываний, связанных друг с другом несколькими различными логическими союзами.
ПОРЯДОК ИЗУЧЕНИЯ ВОПРОСА:
2.1.Обратите внимание на то, что сложные высказывания состоят из простых высказываний, связанных друг с другом различными логическими союзами и носят соответствующие этим союзам имена: конъюнкция, дизъюнкция нестрогая и строгая, эквиваленция и импликация. Сложными высказываниям и также являются высказывания отрицания.
2.2.Запомните систему обозначения простых высказываний в составе сложных, а также логических союзов, связывающих простые высказывания в сложные, поскольку эти обозначения необходимо будет использовать при символической записи сложных высказываний:
Простые высказывания обозначаются переменными p, q, r, s, t, l и т.д.
Логические союзы обозначаются следующим образом:
конъюнкция Λ
дизъюнкция нестрогая V
дизъюнкция строгая V
эквиваленция ↔
импликация→
отрицание ⌐
Пример: Обычно люди желают добра и справедливости – символически: p Λ q
Некоторые гибнут или по глупости или по нелепой случайности – символически: p V q Тогда будет поздно, когда случится непоправимое – символически: p → q
2.3. Обратите внимание на то, что в структуре сложных высказываний могут встречаться различные в количественном отношении сочетания субъекта и предиката, умение выявлять которые позволит правильно определять количество простых высказываний в составе сложных.
При определении логической формы (символической записи) комбинированных высказываний используются скобки, которые указывают на порядок мыслей в рассуждении:
Пример: Люди появляются на свет слабыми и беспомощными, но постепенно становятся все более сильными и уверенными в себе ( субъект- люди; 1-й предикат – появляются на свет слабыми;2-й предикат – появляются беспомощными;3-й предикат – постепенно становятся все более сильными;4-й предикат – постепенно становятся все более уверенными в себе).
Поскольку в структуре сложного высказывания есть один субъект и четыре предиката, они соответственно образуют четыре простых высказывания. Если каждое из этих высказываний обозначить какой-либо переменной (p q r s), то символическая форма высказывания будет иметь следующий вид: (p Λ q) Λ(r Λ s)
2.4. Обратите внимание на то, что нередко в условных высказываниях причина (антецедент) и следствие (консеквент) располагаются в обратном порядке и это необходимо учитывать при определении символической формы высказывания. Запомните, при формализации импликации условие всегда ставится перед знаком импликации:
Пример А: Человек становится мудрее с годами, поскольку мудрость приходит с опытом, а опыт с годами.
Если первое высказывание обозначить р, второе q, а третье r, то символически высказывание будет иметь вид: (qΛr)→р
Пример В: Тогда в мире царит порядок и справедливость, когда в этом мире или выше всего закон или выше всего справедливость, а это пока еще только мечта.
 |
1-й субъект – порядок конъюнкция высказываний (p Λ q) ив то же
2-й субъект – справедливость время она является следствием
в составе сложного высказывания,
общий для них предикат(1) - царит в мире являющегося импликацией
 |
3-й субъект – закон строгая дизъюнкция высказываний
4-й субъект – справедливость (r V s) и в то же время условие
общий для них предикат(2) – выше всего в этом мире импликации в составе сложного
высказывания
 |
5-й субъект – это (то, о чем утверждало условие импликации
(r V s)→ (p Λ q)) одно высказывание (t)
предикат (3) – пока еще только мечта - конъюнкт в составе конъюнкции
Таким образом, символическая форма высказывания имеет следующий вид: ((r V s) → (p Λ q))Λt
2.5. Имейте в виду, что если в составе сложного высказывания одно и тоже простое высказывание (или сложное) встречается и с утверждение, и с отрицанием, то оно обозначается одной переменной.
Отрицание (⌐)может относиться к одной переменной.
Пример: Или человек мудрее становится с годами, или хотя не совершает так много ошибок, но если человек с годами совершает так много ошибок, то неверно, что он с годамистановится мудрее. Символически: ( p V ⌐ q) Λ (q → ⌐ p)
Отрицание (⌐) может относиться также и к выражению.
Пример: Неверно, что тогда будет поздно, когда случится непоправимое – символически: ⌐(p → q)