 Some philosophers and logicians have maintained that there is a single logical system that is uniquely correct, in its role of characterizing validity. Among those, some, perhaps most, favor classical, first-order logic as uniquely correct, as the One True Logic. See, for example, Quine [1986], Resnik [1996], Rumfitt [2015], Williamson [2017], and a host of others. 