Как бы выглядело для нас изучение мира, если бы мы не выделяли общие черты вещей, которые познаем? Представьте себе, чего бы стоило иметь отдельное представление о каждой вещи так, чтобы, обнаруживая другую похожую вещь, не осознавать ее похожесть? Именно способность выделять общее и необходимое исследовалось Эммануилом Кантом. Такие знания называются априорными, вне опыта, хотя и могут выделяться из него. Кант исследовал два вида суждений: аналитические (более априорные) и синтетические (менее априорные, больше связанные с личным опытом)...
в традиционной логике обычный способ выражения для одного из четырех ее логических законов (см. Закон логический), а именно – закона тождества. Вхождение в этом выражении буквы А несущественно и обязано, по-видимому, особенности латинского алфавита. Равным образом для выражения того же закона можно было бы писать В = В, С = С и т.д. В современной логике (см. Логика символическая) традиционная нотация не используется. В логике высказываний она заменяется формулами (A ≡ A) или (А ⊃ А), где А – произвольное высказывание, а «≡» и «⊃» – пропозициональные логические связки...