היגיון מיושם

יישומי לוגיקה

החלק העיקרי השני של ההיגיון המיושם נוגע לשימושים של שיטות לוגיות ושיטות לוגיות בתחומים שונים מחוץ להיגיון עצמו. היישומים הכלליים ביותר הם אלה ללימוד השפה. ההיגיון מיושם גם בחקר ידע, נורמות וזמן.