변화들: 다시 여는 말

[작성자] 김오늘 [작성일]

블로그에 몇 가지 변화를 줬다. 1. 주소를 바꿨다(https://philtoday.kr). 보다 오랫동안 사용하고, 뉴스레터와 연계하기 위해 오래 전부터 계획하던 생각이다. 이에 맞추어 외부용 메일(wj@)과 뉴스레터용 메일(newsletter@) 역시 본격적으로 사용할 예정이다. 명함에 반영해야지. 2. 블로그 이름도 바꿨다. “백야”를 버리고 “오늘의 철학”으로 왔다. 사적인 공간의 이름이었고,…

하이브리드 언어: 세계를 언급하기

[작성자] 김오늘 [분류] 철학 안내서 [작성일]

이 글에서는 패트릭 블랙번에 의해 구상된, ‘하이브리드 언어’의 배경과 목적을 살핀 뒤 하이브리드 언어를 정의하는 방법과 하이브리드 언어에 도입될 수 있는 연산자의 종류를 살펴본다.…

“알다”와 “know”

[작성자] 김오늘 [분류] 철학 안내서 [작성일]

여기에서 우리는 "알다"와 "know"가 서로 다른 개념을 표현하는 듯 보이는 사례를 살피고, 여기에서의 혼란을 해소할 것이다.…

MathJax와 자연 연역

[작성자] 김오늘 [분류] MathJax [작성일]

Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.…