Спор бывает трех видов: научная и деловая дискуссия и полемика.

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

Понятие сложных суждений неразрывно связано с конъюнкцией, дизъюнкцией, импликацией, эквиваленцией и отрицанием.

Это так называемые логические связки. Они используются в качестве объединяющего звена, привязывающего одно простое суждение к другому. Именно так образуются сложные суждения. То есть сложные суждения – это суждения, созданные из двух простых.

 Силлогизм – это выведение следствия, заключения из определенных посылок. Силлогизм бывает простым, сложным, сокращенным и сложносокращенным.

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

Понятие – это форма мышления, отражающая предметы и явления в их существенных признаках.

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

К законам логики некоторые авторы относят также и так называемые равносильности. Равносильными называют высказывания, которые являются одновременно истинными или одновременно неистинными.

Предмет логики неразрывно связан с такими понятиями, как познание, мышление, логические формы и логические законы.

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

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

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