Дедуктивный метод мышления предполагает неизбежно верное объяснение явлений, которое может исходить только лишь из несомненно верного знания начал. Иначе говоря, верный логический вывод гарантируется верностью посылок (аксиом, гиптотез). Эту же мысль можно выразить и иначе - верное знание частного гарантируется лишь верным знанием общего. Это означает что без гарантированно верного знания начал (общего) - ошибки в познании следствий (частного) гарантированы.
Хорошим примером, иллюстрирующим силу дедукции являются достижения античной математики, ярчайшее из которых известно нам как "Начала" Евклида, а также аксиома Прокла («через точку вне прямой проходит только одна прямая, параллельная данной»). Зададимся вопросом: - если следовать дедукции и признать несомненно верным посылку Прокла, то какие логические выводы можно сделать из этой аксиомы? Ответ нам известен - мир явлений предстанет перед нами в виде понятий, описываемых языком евклидовой геометрии, разумеется. С поправками других математиков, которые более строго переформулировали "Начала" Евклида (в частности, Гильберта и других ученых).
И что же мы увидим в мире, в этом случае? Ну к примеру очевидные вещи - если пловцы в бассейне плывут по параллельным дорожкам и при этом стартуют с одной линии, перпендикулярной обоим дорожкам а финишируют на другой такой же линии (расположенной где-то далее), мы можем гарантировать что каждый из таких пловцов, придя к линии финиша, проплывет одинаковое расстояние с каждым другим из них. И наш прямой, непосредственно переживаемый жизненный опыт, будучи облечен через логику понятий, покажет нам это же самое - "рулетка не врет, каждая такая дорожка имеет одинаковую длину". Частное (измеренная опытно длина дорожек) подтверждает верность общего (посылку Прокла, которая описывает свойство параллельности прямых).
Так, дедукция позволяет нам делать верные выводы, исходя из верных предпосылок. Мы убедились в этом на примере. Зная общее, можно представить и частное. Зная Начала, можно знать и истекающее из этих Начал. Зная основы, можно знать и то что можно построить на этих основах. Метод дедукции предполагает, что совершенно глупо искать в нашем мире (в опыте) то, что не может следовать из Начал. Это очень сильный вывод, который позволяет мышлению не заблуждаться во множестве предположений, но всегда находить верную дорогу - и в логике; и в понятиях истекающих из логики; и в непосредственно переживаемом опыте.
Но что же нам делать, если в опыте мы все-таки видим нечто, что противоречит Началам? Есть только два выхода. Или это иллюзия, ошибочный опыт. Или наши Начала определены неверно. Если мы измерим наши дорожки для пловцов и верным методом убедимся что они все-таки разной длины, следовательно Начала (Евклида) неверны! И, таки-да, Начала Евклида неверны. Это трудно увидеть в опыте, измеряя дорожки в бассейне. Однако же применив более точные инструменты и измеряя более глобальные объекты (такие например, как в опытах исследования феномена "красного" или "синего" смещения излучения звезд или галактик) - показывает что в нашем мире ткань пространства сжимается и растягивается. В этих случаях "дорожки" становятся разными по длине - например проходящая возле массивного объекта "дорожка" становится длиннее за счет "изгиба" пространства!
Таким образом, дедуктивный метод мышления не дает нам делать две ошибки. Кроме отбрасывания заведомо ложного (того, что не может быть построено на заведомо верных Началах), он позволяет нам критически обращаться и к самим Началам.
В случае проблем (если наш опыт становится измеримо противоречивым) мы можем или критически пересмотреть этот опыт, опираясь на Начала. Или мы можем пересмотреть наши Начала - так, что опыт предстанет перед нами частным случаем уже других Начал.
Хороший пример второго случая - пересмотр Основ мировоззрения, согласно которым когда-то общепризнанным была земле-центрическая картина мира, в которой Солнце "всходило", "делало оборот по небу" и "заходило" куда-то "за горизонт". Вполне возможно, при этом проходя специальными "каналами" внутри Земли чтобы снова "взойти" на "положенном" ему месте. Отсюда, а также потому что научные знания у большинства людей обычно не осмысливаются в их практической жизни, по-прежнему в нашем языке имеются такие устоявшиеся понятия как "восход", "закат", "движение Солнца по небу". Но, тем не менее, наш опыт показывает нам - и не только "изменение положения неба относительно Солнца", но и в частности маятник Фуко и другое - что это не Солнце движется, а "Земля вертится"! Начала, согласно которым Земля есть пуп Вселенной, должны быть отвергнуты. :)
Комментарии
"Врач, исцелися сам". Из неверных предпосылок вполне может получится верный результат. И где тут "гарантированы"? И как после такой залепухи читать дальше этого "знатока логики"?
-- Из неверных предпосылок вполне может получится верный результат.
Может. Если вы будете мыслить не дедуктивно, то для вас всё именно так и будет обстоять. Дедуктивное мышление - это не ваша обязанность. Это может стать вашей привилегией. А может и не стать. В первом случае для вас верным будет одно, а во втором - другое.
Не позорься. В условии не сказано, что линии старта и финиша параллельны, а бассейн прямоугольный.
Рассуждать "за логику" и уметь ею пользоваться - несколько разные вещи.
-- В условии не сказано, что линии старта и финиша параллельны
если пловцы в бассейне плывут по параллельным дорожкам и при этом стартуют с одной линии, перпендикулярной обоим дорожкам а финишируют на другой такой же линии (расположенной где-то далее)
Невнимательные люди не комментируют мой блог, и не тратят на себя мое внимание. Я рассчитываю на более интеллектуальное общение.
верность гипотезы - это оксюморон (гипотеза - временное предположение с итогом истина\ложь)
верность аксиомы - оксюморон номер два, ввиду несуществования аксиом как таковых (нет ни одной аксиомы, которая была бы доказана, логика аксиомы - недоказуемость). Пример: параллельные прямые не пересекаются (невоспроизводимая недоказуемая логика)
отсюда вывод: верных логических выводов на основании верных предпосылок не бывает.
-- верность гипотезы - это оксюморон (гипотеза - временное предположение с итогом истина\ложь)
Давайте потренируемся в оперировании понятиями.
Итак, положим что предположение может быть верным. И тогда верность предположения может быть доказана (обнаружена) в ходе исследования. Также, допустим и то что предположение может быть и неверным. Неверность предположения также может быть обнаружена в ходе исследования. Раз верность или неверность предположения может быть выявлена (доказана) в последующем, следовательно предположение может быть верным или неверным и до того, как такое исследование состоялось, не так ли? Собственно говоря, в различении верного или неверного предположения ещё до начала такого исследования имеется прямой смысл - обычно, верное предположение должно быть уже достаточно обоснованным, чтобы начать тратить время и силы на его исследования.
-- верность аксиомы - оксюморон номер два, ввиду несуществования аксиом как таковых (нет ни одной аксиомы, которая была бы доказана, логика аксиомы - недоказуемость). Пример: параллельные прямые не пересекаются (невоспроизводимая недоказуемая логика)
Верность и доказуемость, это разные понятия. Аксиома, будучи по определению тем что принимается без доказательств (не доказываемым знанием), тем не менее может быть и верной, и неверной. Как видно из приведенного в этом блоге примера, аксиома Прокла (при исследовании с её помощью нашего мира) оказалась неверна. Причина в том, что Начала Евклида не учитывают то, что пространство может "иметь измерения". Если бы она была верна, мы не видели бы "красного смещения", например. Именно таким вот образом дедуктивное мышление позволяет нам различать верные аксиоматические Начала от неверных.
-- отсюда вывод: верных логических выводов на основании верных предпосылок не бывает.
В общем-то отсюда и вывод - дедуктивное мышление работает. Что означает что верные выводы бывают исключительно и только из верных предпосылок. И по-другому никак.
если гипотеза обрела доказательства - она перестает быть гипотезой и становится фактом. опираться на гипотезу нельзя, только на факты. опора на гипотезы приводит к лжетеориям.
аксиом в принципе не бывает (аксиома Прокла - пример рухнувшей догмы).
аксиома про параллельные прямые неверна ввиду маесатически точного (идеального) использования слова "параллельные" (физико-математической параллельности не существует).
верные предпосылки - аргументы и факты, а не гипотезы и аксиомы.
Чушь... коли речь идет о математической логике, то имеется некий символьный язык
1. Имеются аксиомы - истинные выказывания принимаемы за базу... О ...Существует ли физическая реализация объектов аксиом или отношений - никого вааче не колышит.. Оних вообще никогда не спорят. В теории множеств к примеру заявляется наличие бесконечных множеств, коих никто и никогда не видел, а в арифметики пеано - бесконечное количество аксиом индукции (которые ясен пень невозможно все написать, поэтому используется аксиома схема)
2. Имеются правила вывода...(вероятно это шо вы называете дедуктивный вывод) По истинным выражениям строится другое истинное выражение
3. Построенные в ходе доказательства , определяемого правилами вывода ,истинные выражения называются теоремами .
4. Не все корректные с точки зрения синтаксиса логический высказывания могут быть доказаны . Это первая теорема Геделя.
5. система аксиом непротиворечива когда невозможно из этой системы вывести одновременно и истинность высказывания A и выскзывания не-А
6. В противоречивой система аксиом, можно доказать вообще любое синтаксически верное утверждение
-- Существует ли физическая реализация объектов аксиом или отношений - никого вааче не колышит..
Математическая реальность, с точки зрения познания её методом дедуктивного мышления - ничем не отличается от познания этим же методом физической реальности. И в математике, если ученый заявляет о том, что он установил Начала (аксиоматическую базу), то эти Начала должны описывать всю ту сферу реальности, которая основана на этих началах. В элементарной геометрии же, евклидова геометрия - лишь частный случай. Начала в более полном их выражении дал Лобачевский. Математик же должен понимать - так все-таки пространство (математическое) может иметь измерения, или нет!
Но примеры в этом блоге были на другую тему. Математика, будучи наукой, описывающей умственные представления, тем не менее является еще и языком для других наук. Именно на этом языке думают физики. И если физик будет думать что физический мир описывается в терминах Начал Евклида, он не сможет ни понять, ни выразить те физические явления, которые не укладываются в евклидову геометрию. И тогда, для понимания этих явлений мира ему, физику, придется изучать язык геометрии Лобачевского, к примеру. Физик должен же понимать почему все-таки одна дорожка в бассейне длиннее другой, не так ли?
-- 2. Имеются правила вывода...(вероятно это шо вы называете дедуктивный вывод) По истинным выражениям строится другое истинное выражение
Совершенно верно, и развитие вами этой темы полностью справедливо. При этом дедуктивный метод мышления - это научный метод познания, исходящий из определенных философских, универсальных, всеобщих принципов. Именно эти принципы я и хотел подчеркнуть. Именно они являются Началом для описания системы верного мышления. Логика же для логического вывода, это уже частности. В них легко утонуть вниманием и утратить из виду Начала.
-- если гипотеза обрела доказательства - она перестает быть гипотезой и становится фактом. опираться на гипотезу нельзя, только на факты. опора на гипотезы приводит к лжетеориям.
Я советую вам мысленно разделить эти два этапа - имеющееся прямо сейчас гипотетическое знание отделить от будущего исследования.
Чтобы упростить эту задачу, поставим мысленный эксперимент. Вот я даю вам коробочку и говорю - "ставлю одну тысячу рублей против нуля рублей что в коробке есть камень". При этом, для занудства, уточню что нам с вами известно о каком камне идет речь. Вот, вы уже имеете на руках коробочку, в которой или есть камень, или его нет. А в уме при этом вы уже имеете две гипотезы - "камень есть" и "камня нет". Очевидно, что поскольку в этой ситуации "третьего не дано", то одна из этих имеющихся у вас гипотез уже прямо сейчас верна, а другая - нет. При этом исследование - то самое, которое превратит потом гипотезу в факт - может показать (лично вам) какая из них была верна. Но это исследование - в будущем. А обе гипотезы - и верная, и неверная - у вас в уме прямо сейчас. И не в виде какого-то там оксюморона, а по факту того что это так и есть.
-- аксиом в принципе не бывает (аксиома Прокла - пример рухнувшей догмы).
Если хотите дискутировать со мной в этом блоге, читайте словарные определения. Еще несколько таких "сильных" заявлений, и вы будете вторым (подряд) посетителем моего блога, забаненным навсегда в силу вашего низкого интеллектуального уровня.
Ну есть самый простой пример - если верны аксиомы Евклида, то сумма углов треугольника должны быть 180 градусов, если геометрия неевклидова - больше или меньше. Вопрос: "как выяснить какая у нас геометрия"7 (с какой точностью нужно эти углы мерять?)
-- Вопрос: "как выяснить какая у нас геометрия"7 (с какой точностью нужно эти углы мерять?)
Вопрос прекрасный. Пользуясь дедуктивным методом мышления, можно выяснить много и других подобных вопросов, все тем же самым методом. :) Так какая же у нас экономика, например. Или - так какой же у нас строй? Какой же у нас способ планирования производства - "рыночный" или "плановый" и так далее.
Важно то, что ответы на эти вопросы лежат через Начала - без верного знания Начал (фундамента) невозможно возвести и верные стены, верную крышу построить, провести туда верный водопровод и т.д. :) А вот что делать в случае если таких Начал не найдено - нам поможет другой метод мышления, индуктивный. Об этом я напишу в следующий раз.