내포, 일반명사의 (intension of a general term) 그 명사가 올바르게 한 사물에 적용되기 위해서, 한 사물이 반드시 가져야 하는 특성들 전부. Stephen F. Barker,…

긍정적 문장 (affirmative sentence) A 또는 I 형식의 정언적 문장은 모두 긍정적이다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009,…

긍정식 (modus ponens) 조건언 논증의 한 형식. “p ⊃ q, p,  ∴q”라는 도식으로 나타내어질 수 있다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』,…

규약적 정의 (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.…