Загальна характеристика поняття
В формальній логіці вважається, що елементарною формою мислення є поняття. Поняттям називається така форма мислення, в якій виражаються предмети, явища, процеси, ознаки, а також відношення.
Наприклад, «людина», «праця», «світ» - це поняття, які виражають предмети. «Червоний», «прекрасне», «бути людиною» - ці поняття виражають ознаки. «Більше», «менше», «старший», «молодший»- в цих поняттях виражені певні відношення.
Головні характеристики поняття в формальній логіці - це зміст та об'єм. Під змістом поняття мається на увазі сукупність ознак, які мисляться в даному понятті. Ніяке поняття не може мислитися інакше, як через певні ознаки. Адже ознаки - це те, за допомогою чого один предмет відрізняють від іншого, або завдяки чому предмети вважаються подібними.
Ще Арістотель звернув увагу, що не всі ознаки предмета є для нас однаково важливими. Він поділив їх на істотні, та неістотні. До істотних ознак він відносив ознаки роду (для людини це буде приналежність до тваринного світу) та видової відмінності (для людини, скажімо, це здатність до мислення). Поєднання ознак роду, та видової відмінності дає ще одну істотну ознаку - виду (людина - мисляча істота).
Об'єм поняття - це ті предмети, які охоплюються даним поняттям. Так об'єм поняття «людина», наприклад, складуть всі люди, які колись існували, існують зараз і ті, які коли-небудь будуть існувати. Під предметом поняття мається на увазі будь-який його елемент, те що відображається в понятті.
4.2.