deductive logic
Synonyms
Examples
If a lack of empirical foundations is a defect of the theory of logical probability, it is also a defect of deductive logic.
I am delighted to know that Principia Mathematica can now be done by machinery... I am quite willing to believe that anything in deductive logic can be done by machinery.