In fact, what needs to be offered is ultimately an epistemology for modality. After all, on Field's account, in order to avoid the platonist commitment to models or proofs, the concept of logical consequence is understood in terms of the primitive modal concept of logical possibility: A follows logically from B as long as the conjunction of B and the negation of A is impossible, that is, ¬◊(B ∧ ¬A).