No arguments with false premises and a true conclusion are valid.
This is not correct; see Deductive arguments for relevant definitions.
An argument is (formally) valid when it is not the case that the premises are all true and the conclusion false.
Sound means that the argument is both valid in form and has no false premises.
This definition implies that an argument with contradictory premises is always valid (Ex falso).
Regarding Syllogistic, the "mood" IAI-4 (in the fourth figure) has been called Dimatis.
It is simply AII-1 in the first figure (Darii) with the two premises interchanged. From a modern point of view, the order of the premises is not relevant for the validity of the argument.
How would I put this in standard logical form?
The standard representation is: SiM, MaP ⊢ SiP,
that is: ∃x(Sx ∧ Mx), ∀x(Mx → Px) ⊢ ∃x(Sx ∧ Px).
IAI-4 is a valid argument: thus, all its instances must be of two types:
- either with true premises (sound), in which case the conclusion is also true: there is a Philosoper that is Greek; every Greek is Human. Therefore: there is a Philosopher that is Human; or
- with false premises (unsound), in which case the conclusion can be true without invalidating the general argument: there is a Philosoper that is Greek; every Greek is Male. Therefore: there is a Philosopher that is Male.