논리학 툴은 이전에 논갤에서 언급되었듯 HOL이나 일반적인 프로그래밍 언어들도 이야기해야겠지만 내가 말하는 툴은 출판에 관한 툴임.

될 수 있으면 논갤에서 사람들이 편리하게 글을 쓰고 또 공유되었으면 좋을 것 같아서 논리학 출판 플랫폼에 대해서 소개해보려고.


오늘은 Mathjax와 같은 조판언어(Typesetting Language)만 이야기하지만

git, github, markdown 언어, static site generator, gitbook까지도 나아가야 할 것 같아.

오늘은 이런 편리한 세상이 있다는 걸 먼저 언급하고, 이후에 차근차근 설명해보려 함.


논리학에 대한 질문/답변 글이나 증명을 올릴 때 우리의 키보드 자판으로는 논리식 올리는 것부터 짜증이 나는 건 익히 알고 있을꺼야.

P -> Q 라는 식조차도 한글과 같은 글자 옆에 있으면 가시성이 너무 떨어지고

더군다나 나는 특수문자키가 없는 키보드라 화살표조차도 인터넷에서 복붙해야 하는 상태임.

차라리 사진 찍고 올리고 만다하는 사람들이 많은건 당연한 듯.


아무래도 수학기호를 기반으로 현대 논리학이 작성되었기 때문에 수학 기호를 쉽게 쓸 수 있는 도구가 필요하고 키보드 자판으로 특정한 단어를 입력해서

'특수한 처리(조판)'를 통해 수학기호로 변환하면 된다는 생각 Tex라는 언어가 1970년대에 크누스 교수에 의해 만들어졌음.

이게 개선되어 LaTex라는 툴이 되었지. 아마 논문 쓰는 사람들이면 써봤을 것 같아.


그러나 최근에는 github pages를 통한 웹 출판이 점점 활성화되자 아예 자바스크립트 같은 언어를 써서 웹에 바로 사용할 수 있는

언어를 만들자는 열풍이 불어서 나온 것이 Mathjax, 그리고 KaTex야. Mathjax는 Logic Tree까지 그릴 수 있는 표현력이 있고, KaTex는

수학교육에서 유명한 Khan Academy에서 최근에 나온 툴인데 조판 속도가 Mathjax보다 훨씬 빠르다고 해.


쓰는 방법은

\\rightarrow 가 -> 화살표를 의미하므로 P \\rightarrow Q 라고 쓰면 P->Q라는 수식으로 작성된다고 보면 돼.


뭐 찾아보면서 하면 될 정도이고,

http://davidagler.com/teaching/logic/handouts/supplemental_material/MarkdownForSymbolicLogic.html

를 참조하면 될꺼야.


LogicMatter에서도 LaTex를 활용한 논리학 하기 파트가 있는데 나도 KaTex를 중점적으로 써보려 하기 때문에 LaTex에 대비하여 얼마만한 표현력이

있는지는 확인해보겠음.