Truth, Logical Structure, and Compositionality · Study