ABSTRACT
Whenanindividualfiguresinafirst-orderproposition,theproposition canbecharacterizedasbeingtruejustincasetheindividualsatisfiesa certaincondition.Thus,e.g.,thepropositionthattheEarthisaplanetno biggerthanVenuscanbecharacterizedastruejustincasetheEarthsatisfiesthecondition...isaplanetnobiggerthanVenus.Theseconditions canbethoughtofas"propositionmatrices."Weformapropositionfrom apropositionmatrixby"inserting"anindividual.Ifweinsert,say,the individualJupiterinthematrix.. .isaplanetnobiggerthanVenus,we formthepropositionthatJupiterisaplanetnobiggerthanVenus.The resultingpropositionwillbetrueorfalseaccordingtowhethertheindividualsatisfiesthematrix.
