Логика(от греч. logos - мысль, речь, разум) - это наука о законах и формах мышления, направленная на познание объективного мира. Одной из основных задач логики является – поиск истины, т.е. она изучает не всякое мышление, а лишь те мыслительные процессы, которые направлены на обнаружение и обоснование истины, на поиск путей преодоления трудностей, возникающих в профессиональной деятельности и в повседневной жизни.
Слово «логика» в русском языке имеет несколько значений. Во-первых, это необходимая, закономерная последовательность событий, связь последующего с предыдущим. В этом смысле, слово «логика» входит составной частью в название многих наук и говорит о том, что они исследуют законы предметного, естественного мира. Во-вторых, это последовательное, взаимосвязанное рассуждение – логика рассуждения. В-третьих, логика это наука о формах и законах мысли, наука о мышлении, т.е. она имеет философский окрас.
Логика - это наука о структуре форм мысли, о простейших мыслительных методах, о законах связи форм мысли между собой, а также и об ошибках, возможных при нарушении этих законов. Специфика логики в том, что она изучает свойства форм мысли, отвлекаясь от того конкретного содержания, которое несут эти формы мысли; она изучает их со стороны структуры, т.е. внутренней закономерной связи составляющих форму мысли элементов. Формальная логика отвлекается от истории развития форм мысли и изучает только законы их внутреннего строения и их связи между собой. Эти формы (понятие, суждение, умозаключение) исторически существенно изменяют свое содержание, но для логики они остаются неизменными, постоянными. Например, и для античности, и для современности «понятие», жестко структурированная на объем и содержание, неизменная не по содержанию, а по своей конструкции, структуре форма мысли. Содержание понятий зависит от уровня развития науки и культуры - зачастую меняется до противоположного.
Мысли сами по себе не существуют в вещественном виде в окружающей природе, да и в голове человека их не найти. Вне головы мысли воплощаются, находят материальное выражение в словах, в продуктах человеческого труда, всей человеческой деятельности. Поэтому изучение мышления предполагает исследование не только соотношение мыслей и языка, но и соотношение с предметной действительностью, с практикой, деятельностью. Все эти соотношения логика не изучает, эта проблематика выходит за рамки ее предмета, а их изучает философия. Предмет логики - структура форм мысли и законы связи мыслей между собой.
Каждая наука имеет собственный предмет исследования, собственную методологию, свои цели и задачи, свою структуру и свое определенное место в системе наук, свое значение. Специфика предмета логики очевидна. Логика изучает формы мысли, существующие сами по себе, независимо от средств (знаковых систем), в которых мысль выражается и от предметов, которые мысленно отражаются. Но эта особенность форм мысли является существенной трудностью – логика как бы оторвана от действительности, она носит отвлеченный, абстрактный характер. Очень часто отождествляют или подменяют мысль реальным предметом, который её лишь отражает и в этом заключается основная ошибка. В действительности, мысль сама по себе, в какой бы форме не проявлялась, остается качественно отличной и от предмета, и от слова.
Мысль – отражение реальных предметов, явлений и свойств, которые им присущи, но реальные вещи – объективны, а мысли идеальны и они не выразимы сами по себе, а выражаются в знаковой системе. Освоить логику сможет только тот, кто научится отличать мысль от реальных предметов. Таким образом, специфика предмета формальной логики в том, что формы мысли идеальны, их невозможно непосредственно наблюдать, её можно исследовать только мысленно.
Логика помогает строить правильно мысли, верно, их излагать, отстаивать свои убеждения, избегать ошибок при рассуждении. По содержанию человеческое мышление многообразно, он может думать о чем угодно, но главное в том, что мысли возникают и строятся по одним и тем, же законам, укладываются в одни и те, же формы, которых не так уж и много. Если рассмотреть разные по содержанию суждения, то можно заметить, что их объединяет не что общее, а именно форма. «Все волки - это хищники», «Все люди - это разумные существа» и «Все берёзы – это деревья» - три совершенно разные по содержанию суждения, но форма у них одна и та же: «Все А – это В», где А и В какие-либо предметы.
Кроме форм мыслительного процесса - понятия, суждения и умозаключения, предметом логики так же являются: законы, которым подчиняется мышление в процессе познания объективного мира; способы доказательства истинности полученных знаний; методы получения нового выводного знания - сходства, различия сопутствующих изменений, остатков и др.. Логика, как и философия в целом, выполняет по отношению к другим наукам методологическую роль своим учением об общенаучных (общечеловеческих) формах и методах мышления.