이슈 노트
MathJax를 반응형으로 구현하기
MathJax에서 구현한 수식이 너무 길어서 화면의 범위를 벗어날 때, 스크롤을 통해 수식을 볼 수 있게끔 CSS를 수정하는 법.
오늘의 논리학
명제 논리 (4): 자연어 논증의 형식화와 평가
이 글에서 우리는 자연어로 구성된 논증을 \(Pr\)의 논증으로 번역한 뒤 이를 평가하는 방법에 관해 알아 보고, 명제 논리가 갖는 표현력 상의 한계에 관해 논할 것이다.
오늘의 논리학
명제 논리 (3): 타당성, 건전성, 완전성
이 글에서 우리는 논리학에서의 타당성 개념 및 명제 논리에서 논증의 타당성을 확인하는 방법에 관해 논하고, 이어 \(Pr\)이 갖는 두 성질인 건전성과 완전성에 대한 증명을 개관할 것이다.
오늘의 논리학
명제 논리 (2): 명제 논리의 구문론과 의미론, 증명 체계
이 글에서 우리는 형식 체계로서 명제 논리가 어떻게 구성되는지에 대해 개괄할 것이다.
오늘의 논리학
명제 논리 (1): 명제 논리란?
이 글에서 우리는 명제 논리가 무엇인지, 그리고 명제 논리를 구성하기 위해 무엇이 필요한지를 알아볼 것이다.
MathJax
\(\TeX\) 환경에서 (Lewisian) Counterfactual operators 입력을 위한 팁
\(\LaTeX\) 환경 및 동일한 문법을 지원하는 환경에서 루이스 스타일의 반사실 연산자를 쓰는 법.
MathJax
겐첸 시스템을 MathJax로! bussproofs
bussproofs 패키지를 통해 여러 가지 증명들을 MathJax 환경 및 \(\LaTeX\) 문법을 지원하는 환경들에서 표현할 수 있다.
철학 리뷰
의미에 의한 진리 - 3부 (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 끝으로, 3부에서 그는 분석적 정당화에 관해 제기될 수 있는 쟁점들 및 그의 이론이 이 쟁점들에 대해 시사하는 흥미로운 귀결들을 소개하며 책을 닫는다.
철학 리뷰
의미에 의한 진리 - 2부 (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 2부, "A Defense"에서 그는 분석적 진리에 관한 (철학사적) 이의제기, 특히 콰인으로부터 제기되었던 비판들을 조망한 뒤, 의미론적 외재주의에 기대어 분석적 진리의 개념을 방어한다.
철학 안내서
질료 조건을 이해하기
여기에서는 질료 조건의 의미를, "전건을 가정할 때, 후건이다"로 이해함을 통해 질료 조건과 자연어 조건문을 동일시할 수 있는 이유를 설명한다.
철학 리뷰
의미에 의한 진리 - 1부 (2) (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 1부, "The Positive View"에서 그는 분석적 진리의 개념을 정립하고, 이를 위한 이론적 바탕을 마련하고 있다.
철학 리뷰
의미에 의한 진리 - 1부 (1) (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 1부, "The Positive View"에서 그는 분석적 진리의 개념을 정립하고, 이를 위한 이론적 바탕을 마련하고 있다.