Leibnizโs Law: Identity of Indiscernibles
๋ณธ ๊ธ์ 2020-1ํ๊ธฐ ํฌํญ๊ณต๋ ์ด์ถฉํ ๊ต์๋์ โ์๊ณต๊ฐ๊ณผ ๋ฌผ์ง์ ์ฒ ํโ ์์ ์ ์ฝ๊ธฐ์๋ฃ์ ๋ด์ฉ์ ์ ๋ฆฌํ ๊ฒ์ ๋๋ค. ๋ฌผ๋ฆฌํ๋๋ ์๋์ง๋ง ์์ ์ ๋ณธ์ง์ ๋ค๊ฐ๊ฐ๊ณ ์ ์ด๋ ๊ฒ ๋ฌธ์ํํ๋ก ์ ๋ฆฌํด๋ก๋๋ค. ์ง์ ์ ์ธ์ ๋ ํ์์ ๋๋ค :)
Leibnizโs Law: Identity of Indiscernibles
โLeibnizโs Lawโ๋ ์กด์ฌ๋ก (Ontology)์์ โ๋ ๋ฌผ์ฒด๋ฅผ ๊ตฌ๋ถํ๋ ๊ธฐ์คโ์ ๋ํด ์ ์ํ๋ค.
์ฌ์ค ์ฐ๋ฆฌ๊ฐ ์๊ฐํ ๋, ์ ๋ง ๋น์ฐํ ๊ฒ์ ์ํ์ ์ผ๋ก ๊ธฐ์ ํ ์๋ฆฌ๋ค.
Leibnizโs Law๋ ์๋์ ๊ฐ์ด ๊ธฐ์ ๋๋ค.
ํ์ง๋ง, ์์ ๋ช ์ ๋ณด๋ค๋ ์๋์ ๋ช ์ ๊ฐ ๋ ์ฝ๊ฒ ์๋ฟ๋๋ค.
For example, itself is identical to itself!"
์ฆ, ๋ง์ฝ ๋ชจ๋ ์ฑ์ง์ด ๊ฐ๋ค๋ฉด, ๋ ์กด์ฌ๋ ์์ ํ ๋์ผํ๋ค๊ณ ํ๋จํ๋ ๊ฒ์ด๋ค.
์ด๊ฒ์ ๊ฐ์ฅ ์ข์ ์๋ ๋ฐ๋ก ์๊ธฐ ์์ ์ด๋ค. ์๊ธฐ ์์ ์ ํญ์ ์๊ธฐ ์์ ๊ณผ ๋์ผํ๋ค(identical)๊ณ ํ๋จํ๋ค. ์ฆ, $x = x$์ด๋ค.
์ด๊ฒ์ โIdentity of Indiscerniblesโ๋ผ๊ณ ํ๋ค. ๋์ผํ ๊ฒ์ ๋ํด์ indiscernible, ๊ตฌ๋ถํ ์ ์๋ค๋ ๋ง์ด๋ค.
Indiscernibility of Identicals
์์์ ์ดํด๋ณธ โIdentity of Indiscerniblesโ์ ์ญ์ ๊ธฐ์ ํ ๊ฒ์ด โIndiscernibility of Identicalsโ์ด๋ค.
๋ณดํต ์ด ๋ ๋ช ์ ๋ฅผ ํ๋์ ํํ๋ก ํฉ์น ๊ฑธ โLeibnizโs Lawโ๋ผ๊ณ ํต์นญํ๋ค.
๋ฌผ๋ก โLeibnizโs Lawโ๋ฅผ ํตํด ๋์ง์ฑ, Identity๋ฅผ ํ๋จํ๋ ๊ฒ์ ๋๋ฉฉ์ด๋ ๋ชจ๋์ ๊ฐ์ ์ค๊ฐ ์ ๋ ์ฌ์ด์ฆ์ ๋ฌผ์ฒด, medium-sized object์์๋ ์ ์ ์ฉ์ด ๋๋ค.
ํ์ง๋ง, ๋์ง์ฑ์ ํ๋จํ ๋ ๋ฏธ์ ์ธ๊ณ ๊ด์ ์ ์์ ๋จ์๋ ์ธํฌ ํ๋๊น์ง ๋ฐ์ง๋ค๋ฉด, โLeibnizโs Lawโ๋ฅผ ์ ์ฉํ๋ ๊ฒ์ด ์ด๋ ค์์ง๋ค. ํด๋ก (clone)์ ๋ํด ์๋ณธ๊ณผ Identical, ๋์ผ์ด๋ค๋ผ๊ณ ํ๋จํ๊ธฐ ์ด๋ ค์ด ๊ฒ๋ Leibnizโs Law์ ์ฝ์ ์ผ๋ก ๊ผฝํ๋ค.