Instrumental Logic