Acquaintance, Knowledge, and Logic