논리의 대수 수학.The Algebra of Logic, by Louis Couturat
뉴가출판사
2020년 03월 11일 출간
(개의 리뷰)
(
0%
의 구매자)
- eBook 상품 정보
- 파일 정보 pdf (0.55MB)
- ISBN 9791190690386
- 쪽수 95쪽
- 지원기기 교보eBook App, PC e서재, 리더기, 웹뷰어
-
교보eBook App
듣기(TTS) 가능
TTS 란?텍스트를 음성으로 읽어주는 기술입니다.
- 전자책의 편집 상태에 따라 본문의 흐름과 다르게 텍스트를 읽을 수 있습니다.
- 전자책 화면에 표기된 주석 등을 모두 읽어 줍니다.
- 이미지 형태로 제작된 전자책 (예 : ZIP 파일)은 TTS 기능을 지원하지 않습니다.
- '교보 ebook' 앱을 최신 버전으로 설치해야 이용 가능합니다. (Android v3. 0.26, iOS v3.0.09,PC v1.2 버전 이상)
PDF 필기 Android 가능 (iOS예정)
이 상품은 배송되지 않는 디지털 상품이며,
교보eBook앱이나 웹뷰어에서 바로 이용가능합니다.
작품소개
이 상품이 속한 분야
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
유럽에서 학자들이 철학 논리학 대수 수학에 대해서 쓴 책. 매우 이해가 어려운 학문 분야임.
LOUIS COUTURAT
AUTHORIZED ENGLISH TRANSLATION
BY
LYDIA GILLINGHAM ROBINSON, B. A.
With a Preface by PHILIP E. B. JOURDAIN. M. A. (Cantab.)
0.1 Introduction
The algebra of logic was founded by George Boole (18151864); it was
developed and perfected by Ernst Schr？der (18411902). The fundamental
laws of this calculus were devised to express the principles of reasoning, the
laws of thought. But this calculus may be considered from the purely formal
point of view, which is that of mathematics, as an algebra based upon certain
principles arbitrarily laid down. It belongs to the realm of philosophy to decide
whether, and in what measure, this calculus corresponds to the actual operations
of the mind, and is adapted to translate or even to replace argument; we cannot
discuss this point here. The formal value of this calculus and its interest for the
mathematician are absolutely independent of the interpretation given it and of
the application which can be made of it to logical problems. In short, we shall
discuss it not as logic but as algebra.
유럽에서 학자들이 철학 논리학 대수 수학에 대해서 쓴 책. 매우 이해가 어려운 학문 분야임.
LOUIS COUTURAT
AUTHORIZED ENGLISH TRANSLATION
BY
LYDIA GILLINGHAM ROBINSON, B. A.
With a Preface by PHILIP E. B. JOURDAIN. M. A. (Cantab.)
0.1 Introduction
The algebra of logic was founded by George Boole (18151864); it was
developed and perfected by Ernst Schr？der (18411902). The fundamental
laws of this calculus were devised to express the principles of reasoning, the
laws of thought. But this calculus may be considered from the purely formal
point of view, which is that of mathematics, as an algebra based upon certain
principles arbitrarily laid down. It belongs to the realm of philosophy to decide
whether, and in what measure, this calculus corresponds to the actual operations
of the mind, and is adapted to translate or even to replace argument; we cannot
discuss this point here. The formal value of this calculus and its interest for the
mathematician are absolutely independent of the interpretation given it and of
the application which can be made of it to logical problems. In short, we shall
discuss it not as logic but as algebra.
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii
0.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
0.2 The Two Interpretations of the Logical Calculus . . . . . . . . . 2
0.3 Relation of Inclusion . . . . . . . . . . . . . . . . . . . . . . . . . 3
0.4 De nition of Equality . . . . . . . . . . . . . . . . . . . . . . . . 4
0.5 Principle of Identity . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.6 Principle of the Syllogism . . . . . . . . . . . . . . . . . . . . . . 6
0.7 Multiplication and Addition . . . . . . . . . . . . . . . . . . . . . 6
0.8 Principles of Simpli cation and Composition . . . . . . . . . . . 8
0.9 The Laws of Tautology and of Absorption . . . . . . . . . . . . . 9
0.10 Theorems on Multiplication and Addition . . . . . . . . . . . . . 10
0.11 The First Formula for Transforming Inclusions into Equalities . . 11
0.12 The Distributive Law . . . . . . . . . . . . . . . . . . . . . . . . 13
0.13 De nition of 0 and 1 . . . . . . . . . . . . . . . . . . . . . . . . . 14
0.14 The Law of Duality . . . . . . . . . . . . . . . . . . . . . . . . . . 16
0.15 De nition of Negation . . . . . . . . . . . . . . . . . . . . . . . . 17
0.16 The Principles of Contradiction and of Excluded Middle . . . . . 19
0.17 Law of Double Negation . . . . . . . . . . . . . . . . . . . . . . . 19
0.18 Second Formulas for Transforming Inclusions into Equalities . . . 20
0.19 The Law of Contraposition . . . . . . . . . . . . . . . . . . . . . 21
0.20 Postulate of Existence . . . . . . . . . . . . . . . . . . . . . . . . 22
0.21 The Development of 0 and of 1 . . . . . . . . . . . . . . . . . . . 23
0.22 Properties of the Constituents . . . . . . . . . . . . . . . . . . . . 23
0.23 Logical Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
0.24 The Law of Development . . . . . . . . . . . . . . . . . . . . . . 24
0.25 The Formulas of De Morgan . . . . . . . . . . . . . . . . . . . . . 26
0.26 Disjunctive Sums . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
0.27 Properties of Developed Functions . . . . . . . . . . . . . . . . . 28
0.28 The Limits of a Function . . . . . . . . . . . . . . . . . . . . . . 30
0.29 Formula of Poretsky. . . . . . . . . . . . . . . . . . . . . . . . . . 32
0.30 Schr？der's Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . 33
0.31 The Resultant of Elimination . . . . . . . . . . . . . . . . . . . . 34
0.32 The Case of Indetermination . . . . . . . . . . . . . . . . . . . . 36
0.33 Sums and Products of Functions . . . . . . . . . . . . . . . . . . 36
vi
0.34 The Expression of an Inclusion by Means of an Indeterminate . . 39
0.35 The Expression of a Double Inclusion by Means of an Indeterminate 40
0.36 Solution of an Equation Involving One Unknown Quantity . . . . 42
0.37 Elimination of Several Unknown Quantities . . . . . . . . . . . . 45
0.38 Theorem Concerning the Values of a Function . . . . . . . . . . . 47
0.39 Conditions of Impossibility and Indetermination . . . . . . . . . 48
0.40 Solution of Equations Containing Several Unknown Quantities . 49
0.41 The Problem of Boole . . . . . . . . . . . . . . . . . . . . . . . . 51
0.42 The Method of Poretsky . . . . . . . . . . . . . . . . . . . . . . . 52
0.43 The Law of Forms . . . . . . . . . . . . . . . . . . . . . . . . . . 53
0.44 The Law of Consequences . . . . . . . . . . . . . . . . . . . . . . 54
0.45 The Law of Causes . . . . . . . . . . . . . . . . . . . . . . . . . . 56
0.46 Forms of Consequences and Causes . . . . . . . . . . . . . . . . . 59
0.47 Example: Venn's Problem . . . . . . . . . . . . . . . . . . . . . . 60
0.48 The Geometrical Diagrams of Venn . . . . . . . . . . . . . . . . . 62
0.49 The Logical Machine of Jevons . . . . . . . . . . . . . . . . . . . 64
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii
0.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
0.2 The Two Interpretations of the Logical Calculus . . . . . . . . . 2
0.3 Relation of Inclusion . . . . . . . . . . . . . . . . . . . . . . . . . 3
0.4 De nition of Equality . . . . . . . . . . . . . . . . . . . . . . . . 4
0.5 Principle of Identity . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.6 Principle of the Syllogism . . . . . . . . . . . . . . . . . . . . . . 6
0.7 Multiplication and Addition . . . . . . . . . . . . . . . . . . . . . 6
0.8 Principles of Simpli cation and Composition . . . . . . . . . . . 8
0.9 The Laws of Tautology and of Absorption . . . . . . . . . . . . . 9
0.10 Theorems on Multiplication and Addition . . . . . . . . . . . . . 10
0.11 The First Formula for Transforming Inclusions into Equalities . . 11
0.12 The Distributive Law . . . . . . . . . . . . . . . . . . . . . . . . 13
0.13 De nition of 0 and 1 . . . . . . . . . . . . . . . . . . . . . . . . . 14
0.14 The Law of Duality . . . . . . . . . . . . . . . . . . . . . . . . . . 16
0.15 De nition of Negation . . . . . . . . . . . . . . . . . . . . . . . . 17
0.16 The Principles of Contradiction and of Excluded Middle . . . . . 19
0.17 Law of Double Negation . . . . . . . . . . . . . . . . . . . . . . . 19
0.18 Second Formulas for Transforming Inclusions into Equalities . . . 20
0.19 The Law of Contraposition . . . . . . . . . . . . . . . . . . . . . 21
0.20 Postulate of Existence . . . . . . . . . . . . . . . . . . . . . . . . 22
0.21 The Development of 0 and of 1 . . . . . . . . . . . . . . . . . . . 23
0.22 Properties of the Constituents . . . . . . . . . . . . . . . . . . . . 23
0.23 Logical Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
0.24 The Law of Development . . . . . . . . . . . . . . . . . . . . . . 24
0.25 The Formulas of De Morgan . . . . . . . . . . . . . . . . . . . . . 26
0.26 Disjunctive Sums . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
0.27 Properties of Developed Functions . . . . . . . . . . . . . . . . . 28
0.28 The Limits of a Function . . . . . . . . . . . . . . . . . . . . . . 30
0.29 Formula of Poretsky. . . . . . . . . . . . . . . . . . . . . . . . . . 32
0.30 Schr？der's Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . 33
0.31 The Resultant of Elimination . . . . . . . . . . . . . . . . . . . . 34
0.32 The Case of Indetermination . . . . . . . . . . . . . . . . . . . . 36
0.33 Sums and Products of Functions . . . . . . . . . . . . . . . . . . 36
vi
0.34 The Expression of an Inclusion by Means of an Indeterminate . . 39
0.35 The Expression of a Double Inclusion by Means of an Indeterminate 40
0.36 Solution of an Equation Involving One Unknown Quantity . . . . 42
0.37 Elimination of Several Unknown Quantities . . . . . . . . . . . . 45
0.38 Theorem Concerning the Values of a Function . . . . . . . . . . . 47
0.39 Conditions of Impossibility and Indetermination . . . . . . . . . 48
0.40 Solution of Equations Containing Several Unknown Quantities . 49
0.41 The Problem of Boole . . . . . . . . . . . . . . . . . . . . . . . . 51
0.42 The Method of Poretsky . . . . . . . . . . . . . . . . . . . . . . . 52
0.43 The Law of Forms . . . . . . . . . . . . . . . . . . . . . . . . . . 53
0.44 The Law of Consequences . . . . . . . . . . . . . . . . . . . . . . 54
0.45 The Law of Causes . . . . . . . . . . . . . . . . . . . . . . . . . . 56
0.46 Forms of Consequences and Causes . . . . . . . . . . . . . . . . . 59
0.47 Example: Venn's Problem . . . . . . . . . . . . . . . . . . . . . . 60
0.48 The Geometrical Diagrams of Venn . . . . . . . . . . . . . . . . . 62
0.49 The Logical Machine of Jevons . . . . . . . . . . . . . . . . . . . 64
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
contents 연속.
0.50 Table of Consequences . . . . . . . . . . . . . . . . . . . . . . . . 64
0.51 Table of Causes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
0.52 The Number of Possible Assertions . . . . . . . . . . . . . . . . . 67
0.53 Particular Propositions . . . . . . . . . . . . . . . . . . . . . . . . 67
0.54 Solution of an Inequation with One Unknown . . . . . . . . . . . 69
0.55 System of an Equation and an Inequation . . . . . . . . . . . . . 70
0.56 Formulas Peculiar to the Calculus of Propositions. . . . . . . . . 71
0.57 Equivalence of an Implication and an Alternative . . . . . . . . . 72
0.58 Law of Importation and Exportation . . . . . . . . . . . . . . . . 74
0.59 Reduction of Inequalities to Equalities . . . . . . . . . . . . . . . 76
0.60 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Preface
Mathematical Logic is a necessary preliminary to logical Mathematics. Mathematical Logic is the name given by Peano to what is also known (after
Venn ) as Symbolic Logic; and Symbolic Logic is, in essentials, the Logic
of Aristotle, given new life and power by being dressed up in the wonderful
almost magicalarmour and accoutrements of Algebra. In less than seventy
years, logic, to use an expression of De Morgan's, has so thriven upon symbols and, in consequence, so grown and altered that the ancient logicians would
not recognize it, and many old-fashioned logicians will not recognize it. The
metaphor is not quite correct: Logic has neither grown nor altered, but we now
see more of it and more into it.
The primary signi cance of a symbolic calculus seems to lie in the economy of mental eort which it brings about, and to this is due the characteristic
power and rapid development of mathematical knowledge. Attempts to treat
the operations of formal logic in an analogous way had been made not infrequently by some of the more philosophical mathematicians, such as Leibniz
and Lambert ; but their labors remained little known, and it was Boole
and De Morgan, about the middle of the nineteenth century, to whom a
mathematicalthough of course non-quantitativeway of regarding logic was
due. By this, not only was the traditional or Aristotelian doctrine of logic
reformed and completed, but out of it has developed, in course of time, an
instrument which deals in a sure manner with the task of investigating the fundamental concepts of mathematicsa task which philosophers have repeatedly
taken in hand, and in which they have as repeatedly failed.
작가정보
저자(글) Louis Couturat
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
BY
LOUIS COUTURAT
AUTHORIZED ENGLISH TRANSLATION
BY
LYDIA GILLINGHAM ROBINSON, B. A.
With a Preface by PHILIP E. B. JOURDAIN. M. A. (Cantab.)
이 상품의 총서
Klover리뷰 (0)
Klover리뷰 안내
Klover(Kyobo-lover)는 교보를 애용해 주시는 고객님들이 남겨주신 평점과 감상을 바탕으로, 다양한 정보를 전달하는 교보문고의 리뷰 서비스입니다.
1. 리워드 안내
구매 후 90일 이내에 평점 작성 시 e교환권 100원을 적립해 드립니다.
- - e교환권은 적립일로부터 180일 동안 사용 가능합니다.
- - 리워드는 1,000원 이상 eBook, 오디오북, 동영상에 한해 다운로드 완료 후 리뷰 작성 시 익일 제공됩니다.
- - 리워드는 한 상품에 최초 1회만 제공됩니다.
- - sam 이용권 구매 상품 / 선물받은 eBook은 리워드 대상에서 제외됩니다.
2. 운영 원칙 안내
Klover리뷰를 통한 리뷰를 작성해 주셔서 감사합니다. 자유로운 의사 표현의 공간인 만큼 타인에 대한 배려를 부탁합니다. 일부 타인의 권리를 침해하거나 불편을 끼치는 것을 방지하기 위해 아래에 해당하는 Klover 리뷰는 별도의 통보 없이 삭제될 수 있습니다.
- 도서나 타인에 대해 근거 없이 비방을 하거나 타인의 명예를 훼손할 수 있는 리뷰
- 도서와 무관한 내용의 리뷰
- 인신공격이나 욕설, 비속어, 혐오 발언이 개재된 리뷰
- 의성어나 의태어 등 내용의 의미가 없는 리뷰
구매 후 리뷰 작성 시, e교환권 100원 적립
문장수집
문장수집 안내
문장수집은 고객님들이 직접 선정한 책의 좋은 문장을 보여 주는 교보문고의 새로운 서비스 입니다. 교보eBook 앱에서 도서 열람 후 문장 하이라이트 하시면 직접 타이핑 하실 필요 없이 보다 편하게 남길 수 있습니다. 마음을 두드린 문장들을 기록하고 좋은 글귀들은 ‘좋아요’ 하여 모아보세요. 도서 문장과 무관한 내용 등록 시 별도 통보없이 삭제될 수 있습니다.
리워드 안내
- 구매 후 90일 이내에 문장 수집 등록 시 e교환권 100원을 적립해 드립니다.
- e교환권은 적립일로부터 180일 동안 사용 가능합니다.
- 리워드는 1,000원 이상 eBook에 한해 다운로드 완료 후 문장수집 등록 시 제공됩니다.
- 리워드는 한 상품에 최초 1회만 제공됩니다.
- sam 이용권 구매 상품/오디오북·동영상 상품/주문취소/환불 시 리워드 대상에서 제외됩니다.
구매 후 문장수집 작성 시, e교환권 100원 적립
교보eBook 첫 방문을 환영 합니다!
신규가입 혜택 지급이 완료 되었습니다.
바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!
신간 알림 안내
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
웹툰 신간 알림이 신청되었습니다.
신간 알림 안내
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
웹툰 신간 알림이 취소되었습니다.
리뷰작성
- 구매 후 90일 이내 작성 시, e교환권 100원 (최초1회)
- 리워드 제외 상품 : 마이 > 라이브러리 > Klover리뷰 > 리워드 안내 참고
- 콘텐츠 다운로드 또는 바로보기 완료 후 리뷰 작성 시 익일 제공
감성 태그
가장 와 닿는 하나의 키워드를 선택해주세요.
사진 첨부(선택)
0 / 5
총 5MB 이하로 jpg,jpeg,png 파일만 업로드 가능합니다.
신고/차단
신고 사유를 선택해주세요.
신고 내용은 이용약관 및 정책에 의해 처리됩니다.
허위 신고일 경우, 신고자의 서비스 활동이 제한될 수
있으니 유의하시어 신중하게 신고해주세요.
이 글을 작성한 작성자의 모든 글은 블라인드 처리 됩니다.
문장수집 작성
구매 후 90일 이내 작성 시, e교환권 100원 적립
eBook 문장수집은 웹에서 직접 타이핑 가능하나, 모바일 앱에서 도서를 열람하여 문장을 드래그하시면 직접 타이핑 하실 필요 없이 보다 편하게 남길 수 있습니다.
P.
논리의 대수 수학.The Algebra of Logic, by Louis Couturat
저자 모두보기
저자(글)
낭독자 모두보기
sam 이용권 선택
님이 보유하신 이용권입니다.
차감하실 sam이용권을 선택하세요.
차감하실 sam이용권을 선택하세요.
sam 이용권 선택
님이 보유하신 이용권입니다.
차감하실 sam이용권을 선택하세요.
차감하실 sam이용권을 선택하세요.
sam 이용권 선택
님이 보유하신 프리미엄 이용권입니다.
선물하실 sam이용권을 선택하세요.
선물하실 sam이용권을 선택하세요.
결제완료
e캐시 원 결제
계속 하시겠습니까?
교보 e캐시 간편 결제
sam 열람권 선물하기
-
보유 권수 / 선물할 권수0권 / 1권
-
받는사람 이름받는사람 휴대전화
- 구매한 이용권의 대한 잔여권수를 선물할 수 있습니다.
- 열람권은 1인당 1권씩 선물 가능합니다.
- 선물한 열람권이 ‘미등록’ 상태일 경우에만 ‘열람권 선물내역’화면에서 선물취소 가능합니다.
- 선물한 열람권의 등록유효기간은 14일 입니다.
(상대방이 기한내에 등록하지 않을 경우 소멸됩니다.) - 무제한 이용권일 경우 열람권 선물이 불가합니다.
이 상품의 총서 전체보기
네이버 책을 통해서 교보eBook 첫 구매 시
교보e캐시 지급해 드립니다.
교보e캐시 지급해 드립니다.
- 첫 구매 후 3일 이내 다운로드 시 익일 자동 지급
- 한 ID당 최초 1회 지급 / sam 이용권 제외
- 네이버 책을 통해 교보eBook 구매 이력이 없는 회원 대상
- 교보e캐시 1,000원 지급 (유효기간 지급일로부터 7일)
구글북액션을 통해서 교보eBook
첫 구매 시 교보e캐시 지급해 드립니다.
첫 구매 시 교보e캐시 지급해 드립니다.
- 첫 구매 후 3일 이내 다운로드 시 익일 자동 지급
- 한 ID당 최초 1회 지급 / sam 이용권 제외
- 구글북액션을 통해 교보eBook 구매 이력이 없는 회원 대상
- 교보e캐시 1,000원 지급 (유효기간 지급일로부터 7일)