
When using formal logic, what are the referents of a given proposition? If we take a proposition to be of the form X is P where the subject X is some object or concept sublated to a predicate i.e. a more general concept P, what is it that X and P refer to? Logicists like Gottlob Frege would say that X refers to some object in the world while P refers to a concept; Ferdinand de Saussure would deny that X refers to anything in the real world, instead saying that it refers only to the psychological concept of some object.








