If a lack of empirical foundations is a defect of the theory of logical probability, it is also a defect of deductive logic. David Stove
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. Bertrand Russell