к - спосіб сатиричного зображення життя, що відрізняється різким перебільшенням, поєднанням реального і фантастичного ".
Ознака, який вказує на той крутий предметів, з числа яких потрібно виділити обумовлений безліч предметів, називається родовим ознакою, або родом. У наведених вище прикладах це "прилад", "багатокутник", "спосіб сатиричного зображення життя ". Ознаки, за допомогою яких виділяється обумовлений безліч предметів з числа предметів, відповідних пологовому поняттю, називаються видовим відзнакою (їх може бути один або декілька).
Різновидом визначення через рід і видову відмінність є генетичне визначення, в якому вказується спосіб утворення тільки даного предмета. Наприклад: "кислотами називаються складні речовини, які утворюються з кислотних залишків і атомів водню, здатних замішаних атомами металів або обмінюватися на них ":" корозія металів - це окислювально-відновний процес, що утворюється в результаті окислення атомів металу ". Багато генетичних визначень в математиці, до їх числа відносяться такі, як "циліндр обертання", "конус обертання ".
Визначення через найближчий рід і видову відмінність і генетичні визначення входять в клас реальних визначень, бо вони визначаю саме поняття, наприклад, "інформатика", "Трикутник", "кислота" та ін До явних відносяться і номінальні визначення. Останні дають визначення терміна, який позначає поняття, або вводять знаки, що замінюють поняття (зазвичай в свій склад вони включають слово "називається"). Вони часто зустрічаються в математиці. Наприклад: "конус називається круговим, якщо підставу його - коло ";" Пряма, що з'єднує вершину конуса і центр підстави, називається віссю конуса ". Номінальними визначеннями, вводяшімі знаки, є наступні: "g - прискорення вільно падаючого тіла", "m - маса тіла", "знак v позначає строгу диз'юнкцію "і т.п. У наведених вище прикладах визначення (1). (3) - реальні, а визначення (2), (4) і (5) - номінальні.
Щоб визначення було правильним, треба дотримуватися таких правил.
Правила явного визначення. Помилки, можливі у визначенні
1. Визначення повинно бути відповідним, тобто Обсяг визначає поняття повинен дорівнювати обсягу визначається поняття. Dfd = Dfn. p> Це правило часто порушується, в результаті чого у визначенні виникають логічні помилки. Типи цих логічних помилок:
А. Широке визначення, коли що б поняття за обсягом ширше, ніж визначається поняття Dfd Поняття "Окружність" неправильно визначається так: "це фігура, яка описується рухомим кінцем відрізка, коли інший його кінець закріплений, або фігура, яка утворена рухомим кінцем циркуля ". За допомогою цього визначення не можна відрізнити поняття "окружність" від поняття "дуга", так як не вказано, що окружність - це крива замкнута я лінія.
Наведемо приклад з історії філософії. Давньогрецький...