Объектом изучения логики является мышление. Логика – это наука о мышлении. Однако только так определить логику недостаточно. Дело в том, что наук, изучающих мышление, много. К ним относятся кроме логики философия, физиология высшей нервной деятельности, психология, кибернетика, лингвистика и некоторые другие. Чем же отличается логика от других наук, изучающих мышление? Каков её собственный предмет исследования?

Специфика логики как науки о мышлении, называемой формальной логикой, состоит в том, что она изучает формы мыслей, из которых складывается знание как результат мыслительной активности и формы развития знаний, а также приёмы и законы эффективного мышления.

К основным типам логических форм, в которых фиксируются мысли, относятся понятие, суждение, норма, теория.

К основным типам форм, в которых осуществляется развитие знания, относятся вопрос, проблема, гипотеза.

К приёмам  мышления можно отнести, например, определение, классификацию, объяснение, дискуссию, полемику. Однако центральное место в логических исследованиях занимает анализ такой познавательной операции или процедуры, как рассуждение. Простейшим видом рассуждения является умозаключение. В процессе рассуждения могут быть задействованы несколько умозаключений.

Проявляясь в различных формах, мышление в процессе своего функционирования обнаруживает некоторые устойчивые, необходимые, существенные связи между мыслями, называемые в логике законами. В задачи логики входит обнаружение и формулировка таких законов. В классической формальной логике рассматриваются в качестве основных следующие законы мышления: закон тождества, закон непротиворечия, закон исключённого третьего.

Сформулированные законы логики выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разработаны требования и иного рода, которые рекомендуется выполнять в процессе интеллектуальной деятельности.

Мышление, которое осуществляется по законам логики, называется правильным. Формальная логика, являясь наукой о правильном мышлении, подвергает анализу и систематизирует также ошибки, которые встречаются в процессе мыслительной деятельности и которые принято называть алогизмами.