Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; Derivations in Predicate Logic.
To clarify and facilitate our inquiries we need to define a disquotational truth predicate that we are directly licensed to apply not only to our own sentences as we use them now, but also to other speakers' sentences and our own sentences as we used them in the past. The conventional wisdom is that there can be no such truth predicate. For it appears that the only instances of the disquotational pattern that we are directly licensed to accept are those that define "is true" for our own sentences as we use them now. Gary Ebbs shows that this appearance is illusory.
In Relators and Linkers, Marcel den Dikken presents a syntax of predication and the inversion of the predicate around its subject, emphasizing meaningless elements (elements with no semantic load) that play an essential role in the establishment and syntactic manipulation of predication relationships.
