Logic

Formal logic

The study of deductively valid inferences and logical truths, focusing on the structure of arguments rather than their content

Informal Logic

Is associated with informal fallacies, critical thinking and argumentation theory

Logic

The study of correct reasoning, it includes both formal and informal logic

Logical necessity

a proposition that must be true in all possible worlds and cannot be false without violating the laws of logic