보편 한량문 (universal quantification) 그 작용 범위가 나머지 문장 전체인 한 벼편 한량사로 시작되는, 한 기호화된 문장. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의…

보편 사례화 (universal instantiation) 연역적 추리에서, 하나의 보편 한량문에서 그것의 어떤 사례라도 추론해 내는 것을 허용하는 원리. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의…

변항 (variable) 한량적 기호법에서 사용되는 “x”, “y”, “z” 등의 문자들. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 398.…

배타적 선언 (exclusive disjunction) 그것의 의미가 구성요소들 모두가 참일 때에는 거직인 “또는(이거나)” 문장. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사,…

반대 유비 (counteranalogy) 어떤 유비에 의한 논증에 반대하거나 또는 그것을 반증하기 위하여 구성된 유비에 의한 논증. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』,…

반대 대당 문장들 (contrary sentences) 두 문장은 그것들이 동시에 참될 수는 없지만 동시에 거짓될 수는 있을 때, 그리고 오직 그럴 때에만 반대 대당이다. Stephen…

반대 대당 명사들 (contrary terms) 두 명사는 그것들 둘 다를 동시에 적용할 수 있는 것이 있을 수 있다는 것은 불가능하지만, 그것들 중 아무 것도…

밀의 방법 (Mill’s methods) 한 현상의 원인은 그 현상이 발생할 때 그리고 오직 그럴 때에만 나타나 있어야 한다는 일반적 원리에 기초하여, 현상들의 원인을 발견하는…

문장 (sentence) 언어의 규칙에 따라, 하나의 완전한 언명의 구실을 할 수 있는 낱말들의 조합. 논리학에서 관심을 가지는 것은 참되거나 거짓된 진술을 하는 데 사용될…

문맥상의 정의 (definition in context) 피정의항을 포함하고 있는 문장을 그것을 포함하지 않는 문장으로 어떻게 옮기는가를 보여주는 정의. 이런 정의는 피정의항을 항상 대치할 수 있는…