정형화된 문장 기호열에 대해 그 문장이 정당화되는 구조, 의미와 무관한 추론 규칙과 그 성질, 기호의 유형, 타 영역에 대해 응용하는 사례를 다룸→형식 논리학 나머지 방법으로 논리를 다루려는 모든 시도→비형식 논리(공통적인 논의 방향이 있지 않음.)
정형화된 문장 기호열에 대해 그 문장이 정당화되는 구조, 의미와 무관한 추론 규칙과 그 성질, 기호의 유형, 타 영역에 대해 응용하는 사례를 다룸→형식 논리학 나머지 방법으로 논리를 다루려는 모든 시도→비형식 논리(공통적인 논의 방향이 있지 않음.)