Книга "Дискретная математика без формул", Соловьев Александр

Краткое описание/вступление:

логик много. Выражаясь более конкретно - бесконечно 
много. Поэтому будем говорить не о логике вообще, как это любят делать в 
некоторых учебниках для юристов, а о математической логике. Тем более, что 
логики у юристов часто даже меньше, чем у политиков... А от политики 
предпочтительно держаться подальше... Математическая логика понятие тоже 
достаточно неконкретное, из-за того, что математических логик также бесконечно 
много. Здесь будем обсуждать некоторые из них, отдавая больше дань традиции, чем

здравому смыслу. Поскольку, весьма возможно, в этом и заключен здравый смысл...

Логично?



Математическая логика учит логично рассуждать не больше, чем любой другой раздел

математики. Это связано с тем, что "логичность" рассуждений в логике 
определяется самой логикой и корректно может использоваться только в самой 
логике. В жизни же мы, размышляя логически, как правило используем разные логики

и разные методы логических рассуждений, безбожно перемешивая дедукцию с 
индукцией... Более того, в жизни мы строим свои рассуждения исходя из 
противоречивых посылок, например, "Не откладывай на завтра, что можно сделать 
сегодня" и "Поспешишь людей насмешишь". Нередко бывает, что непонравившийся нам

логический вывод приводит к пересмотру исходных посылок (аксиом).

Пожалуй, настало время сказать про логику, возможно, самое главное: классическая

логика не занимается смыслом. Ни здравым, ни каким другим! Для изучения здравого

смысла, между прочим, существует психиатрия. Но в психиатрии логика скорее 
вредна. Хотя, например, так называемые репертуарные решетки и говорят о 
некоторых успехах в этом направлении...

Разумеется, размежевывая логику со смыслом, имеем в виду прежде всего 
классическую логику и житейское понимание здравого смысла. Нет запретных 
направлений в математике, поэтому исследование логикой смысла, и наоборот, в 
различных видах присутствует в ряде современных ответвлений логической науки. 
(Хорошо сложилось последнее п