Cтраница 2
Мы рассказали вам о четырех логических законах, выполнение которых делает наши рассуждения определенными, непротиворечивыми, убедительными. Но все эти законы только тогда принесут пользу, когда ваше знание предмета будет достаточно глубоким, полным и прочным. А может ли формальная логика помочь в изучении физики и математики. [16]
В этом введении С. О. Шатуновский отмечает, что применение логического закона исключенного - третьего не только к элементам бесконечного многообразия, но и к элементам конечного класса требует чрезвычайной осторожности и иногда может быть оправдано только после длинного ряда исследований. Дело в том, что возможность выбора одного из двух предложений А есть В и А не есть В, где А обозначает некоторый предмет, а В-класс предметов, зависит не только от определения класса В, но и от определения предмета А. Как бы ни определить класс В ( если только он, в частности, не будет совокупностью всех вообще предметов), всегда можно определить предмет А так, чтобы из этого определения ничего не вытекало относительно принадлежности или непринадлежности А классу В. Если и в этом случае все же говорят, что предмет А либо принадлежит, либо не принадлежит классу В, то это может иметь только тот смысл, что определение предмета А может быть дополнено новым определением ( формально или реально) таким образом чтобы возможно было сделать дизъюнкцию между принадлежностью и непринадлежностью классу В нового предмета А, определение которого складывается из определения предмета А и упомянутого дополнения, причем новый предмет А все еще обозначается термином А ( С. О. Ша ту н о в-с к и и [1], стр. Так, про предмет, обозначеный словами: целое число, оканчивающееся шестеркой, нельзя сказать ни что он принадлежит к классу точных квадратов, ни что он не принадлежит к этому классу. Этот предмет не является индивидуумом по отношению к предикату быть точным квадратом. Точно так же, если дополнить определение предмета, обозначенного словами: целое число, оканчивающееся шестеркой, добавив к нему: с предшествующей четной цифрой, то для полученного таким образом предмета А из двух предложений: А есть В и А не есть В, одно ( и притом именно второе) будет верно. [17]
Любая запись в бухгалтерском учете должна вытекать из логического закона достаточного основания. [18]
Системы с бесконтактными аппаратами управления подчиняются тем же логическим законам, что и релейно-контактные системы, которые можно считать аналогами соответствующих бесконтактных элементов. [19]
Логический квадрат. [20] |
В дедуктивном умозаключении связь посылок и заключения опирается на логический закон. Заключение с логической необходимостью вытекает из принятых посылок, от истинных посылок всегда ведет к истинному заключению. Для дедукции характерен переход от общего знания к частному. [21]
Второе наше предположение относится к взаимоотношению аксиомы выбора и логического закона исключенного третьего. [22]
В индуктивном умозаключении связь посылок и заключения опирается не на логический закон, а на некоторые фактические или психологические основания, не имеющие формального характера. Индукция дает вероятные ( правдоподобные) заключения. Максимум, о котором можно здесь говорить, - определенная степень вероятности выводимого утверждения. Для индукции характерен переход от множества частных случаев к общему знанию - обобщение. Основное отличие индукции от дедукции состоит в том, что дедукция - это логический переход от одной истины к другой, а индукция - переход от достоверного знания к вероятностному. [23]
В основу работы ЦВМ положена схема, анализирующая получаемую информацию по логическим законам. [24]
Операция конъюнкции.| Операция дизъюнкции. [25] |
Основная задача алгебры высказмваний состоит в описании преобразований над высказываниями на основе определенных логических законов. При этом исходные высказывания принято называть простыми, а вновь образованные - сложными. [26]
Проанализируйте тексты; укажите случаи нарушения основных законов логики; объясните, какой логический закон нарушен в том или ином случае. [27]
Тавтологии замечательны тем, что многие из них могут быть использованы для выражения логических законов. [28]
Соотношения lla - 14b и приведенные выше соотношения 1 - 10b принято называть логическими законами. [29]
Но, по мнению Лукасевича, поскольку силлогизмы с конкретными терминами являются лишь применениями логических законов, сами же не принадлежат к логике, постольку подлинные логические законы таковы, что в отношении к ним нельзя определять объемные отношения между переменными. Можно сказать, что В есть субъект в первой посылке и предикат во второй, но нельзя утверждать, что В содержится в А или что оно содержит С; силлогизм истинен для всех значений переменных А, В и С, даже для тех, которые не делают истинными его посылки. [30]