1. 초판 서문 ¶

13p 초판 서문에서. "...명료성을 성취하기 위한 첫 단계로서, 나는 형식적 전개에서 기본적 개념,concepts들 —

문장 - 문장,sentence
해석 - 해석,interpretation
참 - 참,true or 진리,truth
귀결 - 귀결

귀결

논리학 귀결
타당성 - 타당성,validity

타당성

validity

validity 논리학
일관성 - 일관성,consistency = 무모순성,consistency
동어반복 - tautology ? - local에 보면 aka : 항진명제, 항진식, 토톨로지, ...
도출 - 도출,derivation언급있음, 같은영단어 : 유도,derivation?

— 의 각각에 대해 합당하게 엄밀한 정의를 부여하고자 노력했다. 이 정의,definition들의 존재가 이 책의 스타일을 특징 지운다. ...."

p15 초판 서문에서.
전통적으로 논리학 체계의 주목적은 복잡한 추론,inference들을 더 단순한 추론들의 연쇄들로 환원,reduction하는 방식을 제공...."

다음 page names 원본+번역 확인함.
문장,sentence
판단,judgment

[edit]

2. 1 서장 Introduction ¶

[edit]

2.1. 1.1 논리학은 무엇에 관한 학문인가 What logic is about ¶

p30

[edit]

2.1.1. 논증의 타당함(sound) vs 부당함(영어로?) ¶

논리학은 타당한 // 타당하다는 건 원문의 sound를 번역한 것이다.(역주) -> 건전성soundness
논증,argument의
전제,premise들과 결론,conclusion 사이에 성립하는
귀결,consequence 관계를 탐구한다.

한 논증은 그 논증의 결론이
그 전제들로부터 따라 나오거나
전제들의 귀결일 경우
타당하다라고 말해진다.
그렇지 않은 경우 그 논증은 부당하다.

(역주) '타당하다'는 것은 원문의 'sound'를 번역한 것이다.
보통 논증이 'sound'하다고 하면,
(1) 전제들이 모두 참이며,
(2) 결론이 전제들로부터 올바르게 귀결된다(즉, 만일 전제들이 모두 참이라면, 결론이 거짓일 수 없다)
는 두 조건이 모두 갖추어졌음을 뜻한다.
그러나 이 책에서는 'sound'하다는 것이 두 번째 조건이 갖추어진 것, 즉 'valid'하다는 것과 같은 의미로 사용되었다.
(실제로 기호논리학,symbolic_logic에서 첫 번째 조건은 무의미하므로, 'validity'와 'soundness'의 구분은 기호논리학 내에서는 별다른 의미가 없다.)
그래서 'valid'에 대한 일반적인 번역어인 '타당하다'라는 말로 'sound'를 번역했다.