Przedmiot logiki formalnej oraz jej stosowalność