Закон тотожності формулюється так: будь-яка думка про предмет у процесі даного міркування тотожна сама собі, скільки б разів вона не повторялась.
Думка тотожна сама собі тоді, коли вона стосується одного й того ж предмета і її зміст залишається одним і тим же, скільки разів вона висловлюється. Якщо ж зміст думки змінюється або вона відноситься до іншого предмета, то така думка не може вважатися тією ж самою, тотожною самій собі, це буде уже інша думка.
Закон тотожності у вигляді формули записується так: А є А, або А = А.
У математичній логіці закон тотожності записується такими формулами, що є аналогом змістовного закону тотожності, котрий вивчається загальною формальною логікою:
Об'єктивною основою закону тотожності, його джерелом є якісна визначеність предметів і явищ зовнішнього світу. Як відомо, речі та явища реальної дійсності перебувають у безперервному процесі руху та змін. Але кожна річ, зазнаючи змін до певного часу, лишається саме тією річчю, а не іншою, має якісну визначеність, яка робить річ тим, чим вона е, і відрізняє її від усіх інших речей. Ця загальна властивість усіх предметів і явищ об'єктивної дійсності, зафіксована багатовіковою практикою, закріпилась у мисленні у вигляді закону тотожності. У відповідності до того, як кожна річ володіє якісною визначеністю, і кожна думка, яка відображає ту чи іншу річ, теж має бути визначеною.
Зміст закону тотожності полягає в таких його вимогах:
1. У процесі міркування про якийсь предмет необхідно мислити саме цей предмет і не можна підміняти його іншим предметом думки.
Так, якщо ми обговорюємо Петренка, якийсь його вчинок, то ми маємо обговорювати Петренка, а не когось іншого, і саме цей його вчинок, а не якийсь інший. Закон тотожності вимагає, щоб у процесі міркування було виділено предмет міркування і цей предмет не підмінявся якимсь іншим предметом думки даної предметної області.
Предметна область — це коло предметів, у складі якого перебуває виділений нами предмет; область предметів, у рамках якої визнаються дані, що мають смисл, закони і правила логіки.
Закон тотожності не забороняє переходити від одного предмета думки до другого, від одного обговорення питання — до другого питання, він тільки забороняє підміняти один предмет думки другим предметом, одне питання другим питанням. Якщо ми розпочали розмірковувати про що-небудь, ми повинні протягом усього розмірковування мати на увазі саме цей предмет думки, а не якийсь інший. Звичайно, для того щоб скласти правильне уявлення про обговорюваний предмет, необхідно розглянути й інші його сторони або інші предмети, з ним пов'язані, але обговорення однієї сторони предмета не може бути незліченим, оскільки несумісне підмінене міркування про іншу його сторону або про інший предмет.
2. У процесі міркування, у суперечці або дискусії поняття мають уживатися в одному й тому ж значенні. Думка тотожна сама собі, якщо вона однозначна.
Закон тотожності не допускає вживання поняття всередині якогось міркування у різному значенні. Поняття, якими ми користуємося, мають уживатися протягом усього розмірковування, скільки б вони не траплялися в одному й тому ж значенні, зберігати незмінно свій обсяг і свій зміст. Якщо ж поняття й терміни вживаються у процесі міркування неоднозначно, то мислення стає невизначеним, процес мислення у таких випадках не досягає мети. "...Справді,— писав Аристотель,— мати не одне значення — означає не мати жодного значення, якщо ж у слова немає (визначених) значень, тоді втрачена усіляка можливість розмірковувати один з одним, а насправді і з самим собою".
Закон тотожності не можна розуміти у тому розумінні, нібито будь-яке поняття має незмінно зберігати свій раз і назавжди даний зміст і обсяг. Закон тотожності не стверджує, що поняття не залишаються незмінними, вони уточнюються, розвиваються, замість одних понять виробляються інші. Але кожне поняття на певному етапі розвитку знання має певний зміст. Визначеність змісту поняття зумовлена якісною визначеністю відображуваного цим поняттям предмета. Тому всіляке поняття в одному й тому ж розмірковуванні повинне мати одне визначене значення, має бути тотожним самому собі.
Порушення вимог закону тотожності призводить до того, що мислення стає невизначеним, неточним, двозначним, плутаним. Таке мислення не може вести до істини, не здатне правильно відобразити дійсність.
Найчастіше трапляються помилки при порушенні закону тотожності: підміна або сплутування понять.
Сплутування понять у логічному відношенні е ототожнювання відмінного. Ця помилка має місце тоді, коли різні за змістом поняття приймаються за тотожні.
Суб'єктивно сплутування понять відбувається часто через неточне знання змісту вживаних понять, коли розмірковуючому здається, що між поняттями, уживаними ним, немає ніякої різниці, що вони належать до одного й того ж предмета, мають один і той же зміст і відрізняються один від одного тільки мовним висловом; але насправді вони різні. Сплутування понять може мати місце і в тому випадку, коли в науці відсутні точно вироблені визначення тих чи інших понять. Сплутуванню понять сприяє також наявність у природній мові омонімів, слів, що виражають не одне, а кілька понять. Штучні мови у цьому відношенні мають перевагу, оскільки для кожного знака в них установлюється чітка однозначність.
Виходячи з цього, можна висловити вимоги закону тотожності такою формулою: не можна ототожнювати різні думки і не можна тотожні думки розглядати як нетотожні, відмінні. Як нелогічне ототожнювання відмінного, так нелогічне і розрізнення тотожного.
6.4. Закон виключеного третього
6.5. Закон достатньої підстави
6.6. Значення законів логіки для судового дослідження
Розділ 7 УМОВИВІД. БЕЗПОСЕРЕДНІ УМОВИВОДИ
7.1. Загальна характеристика умовиводів
7.2. Безпосередні умовиводи
Розділ 8 ДЕДУКТИВНІ УМОВИВОДИ
8.1. Загальна характеристика дедуктивних умовиводів
8.2. Категоричний силогізм, його визначення і склад