Огюст Роден, скульптура "Мыслитель", 1903

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

Понятие - это отражение предмета или явления в обобщённой форме. В определении каждого понятия отражаются общие и специфические признаки предмета. Например, при определении понятия квадрат мы выделяем его общий признак - плоская геометрическая фигура - и специфический признак - равносторонний прямоугольник. По такому принципу устроены, например, все толковые словари. 

Понятия вступают в разные типы отношений.

1) Тождество, или полное совпадение, если содержание понятия А полностью соответствует содержанию понятия В:

первый космонавт (А) - Юрий Алексеевич Гагарин (В)

столица Российской Федерации (А) - Москва (В)

2) Подчинение, если содержание более широкого по смыслу понятия А включает в себя содержание более узкого по смыслу понятия В:

юрист (А) - адвокат (В)

школа (А) - школа "НИКА" (В)

3) Соподчинение, если понятия В и С, не имеющие общих элементов, включаются в более широкий объём понятия А:

берёза (В) и дуб (С) входят в общее понятие дерево (А) 

троллейбус (В) и трамвай (С) относятся к общему понятию транспорт (А) 

4) Пересечение, или частичное совпадение, если объёмы понятиа А и В пересекаются, но полностью не совпадают:

часть студентов (А) является спортсменами (В), следовательно, некоторые спортсмены (В) являются студентами (А)

5) Противоречие, или контрадикторность, если речь идёт о взаимоисключающих понятиях А и не-А: 

белый (А) и небелый (не-А)

школа (А) и не школа (не-А)

6) Противоположность, или контрарность, если понятия А и В являются антонимичными:

белый (А) и чёрный (В)

Для наглядного изображения отношений меду понятиями используются круги Эйлера (или диаграммы Эйлера). Они применяются в логике, в математике и в менеджменте для отображения отношений между множествами (подмножествами). Впервые геометрическое изображение логических операций предложил немецкий философ Готфрид Вильгельм Лейбниц, а развил эту идею Леонард Эйлер, швейцарско-российский учёный-энциклопедист.