Single Idea 12829

[catalogued under 4. Formal Logic / G. Formal Mereology / 2. Terminology of Mereology]

Full Idea

The 'general product' or 'nucleus' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'πx(Fx)', read as 'the product of objects satisfying F'.

Gist of Idea

General product: the nucleus of all objects satisfying a predicate, written πx(Fx)

Source

Peter Simons (Parts [1987], 1.1.08)

Book Reference

Simons,Peter: 'Parts: a Study in Ontology' [OUP 1987], p.15


A Reaction

See Idea 12825 for 'product'. 'Nucleus' is a helpful word here. Thought: is the general product a candidate for a formal definition of essence? It would be a sortal essence - roughly, what all beetles have in common, just by being beetles.