::::주경복 교수 개인홈페이지::::
 
 




  세비야의 이발사
  오류의 종류
  대표적 논리학자
  모순율
모순율 [矛盾律, principle of contradiction] 이란 논리학(論理學)의 용어로서 아리스토텔레스에 의해 확립된 논리학의 기본원리 중 동일율(同一律), 배중률(排中律)과 함께 3대 원리를 이룬다. A를 하나의 명제로 할 때 “A는 A가 아니다”라고 말하는 것은 앞뒤가 맞지 않는 말이며, A의 내용이 무엇이건 간에 그 말은 ...
  추상
추상 [抽象, abstraction]  이란 대상으로서의 소여(所與) 전체로부터 특정성질이나 공통징표(共通徵表)를 분리하고, 골라내는 정신작용이다. 예를 들면, 인간의 얼굴만을 표상(表象)으로서 분리하는 것은 대상과 동차원상(同次元上)의 절단(切斷)이며 본래의 추상이라고는 할 수 없다. 빨간 넥타이로부터 ‘빨강’ 혹...
  공리
공리 [公理, axiom] 란 어떤 주제나 이론에서 새롭게 더 증명할 것 없이 그 자체로서 옳다고 전제할 수 있는 명제를 말한다. 다시 말해 조건 없이 전제되는 명제이다. 수학에서는 '이론의 기초로서 가정한 명제'를 그 이론의 공리라고 한다. 논리학에서는 무증명명제(無證明命題)라고도 한다. 수학에서의 공리는 유클리드의 《기하학원본...
  명제
명제[命題, proposition] 란 언어적 표현을 통해 사태를 나타내는 논리적 형성물이다. 사물·속성·관계 등을 나타내는 개념과 달리, 명제는 어떤 속성이 어떤 사물에 속한다든지 어떤 사물들간에 어떤 관계가 성립한다는 사태를 나타낸다. 한 명제가 나타내는 사태가 사실과 일치하는 경우 그 명제를 참이라 하고 일치하지 않는 경우 거짓...
  술어 논리
술어논리 [述語論理, predicate logic]  는 기호논리학에서 다루는 내용이다. 함수논리 또는 양화(量化)의 논리라고도 하며, 보통 명제논리(命題論理)보다 한 단계 위쪽에 놓인다. 명제논리에서의 명제는 단위로 취급되어 그 내부구조 속으로 파고들어간 분석은 이루어질 수 없다. 그렇기 때문에 예를 들면 “인간은 모...
12345