Complete Lattice: Mereology

ok this is odd but interesting: way way over my head

https://en.wikipedia.org/wiki/Mereology

Complete Lattice: Mereology
Forrest (2002) revises Lewis’s analysis by first formulating a generalization of CEM, called “Heyting mereology”, whose sole nonlogical primitive is Proper Part, assumed transitive and antireflexive. There exists a “fictitious” null individual that is a proper part of every individual. Two schemas assert that every lattice join exists (lattices are complete) and that meet distributes over join. On this Heyting mereology, Forrest erects a theory of pseud

Leave a comment

Your email address will not be published. Required fields are marked *


three × = 24

Leave a Reply