Մասնակից:Annie9302/Ավազարկղ

Ինքնության օրենքը հիմնարար սկզբունք է տրամաբանության և փիլիսոփայության մեջ: Այն նշում է, որ յուրաքանչյուր բան նույնն է իր հետ և տարբերվում է մյուսից: Այլ կերպ ասած, ինչ-որ բան նույնական է ինքն իրեն և նույնական չէ որևէ այլ բանի հետ: Այս սկզբունքը կազմում է ռացիոնալ մտածողության և տրամաբանական դատողության հիմքը:

Պատմություն խմբագրել

Հին փիլիսոփայություն խմբագրել

Օրենքի ամենավաղ գրանցված օգտագործումը, ըստ երևույթին, տեղի է ունեցել Պլատոնի «Theaetetus» երկխոսության մեջ , որտեղ Սոկրատեսը փորձում է հաստատել, որ այն, ինչ մենք անվանում ենք «հնչյուններ» և «գույներ», իրերի երկու տարբեր դասեր են^[1]^[2]։

Միջնադարյան փիլիսոփայություն խմբագրել

Արիստոտելը կարծում էր, որ ոչ հակասության օրենքը ամենահիմնական օրենքն է: Ե՛վ Թոմաս Աքվինացին , և՛ Դունս Սքոտուսը այս առումով հետևում են Արիստոտելին։

Նույն սկզբունքի վերաբերյալ մեկ այլ հնարավոր ակնարկ կարելի է գտնել Նիկոլայ Կուսացու (1431–1464) աշխատություններում, որտեղ նա ասում է.

Չի կարող մի քանի բան լինել միանգամայն նույնը, քանի որ այդ դեպքում մի քանի իր չէր լինի: Հետևաբար, բոլոր իրերը և՛ նույն են, և՛ տարբերվում են միմյանցից:

- Forschung nach der Gewissheit in der Erkenntniss der Wirklichkeit, Leipzig, J.G. Findel, 1869 and Denken und Wirklichkeit: Versuch einer Erneuerung der kritischen Philosophie, Leipzig, J. G. Findel, 1873.

Ժամանակակից փիլիսոփայություն խմբագրել

Գոթֆրիդ Վիլհելմ Լայբնիցը պնդում էր, որ ինքնության օրենքը, որը նա արտահայտում է որպես՝ «Ամեն ինչ այն է, ինչ կա», բանականության առաջին պարզունակ ճշմարտությունն է, իսկ ոչ հակասության օրենքը առաջին բացասական ճշմարտությունն է^[3]։ Ինքնության օրենքը որպես գիտելիքի հիմնարար օրենք հակադրվում է էմպիրիկ իրականության փոփոխվող տեսքին: Այն Ռանդի օբյեկտիվիզմում ինքնության օրենքը օգտագործվում է գոյության հայեցակարգի հետ՝ եզրակացնելով, որ գոյություն ունեցողը ինչ-որ բան է^[4]։ Տրամաբանությունը օբյեկտիվիստական իմացաբանության մեջ հիմնված է տրամաբանության երեք օրենքների վրա ^[5]։

Ժամանակակից փիլիսոփայություն խմբագրել

Թվաբանության հիմունքներում Գոթլոբ Ֆրեգեն թիվ մեկը կապում է ինքնին նույնական լինելու հատկության հետ: Ֆրեգեի «Իմաստի և հավասարության մասին»^[6] աշխատությունը սկսվում է հավասարության և իմաստի վերաբերյալ քննարկումով։ Ֆրեգեն զարմացավ, թե ինչպես կարող է «a = a» ձևի ճշմարիտ պնդումը, որը ինքնության օրենքի չնչին օրինակ է, տարբերվել «a = b» ձևի ճշմարիտ հայտարարությունից, որը գիտելիքի իրական ընդլայնումն է։

