This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||
|
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)
Doesn't Ramsification presuppose higher order logic, as it is quantized over predicates? 129.70.124.103 17:08, 9 May 2007 (UTC)