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