뒤집어진 더블 턴스타일(⫤)을 MathJax에서 구현하기
“\newcommand”를 통해 MathJax에서 뒤집힌 더블 턴스타일을 쉽게 호출하는 법…
MathJax와 자연 연역
Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.…
MathJax를 반응형으로 구현하기
MathJax에서 구현한 수식이 너무 길어서 화면의 범위를 벗어날 때, 스크롤을 통해 수식을 볼 수 있게끔 CSS를 수정하는 법.…
\(\TeX\) 환경에서 (Lewisian) Counterfactual operators 입력을 위한 팁
\(\LaTeX\) 환경 및 동일한 문법을 지원하는 환경에서 루이스 스타일의 반사실 연산자를 쓰는 법.…
겐첸 시스템을 MathJax로! bussproofs
bussproofs 패키지를 통해 여러 가지 증명들을 MathJax 환경 및 \(\LaTeX\) 문법을 지원하는 환경들에서 표현할 수 있다.…
의미에 의한 진리 - 1부 (2) (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 1부, "The Positive View"에서 그는 분석적 진리의 개념을 정립하고, 이를 위한 이론적 바탕을 마련하고 있다.…