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