Логика — это нормативная наука о законах, принципах и методах идеализированных рассуждений, выражающих результаты рациональной мыслительной деятельности человека, а также о языке как средстве такой деятельности.