벤 - 오늘의 철학

LaTeX

ChatGPT가 제공하는 철학 \(\LaTeX\) 템플릿 (2025. 4. 7. 수정)

챗선생에게 철학을 위한 레이텍 템플릿을 만들어보라 했다. 챗선생이 만든 것을 바탕으로 내가 조금 수정했는데, 녀석, 꽤 잘 한다. 템플릿은 여기(링크)에서 확인할 수 있습니다 (PDF 예시). 수정 로그 * 2025. 4. 7. 예문 번호를 넣기 위한 새로운 패키지와 커맨드를 추가했습니다.

형이상학

가능세계 없는 양상성 (Vetter 2011)

바바라 베터는 이 논문에서, 가능세계 없이 양상성을 이론화하는 접근과 관련된 최근의 흐름들을 설명한다. 특히, 그는 속성을 성향적으로 간주하는 '성향적 본질 우선주의' 내지는 '성향주의'에 주안점을 둔다. 양상 성향주의자들에 따르면 양상성은 속성들의 본질인 성향에 기반한다.

변화들: 다시 여는 말

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

MathJax

뒤집어진 더블 턴스타일(⫤)을 MathJax에서 구현하기

“\newcommand”를 통해 MathJax에서 뒤집힌 더블 턴스타일을 쉽게 호출하는 법

철학 리뷰

모호성, 진리, 논리 (Fine 1975)

이 논문에서 키트 파인은 모호성을 위한 의미론을 전개한다.

철학 안내서

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

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

철학 안내서

“알다”와 “know”

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

오늘의 논리학

1차 양화 논리 (2): 1차 양화 논리의 의미론

이 글에서 우리는 \(\mathcal{L}_{Qt}\)의 해석과 평가를 정의하고, 그리고 이를 위해 모형 개념과 모형에서 참 개념에 관해 이야기할 것이다.

오늘의 논리학

1차 양화 논리 (1): 1차 양화 논리의 계기와 구문론

이 글에서 우리는 우리의 보완된 논리 체계, 1차 양화 논리에 필요한 사항과, 그 논리 체계의 구문론에 관해 이야기할 것이다.

MathJax

MathJax와 자연 연역

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

이슈 노트

웹 폰트에 이탤릭이 적용 안 되었던 이유

Google fonts에서 분명 폰트의 소스를 긁어왔는데도 특정 스타일이 적용 안 될 때 확인해야 할 사항.

See all

벤