и логик П. С. Порецкий оказал заметное влияние на развитие алгебраических теорий логики. Он первым в России начал читать лекции по математической логике, о которой говорил, что это «по предмету своему есть логика, а по методу – математика».
Физик П. Эренфест еще в 1910 г. высказал гипотезу о возможности применения современной логики в науке и технике. В дальнейшем его гипотеза нашла прекрасное воплощение в электронно-вычислительной технике.
Логик Н. А. Васильев уже в начале прошлого века подверг критике считавшийся в традиционной логике одним из основных закон исключенного третьего. В дальнейшем идеи, касающиеся ограниченной применимости данного закона и близких ему способов математического доказательства, были развиты математиками А. Н. Колмогоровым, В. А. Гливенко, А. А. Марковым и др.
Основная, хотя и не единственная, задача логического исследования – обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы, лежащие в основе логически правильного мышления. Рассуждать логично – значит рассуждать в соответствии с законами логики.
Отсюда понятна важность данных законов. Об их природе, источнике их обязательности высказывались разные точки зрения. Очевидно, что логические законы независимы от воли и сознания человека. Их принудительная сила для человеческого мышления объясняется тем, что они являются в конечном счете отображением в голове человека наиболее общих отношений самого реального мира, практики его познания и преобразования человеком.
4. Логика и творчество
Французский дипломат Ш. Талейран заметил однажды, что реалист не может долго оставаться реалистом, если он не идеалист, и идеалист не может долго оставаться идеалистом, если он не реалист. Применительно к нашей теме эту мысль можно истолковать как указание на две основные опасности, всегда подстерегающие логическое исследование. С одной стороны, логика отталкивается от реального мышления, но она дает абстрактную его модель. С другой стороны, прибегая к абстракциям высокого уровня, логика не должна отрываться от конкретных данных в опыте процессов рассуждения.
Как и математика, логика не является эмпирической, опытной наукой. Но стимулы к развитию она черпает из практики реального мышления. Изменение последней так или иначе ведет к изменению самой логики.
Развитие логики всегда было связано с теоретическим мышлением своего времени и, прежде всего, с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логическим законом, формой мысли и т. д. Теории логической правильности оказываются в итоге очищением, систематизацией и обобщением практики мышления.
Препятствует ли логика творчеству?
Иногда можно услышать мнение, будто логика препятствует творчеству. Последнее опирается на интуицию, требует внутренней свободы, раскрепощенного, раскованного
