Sight, not sound, not touch, not smell. They exist whether we perceive them or not, just as stars exist that no telescope has ever seen or will ever see. They are true or false regardless of what we may believe about them. We have access to them through our intellect. Their independence of us grounds our study of logic apart from our mental lives. Gottlob Frege was explicit in ruling out anything psychological from logic. He takes propositions to be thoughts that are somehow universally held or at least accessible to all of us. Though that might seem to characterize the basis of logic in terms of our mental lives, Frege is clear that these thoughts are not ones held by just one person but are somehow supra-personal, and their connection to the world is fixed independently of our beliefs, feelings, wants, or what we think. Thoughts in this sense are as abstract as the propositions of Gödel. However, one need not be a realist to view logic as the art of reasoning well. One could say that propositions are linguistic, either a certain kind of sentence in our ordinary language or a formula of some formal language. Though linguistic, and hence produced by us, the relation of propositions to each other and to the world is said to be independent of us, a relation between what we say and what there is, fixed without regard to our mental lives. Logic is not about abstract truths but is meant to catalogue or characterize the most general truths of the world which are expressed in language.