Վերլուծական փիլիսոփայության ֆորմալ տրամաբանության մեջ ինքնության օրենքը գրված է «a = a» կամ «Բոլոր x-ի համար x = x», որտեղ a-ն կամ x-ը վերաբերում են ոչ թե դրույթին, այլ տերմինին, հետևաբար, ինքնության օրենքը առաջարկային տրամաբանության^[7] մեջ չի օգտագործվում: Դա այն է, ինչ արտահայտվում է հավասարության նշանով «=»՝ ինքնություն կամ հավասարություն հասկացությունը։

Ժամանակակից տրամաբանություն խմբագրել

Առաջին կարգի տրամաբանության մեջ ինքնությունը (կամ հավասարությունը) ներկայացված է որպես պրեդիկատ, կամ հարաբերություն: Ինքնությունը կապ է անհատների հետ: Դա դրույթների միջև հարաբերություն չէ և չի վերաբերում դրույթների իմաստին, ոչ էլ անհասկանալիությանը: Տրամաբանության մեջ կան ինքնությունը կարգավորելու տարբեր ձևեր: Ինքնության հետ առաջին կարգի տրամաբանության մեջ ինքնությունը դիտարկվում է որպես առաջարկային տրամաբանական^[8] հաստատուն, և դրա աքսիոմները բուն տրամաբանության մաս են կազմում: Այս կոնվենցիայի համաձայն, ինքնության օրենքը տրամաբանական ճշմարտություն է: Առանց ինքնության առաջին կարգի տրամաբանության մեջ ինքնությունը վերաբերվում է որպես մեկնաբանելի պրեդիկատ, և դրա աքսիոմները տրամադրվում են տեսության կողմից:

Տես նաև խմբագրել

Rectification of names

Հղումներ խմբագրել

↑ Wang, Hao (2016). «From Mathematics to Philosophy (Routledge Revivals)». Routledge – via Google Books.
↑ Thomas, Ivo (1 April 1974). «On a passage of Aristotle». Notre Dame J. Formal Logic. 15 (2): 347–348. doi:10.1305/ndjfl/1093891315 – via Project Euclid.
↑ Curley, E. M. (October 1971). «Did Leibniz State "Leibniz'Law"?». The Philosophical Review. 8 (4): 497–501.
↑ Ayn., Rand. For The new Intellectual. OCLC 969408226.
↑ «UNIFORM ABBREVIATIONS OF WORKS BY AYN RAND», Concepts and Their Role in Knowledge, University of Pittsburgh Press, էջեր 269–270, Վերցված է 2021-09-01-ին.
↑ «Sense and reference» (անգլերեն). 2023-06-11. {{cite journal}}: Cite journal requires |journal= (օգնություն)
↑ «Propositional calculus» (անգլերեն). 2023-07-01. {{cite journal}}: Cite journal requires |journal= (օգնություն)
↑ «Propositional calculus» (անգլերեն). 2023-07-01. {{cite journal}}: Cite journal requires |journal= (օգնություն)

[1] Wang, Hao (2016). «From Mathematics to Philosophy (Routledge Revivals)». Routledge – via Google Books.

[2] Thomas, Ivo (1 April 1974). «On a passage of Aristotle». Notre Dame J. Formal Logic. 15 (2): 347–348. doi:10.1305/ndjfl/1093891315 – via Project Euclid.

[3] Curley, E. M. (October 1971). «Did Leibniz State "Leibniz'Law"?». The Philosophical Review. 8 (4): 497–501.

[4] Ayn., Rand. For The new Intellectual. OCLC 969408226.

[5] «UNIFORM ABBREVIATIONS OF WORKS BY AYN RAND», Concepts and Their Role in Knowledge, University of Pittsburgh Press, էջեր 269–270, Վերցված է 2021-09-01-ին.

[6] «Sense and reference» (անգլերեն). 2023-06-11. {{cite journal}}: Cite journal requires |journal= (օգնություն)

[7] «Propositional calculus» (անգլերեն). 2023-07-01. {{cite journal}}: Cite journal requires |journal= (օգնություն)

[8] «Propositional calculus» (անգլերեն). 2023-07-01. {{cite journal}}: Cite journal requires |journal= (օգնություն)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]