Формальная логика как теория правильного мышления

 Математик и логик Начала прошлого века И.О. Порецкий оказал заметное влияние на развитие алгебраических теорий логики. Он первым в России начал читай» лекции по математической логике, о которой говорил, что это «по предмету своему есть логика, а по методу математика».

 Физик П. Эренфест еще в 1910 г, высказал гипотезу о возможности применения современной логики в науке и технике. В дальнейшем его гипотеза Нашла прекрасное воплощение в электронно-вычислительной технике.

 Логик Н. А. Васильев уже в начале прошлого река подверг критике считавшийся в традиционной логике одним из основных закон исключенного третьего. В дальнейшем идеи, касающиеся ограниченной применимости данного закона и близких ему способов математического доказательства, были развиты математиками А.Н. Колмогоровым,                   В.А. Гливенко, А.А. Марковым и др.

 В 1960—1970-х  гг. А.А. Зиновьев предложил новую целостную концепцию логики, названную им «комплексной логикой». В ней три ветви старой философий — логика, теория дознаний и теория бытия (онтология) — должны быть слиты в нечто единое. Оценка этой концепции, охватывающей всю нынешнюю логику, остается пока делом будущего.[7] 
 
 
 
 
 
 
 
 
 
 
 
 
 

 Литература:

1. Меськов В.С. Очерки по логике квантовой механики. - М., 1986. С. 7
2. Ленин В.И. Полное собрание сочинений. Т. 29. С. 162
3. Ивин А.А. Логика и теория аргументации: элементарный курс: учеб. пособие. - М.: Гардарики, 2007. С.7-8
4. Кириллов В.И., Старченко А.А. Логика: Учебник для юридических вузов. – Изд. 5-е, перераб. и доп. – М.: Юристъ, 2006. С. 5-18
5. Гетмонова А.Д. Логика: учеб. для стулентов вузов. – 12-е изд., стер. – М.: Омега-Л, 2007. С. 14-16
6. Кириллов В.И., Старченко А.А. Логика: Учебник для юридических вузов. – Изд. 5-е, перераб. и доп. – М.: Юристъ, 2006. С. 23-27
7. Ивин А.А. Логика: для юристов: учебное пособие. – М.: Гардарики, 2005.        С. 18-19