studiet av arguments giltighet/ogiltighet som endast beroende på argumentens form. Formell logik har sedan Aristotelse karaktäriserats av användandet av särskilda symboler för att återge argumentens logiska former. Under detta århundrade har symbolanvändningen blivit så fullständigt genomförd att formallogiska teorier uteslutande formuleras med hjälp av formaliserade språk och formella system.
