Comparative logic versus problem logic? An introduction · Study