Derivation Rules and Consistency
In this part I develop a deductive system for natural language, which is meant to be comparable in its deductive power to first order predicate calculus. I shall develop the system for only some of the sentences of natural language, and for only some of the logical relations between these sentences. The sentences to which my system will apply are propositional combinations of predications. The predicates will have as subjects either definite singular noun phrases or quantified noun phrases.