IV. Liberty is fourfold:
(1) the liberty of independence which belongs to God as the first being; this is opposed to the necessity of dependence which belongs to all creatures.
(2) Liberty from coaction by which man acts spontaneously and with freedom; this is opposed to the necessity of coaction seen in those who act through force.
(3) Rational liberty from brute and physical necessity by which man acts from choice (ek proaireseōs) and not by a brute instinct and blind impulse; this is opposed to the physical necessity of inanimates and brutes.
(4) Liberty from slavery by which man is subject to the yoke of no slavery, either of sin or of misery; this is opposed to the necessity of slavery in sinners.
FRANCIS TURRETIN, Institutes of Elenctic Theology, ed. James T. Dennison Jr., trans. George Musgrave Giger, vol. 1 (Phillipsburg, NJ: P&R Publishing, 1992–97), 8.1.4 (p. 570).