Логика как наука о законах и формах правильного вывода и количественной семантик