Noun
A person skilled in logic.
Source: Webster's dictionaryAlso p. xliv in Houser, Nathan, Introduction, W 5. In 1934, the philosopher Paul Weiss called Peirce "the most original and versatile of American philosophers and America's greatest logician". Source: Internet
Essentially they automate the process a logician would go through in analyzing a model. Source: Internet
History The first known classical logician who didn't fully accept the law of excluded middle was Aristotle (who, ironically, is also generally considered to be the first classical logician and the "father of logic" Hurley, Patrick. Source: Internet
He was the first formal logician, in that he demonstrated the principles of reasoning by employing variables to show the underlying logical form of an argument. Source: Internet
Ockham was probably the first logician to treat empty terms in Aristotelian syllogistic effectively; he devised an empty term semantics that exactly fit the syllogistic. Source: Internet
Section 18 of Human, All Too Human cited Spir, not by name, but by presenting a 'proposition by an outstanding logician' (2,38; HH I §18)." Source: Internet