Excerpts from [[책,book#s-3]] <> = 초판 서문 = 13p 초판 서문에서. "...명료성을 성취하기 위한 첫 단계로서, 나는 형식적 전개에서 기본적 [[개념,concept]]s들 — 문장 - [[문장,sentence]] 해석 - [[해석,interpretation]] 참 - [[참,true]] or [[진리,truth]] 귀결 - [[귀결]] NdEn:귀결 Ndict:귀결 Ggl:논리학+귀결 타당성 - [[타당성,validity]] KmsK:타당성 KmsE:validity NdEn:validity Ggl:validity+논리학 일관성 - [[일관성,consistency]] = [[무모순성,consistency]] 동어반복 - tautology ? - local에 보면 aka : 항진명제, 항진식, 토톨로지, ... 도출 - [[도출,derivation]]언급있음, 같은영단어 : [[유도,derivation]]? — 의 각각에 대해 합당하게 엄밀한 정의를 부여하고자 노력했다. 이 [[정의,definition]]들의 존재가 이 책의 스타일을 특징 지운다. ...." p15 초판 서문에서. 전통적으로 논리학 체계의 주목적은 복잡한 [[추론,inference]]들을 더 단순한 추론들의 연쇄들로 [[환원,reduction]]하는 방식을 제공...." ''다음 page names 원본+번역 확인함.'' [[문장,sentence]] [[판단,judgment]] = 1 서장 Introduction = == 1.1 논리학은 무엇에 관한 학문인가 What logic is about == p30 === 논증의 타당함(sound) vs 부당함(영어로?) === 논리학은 타당한 // 타당하다는 건 원문의 sound를 번역한 것이다.(역주) -> [[건전성soundness]] [[논증,argument]]의 [[전제,premise]]들과 [[결론,conclusion]] 사이에 성립하는 [[귀결,consequence]] 관계를 탐구한다. 한 논증은 그 논증의 결론이 그 전제들로부터 따라 나오거나 전제들의 귀결일 경우 타당하다라고 말해진다. 그렇지 않은 경우 그 논증은 부당하다. (역주) '타당하다'는 것은 원문의 'sound'를 번역한 것이다. 보통 논증이 'sound'하다고 하면, (1) 전제들이 모두 참이며, (2) 결론이 전제들로부터 올바르게 귀결된다(즉, 만일 전제들이 모두 참이라면, 결론이 거짓일 수 없다) 는 두 조건이 모두 갖추어졌음을 뜻한다. 그러나 이 책에서는 'sound'하다는 것이 두 번째 조건이 갖추어진 것, 즉 'valid'하다는 것과 같은 의미로 사용되었다. (실제로 [[기호논리학,symbolic_logic]]에서 첫 번째 조건은 무의미하므로, 'validity'와 'soundness'의 구분은 기호논리학 내에서는 별다른 의미가 없다.) 그래서 'valid'에 대한 일반적인 번역어인 '타당하다'라는 말로 'sound'를 번역했다. // WtEn:validity WtEn:soundness == 1.2 타당성과 참 Soundness and truth == [[타당성,soundness]] [[참,truth]] or [[진리,truth]] [[논증,argument]]이란, [[결론,conclusion]]이라 불리는 하나의 서술문과 [[전제,premise]]s들이라 불리는 다른 서술문들로 구성된 // 서술문 - 원어? -> declarative sentence = declarative_sentence Ggl:"declarative sentence" - [[선언,declaration]] [[문장,sentence]] 선언문. (단일 언어에 속한) 서술문들의 한 체계이다. == 1.3 Soundness and necessary truth == == 1.4 Parenthetical remarks == == 1.5 Logical form == logical_form WtEn:logical_form ? [[논리형식,logical_form]] ? == 1.6 Artificial languages == = bmks ko = 벤슨 메이츠 <기호논리학> 1장 해답 (Solutions for Benson Mates's Elementary Logic, Chapter 1.) https://usol2020.tistory.com/97 ---- Up: [[논리학,logic]] > [[기호논리학,symbolic_logic]] [[책,book]]