Faculty member of Imam Khomeini research and Educational Institute
Abstract
Logicians divided the quantified predicative propositions into factual and actual ones. Factual proposition is one in which the subject is criterion for attributing the predicate. Subjects of factual sort of propositions are of four divisions. In one group the subject is existent so the predicate can be ascribed to all individuals without any assumption or hypothesis. In three others there is no true judgment unless the existence of subject is first assumed. Factual proposition is not reduced to conjunctive conditional proposition though it is coextensive with it for in factual the judgment is not suspended while in conditional it is.
)