1. A method, within a computing system comprising at least one computer processor and at least one computer readable memory, of generating a logical model of objects from elements representing rule specifications, the method comprising: receiving packages of elements representing rule specifications expressed with linguistic concepts, the packages comprising at least one of: terms, names, sentence forms, mathematical function forms, nominal restrictive forms, identity criteria, and expressions; and processing the packages to generate a logical model of objects representing the semantics of each rule in terms of formal logic, wherein processing the packages comprises: processing the terms included in the packages to associate each of the terms with a type; processing the names included in the packages to map each of the names to a type, each of the names corresponding to a term of the processed terms; processing the sentence forms included in the packages to associate each of the sentence forms with a fact type; processing the mathematical function forms included in the packages to map each of the mathematical function forms to a fact type; processing the nominal restrictive forms included in the packages to map each of the nominal restrictive forms to a fact type; processing the identity criteria included in the packages to map each of the identity criteria to a type; deriving type specializations and generalizations for at least one of the types; deriving fact type specializations and generalizations for at least one of the fact types; and processing the expressions included in the packages to generate logical formulations, the expressions including at least one of a name, a term, a function form having at least a placeholder, and an identity criterion.