File states refer to the various conditions or statuses that a file can be in, reflecting its current data representation and the operations that have been performed on it. Understanding file states is crucial when discussing file change semantics and update semantics, as they help define how changes to the file's content are managed and represented in a system.