Допускает ли язык логики противоречивые утверждения?

[warlock66613]

mihaild в сообщении #1301703 писал(а):

Или наоборот - если бы люди не были идиотами, неспособными удержать в активной памяти даже несколько килобайт символов, то неформальных теорий не было бы вообще.

Вполне может быть.

mihaild в сообщении #1301703 писал(а):

Встречается ли на практике в статьях или хороших учебниках использование значков без определения, что они значат?

Нет.

Возвращаясь к тому, что "более-менее понятно как формализовывать". Скажите, подразумевется ли, что формализовывать надо непременно в логике первого порядка, или это как раз то, что понятно "менее"?