원재

원재

Seoul
05
4월

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

챗선생에게 철학을 위한 레이텍 템플릿을 만들어보라 했다. 챗선생이 만든 것을 바탕으로 내가 조금 수정했는데, 녀석, 꽤 잘 한다. 템플릿은 여기(
15
8월

진리확정자 그리고 두 종류의 현실주의

가브리엘 콘테사는 이 논문에서 양상 현실주의를 '순한맛'(softcore) 현실주의와 '매운맛'(hardcore) 현실주의로 구별한다. 전자는 스톨네이커로 대표되는 전통적 현실주의이고, 후자는 성향주의로 대표되는 새로운 현실주의이다. 저자는 후자에 대해 제기되는 문제에 대응하고 전자에 대해 새로운 문제를 제기하며 매운맛 현실주의를 옹호하고자 시도한다.
8 min read
15
8월

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

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

변화들: 다시 여는 말

블로그에 몇 가지 변화를 줬다. 1. 주소를 바꿨다(https://philtoday.kr). 보다 오랫동안 사용하고, 뉴스레터와 연계하기 위해 오래 전부터 계획하던
1 min read
22
1월

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

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

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

이 논문에서 키트 파인은 모호성을 위한 의미론을 전개한다.
35 min read
11
1월

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

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

“알다”와 “know”

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

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

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

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

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