bussproofs

bussproofs 패키지를 통해 여러 가지 증명들을 MathJax 환경 및 \(\LaTeX\) 문법을 지원하는 환경들에서 표현할 수 있다.…

의미에 의한 진리 - 1부 (2) (Russell 2008)

질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 1부, "The Positive View"에서 그는 분석적 진리의 개념을 정립하고, 이를 위한 이론적 바탕을 마련하고 있다.…