Logic is generally considered formal when it analyzes and represents the form of any valid argument type.
Η λογική είναι γενικά αποδεκτό να είναι τυπική όταν έχει ως στόχο να αναλύσει και να παρουσιάσει τη μορφή οποιουδήποτε έγκυρου τύπου επιχειρήματος.