##의 사이 지배적인 포스트 아비센나 논리학파의 라이벌로서 존재했다 [ 49 ]. 그리스 논리학에 대한 체계였던 논박이 샤하브 알 = 딘 스후라와르디 ( 1155년 - 1191년 ) 가 창시한 조명 학파에 의해서 집필되고 있다. 스후라와르디는 모든 양상 ( 필연성, 가능성, 우연성, 불가능성 ) 을 유일개필연성의 양상에 환원해 버리는'결정적 필연성'의 개념을 발전시켰다 [ 50 ]. 이븐 알 = 나피스 ( 1213년 - 1288년 ) 가 아비센나 논리학의 연구서를 저술하고 있지만, 그것은 이븐 시나의'알 = 이샤라트'( 상징 ) 과'알 = 히다야'( 안내 ) 의 주석서라는 형태로 쓰여져 있다 [ 51 ]. 그리스 논리학에 대한 또 하나의 체계적인 논박으로서 이븐 타이미야 ( 1263년 - 1328년 ) 의'알 = 랏드 아라 알 = 만티키인'( 그리스 논리학자에 대한 논박 ) 이 있지만, 본서에서는 삼단논법 의 타당성은 아니라 유용성이 문제시되고 있어 [ 52 ], 귀납 추론 쪽이 바람직한 것으로 되어 있다 [ 48 ]. 이븐 타이미야는 삼단논법
the German literature in this period, Robert Adamson wrote " Logics swarm as bees in springtime... " ; Robert Adamson, A Short History of Logic, Wm. Blackwood & Sons, 1911, page 242 ↑ Carl von Prantl ( 1855 - 1867 ), Geschichte von Logik in Abendland, Leipsig : S. Hirzl, anastatically reprinted in 1997, Hildesheim : Georg Olds. ↑ See e. g. Psychologism, Stanford Encyclopedia of Philosophy ↑ Wilhelm Wundt, Logik ( 1880□1883 ) ; quoted in Edmund Husserl, Logical Investigations, translated J. N. Findlay, Routledge, 2008, Volume 1, pp. 115□116. ↑ Theodor Lipps, Grundzuge der Logik ( 1893 ) ; quoted in Edmund Husserl, Logical Investigations, translated J. N. Findlay, Routledge, 2008, Volume 1, p.
##로서의 지위를 아리스토텔레스 논리학으로부터 빼앗아 [ 42 ], 한층 더 아르베르트스 마그누스와 같은 중세 서구의 저술가에게 심대한 영향을 줬다 [ 43 ]. 이븐 시나는 가말삼단논법 [ 44 ] 및 명제 논리에 관한 저작을 남기고 있지만, 어느 쪽이나 스토아파 논리학의 영역이다 [ 45 ]. 그는'시 상적으로 양상화된'삼단논법이라는 독자 이론을 발전시켜 [ 40 ], 과학적 방법에 대해서 비판적인, 일치법, 차이법, 공변법 등의 귀납 논리를 이용했다 [ 44 ]. 이븐 시나의 개념의 하나는 서구의 논리학자 오컴의 윌리엄에 특히 중대한 영향을 미쳤다. 의미 혹은 관념을 가리키는 이븐 시나 용어'맛나'는 스콜라 논리학자에 의해서'인텐티오'( 라틴어 : intentio ) 로 라틴어 번역되었다. 중세의 논리학 · 인식론에서, 이 술어는 본래는 물건에 대응하는 마음 속의 상징이다 [ 46 ]. 이는 오컴의 개념론의 발전에서 결정적인 것이었다. 보편적인 명사 ( 예를 들면'인간') 는 실재하는 있는 것을 나타내는 것이 아니라, 오히려 실재하는 다수의 것에 대응하는 마음 속의 상징 ( 라 : intentio
Syncategoremata ) 의 이론. 공의어는 논리학적으로 필수의 단어이지만, 자의어 ( 라 : categoremata ) 와는 달라 단독으로 무엇인가를 의미하지 못하고, 다른 말과 수반하는 것으로'모두 의미하는'일이 생긴다.'와 ','없다 ','모든 ','만약'등이 공의어의 예이다. 추단 ( 라 : consequentia ) 의 이론. 추단은 가정적 · 조건적인 명제, 즉 두 개의 명제가'만약... 라면 ~'이라는 형태로 연결된 명제이다. 예를 들면'인간이 달린다면 신은 존재한다'( 라 : Si homo currit, Deus est ) [ 66 ]. 오컴의 윌리엄의'논리학 대전'에서 추단의 이론이 완전하게 발달한 모습이 보인다. 거기서 오컴은'질량적인'추단과'형식적인'추단을 구별하고 있지만, 이는 대략적으로 말해 각각 현대의 논리 포함과 논리적 시사와 동등하다. 같은 설명이 요하네스 브리다누스 및 사크소니아의 아르베르트스에 의해서도 되고 있다. 이 흐름의 마지막에 위치하는 중요한 작품으로서는 요하네스 포인소트 ( 1586년 - 1664
이용되는 형태 부착 Lambda 계산 논리와의 일치를 포함한, 논리와 계산과의 깊은 유사로서 일어났다. 결과적으로, 이 형식적 체계의 클래스가 논리학적인 면과 계산기적인 면과의 양쪽 모두를 설명하게 되었다 ; 이 연구 영역은 현대형 이론으로서 알려지게 되었다. 순서 해석이나, 파리스하린톤의 정리와 같은 산술에서의 독립한 결과의 연구에 의해서도 진전이 일어났다. 이 시기는, 특히 1950년대와 그 이후는 수리논리학의 개념이 철학적 사고에 영향을 주기 시작했던 시기이기도 하다. 예를 들면, 시제 논리는 시간에 수식된 문장을 표현해, 추리하기 위해서 형식화 된 체계이다. 철학자 아서 프라이어는 1960년대에 이 분야의 발전에 큰 역할을 완수했다. 양상 논리는 형식논리학의 사정을 확장해 모다리티의 요소 ( 예를 들면, 논리적 가능성이나 필요성 ) 를 포함 하도록 했다. 솔 크립키의 사상, 특히 가능 세계에 관한 사상과 오늘 크립키 의미론으로 불리고 있는 형식적 체계는 분석 철학에 중대한 영향을 미쳤다 [ 121 ]. 그의 가장 잘 알려져 가장 영향력을 가진 저작은'지명과 필연성'( 1980년 ) 이다 [ 122 ].
Logik in Abendland, 1855년 - 1867년 ) [ 72 ] 나 영국 관념론자의 작품 - 예를 들면 프랜시스 브래들리의'논리학의 제원리'( 영 : Principles of Logic, 1883년 ) -, 그리고 카를 마르크스 및 마르크스주의 제학파의 경제학, 정치학, 철학 등의 연구 등이 있다. 논리학과 심리학 [ 원본 편집 ] 밀과 프레게의 저작의 사이로, 논리학이 넓게 기술 과학으로서 혹은 추론의 구조의 경험적 연구, 또 근본적으로는 심리학의 한 분야로서 다루어진 기간은 반세기에 이른다 [ 73 ]. 예를 들면 독일의 심리학자 빌헬름 분트는'심리학적인 사고법칙으로부터 논리 형식을'이끌어내는 것을 주장해,'심리학적 사고는 항상보다 알기 쉬운 형태의 사고이다'라고 강변 했다 [ 74 ]. 이 사상은 당시의 독일의 철학자의 사이에 퍼졌다 : 테오도어 립스는 논리학을'심리학 중의 어느 특정의 규칙 [ 75 ]'이라고 평가했다 ; 크리스토프 폰 지그바르트는 논리적 필연성을 인간이 어느 방법으로 생각하려고 하는 충동에 기초 마련된 것으로 이해했다 [ 76 ] ; 그리고 벤노 에르드만은'논리적 법칙은 우리의 사고의 범위 내에서만 존속한다 [ 77 ]'라고 주장
있다. 이 흐름의 마지막에 위치하는 중요한 작품으로서는 요하네스 포인소트 ( 1586년 - 1664년, 성토마스의 요하네스로서 알려진다 ) 의'논리학 ', 프란시스코 수아레스 ( 1548년 - 1617년 ) 의'형이상학적 논쟁 ', 죠반니 지로라모 삭케이리 ( 1667년 - 1733년 ) 의'실증 논리학'( 라 : Logica Demonstrativa ) 이 있다. 전통적 논리학 [ 원본 편집 ] 교과서의 전통 [ 원본 편집 ] 잣드리 펜나'논리학의 기예'( 1584년 ) 전통적 논리학은 일반적으로는 안토와느 알노와 피에르 니콜의'논리학, 혹은 사고의 기법 ', 통칭'폴 로와이얄 논리학'에 시작하는 교과서의 전통이다 [ 67 ].'폴 로와이얄 논리학'은 1662년에 출판되어 19세기까지의 사이 잉글랜드에서 가장 영향력의 큰 논리학서가 되었다 [ 68 ]. 본서는 아리스토텔레스 및 중세의 명사 논리학의 골조 안에 데카르트의 교설 ( 예를 들면, 명제는 명사보다 오히려 관념의 결합이다, 등 ) 을 대략적으로 나타내고 있다. 1664년부터 1700년까지의 사이에 8쇄를 거듭해 그 이후의 시기에도 현저한 영향
See e. g. The Internet Encyclopedia of Philosophy, article " Frege " ↑ See e. g. Potter 2004 ↑ Zermelo 1908 ↑ Feferman 1999 p. 1 ↑ Girard, Jean - Yves ; Paul Taylor, Yves Lafont ( 1990 ) [ 1989 ]. BTypes. html 《 Proofs and Types 》 | url = 값 확인 필요 ( 도움말 ). Cambridge University Press ( Cambridge Tracts in Theoretical Computer Science, 7 ). ISBN 0 - 521 - 37181 - 3. 더 이상 지원되지 않는 변수를 사용함 ( 도움말 ) ↑ Feferman and Feferman 2004, p. 122, discussing " The Impact of Tarski's Theory of Truth ". ↑ Feferman 1999, p. 1 ↑ See e. g. Barwise, Handbook of Mathematical Logic ↑ sici = 0027 - 8424 % 2819640115 % 2951 % 3 A1 % 3 C105 % 3 ATIOTCH % 3 E2. 0. CO % 3 B2 - U The Independence of the Continuum Hypothesis, II
##고, 그들에 대해 알려면 주로 디오게네스 라에르티오스, 섹스투스 엠피리쿠스, 갈레노스, 아울루스 겔리우스, 키케로 등 ( 때에 적의가 있다 ) 후대의 문헌에 의한 설명에 크게 의거할 필요가 있다 [ 20 ]. 스토아파의 세 개의 중요한 실적은 ( i ) 그들의 양상의 설명, ( ii ) 그들의 논리 포함의 이론, 그리고 ( iii ) 그들의 의미와 진리의 설명이다 [ 21 ]. 양상. 아리스토텔레스에 의하면, 당시의 메가라 학파는 가능태와 현실태의 구별 등 존재하지 않는다고 주장했다 [ 22 ]. 디오드로스 크로노스는 가능한 것은 현재 존재하는 것 또는 미래에 존재할 것이라고 정의해, 불가능한 것은 미래에 참이 아닐 것이라고 정의해, 부정의 것은 벌써 그런 것 또는 미래에 거짓일 것이라고 정의했다 [ 23 ]. 디오드로스는'과거에 존재했지만 모두는 참이자 필연이다 ','불가능한 것은 가능한 것으로부터 태어날 수 없다 ','현재 존재하지 않고 미래도 존재하지 않을 것은 가능하다'의 3명제는 정립할 수 없다는, 이른바 마스터 · 아규먼트로도 유명하다. 디오드로스는 이 3
##독일어 표기를 포함한 문서CS1 - 영어 인용 ( en ) 둘러보기 메뉴 개인 도구 로그인하지 않음토론기여계정 만들기로그인 이름공간 문서토론 변수 보기 읽기원본 편집역사 보기 더 보기 검색 둘러보기 대문사용자 모임요즘 화제최근 문서 보기임의 문서로도움말기부 도구 여기를 가리키는 문서가리키는 글의 최근 올리기특수 문서 목록고유 링크문서 정보위키데이터 항목이 문서 인용하기 다른 프로젝트 공용 인쇄 / 내보내기 책 만들기PDF로 다운로드인쇄용 판 다른 언어 Indonesia 日 本 語 中 文 링크 편집 이 문서는 2019년 7월 5일 ( 금 ) 22 : 33에 마지막으로 편집되었습니다. 모든 문서는 크리에이티브 커먼즈 저작자표시 - 동일조건변경허락 3. 0에 따라 사용할 수 있으며, 추가적인 조건이 적용될 수 있습니다. 자세한 내용은 이용 약관을 참고하십시오. 미국 및 다른 국가에 등록되어 있는 Wikimedia Foundation, Inc. 소유의 등록 상표입니다. 개인정보 정책 위키백과 소개 면책 조항 개발자 쿠키 정책 모바일 보기
논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학은 고대의 중국, 인도, 그리스의 철학에서 그 유래를 찾아볼 수 있다. 그리스 논리학, 그 중에서도 아리스토텔레스식 논리학은 과학·수학에 넓게 수용·응용된 고전논리학이다. 아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전하여, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴하여 경시되었던 시기로, 적어도 한 명의 논리학 역사가에 의해서 논리학의 침체기로 간주되고 있다.19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다. 근현대에서의 이 시기의 발전, 이른바 '기호' 혹은 '수리' 논리학은 2천 년에 걸친 논리학의 역사에서 가장 현저한 것이며, 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다.수리논리학의 발전은 20세기의 최초의 수십 년, 특히 괴델 및 타르스키의 저작에 의해서 일어나, 분석 철학이나 철학적 논리학, 특히 1950년대 이후에 양상 논리나 시제 논리, 의무 논리, 적정 논리 등에 영향을 주었다.