Talk:Second-order predicate

From WikiProjectMed
Jump to navigation Jump to search

But there are Albanian philosophers. Have you heard of Aristotle? hahaha...

Incorrect example

The example does not have anything to do with concepts vs. objects or with second-order predicates.

Vx(~Ex(Px & Ax): For all things, some things (x) is such that each (x) is a philosopher (P) and is from Albania (A). Neither predicate is second-order. — Preceding unsigned comment added by 152.19.55.26 (talk) 20:30, 14 October 2015 (UTC)[reply]