Az identitás törvénye

Az azonosság törvénye az  állandóság elve vagy az ítéletek (állítások) alanya és szemantikai jelentésének megőrzésének elve valamilyen ismert vagy ráutaló kontextusban (befejezésül, bizonyításban, elméletben) [1] . Ez a klasszikus logika egyik törvénye .

Az érvelés során minden fogalmat , ítéletet ugyanabban az értelemben kell használni. Ennek előfeltétele a szóban forgó objektumok megkülönböztetésének és azonosításának lehetősége [2] . Egy tárgyról szóló gondolatnak határozott, stabil tartalommal kell rendelkeznie, akárhányszor ismétlődik. A gondolkodás legfontosabb tulajdonságát - bizonyosságát  - ez a logikai törvény fejezi ki [3] [4] [5] [6] .

Az azonosság törvényét először [4] Arisztotelész a „Metafizika” című értekezésében fogalmazta meg a következőképpen:

„...egynél több jelentéssel bírni azt jelenti, hogy nincs egyetlen jelentése; ha a szavaknak nincs jelentésük, akkor elvész minden lehetőség, hogy egymással, sőt saját magunkkal is érveljünk; mert lehetetlen bármire is gondolni, ha az ember nem gondol egy dologra.

A formális logikában az azonosság törvényét általában a következő képlettel fejezik ki: van , vagy , ahol bármely gondolat érthető.

A szimbolikus logika propozíciós kalkulusok megalkotásakor képletekkel működik (értsd: „ implikálja ”) és ≡ (értsd: „ egyenértékű ”), ahol:

•  - bármilyen kijelentés
• « » — implikációs jel ;
• A "≡" egy ekvivalenciajel .

Ezek a képletek megfelelnek az azonosság törvényének.

A predikátumok logikájában az azonosság törvényét a formula fejezi ki , vagyis mindenkire igaz, hogy ha rendelkezik a tulajdonsággal , akkor ez a tulajdonsága [8] .

Alkalmazás

A mindennapi életben

Bármelyik ismerősünk évről évre változik, de ettől függetlenül megkülönböztetjük őt az általunk ismert és nem ismert emberektől (lehetőség van a megkülönböztetésre), mert megőrzi azokat a fő vonásokat, amelyek ugyanúgy működnek ismerősünk élete során (ott az azonosítás lehetősége ). Vagyis Leibniz törvényének megfelelően ( az identitás fogalmát meghatározva ) azt állítjuk, hogy ismeretségünk megváltozott. Az identitás törvényével összhangban azonban azt állítjuk, hogy egy és ugyanarról a személyről van szó, mivel a meghatározás a személyiség fogalmán alapul. Az azonosság törvénye megköveteli, hogy mindig ugyanazt a kifejezést (nevet) használjuk ugyanazon fogalom leírására. Így egyszerre tekintünk egy objektumot (ismerősnek) az absztrakció két különböző szintjén . A megkülönböztetés és azonosítás lehetőségét az elégséges ok törvénye szerint határozzák meg . Ebben az esetben érzékszervi észlelésünk kellő alapként szolgál (lásd azonosítás ).

A jogtudományban

Formális logikában

A formális logikában egy gondolat önmaga azonossága alatt a hatókör azonosságát értjük [6] . Ez azt jelenti, hogy a logikai változó helyett a különböző konkrét tartalmú gondolatok behelyettesíthetők a „ van ” képletbe , ha azonos térfogatúak. Az „ is ” képletben az első helyett helyettesíthetjük az „állat; puha fülcimpája van" , és a második helyett az "szerszámok előállítására képes állat" fogalma (a formális logika szempontjából mindkét gondolat egyenértékűnek, megkülönböztethetetlennek tekinthető, mivel azonos térfogatúak , nevezetesen az ezekben a kifejezésekben tükröződő jelek csak az emberek osztályára vonatkoznak), és ez egy igaz tételt eredményez: „A puha fülcimpájú állat olyan állat, aki képes szerszámokat előállítani” .

A matematikában

A matematikai logikában az azonosságtörvény egy logikai változó önmagával azonosan igaz implikációja [9] .

