$$\newcommand{\sslash}{\mathbin{/\mkern-6mu/}}$$ $$\newcommand{\defeq}{\stackrel{\text{def}}{=}}$$ $$\require{bussproofs}$$ $$\newcommand{\counterfactual} {~\Box\kern-1.5pt\raise1pt\hbox{$\mathord{\rightarrow}$}~} \newcommand{\countermight} {~\mathord{\Diamond}\kern-1.5pt\raise0.5pt\hbox{$\mathord{\rightarrow}$}~}$$
로고
  • 홈
  • 철학 리뷰
  • 철학의 기초 개념들
  • 철학 안내서
  • 오늘의 논리학
  • Blog
  • wonjae.ha
메뉴
주제 4개의 게시물

명제 논리

1/1

명제 논리 (4): 자연어 논증의 형식화와 평가

[작성자] 김오늘 [분류] 오늘의 논리학 [작성일] 2022. 2. 16.

이 글에서 우리는 자연어로 구성된 논증을 \(Pr\)의 논증으로 번역한 뒤 이를 평가하는 방법에 관해 알아 보고, 명제 논리가 갖는 표현력 상의 한계에 관해 논할 것이다.…

명제 논리 (3): 타당성, 건전성, 완전성

[작성자] 김오늘 [분류] 오늘의 논리학 [작성일] 2022. 2. 16.

이 글에서 우리는 논리학에서의 타당성 개념 및 명제 논리에서 논증의 타당성을 확인하는 방법에 관해 논하고, 이어 \(Pr\)이 갖는 두 성질인 건전성과 완전성에 대한 증명을 개관할 것이다.…

명제 논리 (2): 명제 논리의 구문론과 의미론, 증명 체계

[작성자] 김오늘 [분류] 오늘의 논리학 [작성일] 2022. 2. 16.

이 글에서 우리는 형식 체계로서 명제 논리가 어떻게 구성되는지에 대해 개괄할 것이다.…

명제 논리 (1): 명제 논리란?

[작성자] 김오늘 [분류] 오늘의 논리학 [작성일] 2022. 2. 15.

이 글에서 우리는 명제 논리가 무엇인지, 그리고 명제 논리를 구성하기 위해 무엇이 필요한지를 알아볼 것이다.…

1/1

주제

철학 리뷰: 7 언어철학: 6 오늘의 논리학: 6 MathJax: 5 진리: 4 명제 논리: 4 철학의 기초 개념들: 3 형이상학: 3 분석성: 3 규약: 2 반가능문: 2 반사실문: 2 조건문: 2 1차 양화 논리: 2 진리 제조자: 2 이슈 노트: 2 논리철학: 2 LaTeX: 1 여는 말: 1 동의성: 1 CSS: 1 가능 세계: 1 양상성: 1 지식: 1 게티어 사례: 1 JTB 조건: 1 형이상학적 기반: 1 내용: 1 논리학: 1 철학 안내서: 1 인식론: 1
백야 — NOX ALBUM © 2022
  • Home
  • About
  • Blog
  • Contact
  • @noni_muni
블로그 제공자: Ghost • 테마 Attila • System theme