іншими предметами; все взагалі предмети можуть бути относимого в спільні з іншими предметами класи. Є класи, які обіймають невелика кількість предметів, але є класи, які обіймають велика кількість предметів, і саме тому, що це суть предмети з самими загальними подібностями. Ці класи речей у нашому мисленні отримують вираження у вигляді відомих понять. Такі поняття, які служать для позначення найзагальніших подібностей між предметами і Аристотель назвав категоріями. Слово В«категоріяВ» відбувається від грецького слова xatnyopew що значить висловлювати, бути присудком. Категорії для Аристотеля суть можливі предикати -якого одиничного предмета, тобто такі поняття, які можна висловити щодо того чи іншого одиничного предмета або класу предметів.
Ось ці категорії [6]:
1. Субстанція (substantia). p> 2. Кількість. (Quantitas),
3. Якість (qualitas)., p> 4. Ставлення (relatio). p> 5. Місце (ubi). p> 6. Час (quando). p> 7. Положення (situs);
8. Володіння (habitus);
9. Дія (actio). p> 10. Страждання (passio). p> Під ці десять категорій, на думку Аристотеля, підходить все те, що можна мислити. Якщо ми бажаємо висловити про ті чи інші речі небудь саме загальне, то ми не можемо про них висловити нічого іншого? крім того, що вони суть або субстанції, або що вони позначають якість, відношення, місце і т. п. Інших точок зору, крім тих, які містяться в категоріях, не існує. Таким чином, можна сказати, що категорії являють собою найбільш загальні класи всього мислимого.
Отже, розглянемо які види понять існують в сучасній логіці. На основі вивчення та аналізу літератури [7] можна скласти наступну зведену класифікацію.
Загальні, одиничні, порожні поняття . Обсяги понять можуть бути різними. Насамперед, не можна плутати поняття загальні і одиничні; їх відмінність в логічних властивостях не допускає однакового поводження з ними при виконанні операцій. У цілому ряді випадків для них діють різні правила. Загальні поняття охоплюють багато предметів. Причому "багато", як і множина в граматиці, починається з двох. Іншими словами, навіть якщо в обсязі тільки два явища або дві речі, то цього достатньо, щоб охоплює їх поняття вважати загальним. p> В«Так, "Полюс Землі" представляє собою загальне поняття, хоча полюсів всього два - північний і південний. Тим більше загальними є поняття "книга", "Ракета", "морський ссавець" - в обсязі кожного з них далеко не один предмет. Сама примітна риса цих понять полягає в наступному: те, що позначається про загальний, то одночасно може позначатися про кожному елементі з обсягу. Насамперед, для науки важливі загальні поняття; всі наукові основоположні формулюються з їх допомогою. Одиничні поняття, в відміну від загальних, охоплюють тільки один предмет. Такі "Атлантичний океан "," атомний криголам "Ленін", "Ейфелева вежа "," Цар-гармата ". У логіці розглядаються також порожні поняття. Вони мають нульовий об'єм: "вічний двигун", "Баба-Яга", "чотири, помножене на сонату Бетховена", "Підвищення продуктивності сільського господарства в Росії в результаті фермерізаціі В»[8]
Співвідносні і несоотносітельние поняття. Існує ціла група примітних в теоретичному відношенні явищ і предметів, а також позначають їх понять, які мисляться тільки парами; на їх логічне своєрідність свого часу вказав німецький філософ Гегель. Причина - наслідок, вчитель - учень, раб - пан, схід - захід. Одне не буває без іншого. Учитель, у якого немає і не було учнів, ніяк не може вважатися вчителем; рівним чином і учнів без вчителя не буває. Так само невід'ємно пов'язані і інші пари. Звичайно, можна відволіктися від того, що у причини є слідства, але тоді вона не причина, а просто подія. І батько може, зрозуміло, існувати і поза співвідношення з сином, але тоді він не батько, а чоловік взагалі. Більшість понять є несоотносітельнимі; для розкриття їх змісту не вимагається залучати якісь сполучені з ними, в деякому сенсі протилежні їм поняття.
Абстрактні і конкретні поняття. Будь-яке поняття, суворо кажучи, обов'язково є абстрактним в тому сенсі, що воно залишає в собі тільки найбільш важливі з якої точки зору ознаки і відкидає всі решта (абстрагується від них). Однак власне абстрактними прийнято називати такі поняття, у зміст яких входить небудь властивість або дію, - білизна, збудливість, демократичність, світність. Випадають з розгляду в цьому випадку самі речі, що є можливими носіями даних властивостей (абстрагуються, отже, від самих предметів). Такі поняття протиставляються конкретним, які, навпаки, відображають предмети і явища самі по собі.
Реєструючі і нерегістрірующіе поняття. Поділ понять на ці два види викликано розвитком математичної логіки і комп'ютеризацією. Тут мова йде про можливість хоча б в принципі перерахувати предмети, що входять в обсяг відповідного поняття. Залежно від цього змінюються властивості програм і алгоритмів, за допомогою яких ці обсяги обробляються. Якщ...