Az algebrában a számok aritmetikai egyenlőségének fogalmát a logikai azonosság általános fogalmának speciális eseteként tekintjük. Vannak azonban matematikusok, akik ezzel a nézőponttal ellentétben nem azonosítják az aritmetikában előforduló " " szimbólumot a logikai azonosság szimbólumával; nem tartják azt, hogy az egyenlő számok szükségszerűen azonosak, ezért a numerikus egyenlőség fogalmát kifejezetten aritmetikai fogalomnak tekintik. Vagyis úgy vélik, hogy a logikai azonosság speciális esetének meglétének vagy hiányának tényét a logika keretein belül kell meghatározni. [10] .

Az azonosság törvényének megsértése

Ha az azonosság törvényét önkéntelenül, tudatlanságból megsértik, akkor logikai hibák lépnek fel, amelyeket paralogizmusoknak neveznek ; de amikor ezt a törvényt szándékosan megsértik, azzal a céllal, hogy a beszélgetőpartnert megzavarják és téves gondolatokat bizonyítsanak neki, akkor tévedések jelennek meg, amelyeket szofizmusoknak neveznek [4] .

Ha megsértik az azonosság törvényét, a következő hibák lehetségesek:

1. Az Amphibolia (a görög ἀμφιβολία szóból  - kétértelműség, kétértelműség) egy logikai hiba, amely a nyelvi kifejezések kétértelműségén alapul. Például: „Helyesen mondják, hogy a nyelv Kijevbe visz. Tegnap vettem füstölt nyelvet. Most már nyugodtan mehetek Kijevbe.” Ennek a hibának egy másik neve „ tézishelyettesítés ”.
2. Az ekvivokáció ( latin  aequivocatio  - egyenlő hang, kétértelműség) logikai hiba az érvelésben, amely ugyanazon szó különböző jelentésű használatán alapul. A kiegyensúlyozást néha retorikai művészi eszközként használják. A logikában ezt a technikát "fogalomhelyettesítésnek" nevezik.
3. Logomakhia ( görögül λόγος  - szó és μάχη - csata, csata) - vita a szavakkal kapcsolatban, amikor a beszélgetés során a résztvevők nem tudnak közös álláspontra jutni, mivel nem tisztázták az eredeti fogalmakat.

Jegyzetek

1. ↑ Új filozófiai enciklopédia . - Moszkva: Gondolat, 2000-2001. Archiválva : 2019. március 13. a Wayback Machine -nél
2. ↑ Filozófiai szótár / Szerk. I. T. Frolova. - Val vel. 371
3. ↑ Kirillov, V. I., Starchenko, A. A. Logic - p. 113-116
4. ↑ 1 2 3 Gusev, D. A., A logika rövid kurzusa. - Val vel. 110-115
5. ↑ Boyko, A.P. Logic – p. 68
6. ↑ 1 2 Gorsky D.P. Tavanets P.V. Logic. - Val vel. 269
7. ↑ Világfilozófiai antológia, 1. kötet - p. 415
8. ↑ - p. 113
9. ↑ Edelman, 1975 , p. 21.
10. ↑ Tarsky, A. Bevezetés a deduktív tudományok logikájába és módszertanába - p. 48

Irodalom

• Kirillov V. I. Starchenko A. A. Logika. - M . : Felsőiskola, 1982. - 264 p. — 100.000 példány.
• Arisztotelész. Metafizika // A világfilozófia antológiája négy kötetben. - M . : Gondolat, 1969. - T. 1. - 936 p. - 35.000 példány.
• Gusev D. A. A logika rövid kurzusa. - M. : NTs ENAS, 2003. - 190 p. — ISBN 5-93196-357-X .
• Filozófiai szótár / Szerk. I.T.Frolova.. - 4. kiadás. - M . : Politizdat, 1981. - 445 p. - 700 000 példány.
• Boyko A.P. Logic. - M . : Új iskola, 1994. - 80 p. — 50.000 példány.  — ISBN 5-7301-0053-1 .
• Vinogradov S. N. Kuzmin A. F. Logika. - nyolcadik kiadás. - M .: Uchpedgiz RSFSR, 1958. - 176 p. - 800 000 példányban.
• Tarsky A. Bevezetés a deduktív tudományok logikájába és módszertanába. - M . : Szerk. Inost. Irodalom, 1948. - 326 p.
• Gorsky D.P. Tavanets P.V. Logic. - M . : Politizdat, 1956. - 280 p. - 75.000 példány.
• Edelman S. L. Matematikai logika. - M . : Felsőiskola, 1975. - 176 p.

Linkek

• Az azonosság törvénye és a számítógép története