긍정적 문장 (affirmative sentence) A 또는 I 형식의 정언적 문장은 모두 긍정적이다. Stephen F.…

긍정식 (modus ponens) 조건언 논증의 한 형식. “p ⊃ q, p,  ∴q”라는 도식으로 나타내어질…

규약적 정의 (stipulative definition) 정의되고 있는 낱말이나 기호에 하나의 새로운 의미를 자의적으로 주여하는 정의.…

귀류법 (reductio absurdum) 어떤 결론의 부정이 결국 필연적으로 거짓인 어떤 것으로 인도된다는 것을 보여줌으로써,…

귀납적 일반화 (inductive generalization) 한 집합의 몇몇 구성원들에 대해 관찰된 증거로부터, 그 집합 전체에…

귀납적 유비 (inductive analagy) 어떤 한 경우와 전에 관찰된 경우들의 유사성을 기초로 하여, 그…

귀납 (induction) 그 결론이 전제들이 말하고 있는 것을 넘어서는 하나의 경험적 추측을 표현하는 비연역적…

권위에의 논증 (ad vercundiam argument: 권위에의 호소) 전제들이 결론과 직접적으로 연관을 가진 증거를 포함하고…

구속 변항 (bound variable) 어떤 한량적 정식에 있는 한 변항이 구속되어 있다고 말하는 것은,…

구성 요소 (componet) 하나의 복합 문장을 이루는 보다 짧은 문장들을 그 복합 문장의 구성…