검색 결과

...하여 수학의 원리는 몇 안되는 공리계로 환원될 수 있으며, 이것은 [[논리학]]의 원리에 틀림없다고 보았고, 우선 이 책에서 [[기호 논리학]]을 도입·확립하고 거기서부터 수학 체계를 재구성하려고 하였다. 《수학 원리》는 종래의 논리학과 달리 애매한 일상 언어 대신 순수하게 {{토막글|책}} ...

{{책 정보 | 주제 = {{hlist|이상 언어 철학|[[논리학]]}} ...

'''폴란드 표기법(PN)''' 또는 '''전위 표기법'''은 [[논리학|논리]], 산술 그리고 [[대수학]](algebra)에 대한 하나의 표기법 양식이다. 그것의 두드러지는 특징은 연산자를 피연산자의 왼쪽 ...al Logic''에서, 그는 그의 표기법의 원칙은 괄호를 피하기 위해 인자 앞에 함수적 술어를 쓰는 것이었으며, 1929년부터 그의 논리학 논문에서 그의 표기법을 사용해 왔다고 언급한다. 한 가지 예를 들자면, 그 뒤에 그는 Alfred Tarski와 1930년에 공저한 명 ...

...수 없으므로 존재성을 다른 성질들과 함께 다룰 수 없다. 이 개념은 나중에 [[프레게]]가 [[1차 논리]]를 형식화할 때 [[양화 (논리학)|양화]]의 개념을 도입하면서 체계화되었는데, 이런 관점에서는 존재 양화사는 [[술어]]가 아니라고 할 수 있다. 괴델의 증명은 다음 세 개의 [[정의 (논리학)|정의]]와 다섯 개의 [[공리]]에 의존한다. ...

...831|언어=de}}</ref>에서 내용이나 의미가 명확한 수학문제는 언젠가는 반드시 풀릴 것이라고 했고, 이어서 1930년에 출판된 책 《수학의 기초》({{llang|de|Grundlagen der Mathematik}})에서도 초수학적인 방법으로 무모순성과 완전성에 관 ...페 페아노]] 등에 의해 [[산술]]화되었고, [[고틀로프 프레게]], [[버트런드 러셀]] 등 [[논리주의]]자들에 의해 산술체계가 논리학 명제로 표현될 수 있었다. 따라서 수학의 무모순성 문제는 [[형식논리학]] 자체의 무모순성 문제로 귀결되었고, 논리주의 진영의 [[앨프 ...

...|프리드리히]]의 딸 [[팔츠의 엘리자베스]]에게 최고선에 관한 자기 생각들을 편지로 보낸 것들이 모여 1649년 출판된 그의 마지막 책, 《[[정념론]]》(Les passions de l'ame)이 된다. [[1650년]] 2월 11일, 그는 [[폐렴]]에 걸려 54세의 ...명증한 지식이라고 생각하였다. 1616년 [[프랑스의 교육제도|리상스(Licence)]]를 취득한다. 이후 그는 '세상이라는 커다란 책'에서 실질적인 지식을 얻고자 학교 밖으로 나갔고, 다시는 제도권 교육으로 돌아오지 않았다.<ref>{{서적 인용 | 이름 = 진호 | ...

:{{lang|eo|mano}} 손 + {{lang|eo|libro}} 책 → {{lang|eo|manlibro}} 핸드북 ...한다. 이중부정({{lang|eo|duobla negacio}})의 경우는 강한 긍(부)정의 강조를 나타낸다. 그 이상의 경우는 ([[논리학]]적인 용법 등 외에는) 뜻을이해하기 어려워지므로 쓰지 않는다.<ref>[http://bertilow.com/pmeg/gramatiko ...

...의 [[자연철학]]자 [[아리스토텔레스]]는 생애 동안 [[물리학]], [[형이상학]], [[시]], [[희극]], [[음악]], [[논리학]], [[정치학]], [[윤리학]]에 걸치는 방대한 양의 글을 남겼다. 대부분의 아리스토텔레스의 글은 [[서양 철학]]의 전반적인 형성 <!-- 여기에 책 표지 삽입 --> ...