Besonderhede van voorbeeld: 4196630593499835293

English

Using what he calls "second generation" epistemic logic (2003), i.e. independence-friendly (IF) epistemic logic, Hintikka revisits the epistemology of mathematics, and in particular the debate between classical and intuitionistic mathematics (2001).

French

À l’aide de la logique épistémique “de seconde génération” (Hintikka 2003), Hintikka revisite l’épistémologie des mathématiques et notamment le débat entre mathématiques classiques et intuitionnistes (Hintikka 2001).