Cтраница 1
Логические рассуждения подсказывали, что если между химическими элементами, состоящими из атомов, существует взаимосвязь, то значит у атомов имеется что-то общее и, следовательно, они должны иметь сложное строение. [1]
Логические рассуждения подсказывали, что если между химическими элементами, состоящими из атомов, существует взаимосвязь, то значит у атомов имеется что-то общее и, следовательно, они должны иметь слож ное строение. [2]
Не логические рассуждения, а действительное развитие событий, живой опыт 1848 - 1851 годов привели к такой постановке задачи. До какой степени строго держится Маркс на фактической базе исторического опыта, это видно из того, что в 1852 году он не ставит еще конкретно вопроса о том, чем заменить эту подлежащую уничтожению государственную машину. [3]
Алгебра логики переводит логические рассуждения в область алгебраических исчислений высказываний. [4]
В заключение небезынтересно привести следующие логические рассуждения, подкрепляющие выводы об ароматической в основном структуре молекулы угля и о наличии в ней также алифатических цепей, боковых или в мостиковых связях. [5]
Заметим, однако, что логические рассуждения наподобие приведенных выше повышают обоснованность, но не являются прямым доказательством того, что мы меряем искомое свойство. [6]
Мы видим здесь, как проводятся логические рассуждения человеком. Такие рассуждения могут быть переведены на язык логических формул, или, как говорят, формализованы. Эти формулы указывают, какие в каждом случае нужно взять логические элементы и как их соединить между собой для того, чтобы все нужные логические действия выполнялись построенным таким образом автоматическим устройством. [7]
Описанные выше простые эксперименты, а также логические рассуждения позволили Кребсу высказать предположение, что цикл, который он назвал циклом лимонной кислоты, является главным путем окисления углеводов в мышце. За годы, прошедшие со времени открытия этого цикла, выяснилось, что он существует не только в мышцах. Цикл лимонной кислоты обнаружен практически во всех тканях высших животных и растений и у многих аэробных микроорганизмов. За это важное открытие Кребс был удостоен в 1953 г. Нобелевской премии, которую он разделил с Фрицем Липманом, отцом АТР-ци-кла ( разд. [9]
Приведем еще пример, показывающий, как проводятся человеком логические рассуждения, которые затем могут быть представлены в виде задания автоматическому устройству. Последнее при различных ситуациях должно действовать так же, как это делал бы человек, давший ему задание. Пусть, например, для контроля за состоянием воздуха в производственном цехе предприятия химической промышленности используется прибор, который поочередно подключается человеком-оператором к различным участкам помещения. Совершенно недопустимо возникновение в воздухе взрывоопасной концентрации газов, которые попадают в него при неисправном состоянии технологического объекта. Контрольный прибор обычно дает правильные показания, и лишь очень редко проскакивают ошибочные. Проследим за ходом логических рассуждений человека, следящего за показаниями контрольного прибора, при следующих ситуациях. [10]
Апгебра логики, основателем которой был английский ученый Буль, переводит логические рассуждения в область алгебраических исчислений высказываний. [11]
Другим примером могут служить диаграммы Венна, которые представляют собой средства, помогающие проводить логические рассуждения. Мы можем представить высказывание все В суть А с помощью двух соответственно обозначенных областей, одна из которых полностью лежит внутри другой. Если мы теперь в соответствии с теми же правилами добавим третью область С для представления высказывания все С суть В, то результирующая диаграмма представляет собой импликацию все С суть А, так как область С должна целиком лежать внутри области А. В действительности для подобных ситуаций существуют более простые схемы, так как при этом не все из свойств эвклидова двумерного пространства необходимы, но, ввиду того что такая форма представления позволяет описывать и многие другие ситуации, разумные машины достигли бы некоторой экономии, используя такие универсальные представления везде, где они оказываются выгоднее создания специальных схем для каждого случая. [12]
Быстродействие компьютера позволяет ему решать в лоб некоторые задачи, которые человек решает, используя логические рассуждения и интуицию. Человек ищет способ отбросить заведомо непригодные варианты действий, сокращая таким образом область поиска. Компьютер же, во многих случаях, может перебрать все имеющиеся варианты и выбрать из них только нужные. В своих рассуждениях люди редко применяют метод полного перебора, как слишком сложный. Но он вполне применим при решении задач с помощью компьютера. [13]
Доказательство ( в широком смысле) включает в себя обращение к чувственным восприятиям некоторых физических предметов и явлений, а также логические рассуждения, аргументы. В дедуктивных науках ( логике, математике, в некоторых разделах теоретической физики) доказательства представляют собой цепочки умозаключений, ведущих от истинных посылок к доказываемым тезисам. Без логических рассуждений, опирающихся на закон достаточного основания, невозможно прийти к установлению истинности выдвигаемого положения. В этом плане звучит как афоризм высказывание, принадлежащее французскому математику и методологу науки А. Пуанкаре: Логика, которая одна может дать достоверность, есть орудие доказательства; интуиция есть орудие изобретения ( Пуанкаре А. Пуанкаре подчеркивал, что в науке логика и интуиция играют каждая свою необходимую роль; обе они неизбежны. [14]
Годэн руководствовался в своих рассуждениях идеями Авогадро, пользовался даже теми же примерами и приходил к тем же выводам, что и Авогадро, но все же следует признать, что его четкое разграничение понятий и ясные логические рассуждения, устранявшие все противоречивые выводы Дюма и - все возражения Берцелиуса, Митчерлиха и других, являются значительным шагом вперед в деле развития и утверждения гипотезы Авогадро. [15]