הגיון; תורת ההגיון, לוגיקה { logic }