 The works mentioned above concerned themselves with introducing connectives in logic, as is appropriate for an entry “Natural Deduction in Logic”. But as Read (2010) points out, the general viewpoint is consonant with “use theories of meaning” that have been prominent in philosophy of  language.[25]  The chain of inference here seems to be (something like):