  Medieval authors who prefer a semantic version of the correspondence theory often use a peculiarly truncated formula to render Aristotle’s definition: A (mental) sentence is true if and only if, as it signifies, so it is (sicut significat, ita est). This emphasizes the semantic relation of signification while remaining maximally elusive about what the “it” is that is signified by a true sentence and de-emphasizing the correspondence relation (putting it into the little words “as” and “so”). Foreshadowing a favorite approach of the 20th century, medieval semanticists like Ockham (Summa Logicae, II) and Buridan (Sophismata, II) give exhaustive lists of different truth-conditional clauses for sentences of different grammatical categories. They refrain from associating true sentences in general with items from a single ontological category. (Cf. Moody 1953; Adams McCord 1987; Perler 2006.)