Слово «логика» происходит от древнегреческого слова «логос», которое можно перевести как «понятие», «разум», «рассуждение». В настоящее время оно употребляется в следующих основных значениях.
Во-первых, этим словом обозначают закономерности в изменении и развитии вещей и явлений объективного мира. Закономерности в изменении и развитии вещей и явлений объективного мира называют объективной логикой.
Во-вторых, словом «логика» обозначают особые закономерности в связях и развитии мыслей. Эти закономерности называют субъективной логикой. Закономерности в связях и развитии мыслей являются отражением объективных закономерностей.
Логикой называют также науку о закономерностях в связях и развитии мыслей.
В настоящее время существует великое множество самых разных отраслей научного знания. В зависимости от объекта исследования они делятся на науки о природе — естественные науки и науки об обществе — общественные науки.
Своеобразие логики как науки о мышлении состоит в том, что она рассматривает этот общий для ряда наук объект под углом зрения его функций и структуры, то есть роли и значения в познании и практической деятельности, и в то же время с точки зрения составляющих его элементов, а также связей и отношений между ними. Это и есть собственный, специфический предмет логики. Поэтому она определяется как наука о формах и законах правильного мышления, ведущего к истине.