structure -- 5. Logical form and truth conditions -- 6. Logical knowledge vs knowledge