FIL4406 – Filosofisk logikk og matematikkens filosofi