1. Логіка як наука