@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Logic Texts}, subject = {Syllogisms}, note = {Hoyningen-Huene II 187 Syllogisms/predicate calculus/Hoyningen-Huene: e.g. All A are B. - all B are C So: Some C are A. - This is valid in the syllogistic because the premise "All A are B" is to be understood that its truth presupposes the existence of at least one A. In predicate logic, however, it is not valid because no existence is guaranteed by the premise. >Propositional logic, >Predicate calculus.},