определение ЛОГИКИ
Определение Википедии вполне подходит:
Математи́ческая ло́гика — раздел математики, изучающий природу математического доказательства в целом (вычислимость и прочие аспекты оснований математики)
Философы стараются не отстать и дают свое определение логики попроще, чтобы гуманитариям было понятнее:
Ло́гика — «наука о правильном мышлении», «искусство рассуждения»..
Однако есть только математическая логика, которую используют математики и программисты в своих программах.
То есть, для математиков и программистов, вопрос, что такое логика не стоит. Это их основной язык, без которого программы не будут работать, а теоремы доказываться.
Есть только один метод рассуждения - от общего к частному. Метод индукции работает так же. Просто в него надо не забыть включить саму идею метода и то предположение, которое мы собираемся доказывать.
Все остальные варианты лишь искажение единственной строго логичной реальности ( а все мы ее неотъемлемые части) или использование таких способностей мозга, механизм реализации которых все еще скрыт от науки, иначе бы искусственный разум с квантовым феноменом осознания был бы уже построен.
Естественно, что мозг работает строго логично, как часть строго логичного Мира. Что не мешает людям нести всякую ерунду, потому что мозг сложный, много требует для работы энергии и часто работает кое-как и едва-едва. А человек даже не пытается использовать Критерий истины, который легко формулируется для строго логичного Мира. А других и не видно.
Сообщение отредактировал alexlotov: 04 Июль 2015 - 08:56