Для выяснения предмета логики можно использовать несколько методов, каждый из которых дает определенный результат.

Первый метод – этимологический. Он заключается в том, что требуется прояснить значение слова, которое используется для названия данной науки. Термин «логика» восходит к древнегреческому слову «логос», означавшему слово, мысль, понятие, рассуждение и закон.

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

Недостатком данного метода является многозначность слова «логика». В повседневной жизни, в популярной, общенаучной и философской литературе это слово используется в большом спектре значений. Оценки «логично» и «нелогично» могут использоваться для характеристики человеческих действий, оценки событий и т. п.

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

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

Значение логики состоит в следующем:

1) логика выступает важнейшим средством формирования убеждений (прежде всего научных). Эти убеждения опираются на доказательные процедуры своего представления и обоснования. Именно в этом плане логика применялась даже средневековыми схоластами, пытавшимися придать христианскому вероучению рациональную форму, что послужило формальной предпосылкой возникновения действительной науки, отказавшейся от теологических подходов;

2) формальная логика применяется в науке и технике. При этом техническими приложениями формальной логики являются: исчисление высказываний и исчисление предикатов. Без исчисления предикатов не могли появиться искусственные информационные языки, основа современной компьютерной техники. Традиционная формальная логика остается важнейшим логическим инструментом построения доказательств, обоснований во всех науках;

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

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