 In a somewhat more Tarskian spirit, formal theories of facts or states of affairs have also been developed. For instance, Taylor (1976) provides a recursive definition of a collection of ‘states of affairs’ for a given language. Taylor’s states of affairs seem to reflect the notion of fact at work in the neo-classical theory, though as an exercise in logic, they are officially \(n\)-tuples of objects and intensions.