Talk:Ramsey-Lewis method
From Wikipedia, the free encyclopedia
The example at the end looks faulty as P3 isn't used. Ben Finn 17:00, 17 Apr 2005 (UTC)
Doesn't Ramsification presuppose higher order logic, as it is quantized over predicates? 129.70.124.103 17:08, 9 May 2007 (UTC)

