Conversely, formal arguments are studied in formal logic (historically called symbolic logic, more commonly referred to as mathematical logic today) and are expressed in a formal language.
Priešingai, formalūs argumentai studijuojami formalioje logikoje (istoriškai pavadinta simbolinė logika, paprasčiau vadinta kaip matematinė logika šiuolaikiniame gyvenime), ir išreikšti formalia kalba.