Словарь логики

(от лат. individuum - неделимое) — единичное как противоположность совокупности, массе; отдельное живое суще­ство, особь, отдельный человек, в отличие от стада, группы, коллек­тива. В логике И. называют любой объект, обозначаемый еди­ничным, или собственным, именем. Логические формальные   исчисления, содержащие общие и экзистенциальные предложе­ния, обычно предполагают существование непустой области к.-л. индивидуальных предметов - индивидов, к которым относятся утверждения формальной системы. Природа И. для логики безраз­лична, требуется только, чтобы они отличались один от другого и чтобы каждый И. обозначался одним именем.