Lithology 7. The naming of a lithology is based on the rock type. The three major rock types are sedimentary, igneous, metamorphic. Sedimentary rocks are further classified by whether they are siliciclastic or carbonate. Siliciclastic sedimentary rocks are then subcategorized based on their grain size distribution and the relative proportions of quartz, feldspar, and lithic (rock) fragments. Carbonate rocks are classified with the Dunham or Folk classification schemes according to the constituents of the carbonate rock. The name of an igneous rock requires information on crystal size and mineralogy. This classification can often be performed with a QAPF diagram. Metamorphic rock
Substance theory bundle theorist objects to the notion of a thing with no properties, claiming that such a thing is inconceivable and citing John Locke, who described a substance as "a something, I know not what." To the bundle theorist, as soon as one has any notion of a substance in mind, a property accompanies that notion. The indiscernibility argument from the substance theorist targets those bundle theorists who are also metaphysical realists. Metaphysical realism uses the identity of "universals" to compare and identify particulars. Substance theorists say that bundle theory is incompatible with metaphysical realism due to the identity of indiscernibles: