I've published a new article on Scholardarity, A Primer on Logic: Part 4.1, the latest installment of my introduction to formal logic. In it I address some preliminaries to Predicate Logic.
in case you missed Parts 1, 2, 3, and the Interlude, which respectively cover
logical preliminaries, propositional logic, Aristotelian logic, and the inadequacies of Aristotelian logic, you
can check them out here:
If you have any comments / criticism, by all means share it!