一阶逻辑就是建立在一阶语言基础上的逻辑体系，一阶语言本身不具备任何含义，但可以根据需要被解释成具有某种含义。

推理是由命题组成的，其前提和结论都是一个个单独的命题。于是，对命题的不同分析就会导致对推理结构的不同分析，并最终导致不同的逻辑类型：命题逻辑、词项逻辑和谓词逻辑，它们是现代演绎逻辑的三种基本类型。其中，以符号语言和公理化方法表述的命题逻辑和谓词逻辑，称为“一阶逻辑”；由于它在现代逻辑体系中的基础地位，也常被称为“经典逻辑”。可以对经典逻辑的某些基本假定提出质疑和挑战，由此得到“变异逻辑”；也可以把经典逻辑应用于某些特殊领域，得到它们的一些扩充系统，叫做“应用逻辑”。如果把前面所说的归纳推理中前提对结论的支持关系概率化和演算化，由此形成的逻辑理论叫做“概率归纳逻辑”，这是现代归纳逻辑的主要形态。

一阶逻辑逻辑曾被罗素等人看作是必然的真理，但是现在各种逻辑体系的建立，表明一阶逻辑也仅只是其中一个而已。