Talk:Ramsey–Lewis method

Latest comment: 14 years ago by Orthologist

The example at the end looks faulty as P3 isn't used. Ben Finn 17:00, 17 Apr 2005 (UTC)

It would appear to be so, but the 3 principles are not the properties. The assumptions are integrated in the text, as we can see from the mentioning of the word "tickles" and "cause lightning" (it would be even more abstract to designate "causes lightning" by some symbol, and I do not think that it would add to the article). No, P1 is the property of "electronhood" as outlined in the article, and P2 is the property of charge (so the statements in the parenthesis are equivalent to the assumptions, if you do the substitution) . I, too, was confused by this, but I am going to go ahead and clarify it.--Orthologist (talk) 11:37, 27 November 2009 (UTC)Reply


Doesn't Ramsification presuppose higher order logic, as it is quantized over predicates? 129.70.124.103 17:08, 9 May 2007 (UTC)Reply