Deductive Logic/Categorical Sentence Schemata/Example Modus Diamatis (IAI-4) syllogisms

Understanding Modus Dimaris (IAI-4)

Mood: I A I

Figure: 4

Canonical Form

Role	Statement type	Example structure
Major Premise (I)	Some P are M
Minor Premise (A)	All M are S
Conclusion (I)	Therefore, some S are P

Middle term (M): Predicate of the major, subject of the minor.

Logic: Since some P belong to M and all M belong to S, at least some S must contain those P.

---

Ten Valid Modus Dimaris (IAI-4) Syllogisms

#	Major Premise (I)	Minor Premise (A)	Conclusion (I)
1	Some mammals are aquatic creatures.	All aquatic creatures are animals.	∴ Some animals are mammals.
2	Some students are musicians.	All musicians are artists.	∴ Some artists are students.
3	Some rectangles are squares.	All squares are polygons.	∴ Some polygons are rectangles.
4	Some philosophers are scientists.	All scientists are thinkers.	∴ Some thinkers are philosophers.
5	Some poets are teachers.	All teachers are educators.	∴ Some educators are poets.
6	Some trees are evergreens.	All evergreens are plants.	∴ Some plants are trees.
7	Some laws are unjust.	All unjust acts are moral failures.	∴ Some moral failures are laws.
8	Some metals are magnetic materials.	All magnetic materials are physical substances.	∴ Some physical substances are metals.
9	Some books are novels.	All novels are works of literature.	∴ Some works of literature are books.
10	Some humans are artists.	All artists are creative beings.	∴ Some creative beings are humans.

Each follows IAI-4:

Some P are M; All M are S; ∴ Some S are P.

---

Table — Valid vs. Invalid Dimaris Syllogisms

#	Valid Example	Invalid Example	Why Invalid
1	Some mammals are aquatic creatures. All aquatic creatures are animals. ∴ Some animals are mammals.	All mammals are aquatic creatures. All aquatic creatures are animals. ∴ Some animals are mammals.	Major is universal (A); middle term not particular → wrong mood (A A I).
2	Some students are musicians. All musicians are artists. ∴ Some artists are students.	Some artists are musicians. All musicians are students. ∴ Some students are artists.	Middle term not in proper position (predicate → subject). Figure error.
3	Some rectangles are squares. All squares are polygons. ∴ Some polygons are rectangles.	Some polygons are squares. All squares are rectangles. ∴ Some polygons are rectangles.	Middle term reversed → violates 4th-figure structure.
4	Some philosophers are scientists. All scientists are thinkers. ∴ Some thinkers are philosophers.	Some scientists are philosophers. All scientists are thinkers. ∴ Some thinkers are philosophers.	Middle term appears as subject in both premises → becomes 3rd figure.
5	Some poets are teachers. All teachers are educators. ∴ Some educators are poets.	Some educators are teachers. All teachers are poets. ∴ Some educators are poets.	Figure error; M not predicate in major.
6	Some trees are evergreens. All evergreens are plants. ∴ Some plants are trees.	Some plants are evergreens. All evergreens are trees. ∴ Some plants are trees.	Middle term reversed; invalid figure.
7	Some laws are unjust. All unjust acts are moral failures. ∴ Some moral failures are laws.	Some unjust acts are laws. All unjust acts are moral failures. ∴ Some moral failures are laws.	M subject in both premises → figure 3, not 4.
8	Some metals are magnetic materials. All magnetic materials are physical substances. ∴Some physical substances are metals.	All metals are magnetic materials. All magnetic materials are physical substances. ∴ Some physical substances are metals.	Mood A A I (not I A I) → middle term not particularized.
9	Some books are novels. All novels are works of literature. ∴ Some works of literature are books.	Some novels are books. All novels are works of literature. ∴ Some works of literature are books.	Improper figure; M must be predicate in major.
10	Some humans are artists. All artists are creative beings. ∴ Some creative beings are humans.	All humans are artists. All artists are creative beings. ∴ All creative beings are humans.	Illicit universal conclusion from universal premises; violates existential rule.

---

Common Fallacies in “Invalid Dimaris” Forms

Fallacy	Description
Wrong Mood (A A I, A I I)	Major must be particular affirmative; otherwise the middle term isn’t particularized.
Figure Violation	Middle term must be predicate in the major and subject in the minor (4th-figure rule).
Illicit Middle Term	Middle term undistributed or wrongly placed; fails to connect S and P properly.
Illicit Universal Conclusion	From all-universal premises one cannot infer a universal conclusion.
Conversion Fallacy	Swapping subject/predicate changes figure and breaks validity.

---

Summary: Modus Dimaris (IAI-4)

Property	Description
Mood	I A I (Some / All / Some)
Figure	4
Form	Some P are M; All M are S; ∴ Some S are P.
Middle Term Placement	Predicate in major, subject in minor.
Conclusion Type	Particular affirmative (I).
Essence of Validity	At least one P overlaps with M, and all M lie within S — so those P must also lie within S.