А.В. Ревенков - Учебник - Теория и практика решения технических задач (1249576), страница 68
Текст из файла (страница 68)
Ложность или истинность описательного высказывания определяется соответствием действительности высказанной мысли, описанию. В оценочных высказываниях наряду с описанием некоторого явления дается ему оценка, т. е. устанавливается его ценность. Оценочное высказывание не является ни истинным ни ложным. Простые категорические высказывания. Среди описательных высказываний в логике большую роль играют категорические высказывания, В категорическом высказывании утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
В зависимости от того, что утверждается в высказывании (принадлежность признака предмету, отношение между предметами или факт существования предмета) их делят на атрибутивные, высказывания об отношениях и существования. Атрибутивным (от лат. аигйибо — свойство, признак) называется высказывание о признаке предмета. Высказывание о связи предмета и его признака включает следуюгцие составляющие: я субъект высказывания (5) — понятие о предмете высказывания; я предикат (от лат. ргаес6са1ит — сказуемое) высказывания (Р)— понятие о признаке предмета, рассматриваемого в высказывании; Пз.
Некоторые положении логики категорических высказываний 313 ° связка, выражаемая словами: есть, суть, является или группой слов, или тире, или простым согласованием слов. Обозначим ее знаком « — »; ° квантор (от лат. диалшт — сколько) — указывает относится ли высказывание ко всему объему понятия, выражающего субъект, или к его части; кванторные слова: все,ни один, некоторые (обозначим его д). Структура атрибутивного высказывания имеет вид зги — Р.
Атрибутивные высказывания позволяют описывать включение (или исключение) единичного понятия в объем родового, или включать (исключать) вид в род. Например, некоторые стали упрочняются термообработкой; все топливные баки ракеты герметичны; ни один металл не является диэлектриком. Высказывания с отношениями. В этих высказываниях отражается отношение между предметами. Это могут быть отношения равенства, родства, подчинения, причинно-следственные и другие. Структура такого высказывания включает не менее двух субъектов и имеет вид З! зт З2~ где Я вЂ” вид отношения (Я вЂ” первая буква от лат.
ге1а~Ьиз — относительный). Например, масса космического аппарата составляет несколько процентов массы ракетно-космической системы; двигатель внутреннего сгорания экономичнее парового двигателя. В высказываииях существования отражается факт существования или не существования субъекта. Например, существует наука логика; существует магнитное поле Земли. Высказывания делят на сравнимые, имеющие общий субъект или предикат, и несравнимые, — различные субъекты и предикаты.
Логический анализ сравнимых высказываний заключается в том, чтобы понять в каких случаях они могут быть одновременно истинными или ложными, в каких случаях истинность (ложность) одного из них влечет к истинности (ложности) другого и в каких случаях такого логического следования нет. Среди сравнимых различают высказывания совместимые и несовместимые по истинности и ложности. Логические законы категорических высказываний.
Логические законы определяют правила, по которым из одних высказываний логически следуют другие высказывания. Логические законы объективны и не зависят от сознания и воли человека и не являются результатом соглашения между людьми. Закон тождествзз. Необходимая логическая связь между мыслями возможна лишь при условии, что одно и то же понятие и высказывание будет употребляться в одном и том же смысле, в том же содержании признаков, т.
е. в процессе рассуждения каждое понятие и высказывание должны быть тождественны самим себе. Это означает, что в про- Приложения цессе рассуждения нельзя подменять одно понятие другим, одну мысль другой. Нарушение этого закона приводит к двусмысленности и получению неверных выводов. Нарушение этого закона встречается в виде подмены понятия когда в процессе рассуждения вкладывают различнос содержание в это понятие, т, е, ему дают различное толкование.
Встречается также логическая ошибка, называемая подменой тезиса, когда в ходе дискуссии, выдвинутый тезис подменяется оппонентом неосознанно или умышленно. Решая ту или иную задачу, человек в процессе рассуждений может неосознанно подменить понятия, описанные в условии задачи, и даже подменить саму задачу. А это значит, что решаться будет не поставленная задача, а другая. Закон противоречия.
Два противоречащих высказывания не могут быть одновременно истинными, т. е. высказывание и его отрицание не могут быть вместе истинными. Возможна и такая формулировка: из двух противоречащих высказываний одно всегда является ложным. Закон исключенного третьего. Из двух противоречащих высказываний одно истинно, другое ложно, а третьего быть не может. Этот закон предполагает четкий выбор одной из двух альтернатив. Нельзя уклоняться от признания истинности одного нз двух противоречащих друг другу высказываний и искать нечто третье между ними.
Не бывает так, что обьект обладает некоторым свойством и не обладает этим свойством. Закон исключенного третьего связан с дихотомией. Например, число четное либо нечетное. Противоречивые высказывания не должны относится к противоположным понятиям. Например, объект либо черный, либо белый. Здесь возможны промежуточные состояния (серый). П4.
Модельные суждения Термин «суждение» несколько отличается от термина «высказывание». Это тоже высказывание, но наряду с признаками высказывания, ему присуще и другие. Суждение выражает некоторую точку зрения, может иметь эмоциональную окраску. Термин «модальность» (от фр. тосУайче и от лат. тос(ия) — мера, образ, правило, предписание. В модальных суждениях описывается возможность, действительность или необходимость чего-либо, в зависимости от характера устанавливаемой в нем достоверности с использованием таких понятий, как: «необходимо», «возможно», обязательно», «запрещено», и др. П4. Медальные суждения М о д а л ь и о е с у ж д е н и е — оценочное суждение, которое состо- ит из двух частей: категорического высказывания и его оценки.
В отли- чие от категорических высказываний эти суждения не могут быть ис- тинными или ложными. Из категорического высказывания можно составить модальное суж- дение. Например, «Возможно, что все станки — исправны». Из всех видов модальностей рассмотрим только три вида: логиче- ские, физические и нормативные, которые имеют непосредственное от- ношение к решению различных задач.
Логические модальные суждения описываются в терми- нах: логически необходимо, случайно, возможно (невозможно). Логически необходимо то высказывание, истинность которого может быть установлена на чисто логических основаниях независимо от опы- та. Например, из истинности высказывания„что «Все станки — исправ- ны» с логической необходимостью следует истинность высказывания, что «Некоторые станки — исправны» и ложность высказывания, что «Некоторые станки — неисправны». Логически необходимое суждение — такое суждение, отрицание ко- торого представляет собой логическое противоречие.
Логическал возможность — внутренняя непротиворечивость выска- зывания. Логически возможно все„что не противоречит законам логи- ки. Например, если истинно высказывание, что «Некоторые станки— исправны», истинным может быть высказывание, что «Некоторые стан- ки — не исправны». Поэтому можно сказать, что «Возможно, что неко- торые станки — не исправны».
Это не будет противоречить первому утверждению. Логически невозможно то, что противоречит законам логики. Логи- чески невозможно чтобы были истинными, например, два таких ут- верждения: «материал электропроводный» и «материал не электропро- водный», Физические модальные суждения описываются втерми- нах: физически необходимо, случайно, возможно (невозможно). Если основанием для логической модальности являются законы логики, то основанием для физических модальных суждений являются законы природы. Чтобы разобраться в физических модальностях, необходимо сопоставить содержание суждения с законами природы. Физически необходимо то, отрицание чего нарушает законы природы. Например, физически необходимо, что при замерзании воды увеличи- вается ее объем.
Это объективное свойство воды. Физически возможным является высказывание, которое не противо- речит законам природы. Например, физически возможно организовать колебательный процесс таким образом, чтобы колебания были незату- хаюшими. Это не противоречит законам природы. Физически невозможным является высказывание, которое противо- речит законам природы. Например, физически невозможно, чтобы лю- 316 Приложения бой преобразователь энергии имел КПД, равный единице. Это противоречит законам физики — любое преобразование энергии будет сопровождаться ее рассеиванием и, следовательно, КПД будет меньше единицы.
Нормативная модальность — суждение, в котором устанавливается какая-либо норма. В нормативных модальных суждениях могут употребляться слова: должен, может, позволено, не должен, необходимо, запрещено, нормативно безразлично и др. К нормативным суждениям относятся: правила (игры, грамматики, поведения и т. д.), предписания (законы государства, команды и т.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
