03A05 Philosophical and critical aspects of logic and foundations {For philosophy of mathematics, see also 00A30} 13025