מה מבין הנושאים הבאים איננו בתחום עיסוקה של הלוגיקה הפורמלית?