논리학사에서는 타당한 추론을 탐구하는 학문의 발전을 취급한다. 형식논리학은 고대의 중국, 인도, 그리스에서 발전했다. 그리스 논리학, 그 중에서도 아리스토텔레스 논리학은 과학·수학에 넓게 수용·응용되고 있다.아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴, 경시되었던 시기이며, 적어도 한 명의 논리학 역사가에 의해서 논리학의 불모기로 간주해지고 있다.19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다.

PropertyValue
dbpedia-owl:abstract
  • 논리학사에서는 타당한 추론을 탐구하는 학문의 발전을 취급한다. 형식논리학은 고대의 중국, 인도, 그리스에서 발전했다. 그리스 논리학, 그 중에서도 아리스토텔레스 논리학은 과학·수학에 넓게 수용·응용되고 있다.아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴, 경시되었던 시기이며, 적어도 한 명의 논리학 역사가에 의해서 논리학의 불모기로 간주해지고 있다.19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다. 근현대에서의 이 시기의 발전, 이른바 '기호' 혹은 '수리' 논리학은 2천 년에 걸친 논리학의 역사에서 가장 현저한 것이며, 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다.수리논리학의 발전은 20세기의 최초의 수십 년, 특히 괴델 및 타르스키의 저작에 의해서 일어나, 분석 철학이나 철학적 논리학, 특히 1950년대 이후에 양상 논리나 시상 논리, 의무 논리, 적절함의 논리 등에 영향을 주었다.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1312357 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 53452 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 411 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 14762955 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ko:author
  • Alex Sakharov
prop-ko:authorlink
  • Solomon Feferman
  • Ernst Zermelo
  • Jean van Heijenoort
prop-ko:chapter
  • Investigations in the foundations of set theory
prop-ko:doi
  • 10.100700 (xsd:double)
prop-ko:first
  • Solomon
  • Ernst
  • Anita B.
  • Jean van
prop-ko:isbn
  • 978 (xsd:integer)
prop-ko:issue
  • 2 (xsd:integer)
prop-ko:journal
  • Mathematische Annalen
prop-ko:last
  • Zermelo
  • Feferman
  • Heijenoort
prop-ko:oclc
  • 54691904 (xsd:integer)
prop-ko:pages
  • 199 (xsd:integer)
  • 261 (xsd:integer)
prop-ko:publisher
prop-ko:ref
  • F-F
prop-ko:series
  • Source Books in the History of the Sciences
prop-ko:urlname
  • CutEliminationTheorem
prop-ko:volume
  • 65 (xsd:integer)
prop-ko:wikiPageUsesTemplate
prop-ko:year
  • 1908 (xsd:integer)
  • 1967 (xsd:integer)
  • 2004 (xsd:integer)
prop-ko:제목
  • Alfred Tarski: Life and Logic
  • Cut Elimination Theorem
  • From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
  • Untersuchungen über die Grundlagen der Mengenlehre I
dcterms:subject
rdfs:comment
  • 논리학사에서는 타당한 추론을 탐구하는 학문의 발전을 취급한다. 형식논리학은 고대의 중국, 인도, 그리스에서 발전했다. 그리스 논리학, 그 중에서도 아리스토텔레스 논리학은 과학·수학에 넓게 수용·응용되고 있다.아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴, 경시되었던 시기이며, 적어도 한 명의 논리학 역사가에 의해서 논리학의 불모기로 간주해지고 있다.19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다.
rdfs:label
  • 논리학사
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of