2. Формы мыслительного процесса - понятия, суждения и умозаключения.

3. Методы получения нового выводного знания - сходства, различия сопутствующих изменений, остатков и другие.

4. Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д.

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