Constructing formal semantics from an ontological perspective. The case of second-order logics. - Giraud, Thibaut (Synthese, 2014)