Без заголовка

Там сложней, ибо логика-онтология-философская логика (связь рассуждений с жизнью) сегодня склеиваются в один предмет, а чистая математическая логика на базе теории множеств не подразумевают ничего, кроме манипуляций с символами. Ну, и совершенно другой акцент на области математики: где-то это будет подразумевать численные методы, а где-то нет (в принципе, численная математика в современный логицизм укладывается). Подробней об этом в http://ailev.livejournal.com/1059168.html -- и там ссылка на оригинальное предложение Selmer Bringsjord.