About: History of logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:Book, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FHistory_of_logic

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.

AttributesValues
rdf:type
rdfs:label
  • History of logic (en)
  • تاريخ المنطق (ar)
  • Geschichte der Logik (de)
  • Historia de la lógica (es)
  • Histoire de la logique (fr)
  • 논리사 (ko)
  • 論理学の歴史 (ja)
  • Historia logiki (pl)
  • Geschiedenis van de logica (nl)
  • История логики (ru)
  • História da lógica (pt)
  • 逻辑史 (zh)
rdfs:comment
  • Die Geschichte der Logik behandelt die Entstehung und Entwicklung der Logik und aller ihrer Teildisziplinen. In verschiedenen Erdteilen haben sich verschiedene Traditionen der Logik herausgebildet. Die europäisch-westliche Logik hat ihren Anfang im antiken Griechenland und kann in zwei Strömungen unterteilt werden: die Tradition der aristotelisch-scholastischen Logik und die der modernen oder mathematischen Logik ab 1847. Daneben gibt es die Traditionen der indischen und tibetischen, der chinesischen, der japanischen und der islamischen Logik. (de)
  • L'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au XXe siècle. Des développements parallèles ont notamment eu lieu en Chine et en Inde. Le développement de la logique dans le monde arabo-musulman s'intègre à celui de l'Europe, du fait de leur proximité. (fr)
  • 論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。 前近代の論理学については「伝統的論理学」を、近代以降の論理学については「現代論理学(数理論理学)」を参照 形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもは科学・数学に広く受容・応用されている。 アリストテレス論理学は中世のおよびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。 19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。 数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。 (ja)
  • De geschiedenis van de logica bestrijkt de ontwikkeling van logica, zoals deze in de geschiedenis van verschillende culturen en tradities is voorgekomen. (nl)
  • Szeroko rozpowszechniony był niegdyś pogląd uważający za twórcę logiki Sokratesa. Opinia ta oparta była na pracach Arystotelesa, który w Metafizyce uznawał go za twórcę rozumowania indukcyjnego i definicji. Pogląd ten uznaje się obecnie za błędny, pomimo bowiem faktu, że Sokrates używał w praktyce indukcji i dążył do określenia znaczenia pojęć, to nie ujmował ich teoretycznie. Tym samym nie można go uznać za twórcę tych pojęć. (pl)
  • A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições. Apesar de muitas culturas terem usado complicados sistemas de raciocínio, somente na China, Índia e Grécia os métodos de raciocínio tiveram um desenvolvimento sustentável. Embora as datas sejam incertas, especialmente no caso da Índia, é possível que a lógica tenha emergido nos três países por volta do século IV a.C. A lógica moderna descende da tradição grega, mas também há influências de filósofos islâmicos e de lógicos europeus da era medieval que tiveram contato com a lógica aristotélica. (pt)
  • 逻辑史,又稱理則史,指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时,印度和中国也独立地发展了逻辑学。 中国古代逻辑学代表为墨家逻辑,晚期的墨家中一批人已经开始研究形式逻辑。不过中国的逻辑学并未形成体系。可惜的是,汉朝以后,实行“罢黜百家、独尊儒术、外儒内法”,逻辑学的研究停止了。后来,印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。 在现代,逻辑学发展巨大,传统的形式逻辑被数学化重新描述为数理逻辑,也产生了非形式逻辑。 (zh)
  • يتعامل تاريخ المنطق مع دراسة تطور علم الاستدلال الصحيح (المنطق). تم تطوير المنطق الرسمي في العصور القديمة في الهند والصين واليونان. الطرق اليونانية، وخاصة المنطق الأرسطي كما هو موجود في الأورغانون، وجدت تطبيقًا واسعًا وقبولًا في العلوم والرياضيات الغربية لآلاف السنين. بدأ الرواقيون، وخاصةً خريسيبوس، في تطوير المنطق الأصلي. كان للتقدم في المنطق الرياضي في العقود القليلة الأولى من القرن العشرين، وخاصةً الناشئة عن عمل غودل وتارسكي، تأثير كبير على الفلسفة التحليلية والمنطق الفلسفي، خاصة منذ الخمسينيات فصاعدًا، في موضوعات أمثال المنطق الشرطي. (ar)
  • La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia. (es)
  • The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic. (en)
  • 논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학은 고대의 중국, 인도, 그리스의 철학에서 그 유래를 찾아볼 수 있다. 그리스 논리학, 그 중에서도 아리스토텔레스식 논리학은 과학·수학에 넓게 수용·응용된 고전논리학이다. 아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전하여, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴하여 경시되었던 시기로, 적어도 한 명의 논리학 역사가에 의해서 논리학의 침체기로 간주되고 있다. 19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다. 근현대에서의 이 시기의 발전, 이른바 '기호' 혹은 '수리' 논리학은 2천 년에 걸친 논리학의 역사에서 가장 현저한 것이며, 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다. (ko)
  • История логики изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. В Древней Греции логика была известна как диалектика или аналитика. (ru)
rdfs:seeAlso
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Kripke.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Square_of_opposition,_set_diagrams.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Young_frege.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Gottfried_Wilhelm_Leibniz,_Bernhard_Christoph_Francke.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Aristotle_Altemps_Inv8575.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/MANNapoli_124545_plato's_academy_mosaic.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Illustration_to_Euclid's_proof_of_the_Pythagorean_theorem.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/G.W.F._Hegel_(by_Sichling,_after_Sebbers).jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Giuseppe_Peano.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Parmenides.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Charles_Sanders_Peirce.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Chrysippos_BM_1846.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_gödel.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/George_Boole_color.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/AlfredTarski1968.jpeg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Aristoteles_Logica_1570_Biblioteca_Huelva.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/BS-13-Begriffsschrift_Quantifier2-svg.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Boolean_multiples_of_2_3_5.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Britoquestionsonoldlogic.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Canon-Avicenna-small.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Eight_Patriarchs_of_the_Shingon_Sect_of_Buddhism_Nagarjuna_Cropped.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Ernst_Zermelo_1900s.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Fennerartoflogic-small.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Thales'_Theorem.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/उमास्वामी_आचार्यजी.jpg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 56 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software