문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 논리학 (문단 편집) === 형식 논리 === 논증을 구성하는 명제/진술 등의 내용에 관심을 두는 것이 아니라 그 형식에 초점을 두어 연구하는 학문. 추상적인 형식에 초점을 기울이니만큼 [[현대]]에는 당연히 [[수학]]적 기법과 기호 등을 도구로 삼아 이루어진다. 실질적으로 학계에서 "논리학"이라고 할 때에는 형식 논리학을 가리킨다고 볼 수 있다. 형식 논리학에서 쓰는 논리식은 일상에서 쓰는 말을 추상화시킨 것이지만, 일상 언어 표현과 형식 논리 정식 간에는 의미상의 괴리가 있을 수 있다. 예를 들어 표준 논리의 논리식인 실질 조건문 [math(p \to q)] 내지는 [math(p~\text{Ɔ}~q)]는[* [[https://philosophy.stackexchange.com/questions/31029/why-was-the-horseshoe-symbol-⊃-selected-for-material-implication/31031|본래는 ⊃로 써야 하지만 horseshoe를 부분 집합 기호 ⊃와 헷갈릴 수 있으므로 혼동 방지를 위하여 Ɔ로 쓰이기도 한다.]] 실제로도 포함 관계를 의미할 때 Ɔ는 집합에서의 그 기호 ⊃가 아니라 '''⊂이기 때문에''' 매우 조심해야 한다.] 자칫 [[한국어]] 문장 "만약 ''p''이면 ''q''이다" 혹은 [[영어]] 문장 "If P, then Q"와 의미가 똑같은 것으로 오해하기 쉽지만 그 의미상 다를 수 있다. 보다 자세한 사항은 [[조건문]], [[표준논리]] 문서를 참조하라.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기