לוגיקה לא-פורמלית (יישומית)
לוגיקה לא פורמלית (יישומית) עוסקת ביישום העקרונות והמושגים של הלוגיקה העיונית (הפורמלית, המתמטית) בחיי היומיום. בלימוד לוגיקה יישומית המטרה היא לפתח את הכושר להתמודד בתן-קח של נימוקים, על ידי שיפור היכולת לזהות טיעונים המובאים בהקשרם הטבעי, לפרש טיעונים אלה ולהעריך אותם.