Индукция – от фактов к общему познанию. Дедукция - от общих утверждений к менее общим.
Понятие – смысл имени, выраженная в языке информация, позволяющая отличить предметы класса от предметов, которые в этот класс не входят. Это мысли особого вида. Понятие – это мысль, в которой обобщены в класс и выделены из некоторого множества предметы по системе признаков, общей только для этих выделенных предметов. Множество, из которого происходит выделение, называется универсумом рассуждения или родом. Логическая фформа понятия такова:
С – род, из которого выделяются понятия. А – отличительный признак предметов рода, подходящих под описываемое понятие. Языковая форма понятия – описательные имена. Неописательные имена выражают понятие только тогда, когда служат сокращением имен описательных.
Признак – это наличие или отсутствие свойства у предмета, а также наличие или отсутствие отношения между предметами. Признаки делятся на простые и сложные, положительные и отрицательные. Простой – не содержит логических терминов, кроме кванторных слов и может быть иодного знака отрицания. Остальные – сложные. Простые – положительные и отрицательные.
Понятия образуются для познавательных и практических целей.
Фактическое содержание понятия – система признаков, на основе которой произошло выделение класса понятия из рода.
Основное фактическое содержание – система признаков, на основе которой осуществлено обобщение и выделение предметов в понятии, рассматриваемая сама по себе. Полное фактическое содержание – основное содержание понятия с учетом имеющегося знания о связях признаков, по которым происходит обобщение, с другими признаками обобщаемых предметов.
Логическое содержание – это та информация, которую несет логическая форма мысли о системе признаков, на основе которой произошло обобщение предметов и выделение их из рода понятия.
Объем понятия – множество предметов, обобщаемых и выделяемых в понятии.
Фактический объем – класс предметов, обладающий фактической системой признаков, составляющей фактическое содержание понятия.
Логический объем – класс предметов, обладающий системой признаков, составляющий логическое содержание понятия.
Отдельные предметы – элементы объема понятия. Подклассы объема – части.
Закон обратного отношения содержания и объема понятий:
Пусть имеются два понятия, содержание первого из которых меньше содержания второго, тогда объем первого больше объема второго.
Виды понятий выделяются по:
1) Количественным характеристикам объема понятий – с пустым и непустым объемом
2) Типу обобщаемых предметов – собирательные и несобирательные, конкретные и абстрактные.
3) Характеру признаков, служащих основой для выделения, – положительные и отрицательные, относительные и безотносительные