Identitetslagen är principen om beständighet eller principen om bevarande av subjektet och semantiska betydelser av bedömningar (påståenden) i något känt eller underförstått sammanhang (avslutningsvis, bevis, teori) [1] . Det är en av den klassiska logikens lagar .
I resonemangsprocessen måste varje begrepp , bedömning användas i samma mening. En förutsättning för detta är möjligheten att särskilja och identifiera de aktuella föremålen [2] . En tanke om ett objekt måste ha ett bestämt, stabilt innehåll, oavsett hur många gånger den upprepas. Tänkets viktigaste egenskap - dess säkerhet - uttrycks av denna logiska lag [3] [4] [5] [6] .
För första gången [4] formulerades identitetslagen av Aristoteles i avhandlingen "Metaphysics" enligt följande:
”...att ha mer än en betydelse betyder att inte ha en enda betydelse; om ord inte har någon mening, så är all möjlighet att resonera med varandra, och faktiskt med sig själv, förlorad; för det är omöjligt att tänka på någonting om man inte tänker på en sak.
— Aristoteles, Metafysik [7]I formell logik uttrycks identitetslagen vanligtvis med formeln: är , eller , där någon tanke förstås av.
Symbolisk logik , när man konstruerar propositionskalkyler, arbetar med formler (läs som " antyder ") och ≡ (läs som " ekvivalent "), där:
Dessa formler motsvarar identitetslagen.
I predikatens logik uttrycks identitetslagen med formeln , det vill säga för alla är det sant att om den har egenskapen , så har den denna egenskap [8] .
Alla våra bekanta ändras varje år, men vi skiljer honom fortfarande från andra människor vi känner och inte känner (det finns en möjlighet till skillnad), eftersom han behåller huvuddragen som fungerar som desamma under hela vår bekantskaps liv (där är en möjlighet till identifiering). Det vill säga, i enlighet med Leibniz lag (som definierar begreppet identitet ), hävdar vi att vår bekantskap har förändrats. Men i enlighet med identitetslagen hävdar vi att detta är en och samma person, eftersom definitionen bygger på begreppet personlighet. Identitetslagen kräver att vi alltid använder samma uttryck (namn) för att beskriva samma begrepp. Således betraktar vi samtidigt ett objekt (bekant) på två olika abstraktionsnivåer . Möjligheten till särskiljning och identifiering bestäms i enlighet med lagen om tillräckligt skäl . I detta fall används vår sensoriska perception som en tillräcklig grund (se identifiering ).
Under en tankes identitet för sig själv i formell logik förstås identiteten för dess omfattning [6] . Detta innebär att istället för en logisk variabel kan tankar av olika specifikt innehåll ersättas med " är "-formeln om de har samma volym. Istället för den första i formeln " är ", kan vi ersätta begreppet "djur; ha en mjuk örsnibb" , och istället för den andra - begreppet "ett djur med förmågan att producera verktyg" (båda dessa tankar ur formell logiks synvinkel anses vara likvärdiga, omöjliga att skilja, eftersom de har samma volym , nämligen tecken som återspeglas i dessa termer, hänvisar endast till klassen av människor), och detta resulterar i en sann proposition "Ett djur med en mjuk örsnibb är ett djur med förmågan att producera verktyg" .
I matematisk logik är identitetslagen den identiskt sanna implikationen av en logisk variabel med sig själv [9] .
I algebra betraktas begreppet aritmetisk likhet mellan tal som ett specialfall av det allmänna begreppet logisk identitet. Det finns dock matematiker som, i motsats till denna synvinkel, inte identifierar symbolen " ", som förekommer i aritmetiken, med symbolen för logisk identitet; de anser inte att lika tal nödvändigtvis är identiska, och anser därför begreppet numerisk likhet som ett specifikt aritmetiskt begrepp. Det vill säga, de anser att själva faktumet av närvaron eller frånvaron av ett speciellt fall av logisk identitet bör bestämmas inom ramen för logiken. [10] .
När identitetslagen ofrivilligt kränks, av okunnighet, uppstår logiska fel, som kallas paralogismer ; men när denna lag medvetet kränks, i syfte att förvirra samtalspartnern och bevisa för honom någon falsk tanke, då uppstår fel, kallade sofismer [4] .
Om lagen om identitet överträds är följande fel möjliga:
Logikens lagar | ||||||
---|---|---|---|---|---|---|
Lagar |
| |||||
Lagars principer och egenskaper |
|