Sign In

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

์ž‘์„ฑ์ž
  • Haebom
์นดํ…Œ๊ณ ๋ฆฌ
Empty

์ €์ž

Matthew Collins, Timo Eckhardt, David Pym

๐Ÿ’ก ๊ฐœ์š”

๋ณธ ์—ฐ๊ตฌ๋Š” ์ •๋ณด์— ๋Œ€ํ•œ ๊ธฐ์กด์˜ ๋…ผ๋ฆฌ์ , ์ˆ˜ํ•™์  ๊ธฐ๋ฐ˜์˜ ๋ถ€์กฑํ•จ์„ ์ง€์ ํ•˜๋ฉฐ, ์ถ”๋ก ์ฃผ์˜์  ์ •๋ณด์˜ ์˜๋ฏธ๋ก ์  ์ด๋ก ์„ ๊ตฌ์ถ•ํ•˜๋Š” ์ฒซ ๋‹จ๊ณ„๋ฅผ ์ œ์•ˆํ•ฉ๋‹ˆ๋‹ค. ์ด๋ฅผ ์œ„ํ•ด ์ง„์‹ค์„ฑ์„ ์ถ”๋ก ๊ฐ€๋Šฅ์„ฑ์œผ๋กœ ๋Œ€์ฒดํ•˜๊ณ , ์ถ”๋ก ์ฃผ์˜์  ๊ธฐ๋ณธ ์ •๋ณด ๋‹จ์œ„์ธ '์ธํŽ˜๋ก (inferon)'์„ proof-theoretic semantics (P-tS)๋ฅผ ํ†ตํ•ด ์ˆ˜ํ•™์ ์œผ๋กœ ์‹คํ˜„ํ•ฉ๋‹ˆ๋‹ค. ๊ถ๊ทน์ ์œผ๋กœ, ๋ณธ ์—ฐ๊ตฌ๋Š” ์ •๋ณด์™€ ์ •๋ณด ๊ณผํ•™ ๋‚ด์—์„œ์˜ ์—ญํ• ์— ๋Œ€ํ•œ ๊ฐœ๋…์ ์œผ๋กœ ์—„๊ฒฉํ•˜๊ณ  ์ˆ˜ํ•™์ ์œผ๋กœ ๋…ผ๋ฆฌ์ ์ธ ์„ค๋ช…์„ ์ถ”๋ก ๊ณผ ์ถ”๋ก ์— ๊ธฐ๋ฐ˜ํ•˜์—ฌ ์ œ์‹œํ•˜๊ณ ์ž ํ•ฉ๋‹ˆ๋‹ค.

๐Ÿ”‘ ์‹œ์‚ฌ์  ๋ฐ ํ•œ๊ณ„

โ€ข
์ •๋ณด์˜ ๊ฐœ๋…์„ ์ง„์‹ค์„ฑ์—์„œ ์ถ”๋ก ๊ฐ€๋Šฅ์„ฑ์œผ๋กœ ์ „ํ™˜ํ•จ์œผ๋กœ์จ ์ •๋ณด ์ด๋ก ์— ๋Œ€ํ•œ ์ƒˆ๋กœ์šด ๊ด€์ ์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.
โ€ข
Proof-theoretic semantics (P-tS)๋ฅผ ํ™œ์šฉํ•˜์—ฌ ์ •๋ณด์˜ ๊ธฐ๋ณธ ๋‹จ์œ„๋ฅผ ์ˆ˜ํ•™์ ์œผ๋กœ ๋ชจ๋ธ๋งํ•˜๊ณ , ์ด๋ฅผ ํ†ตํ•ด ๋ถ„์‚ฐ ์‹œ์Šคํ…œ ๋ชจ๋ธ๋ง์— ๋Œ€ํ•œ ๊ธฐ๋ฐ˜์„ ๋งˆ๋ จํ•ฉ๋‹ˆ๋‹ค.
โ€ข
๋ณธ ์—ฐ๊ตฌ๋Š” ์ •๋ณด์˜ ๋ณต์žกํ•œ ์ƒํƒœ๊ณ„๋ฅผ ์ดํ•ดํ•˜๊ธฐ ์œ„ํ•œ ๋…ผ๋ฆฌ์ , ์ˆ˜ํ•™์  ๋„๊ตฌ๋ฅผ ์ œ๊ณตํ•˜๋Š” ๋ฐ ๊ธฐ์—ฌํ•˜์ง€๋งŒ, '์ธํŽ˜๋ก '์˜ ์™„์ „ํ•œ ์ด๋ก  ๊ตฌ์ถ• ๋ฐ ๋‹ค์–‘ํ•œ ์ •๋ณด ์ดํ•ด(๋ฒ”์œ„, ์ƒ๊ด€๊ด€๊ณ„, ์ฝ”๋“œ)์— ๋Œ€ํ•œ ์ ์šฉ ๋ฒ”์œ„ ํ™•์žฅ์€ ํ–ฅํ›„ ๊ณผ์ œ๋กœ ๋‚จ์•„์žˆ์Šต๋‹ˆ๋‹ค.
๐Ÿ‘
Made with Slashpage