Donald Davidson Truth-theoretic Semant P by Ernest Lepore & Kirk Ludwig