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'를 번역했다.

validity

soundness

[edit]

2.2. 1.2 타당성과 참 Soundness and truth ¶

타당성,soundness
참,truth or 진리,truth

논증,argument이란,
결론,conclusion이라 불리는 하나의 서술문과
전제,premises들이라 불리는 다른 서술문들로 구성된 // 서술문 - 원어? -> declarative sentence = declarative_sentence

declarative sentence - 선언,declaration 문장,sentence 선언문.
(단일 언어에 속한) 서술문들의 한 체계이다.

문장,sentence은 (전통적으로는) 완결된 생각을 서술하는 언어적 표현으로 정의된다. ... 서술문, 의문문, 명령문 등으로 분류된다. 서술문들의 특징은 그것들이 참이거나 거짓이라는 점이다.

[edit]

2.3. 1.3 Soundness and necessary truth ¶

필연적진리,necessary_truth ... curr at 진리,truth ....

p40
Gottfried_Leibniz에 따르면, 현실세계는 무한히 많은 가능세계,possible_world(curr at 세계,world)들 중 하나일 뿐이다. 우리 세계는 모든 가능세계들 중 최선의 것이다. .... 문장이 참(진리,truth)이라고 말하는 것은 현실세계에서 참이라고 말하는 것이다. 그러나 어떤 참인 문장들은 (현실세계에서 뿐만 아니라) 다른 모든 가능세계에서도 참이다. 이런 문장들이 필연적 참(필연적진리,necessary_truth)들이다. 현실세계에서는 참이지만 모든 가능세계에서 참인 것은 아닌 문장들은 '우연적 참들'이라 불린다. 과학 법칙들은 후자에 속하는 것으로 여겨진다. 반면에 수학이나 논리학에서의 참은 현실세계를 포함한 모든 가능세계에서 참인 것으로 이야기된다.
... 라이프니츠는 때때로 상상가능성,conceivability{w 한 사태(원어? event?)는 그 사태가 존재한다는 가정,assumption으로부터 어떠한 모순,contradiction도 따라 나오지 않는다면 상상가능하다. }의 개념을 가지고 가능성,possibility과 필연성,necessity을 설명한다. 문장이 주장하는 바의 정반대 상황이 상상되어질 수 없다면 그 문장은 필연적으로 참이다. ....

[edit]