4
$\begingroup$

Recently, we have contrived some procedures based on resolution method. So, we want to test these procedures.

I know that many propositions are presented by logic formulas in Principia Mathematica. But I do not know how to get all the modern logical formulas in Principia Mathematica. Has anyone done similar work (i.e., converted or translated these original formulas to modern ones)?

Would you like to give me some guidance? Many thanks.

Improve this question
$\endgroup$
3
  • $\begingroup$ Or futher, Who has converted these orginal formulas to conjunctive normal forms, even in Propositional logic? I want to use it as an benchmark. $\endgroup$
    – Xingxing He
    Commented Dec 10, 2012 at 12:07
  • 3
    $\begingroup$ Bernard Linsky writes in his article on the notation of Principia that rewriting it in modern notation would "drastically alter the very content of the book". Perhaps this is why those who are familiar with the book have not published translations into modern notation. plato.stanford.edu/entries/pm-notation $\endgroup$
    – Carl Mummert
    Commented Dec 11, 2012 at 23:21
  • 1
    $\begingroup$ This might be useful: us.metamath.org/mpegif/pm54.43.html $\endgroup$
    – JRN
    Commented Jul 9, 2013 at 10:22

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .