Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. 210 Логика второго порядка несводима к логике первого порядка. 2

Рассудок — это способность к мыслительной деятельности, к осмыслению, здравый смысл. 17 Он систематизирует опыт и сохраняет здравый смысл человека. 4

Разум — это способность человека логически и творчески мыслить, обобщать результаты познания. 17 Он осознаёт информацию, а затем уже рассудок проводит её тщательный анализ. 4

Вопрос о том, возможна ли логика логики, имеет философский характер. 3 По одной из версий, разум, постоянно создавая рассудки, может создать рассудок второго порядка, который для рассудка первого порядка будет играть роль вспомогательного, но сам разум будет его контролировать. 3 Тогда правила для этого рассудка второго порядка будут сами второго порядка и образуют соответствующую им логику второго порядка. 3

Таким образом, ответ на вопрос о том, возможна ли логика логики, зависит от конкретной интерпретации этих понятий.