Deakstadieđáhus: Logika ilmu menalar