id author title date pages extension mime words sentences flesch summary cache txt work_cp6a5pasbjeh5puh4bpzc5wvdu Sebastian Lutz Empirical Adequacy in the Received View 2014 15 .pdf application/pdf 6446 756 67 Formal model theory is used for the definition of logical entailment ( Lutz 2012, 83). syntactic approaches in general is the assumed bipartition of the non-logical vocabulary V of a theory into a set O of observation terms and a set T of theoretical terms.1 This bipartition leads to a natural tripartition of the set of sentences ( the postulates of the theory) and a set Γ of higher order V -sentences ( the correspondence rules). Appearances are given by a set A of structures such that the domain of each A ∈ A contains only observable objects. but later van Fraassen (1980, 64) defines a theory to be "empirically adequate if it Definition 5 defines the empirical adequacy of a theory relative to a set of Corollary 2 establishes that empirical adequacy is nothing but the compatibility of an rv-theory consisting of theoretical postulates Π and correspondence ./cache/work_cp6a5pasbjeh5puh4bpzc5wvdu.pdf ./txt/work_cp6a5pasbjeh5puh4bpzc5wvdu.txt