一般认为是亚里士多德。

真正要说逻辑学还是得从西方的形式逻辑开始。印度逻辑和先秦逻辑实在不成气候。谈形式逻辑的话，亚里士多德可以认为是创始人。他的《工具论》是形式逻辑的经典。尽管在之前的智者派对此有所贡献。

归纳逻辑之父是弗朗西斯培根。他著有《新工具》与亚里士多德的演绎逻辑对抗。

另外数理逻辑之父是莱布尼茨。他的“世界语言计划”寻求用统一的逻辑语言描述对象，尽管失败了，却大概是首先提出这种思想的人。