Законы логики играют большую роль в мышлении и речи. Их нарушение приводит к многочисленным логическим ошибкам, которые засоряют не только научное, но и повседневное мышление, мешают нам думать, общаться, понимать друг друга и самих себя, создавая серьезные коммуникативные затруднения. Неясность и неопределенность мышления, его непоследовательность и сумбурность, противоречивость и необоснованность является прямым результатом нарушения законов логики. Мышление, которое строится на их соблюдении, подобно прозрачному ручью, сквозь воды которого виден каждый камушек и песчинка его дна; ручью, к которому хочется припасть в знойный день, чтобы утолить жажду освежающей и приятной прохладой. Мышление, построенное на нарушениях логических законов, подобно мутному потоку, в котором ничего не видно, и вода совершенно непригодна для питья. Правда, некоторые говорят, что в мутной воде удобнее «ловить рыбу», однако добросовестный человек вряд ли может быть сторонником такой «рыбалки».
Гусев Дмитрий Алексеевич, доктор философских наук, профессор кафедры философии МПГУ. Популяризатор науки, автор учебников по логике и философии, а также ряда научно-популярных книг.
Научно-популярный лекторий центра "Архэ"
15 июня 2014 года
Как мы воспринимаем размерность пространства? Каким образом связаны логическое математическое мышление и интуиция? Как были описаны фракталы? Об апории Зенона «Ахиллес и черепаха», отеле Гильберта и размерности пространства рассказывает Алексей Михайлович Семихатов, доктор физико-математических наук, главный научный сотрудник Физического института им. Лебедева РАН.
В статье рассматриваются некоторые аспекты квантомеханического описания психики. Рассматривается проблема связи между психикой и измерением в квантовой механике. Обсуждаются аргументы Роджера Пенроуза о наличии невычислимого компонента в человеческом мышлении. Основной темой статьи является обсуждение недостатков его аргументации. Имеются ли убедительные данные, что объяснение ряда проявлений психики требует обращения к новой, невычислимой физике? Невычислимость физики понимается в том смысле, что процессы невозможно описать алгоритмически (включая вероятностные алгоритмы с алгоритмически вычисляемыми вероятностями) или, что эквивалентно, не может быть смоделирован универсальной машиной Тьюринга.
Со времен Аристотеля логика считается нормативной теорией рассуждения. Если мы рассуждаем нелогично, мы в некотором смысле не рассуждаем вообще. Скажем, Готлоб Фреге, один из творцов современной математической логики, предлагает представить себе неких логических чужаков, которые рассуждают нелогично в нашем смысле. В таком случае, говорит Фреге, мы назовем их рассуждения просто родом некоего неизвестного нам до сих пор безумия. Нормативность логики в отношении рассуждения поддерживает и классик психологии Жан Пиаже, который заявляет с полной определенностью, что рассуждения ― это просто пропозициональные исчисления. Вместе с тем в современной когнитивной психологии накопилась критическая масса свидетельств о расхождении со стандартами логики обыденных рассуждений людей, не искушенных в академической логике. Оказывается, что люди с улицы значительно больше похожи на логических чужаков Фреге, а не на его идеальных логических агентов. В своих обычных рассуждениях они апеллируют к прошлому опыту. Философ Елена Драгалина-Черная о возможности мыслить нелогично, эксперименте Рут Берн и рациональности правила.
Мы предлагаем вашему вниманию запись (с небольшими сокращениями и с сохранением авторского стиля) лекции, прочитанной Дмитрием Фон-Дер-Флаассом во Всероссийском детском центре «Орленок» в 2009 году.
«Данное высказывание ложно» — это классический вариант формулировки парадокса лжеца. Если предположить, что высказывание истинно, значит, человек должен говорить правду, но он признается, что лжет. А если высказывание на самом деле ложно, то человек должен нас обмануть, но в конечном счете говорит правду. Возникает противоречие: высказывание не может одновременно являться истинным и ложным. Это закон бивалентности: есть всего два истинностных значения, и у каждого высказывания может быть только одно из них. Философ Стивен Рид о неклассической логике, парадоксе Карри и принципе modus ponens.
Мир вокруг нас полон математических объектов — чисел, функций, геометрических фигур. Вся современная цивилизация есть продукт развития технологий, немыслимых без точных математических расчетов. Но математика не просто помогает нам совладать с миром. Она проникает в самую суть этого мира. Это удивительное обстоятельство впервые было отмечено Пифагором, одним из наиболее влиятельных мыслителей в истории человечества. Своим девизом «Все есть число» он на тысячи лет предвосхитил как будущую роль математики, так и представления о природе ее объектов. Способом своего существования они кардинально отличаются от предметов, знакомых нам посредством органов чувств. Как многие считают, эта особенность делает математику главным источником веры в существование мира, «населенного» вневременными и сверхчувственными объектами.
В связи с разными точками зрения на природу математики рассматриваются вопросы о метаматематическом понятии истины и возможности убедительного доказательства истинности математических теорем.
Из идей сложности и случайности, впервые высказанных Готфридом Лейбницем в его «Рассуждении о метафизике» (1686), и их подтверждения в современной теории информации следует, что невозможно создать «самую общую теорию всего» в математике.
Любая научная теория содержит в себе модель, которая описывает ту или иную часть нашего мира и не важно, идет речь о физике или биологии. Для построения любых моделей используются строгие математические принципы, изучив которые можно понять, сколь невероятной полнотой и прогностической силой обладают научные теории. И в основе всего этого лежит математика — наука, которая может строго, но при этом лаконично и полно, описать любую научную теорию, ведь принципы, на которых она строится, невероятно глубинны и фундаментальны. Математика — не наука о числах или уравнениях, которые требуется запомнить, а фундаментальные закономерности мышления, которые мы обнаруживаем в самих себе. В ходе курса мы познакомимся и изучим: Аксиоматический метод; Формальные теории; Изоморфизмы; Модели в логике, физике, биологии.
«Данное высказывание ложно» — это классический вариант формулировки парадокса лжеца. Если предположить, что высказывание истинно, значит, человек должен говорить правду, но он признается, что лжет. А если высказывание на самом деле ложно, то человек должен нас обмануть, но в конечном счете говорит правду. Возникает противоречие: высказывание не может одновременно являться истинным и ложным. Это закон бивалентности: есть всего два истинностных значения, и у каждого высказывания может быть только одно из них. Философ Стивен Рид о неклассической логике, парадоксе Карри и принципе modus ponens.