ChatGPT가 제공하는 철학 \(\LaTeX\) 템플릿 (2025. 4. 7. 수정)
챗선생에게 철학을 위한 레이텍 템플릿을 만들어보라 했다. 챗선생이 만든 것을 바탕으로 내가 조금 수정했는데, 녀석, 꽤 잘 한다. 템플릿은 여기(
변화들: 다시 여는 말
블로그에 몇 가지 변화를 줬다.
1. 주소를 바꿨다(https://philtoday.kr). 보다 오랫동안 사용하고, 뉴스레터와 연계하기 위해 오래 전부터 계획하던
뒤집어진 더블 턴스타일(⫤)을 MathJax에서 구현하기
“\newcommand”를 통해 MathJax에서 뒤집힌 더블 턴스타일을 쉽게 호출하는 법
모호성, 진리, 논리 (Fine 1975)
이 논문에서 키트 파인은 모호성을 위한 의미론을 전개한다.
하이브리드 언어: 세계를 언급하기
이 글에서는 패트릭 블랙번에 의해 구상된, ‘하이브리드 언어’의 배경과 목적을 살핀 뒤 하이브리드 언어를 정의하는 방법과 하이브리드 언어에 도입될 수 있는 연산자의 종류를 살펴본다.
“알다”와 “know”
여기에서 우리는 "알다"와 "know"가 서로 다른 개념을 표현하는 듯 보이는 사례를 살피고, 여기에서의 혼란을 해소할 것이다.
1차 양화 논리 (2): 1차 양화 논리의 의미론
이 글에서 우리는 \(\mathcal{L}_{Qt}\)의 해석과 평가를 정의하고, 그리고 이를 위해 모형 개념과 모형에서 참 개념에 관해 이야기할 것이다.
1차 양화 논리 (1): 1차 양화 논리의 계기와 구문론
이 글에서 우리는 우리의 보완된 논리 체계, 1차 양화 논리에 필요한 사항과, 그 논리 체계의 구문론에 관해 이야기할 것이다.