Многозначные логики и выбор направления

[Red_Herring]

У меня в Новосибирском ГУ и диамат (Розов), и истмат, и философию в аспирантуре читали вполне разумные люди (с не совсем марксистскими взглядами). Но это была философия, а не логика.

А вот мой сын в Университете Торонто брал формальную логику, что позволяло ему выполнить breadth requirements (эти хитрецы сумели поставить свой курс и как "humanities" и как "science", что привлекало на него соответственно студентов-научников и студентов-гуманитариев; на кафедре философии есть несколько таких хитрых курсов), но очень не приветствовалось кафедрами (в первую очередь Comp. Sci.) где реально требовалась "математическая логика". В общем это было унылое и примитивное переливание из пустого в порожнее.

[cool.phenon]

Diletant111
Мышление тогда повернуто не в ту сторону, и поменять пару кванторов местами -- милое дело

[Someone]

maximk в сообщении #945068 писал(а):

Есть идея - загуглите "Карпенко Александр Степанович".

Это вот этот, что ли?

Цитата:

Александр Степанович Карпенко (псевдонимы Беловежский, Чаха; р. 7 апреля 1946, Куйбышев) — российский учёный, академик РАЕН.
…
В 1974 году окончил философский факультет МГУ; затем окончил аспирантуру по кафедре логики там же.

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

[Brukvalub]

Нашел по приведенной Someone ссылке описание основных научных результатов этого Карпенко:
"Разработка семантики для многозначных логик.

Получен результат о структурализации простых чисел и выявлен закон порождения их классов.

Представлена характеризация различных классов натуральных чисел посредством логических матриц.

Разработана тема коммунистического тоталитаризма (под псевдонимом «А.С. Беловежский»)."
Много думал... Судя по "Получен результат о структурализации простых чисел и выявлен закон порождения их классов" Карпенко и теоретико-числовиков "за пояс заткнул"! А уж "коммунистический тоталитаризм" меня просто добил!

[maximk]

Да, это он.
Someone, не могли бы вы описать, с каких сторон философы изучают логику, а с каких сторон математики?

[Someone]

Описать я это не возьмусь. Посмотрите в учебниках.
Типично философский, на мой взгляд: http://whatyouseeis.me/works/logics.pdf.
Типично математический: http://mat.net.ua/mat/Klini-Matematicheskaya-logika.htm.

[maximk]

Почитаю.
А чем сейчас занимаются специалисты по многозначным логикам?