규약적 정의 (stipulative definition) 정의되고 있는 낱말이나 기호에 하나의 새로운 의미를 자의적으로 주여하는 정의. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주:…

귀류법 (reductio absurdum) 어떤 결론의 부정이 결국 필연적으로 거짓인 어떤 것으로 인도된다는 것을 보여줌으로써, 그 결론을 확립시키는 연역적 추리. 도식화하면 “p ⊃ (q &…

귀납적 일반화 (inductive generalization) 한 집합의 몇몇 구성원들에 대해 관찰된 증거로부터, 그 집합 전체에 관한 하나의 결론으로 이행하는 귀납적 추리. Stephen F. Barker, 최세만…

귀납적 유비 (inductive analagy) 어떤 한 경우와 전에 관찰된 경우들의 유사성을 기초로 하여, 그 셩우에 관한 하나의 결론에 이르게 되는 귀납적 추리. Stephen F.…

귀납 (induction) 그 결론이 전제들이 말하고 있는 것을 넘어서는 하나의 경험적 추측을 표현하는 비연역적 추론. 즉 그 결론은 전제들이 함축하고 있지 않은 어떤 것으로,…

권위에의 논증 (ad vercundiam argument: 권위에의 호소) 전제들이 결론과 직접적으로 연관을 가진 증거를 포함하고 있지 않고, 그 대신 어떤 권자라고 상정되는 사람이 그 결론을…

구속 변항 (bound variable) 어떤 한량적 정식에 있는 한 변항이 구속되어 있다고 말하는 것은, 그 변항이 한 한량사에 의해 지배된다고 말하는 것이다. Stephen F.…

구성 요소 (componet) 하나의 복합 문장을 이루는 보다 짧은 문장들을 그 복합 문장의 구성 요소라 부른다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』,…

관련성 (relevance) 일반화나 유비에 의한 귀납적 추리에서 어떤 사람의 배경적 지식이, 어떤 것이 다른 것과 연관되기를 기대하는 것을 합당한 것으로 만들어 주는 정도. Stephen…

관계의 전이성 (transitivity of a relation) 하나의 관계가 전이적이라고 말하는 것은, 첫번째 것과 두번째 것 사이에 그 관계가 있고, 두번째 것과 세번째 것 사이에…