Logica che studia i modi della connessione di proposizioni indipendentemente dagli oggetti cui si applicano (DeM)

Logica che studia le forme dell'argomentazione indipendentemente dal suo contenuto. Per il significato di disciplina che formalizza in linguaggio matematico le operazioni logiche, usare Logica matematica