| http://dbpedia.org/ontology/abstract
|
L'histoire de la logique, en Occident, pre … 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é.ui de l'Europe, du fait de leur proximité.
, يتعامل تاريخ المنطق مع دراسة تطور علم الاس … يتعامل تاريخ المنطق مع دراسة تطور علم الاستدلال الصحيح (المنطق). تم تطوير المنطق الرسمي في العصور القديمة في الهند والصين واليونان. الطرق اليونانية، وخاصة المنطق الأرسطي كما هو موجود في الأورغانون، وجدت تطبيقًا واسعًا وقبولًا في العلوم والرياضيات الغربية لآلاف السنين. بدأ الرواقيون، وخاصةً خريسيبوس، في تطوير المنطق الأصلي. قام الفلاسفة المسيحيون والإسلاميون مثل بوثيوس (توفي 524) وابن سينا (توفي 1037) ووليم الأوكامي (توفي 1347) بتطوير منطق أرسطو في العصور الوسطى، ووصل إلى نقطة عالية في منتصف القرن الرابع عشر، مع جان بوريدان. شهدت الفترة ما بين القرن الرابع عشر وبداية القرن التاسع عشر انخفاضًا وإهمالًا إلى حد كبير. حكمت الأساليب التجريبية اليوم، كما وضح السير فرانسيس بيكون في Novum Organum لعام 1620. انتعش المنطق في منتصف القرن التاسع عشر، في بداية الفترة الثورية عندما تطور الموضوع إلى انضباط صارم ورسمي والذي كان مثالاً يحتذى به على الطريقة الدقيقة لإثبات المسائل في الرياضيات، واستعادة للتقليد اليوناني. يعد تطوير المنطق «الرمزي» أو «الرياضي» الحديث خلال هذه الفترة من قبل أمثال جورج بول وجوتلوب فريجه وبيرتراند راسل وجوزيبه بيانو هو الأهم في تاريخ المنطق الذي يمتد لألفي عام، ويمكن القول إنه أحد أكثر الفترات أهمية والرائعة للمنطق في التاريخ الفكري الإنساني. كان للتقدم في المنطق الرياضي في العقود القليلة الأولى من القرن العشرين، وخاصةً الناشئة عن عمل غودل وتارسكي، تأثير كبير على الفلسفة التحليلية والمنطق الفلسفي، خاصة منذ الخمسينيات فصاعدًا، في موضوعات أمثال المنطق الشرطي.ت فصاعدًا، في موضوعات أمثال المنطق الشرطي.
, Die Geschichte der Logik behandelt die Ent … 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.der japanischen und der islamischen Logik.
, 逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所 … 逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时，印度和中国也独立地发展了逻辑学。 中国古代逻辑学代表为墨家逻辑，晚期的墨家中一批人已经开始研究形式逻辑。不过中国的逻辑学并未形成体系。可惜的是，汉朝以后，实行“罢黜百家、独尊儒术、外儒内法”，逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。 在现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。
, 논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학 … 논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학은 고대의 중국, 인도, 그리스의 철학에서 그 유래를 찾아볼 수 있다. 그리스 논리학, 그 중에서도 아리스토텔레스식 논리학은 과학·수학에 넓게 수용·응용된 고전논리학이다. 아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전하여, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴하여 경시되었던 시기로, 적어도 한 명의 논리학 역사가에 의해서 논리학의 침체기로 간주되고 있다. 19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다. 근현대에서의 이 시기의 발전, 이른바 '기호' 혹은 '수리' 논리학은 2천 년에 걸친 논리학의 역사에서 가장 현저한 것이며, 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다. 수리논리학의 발전은 20세기의 최초의 수십 년, 특히 괴델 및 타르스키의 저작에 의해서 일어나, 분석 철학이나 철학적 논리학, 특히 1950년대 이후에 양상 논리나 시제 논리, 의무 논리, 적정 논리 등에 영향을 주었다.이후에 양상 논리나 시제 논리, 의무 논리, 적정 논리 등에 영향을 주었다.
, La historia de la lógica documenta el desa … 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. Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico, cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica moderna. La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que aparecen en momentos históricos diferentes: La lógica aristotélica, seguida de los aportes de los megáricos y los estoicos. Siglos después, Ramon Llull y Leibniz estudiaron la posibilidad de un lenguaje único, completo y exacto para razonar. Al comienzo del siglo XIX las investigaciones en los fundamentos del álgebra y la geometría, seguidos por el desarrollo del primer cálculo completo por Frege. Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creación de la lógica matemática. A partir de este momento no cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias. Otra perspectiva interesante sobre cómo abordar el estudio de la historia lógica la ofrece Alberto Moretti y que es sintetizada por Diego Letzen.i y que es sintetizada por Diego Letzen.
, The history of logic deals with the study … 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. Christian and Islamic philosophers such as Boethius (died 524), Ibn Sina (Avicenna, died 1037) and William of Ockham (died 1347) further developed Plato's logic in the Middle Ages, reaching a high point in the mid-fourteenth century, with Jean Buridan. The period between the fourteenth century and the beginning of the nineteenth century saw largely decline and neglect, and at least one historian of logic regards this time as barren. Empirical methods ruled the day, as evidenced by Sir Francis Bacon's Novum Organon of 1620. Logic revived in the mid-nineteenth century, at the beginning of a revolutionary period when the subject developed into a rigorous and formal discipline which took as its exemplar the exact method of proof used in mathematics, a hearkening back to the Greek tradition. The development of the modern "symbolic" or "mathematical" logic during this period by the likes of Boole, Frege, Russell, and Peano is the most significant in the two-thousand-year history of logic, and is arguably one of the most important and remarkable events in human intellectual history. Progress in mathematical logic in the first few decades of the twentieth century, particularly arising from the work of Gödel and Tarski, had a significant impact on analytic philosophy and philosophical logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic.logic, deontic logic, and relevance logic.
, 論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。 前近代の論理学について … 論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。 前近代の論理学については「伝統的論理学」を、近代以降の論理学については「現代論理学（数理論理学）」を参照 形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもは科学・数学に広く受容・応用されている。 アリストテレス論理学は中世のおよびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。 19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。 数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。50年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。
, A história da lógica documenta o desenvolv … 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.tiveram contato com a lógica aristotélica.
, История логики изучает развитие науки о фо … История логики изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. В Древней Греции логика была известна как диалектика или аналитика. В дальнейшем логика Аристотеля была развита исламскими и затем средневековыми европейскими логиками, и наибольшего подъёма достигла в середине XIV века. С XIV века до начала XIX века логика находилась в упадке, историки логики считают этот период непродуктивным. Логика была возрождена в середине XIX века и успешно трансформировалась в строгую и формальную дисциплину, идеальным вариантом которой были точные методы доказательства, используемые в математике. Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества. Прогресс в истории логики первой половины XX века связан, в частности, с работами Гёделя и Тарского, и оказал значительное влияние на аналитическую философию и философскую логику, в особенности с 1950-х гг., благодаря развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и .мпоральная логика, деонтическая логика и .
, Szeroko rozpowszechniony był niegdyś poglą … 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ęć.m nie można go uznać za twórcę tych pojęć.
, De geschiedenis van de logica bestrijkt de ontwikkeling van logica, zoals deze in de geschiedenis van verschillende culturen en tradities is voorgekomen.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/%E0%A4%89%E0%A4%AE%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%B5%E0%A4%BE%E0%A4%AE%E0%A5%80_%E0%A4%86%E0%A4%9A%E0%A4%BE%E0%A4%B0%E0%A5%8D%E0%A4%AF%E0%A4%9C%E0%A5%80.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://pvspade.com/Logic/docs/thoughts1_1a.pdf +
, http://gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1 +
, https://archive.org/details/monistquart07hegeuoft +
, https://web.archive.org/web/20080908073359/http:/finelib.princeton.edu/instruction/wri172_demonstration.php +
, https://archive.org/details/alfredtarskilife0000fefe +
, https://www.historyoflogic.com +
, https://books.google.com/books%3Fid=FxRoPuPbGgUC&printsec=frontcover%23v=onepage&q=logic&f=false +
, http://humbox.ac.uk/5497/ +
, http://www.jainworld.com/jainbooks/firstep-2/indianjaina-1-2.htm +
, https://books.google.com/books%3Fid=pa0LAAAAIAAJ&pg=PA19 +
, https://books.google.com/books%3Fid=pa0LAAAAIAAJ&printsec=titlepage +
|
| http://dbpedia.org/ontology/wikiPageID
|
59945
|
| http://dbpedia.org/ontology/wikiPageLength
|
103106
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1123311795
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/Alan_Turing +
, http://dbpedia.org/resource/History_of_the_function_concept +
, http://dbpedia.org/resource/University_of_Notre_Dame_Press +
, http://dbpedia.org/resource/John_of_St_Thomas +
, http://dbpedia.org/resource/Deductive_reasoning +
, http://dbpedia.org/resource/Begriffsschrift +
, http://dbpedia.org/resource/Forcing_%28mathematics%29 +
, http://dbpedia.org/resource/Ontological +
, http://dbpedia.org/resource/Royal_Society +
, http://dbpedia.org/resource/Babylonian_mathematics +
, http://dbpedia.org/resource/Psychologism +
, http://dbpedia.org/resource/Ancestral_relation +
, http://dbpedia.org/resource/Effective_method +
, http://dbpedia.org/resource/Zeno_of_Elea +
, http://dbpedia.org/resource/Logicism +
, http://dbpedia.org/resource/Logical_form +
, http://dbpedia.org/resource/Sophist_%28dialogue%29 +
, http://dbpedia.org/resource/Syadvada +
, http://dbpedia.org/resource/Natural_deduction +
, http://dbpedia.org/resource/Gerhard_Gentzen +
, http://dbpedia.org/resource/Idealism +
, http://dbpedia.org/resource/Richard_Whately +
, http://dbpedia.org/resource/Karl_Marx +
, http://dbpedia.org/resource/Francisco_Suarez +
, http://dbpedia.org/resource/Definition +
, http://dbpedia.org/resource/Logicist +
, http://dbpedia.org/resource/Benno_Erdmann +
, http://dbpedia.org/resource/Boolean_logic +
, http://dbpedia.org/resource/Dign%C4%81ga +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Sequent_calculus +
, http://dbpedia.org/resource/Number +
, http://dbpedia.org/resource/Empirical_methods +
, http://dbpedia.org/resource/Socrates +
, http://dbpedia.org/resource/Validity_%28logic%29 +
, http://dbpedia.org/resource/Inference +
, http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems +
, http://dbpedia.org/resource/Chanakya +
, http://dbpedia.org/resource/Calculus_ratiocinator +
, http://dbpedia.org/resource/Dialectica_interpretation +
, http://dbpedia.org/resource/Logical_sum +
, http://dbpedia.org/resource/Nagarjuna +
, http://dbpedia.org/resource/Marxism +
, http://dbpedia.org/resource/John_Locke +
, http://dbpedia.org/resource/File:Parmenides.jpg +
, http://dbpedia.org/resource/Arend_Heyting +
, http://dbpedia.org/resource/William_Kneale_%28logician%29 +
, http://dbpedia.org/resource/Logic_in_Islamic_philosophy +
, http://dbpedia.org/resource/Inclusion_%28logic%29 +
, http://dbpedia.org/resource/Mohism +
, http://dbpedia.org/resource/Quantifier_%28logic%29 +
, http://dbpedia.org/resource/John_F._Sowa +
, http://dbpedia.org/resource/Bernard_Bolzano +
, http://dbpedia.org/resource/Ivor_Grattan-Guinness +
, http://dbpedia.org/resource/Necessary_and_sufficient_conditions +
, http://dbpedia.org/resource/Problem_of_multiple_generality +
, http://dbpedia.org/resource/British_Idealism +
, http://dbpedia.org/resource/Conceptualism +
, http://dbpedia.org/resource/Completeness_%28logic%29 +
, http://dbpedia.org/resource/Foundations_of_mathematics +
, http://dbpedia.org/resource/Concept +
, http://dbpedia.org/resource/John_Corcoran_%28logician%29 +
, http://dbpedia.org/resource/David_Hilbert +
, http://dbpedia.org/resource/Monism +
, http://dbpedia.org/resource/Western_thought +
, http://dbpedia.org/resource/Euclid_of_Alexandria +
, http://dbpedia.org/resource/Metatheory +
, http://dbpedia.org/resource/Laplace +
, http://dbpedia.org/resource/File:AlfredTarski1968.jpeg +
, http://dbpedia.org/resource/Euclid_of_Megara +
, http://dbpedia.org/resource/Elsevier +
, http://dbpedia.org/resource/Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Analytic_philosophy +
, http://dbpedia.org/resource/Mill%27s_Methods +
, http://dbpedia.org/resource/Fuzzy_logic +
, http://dbpedia.org/resource/Leila_Haaparanta +
, http://dbpedia.org/resource/Dialectic +
, http://dbpedia.org/resource/Oswald_Veblen +
, http://dbpedia.org/resource/Categories_%28Aristotle%29 +
, http://dbpedia.org/resource/Topics_%28Aristotle%29 +
, http://dbpedia.org/resource/Isagoge +
, http://dbpedia.org/resource/File:Square_of_opposition%2C_set_diagrams.svg +
, http://dbpedia.org/resource/Consistency +
, http://dbpedia.org/resource/The_Oxford_Companion_to_Philosophy +
, http://dbpedia.org/resource/Parmenides_%28dialogue%29 +
, http://dbpedia.org/resource/Aristotle +
, http://dbpedia.org/resource/Heraclitus +
, http://dbpedia.org/resource/Logic_in_China +
, http://dbpedia.org/resource/Albert_of_Saxony_%28philosopher%29 +
, http://dbpedia.org/resource/Isaac_Watts +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Injective_function +
, http://dbpedia.org/resource/Pythagoras +
, http://dbpedia.org/resource/Syncretism +
, http://dbpedia.org/resource/Truth +
, http://dbpedia.org/resource/Psychology +
, http://dbpedia.org/resource/Shahab_al-Din_Suhrawardi +
, http://dbpedia.org/resource/Alonzo_Church +
, http://dbpedia.org/resource/Predicate_logic +
, http://dbpedia.org/resource/Josiah_Royce +
, http://dbpedia.org/resource/Semantic_theory_of_truth +
, http://dbpedia.org/resource/Grammar +
, http://dbpedia.org/resource/Logical_NOR +
, http://dbpedia.org/resource/Gottfried_Wilhelm_Leibniz +
, http://dbpedia.org/resource/Tense_logic +
, http://dbpedia.org/resource/Novum_Organon +
, http://dbpedia.org/resource/Naming_and_Necessity +
, http://dbpedia.org/resource/Avicenna +
, http://dbpedia.org/resource/Allan_Marquand +
, http://dbpedia.org/resource/Ernst_Zermelo +
, http://dbpedia.org/resource/William_of_Ockham +
, http://dbpedia.org/resource/Dissoi_logoi +
, http://dbpedia.org/resource/Origin_of_the_universe +
, http://dbpedia.org/resource/Future_contingent +
, http://dbpedia.org/resource/Analogy +
, http://dbpedia.org/resource/Mandala_10 +
, http://dbpedia.org/resource/T._L._Heath +
, http://dbpedia.org/resource/A.N._Whitehead +
, http://dbpedia.org/resource/Skepticism +
, http://dbpedia.org/resource/G%C3%B6del +
, http://dbpedia.org/resource/Rush_Rhees +
, http://dbpedia.org/resource/Madhyamaka +
, http://dbpedia.org/resource/Legalism_%28Chinese_philosophy%29 +
, http://dbpedia.org/resource/Russell%27s_paradox +
, http://dbpedia.org/resource/Esagil-kin-apli +
, http://dbpedia.org/resource/Platonic_Academy +
, http://dbpedia.org/resource/Constructive_analysis +
, http://dbpedia.org/resource/Truth-functional +
, http://dbpedia.org/resource/Absolute_%28philosophy%29 +
, http://dbpedia.org/resource/Galen +
, http://dbpedia.org/resource/Dov_Gabbay +
, http://dbpedia.org/resource/Naive_set_theory +
, http://dbpedia.org/resource/Term_logic +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Vyapti +
, http://dbpedia.org/resource/Open_sentence +
, http://dbpedia.org/resource/Provability_logic +
, http://dbpedia.org/resource/Conditional_syllogism +
, http://dbpedia.org/resource/Dharmakirti +
, http://dbpedia.org/resource/Indian_mathematics +
, http://dbpedia.org/resource/Annales_de_math%C3%A9matiques_pures_et_appliqu%C3%A9es +
, http://dbpedia.org/resource/Principle_of_explosion +
, http://dbpedia.org/resource/Ibn_al-Nafis +
, http://dbpedia.org/resource/Theaetetus_%28dialogue%29 +
, http://dbpedia.org/resource/Edward_Vermilye_Huntington +
, http://dbpedia.org/resource/Realizability +
, http://dbpedia.org/resource/File:Giuseppe_Peano.jpg +
, http://dbpedia.org/resource/Arthur_Prior +
, http://dbpedia.org/resource/Intension +
, http://dbpedia.org/resource/Galileo_Galilei +
, http://dbpedia.org/resource/John_of_Salisbury +
, http://dbpedia.org/resource/Sheffer_stroke +
, http://dbpedia.org/resource/Oxford_Calculators +
, http://dbpedia.org/resource/Geometry +
, http://dbpedia.org/resource/Category:History_of_science_by_discipline +
, http://dbpedia.org/resource/William_of_Soissons +
, http://dbpedia.org/resource/Francis_Bacon +
, http://dbpedia.org/resource/Vyakarana +
, http://dbpedia.org/resource/Potentiality_and_actuality_%28Aristotle%29 +
, http://dbpedia.org/resource/Permission_%28philosophy%29 +
, http://dbpedia.org/resource/Sophists +
, http://dbpedia.org/resource/Relevance_logic +
, http://dbpedia.org/resource/Nasadiya_Sukta +
, http://dbpedia.org/resource/Diogenes_La%C3%ABrtius +
, http://dbpedia.org/resource/Boethius +
, http://dbpedia.org/resource/Universals +
, http://dbpedia.org/resource/On_Sophistical_Refutations +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Philotheus_Boehner +
, http://dbpedia.org/resource/Semicircle +
, http://dbpedia.org/resource/Buddhist_logic +
, http://dbpedia.org/resource/Charles_Sanders_Peirce +
, http://dbpedia.org/resource/File:G.W.F._Hegel_%28by_Sichling%2C_after_Sebbers%29.jpg +
, http://dbpedia.org/resource/Metalanguage +
, http://dbpedia.org/resource/History_of_Philosophy +
, http://dbpedia.org/resource/Hetucakra +
, http://dbpedia.org/resource/Henry_M._Sheffer +
, http://dbpedia.org/resource/Tetralemma +
, http://dbpedia.org/resource/Porphyry_%28philosopher%29 +
, http://dbpedia.org/resource/Zermelo_set_theory +
, http://dbpedia.org/resource/Bertrand_Russell +
, http://dbpedia.org/resource/File:Charles_Sanders_Peirce.jpg +
, http://dbpedia.org/resource/File:Kripke.JPG +
, http://dbpedia.org/resource/File:Kurt_g%C3%B6del.jpg +
, http://dbpedia.org/resource/Computable_analysis +
, http://dbpedia.org/resource/Logos +
, http://dbpedia.org/resource/Ordinal_analysis +
, http://dbpedia.org/resource/Buddhist_philosophy +
, http://dbpedia.org/resource/Summa_Logicae +
, http://dbpedia.org/resource/Indian_philosophy +
, http://dbpedia.org/resource/Relativism +
, http://dbpedia.org/resource/Finitist +
, http://dbpedia.org/resource/Richard_Dedekind +
, http://dbpedia.org/resource/Ludwig_Wittgenstein +
, http://dbpedia.org/resource/Philosophy_of_science +
, http://dbpedia.org/resource/Averroes +
, http://dbpedia.org/resource/Al-Ghazali +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Emil_Post +
, http://dbpedia.org/resource/Ramist +
, http://dbpedia.org/resource/Saul_Kripke +
, http://dbpedia.org/resource/Princeton_University_Press +
, http://dbpedia.org/resource/Lincoln%2C_Lincolnshire +
, http://dbpedia.org/resource/John_Woods_%28logician%29 +
, http://dbpedia.org/resource/Timeline_of_mathematical_logic +
, http://dbpedia.org/resource/Logical_fallacy +
, http://dbpedia.org/resource/Paul_of_Venice +
, http://dbpedia.org/resource/Christoph_von_Sigwart +
, http://dbpedia.org/resource/Middle_Ages +
, http://dbpedia.org/resource/Albertus_Magnus +
, http://dbpedia.org/resource/Terminology +
, http://dbpedia.org/resource/Bhagavata_Purana +
, http://dbpedia.org/resource/Boole +
, http://dbpedia.org/resource/Jain_philosophy +
, http://dbpedia.org/resource/Syncategorematic_term +
, http://dbpedia.org/resource/Pre-Socratic_philosophers +
, http://dbpedia.org/resource/Antinomy +
, http://dbpedia.org/resource/De_Morgan%27s_laws +
, http://dbpedia.org/resource/Megarian_school +
, http://dbpedia.org/resource/Vaisheshika +
, http://dbpedia.org/resource/Hindu +
, http://dbpedia.org/resource/Thales%27_theorem +
, http://dbpedia.org/resource/Reductio_ad_absurdum +
, http://dbpedia.org/resource/Wilhelm_Wundt +
, http://dbpedia.org/resource/William_Stanley_Jevons +
, http://dbpedia.org/resource/Syllogism +
, http://dbpedia.org/resource/Christian_philosophy +
, http://dbpedia.org/resource/Pierre_Nicole +
, http://dbpedia.org/resource/File:Fennerartoflogic-small.jpg +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Logica_Nova +
, http://dbpedia.org/resource/Hypothetical_syllogism +
, http://dbpedia.org/resource/File:Aristoteles_Logica_1570_Biblioteca_Huelva.jpg +
, http://dbpedia.org/resource/G.W.F._Hegel +
, http://dbpedia.org/resource/File:Thales%27_Theorem.svg +
, http://dbpedia.org/resource/Category:History_of_logic +
, http://dbpedia.org/resource/Antecedent_%28logic%29 +
, http://dbpedia.org/resource/Richard_Friedberg +
, http://dbpedia.org/resource/Dark_Ages_%28historiography%29 +
, http://dbpedia.org/resource/Master_argument_%28Diodorus_Cronus%29 +
, http://dbpedia.org/resource/Epistemology +
, http://dbpedia.org/resource/Set-theoretic_constructibility +
, http://dbpedia.org/resource/Metalogic +
, http://dbpedia.org/resource/Degrees_of_unsolvability +
, http://dbpedia.org/resource/Arthashastra +
, http://dbpedia.org/resource/File:Britoquestionsonoldlogic.jpg +
, http://dbpedia.org/resource/Maimonides +
, http://dbpedia.org/resource/File:Canon-Avicenna-small.jpg +
, http://dbpedia.org/resource/File:Boolean_multiples_of_2_3_5.svg +
, http://dbpedia.org/resource/Scientific_method +
, http://dbpedia.org/resource/File:Chrysippos_BM_1846.jpg +
, http://dbpedia.org/resource/Nyaya +
, http://dbpedia.org/resource/History_of_abductive_reasoning +
, http://dbpedia.org/resource/Disjunctive_normal_form +
, http://dbpedia.org/resource/Pythagorean_theorem +
, http://dbpedia.org/resource/Paris%E2%80%93Harrington_theorem +
, http://dbpedia.org/resource/Leopold_L%C3%B6wenheim +
, http://dbpedia.org/resource/Logical_implication +
, http://dbpedia.org/resource/File:Illustration_to_Euclid%27s_proof_of_the_Pythagorean_theorem.svg +
, http://dbpedia.org/resource/Ancient_India +
, http://dbpedia.org/resource/Medieval_philosophy +
, http://dbpedia.org/resource/Principia_Mathematica +
, http://dbpedia.org/resource/File:BS-13-Begriffsschrift_Quantifier2-svg.svg +
, http://dbpedia.org/resource/Rig_Veda +
, http://dbpedia.org/resource/Semantic_validity +
, http://dbpedia.org/resource/Organon +
, http://dbpedia.org/resource/John_Stuart_Mill +
, http://dbpedia.org/resource/Deontic_logic +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Prior_Analytics +
, http://dbpedia.org/resource/John_Venn +
, http://dbpedia.org/resource/Oxford_University_Press +
, http://dbpedia.org/resource/Ancient_Egypt +
, http://dbpedia.org/resource/The_Republic_%28Plato%29 +
, http://dbpedia.org/resource/Theory_of_Forms +
, http://dbpedia.org/resource/Port-Royal_Logic +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Turing_degree +
, http://dbpedia.org/resource/Jan_%C5%81ukasiewicz +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/George_Boole +
, http://dbpedia.org/resource/Mozi +
, http://dbpedia.org/resource/Moritz_Pasch +
, http://dbpedia.org/resource/Buddhism +
, http://dbpedia.org/resource/Metamathematics +
, http://dbpedia.org/resource/Aristotelian_logic +
, http://dbpedia.org/resource/Chrysippus +
, http://dbpedia.org/resource/Law_of_excluded_middle +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Augustus_De_Morgan +
, http://dbpedia.org/resource/Truth-function +
, http://dbpedia.org/resource/Internal_logic +
, http://dbpedia.org/resource/De_Interpretatione +
, http://dbpedia.org/resource/Ibn_Sina +
, http://dbpedia.org/resource/History_of_inductive_reasoning +
, http://dbpedia.org/resource/Set_of_all_sets +
, http://dbpedia.org/resource/Alfred_North_Whitehead +
, http://dbpedia.org/resource/Thales +
, http://dbpedia.org/resource/T-schema +
, http://dbpedia.org/resource/Mahabharata +
, http://dbpedia.org/resource/Confucius +
, http://dbpedia.org/resource/Metaphysics +
, http://dbpedia.org/resource/Grammar_of_Assent +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Greek_philosophy +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Propositional_logic +
, http://dbpedia.org/resource/Georg_Kreisel +
, http://dbpedia.org/resource/Philo_the_Dialectician +
, http://dbpedia.org/resource/Rigveda +
, http://dbpedia.org/resource/Joseph_Diaz_Gergonne +
, http://dbpedia.org/resource/Logical_syntax +
, http://dbpedia.org/resource/Supposition_theory +
, http://dbpedia.org/resource/Anviksiki +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Philosophical_realism +
, http://dbpedia.org/resource/Reverse_mathematics +
, http://dbpedia.org/resource/Diodorus_Cronus +
, http://dbpedia.org/resource/Giacomo_Zabarella +
, http://dbpedia.org/resource/Meaning_%28philosophy_of_language%29 +
, http://dbpedia.org/resource/Indian_logic +
, http://dbpedia.org/resource/Alfred_Tarski +
, http://dbpedia.org/resource/Incompleteness_theorem +
, http://dbpedia.org/resource/Metaphysics_%28Aristotle%29 +
, http://dbpedia.org/resource/Propositional_calculus +
, http://dbpedia.org/resource/Nayavada +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Aulus_Gellius +
, http://dbpedia.org/resource/Markandeya_Purana +
, http://dbpedia.org/resource/J%C3%B3zef_Maria_Boche%C5%84ski +
, http://dbpedia.org/resource/Proposition +
, http://dbpedia.org/resource/Consequent +
, http://dbpedia.org/resource/Kripke_semantics +
, http://dbpedia.org/resource/Formal_logic +
, http://dbpedia.org/resource/Al-Farabi +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Clarendon_Press +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/File:Young_frege.jpg +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Diels-Kranz +
, http://dbpedia.org/resource/Karl_von_Prantl +
, http://dbpedia.org/resource/Contingency_%28philosophy%29 +
, http://dbpedia.org/resource/File:MANNapoli_124545_plato%27s_academy_mosaic.jpg +
, http://dbpedia.org/resource/Category:Logic +
, http://dbpedia.org/resource/Babylonian_astronomy +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Possible_world +
, http://dbpedia.org/resource/J.S._Mill +
, http://dbpedia.org/resource/Curry%E2%80%93Howard_correspondence +
, http://dbpedia.org/resource/Alphabet_of_human_thought +
, http://dbpedia.org/resource/Theodor_Lipps +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/G%C3%B6del%27s_completeness_theorem +
, http://dbpedia.org/resource/Paul_Cohen +
, http://dbpedia.org/resource/Axiomatization +
, http://dbpedia.org/resource/P%C4%81%E1%B9%87ini +
, http://dbpedia.org/resource/Frustum +
, http://dbpedia.org/resource/Illuminationist_philosophy +
, http://dbpedia.org/resource/Material_conditional +
, http://dbpedia.org/resource/Philosophical_logic +
, http://dbpedia.org/resource/Continuum_hypothesis +
, http://dbpedia.org/resource/Catu%E1%B9%A3ko%E1%B9%ADi +
, http://dbpedia.org/resource/File:Aristotle_Altemps_Inv8575.jpg +
, http://dbpedia.org/resource/Fakhr_al-Din_al-Razi +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Ernst_Schr%C3%B6der_%28mathematician%29 +
, http://dbpedia.org/resource/Essence +
, http://dbpedia.org/resource/Alexius_Meinong +
, http://dbpedia.org/resource/Abraham_Robinson +
, http://dbpedia.org/resource/Linguistics +
, http://dbpedia.org/resource/File:Gottfried_Wilhelm_Leibniz%2C_Bernhard_Christoph_Francke.jpg +
, http://dbpedia.org/resource/Al-Kindi +
, http://dbpedia.org/resource/Axiom +
, http://dbpedia.org/resource/Posterior_Analytics +
, http://dbpedia.org/resource/Plato +
, http://dbpedia.org/resource/Cicero +
, http://dbpedia.org/resource/Plato%27s_beard +
, http://dbpedia.org/resource/Structure_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Peter_Abelard +
, http://dbpedia.org/resource/Nasir_al-Din_al-Tusi +
, http://dbpedia.org/resource/Alexander_of_Aphrodisias +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Stoicism +
, http://dbpedia.org/resource/Sophistical_Refutations +
, http://dbpedia.org/resource/Sabh%C4%81 +
, http://dbpedia.org/resource/D._Reidel_Publishing_Company +
, http://dbpedia.org/resource/Upanishads +
, http://dbpedia.org/resource/School_of_Names +
, http://dbpedia.org/resource/Descriptive_complexity +
, http://dbpedia.org/resource/Exclusive_or +
, http://dbpedia.org/resource/Interpretation_%28logic%29 +
, http://dbpedia.org/resource/Proof_mining +
, http://dbpedia.org/resource/Obligation +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Novum_Organum +
, http://dbpedia.org/resource/Jean_Buridan +
, http://dbpedia.org/resource/Jon_Barwise +
, http://dbpedia.org/resource/Ernst_Mally +
, http://dbpedia.org/resource/Impossibility +
, http://dbpedia.org/resource/Thomas_Hobbes +
, http://dbpedia.org/resource/Square_of_opposition +
, http://dbpedia.org/resource/Everard_de_Jong +
, http://dbpedia.org/resource/Frege +
, http://dbpedia.org/resource/%CE%9B-calculus +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Zeno%27s_Paradoxes +
, http://dbpedia.org/resource/Skolem +
, http://dbpedia.org/resource/Antoine_Arnauld +
, http://dbpedia.org/resource/Ramon_Llull +
, http://dbpedia.org/resource/Categorical_proposition +
, http://dbpedia.org/resource/Hilbert%27s_Program +
, http://dbpedia.org/resource/American_National_Biography +
, http://dbpedia.org/resource/Non-standard_analysis +
, http://dbpedia.org/resource/Anekantavada +
, http://dbpedia.org/resource/Qin_Dynasty +
, http://dbpedia.org/resource/Giovanni_Girolamo_Saccheri +
, http://dbpedia.org/resource/File:George_Boole_color.jpg +
, http://dbpedia.org/resource/System_of_types +
, http://dbpedia.org/resource/File:%E0%A4%89%E0%A4%AE%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%B5%E0%A4%BE%E0%A4%AE%E0%A5%80_%E0%A4%86%E0%A4%9A%E0%A4%BE%E0%A4%B0%E0%A5%8D%E0%A4%AF%E0%A4%9C%E0%A5%80.jpg +
, http://dbpedia.org/resource/Edmund_Husserl +
, http://dbpedia.org/resource/History_of_deductive_reasoning +
, http://dbpedia.org/resource/Typed_lambda_calculus +
, http://dbpedia.org/resource/Entscheidungsproblem +
, http://dbpedia.org/resource/Ny%C4%81ya_S%C5%ABtras +
, http://dbpedia.org/resource/Jainism +
, http://dbpedia.org/resource/Temporal_logic +
, http://dbpedia.org/resource/File:Ernst_Zermelo_1900s.jpg +
, http://dbpedia.org/resource/Logical_possibility +
, http://dbpedia.org/resource/Egyptian_mathematics +
, http://dbpedia.org/resource/Epictetus +
, http://dbpedia.org/resource/Parmenides +
, http://dbpedia.org/resource/Pyramids +
, http://dbpedia.org/resource/Intellectual_history +
, http://dbpedia.org/resource/File:Eight_Patriarchs_of_the_Shingon_Sect_of_Buddhism_Nagarjuna_Cropped.jpg +
, http://dbpedia.org/resource/Avicennian_logic +
, http://dbpedia.org/resource/Babylon +
, http://dbpedia.org/resource/Ibn_Taymiyyah +
, http://dbpedia.org/resource/Inductive_reasoning +
, http://dbpedia.org/resource/Linguistic_modality +
, http://dbpedia.org/resource/Dudley_Fenner +
, http://dbpedia.org/resource/History_of_Mathematics +
, http://dbpedia.org/resource/Decidability_%28logic%29 +
, http://dbpedia.org/resource/Science_of_Logic +
, http://dbpedia.org/resource/Sextus_Empiricus +
, http://dbpedia.org/resource/Giuseppe_Peano +
, http://dbpedia.org/resource/Extension_%28semantics%29 +
, http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Open_Court_Publishing_Company +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Albert_Muchnik +
, http://dbpedia.org/resource/Rhetoric +
, http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Lotfi_Asker_Zadeh +
, http://dbpedia.org/resource/Inference_rule +
, http://dbpedia.org/resource/Aksapada_Gautama +
, http://dbpedia.org/resource/Principle_of_contradiction +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Quotation +
, http://dbpedia.org/resource/Template:Rquote +
, http://dbpedia.org/resource/Template:History_of_science +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Cite_IEP +
, http://dbpedia.org/resource/Template:Paragraph_break +
, http://dbpedia.org/resource/Template:Quote +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Bots +
, http://dbpedia.org/resource/Template:IAST +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Logic +
, http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Philosophy_sidebar +
, http://dbpedia.org/resource/Template:See_also +
, http://dbpedia.org/resource/Template:Cite_SEP +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:History_of_science_by_discipline +
, http://dbpedia.org/resource/Category:History_of_logic +
, http://dbpedia.org/resource/Category:Logic +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Study +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/History_of_logic?oldid=1123311795&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_g%C3%B6del.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/BS-13-Begriffsschrift_Quantifier2-svg.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Kripke.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/G.W.F._Hegel_%28by_Sichling%2C_after_Sebbers%29.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Gottfried_Wilhelm_Leibniz%2C_Bernhard_Christoph_Francke.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Boolean_multiples_of_2_3_5.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Canon-Avicenna-small.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Fennerartoflogic-small.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Square_of_opposition%2C_set_diagrams.svg +
, 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/Chrysippos_BM_1846.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Aristotle_Altemps_Inv8575.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Thales%27_Theorem.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Parmenides.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/MANNapoli_124545_plato%27s_academy_mosaic.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/AlfredTarski1968.jpeg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Charles_Sanders_Peirce.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Giuseppe_Peano.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Young_frege.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/%E0%A4%89%E0%A4%AE%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%B5%E0%A4%BE%E0%A4%AE%E0%A5%80_%E0%A4%86%E0%A4%9A%E0%A4%BE%E0%A4%B0%E0%A5%8D%E0%A4%AF%E0%A4%9C%E0%A5%80.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/George_Boole_color.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Britoquestionsonoldlogic.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Illustration_to_Euclid%27s_proof_of_the_Pythagorean_theorem.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Ernst_Zermelo_1900s.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Aristoteles_Logica_1570_Biblioteca_Huelva.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/History_of_logic +
|
| owl:sameAs |
http://pl.dbpedia.org/resource/Historia_logiki +
, http://ar.dbpedia.org/resource/%D8%AA%D8%A7%D8%B1%D9%8A%D8%AE_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82 +
, https://global.dbpedia.org/id/4M34p +
, http://ko.dbpedia.org/resource/%EB%85%BC%EB%A6%AC%EC%82%AC +
, http://es.dbpedia.org/resource/Historia_de_la_l%C3%B3gica +
, http://bn.dbpedia.org/resource/%E0%A6%AF%E0%A7%81%E0%A6%95%E0%A7%8D%E0%A6%A4%E0%A6%BF%E0%A6%AC%E0%A6%BF%E0%A6%A6%E0%A7%8D%E0%A6%AF%E0%A6%BE%E0%A6%B0_%E0%A6%87%E0%A6%A4%E0%A6%BF%E0%A6%B9%E0%A6%BE%E0%A6%B8 +
, http://fi.dbpedia.org/resource/Logiikan_historia +
, http://de.dbpedia.org/resource/Geschichte_der_Logik +
, http://tr.dbpedia.org/resource/Mant%C4%B1k_tarihi +
, http://ja.dbpedia.org/resource/%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%AE%E6%AD%B4%E5%8F%B2 +
, http://nl.dbpedia.org/resource/Geschiedenis_van_de_logica +
, http://pt.dbpedia.org/resource/Hist%C3%B3ria_da_l%C3%B3gica +
, http://dbpedia.org/resource/History_of_logic +
, http://hy.dbpedia.org/resource/%D5%8F%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%B8%D6%82%D5%A9%D5%B5%D5%A1%D5%B6_%D5%BA%D5%A1%D5%BF%D5%B4%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6 +
, http://ru.dbpedia.org/resource/%D0%98%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8 +
, http://hi.dbpedia.org/resource/%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95%E0%A4%B6%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%A4%E0%A5%8D%E0%A4%B0_%E0%A4%95%E0%A4%BE_%E0%A4%87%E0%A4%A4%E0%A4%BF%E0%A4%B9%E0%A4%BE%E0%A4%B8 +
, http://ro.dbpedia.org/resource/Istoria_logicii +
, http://rdf.freebase.com/ns/m.011b0hch +
, http://zh.dbpedia.org/resource/%E9%80%BB%E8%BE%91%E5%8F%B2 +
, http://fr.dbpedia.org/resource/Histoire_de_la_logique +
, http://www.wikidata.org/entity/Q468620 +
, http://hu.dbpedia.org/resource/A_logika_t%C3%B6rt%C3%A9nete +
|
| rdf:type |
http://dbpedia.org/ontology/Book +
|
| rdfs:comment |
논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학 … 논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학은 고대의 중국, 인도, 그리스의 철학에서 그 유래를 찾아볼 수 있다. 그리스 논리학, 그 중에서도 아리스토텔레스식 논리학은 과학·수학에 넓게 수용·응용된 고전논리학이다. 아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전하여, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴하여 경시되었던 시기로, 적어도 한 명의 논리학 역사가에 의해서 논리학의 침체기로 간주되고 있다. 19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다. 근현대에서의 이 시기의 발전, 이른바 '기호' 혹은 '수리' 논리학은 2천 년에 걸친 논리학의 역사에서 가장 현저한 것이며, 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다., 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다.
, A história da lógica documenta o desenvolv … 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.tiveram contato com a lógica aristotélica.
, يتعامل تاريخ المنطق مع دراسة تطور علم الاس … يتعامل تاريخ المنطق مع دراسة تطور علم الاستدلال الصحيح (المنطق). تم تطوير المنطق الرسمي في العصور القديمة في الهند والصين واليونان. الطرق اليونانية، وخاصة المنطق الأرسطي كما هو موجود في الأورغانون، وجدت تطبيقًا واسعًا وقبولًا في العلوم والرياضيات الغربية لآلاف السنين. بدأ الرواقيون، وخاصةً خريسيبوس، في تطوير المنطق الأصلي. كان للتقدم في المنطق الرياضي في العقود القليلة الأولى من القرن العشرين، وخاصةً الناشئة عن عمل غودل وتارسكي، تأثير كبير على الفلسفة التحليلية والمنطق الفلسفي، خاصة منذ الخمسينيات فصاعدًا، في موضوعات أمثال المنطق الشرطي.ت فصاعدًا، في موضوعات أمثال المنطق الشرطي.
, 論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。 前近代の論理学について … 論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。 前近代の論理学については「伝統的論理学」を、近代以降の論理学については「現代論理学（数理論理学）」を参照 形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもは科学・数学に広く受容・応用されている。 アリストテレス論理学は中世のおよびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。 19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。 数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。50年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。
, La historia de la lógica documenta el desa … 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.ina, la Antigua India y la Antigua Grecia.
, L'histoire de la logique, en Occident, pre … 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é.ui de l'Europe, du fait de leur proximité.
, История логики изучает развитие науки о фо … История логики изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. В Древней Греции логика была известна как диалектика или аналитика.ыла известна как диалектика или аналитика.
, The history of logic deals with the study … 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. began the development of predicate logic.
, 逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所 … 逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时，印度和中国也独立地发展了逻辑学。 中国古代逻辑学代表为墨家逻辑，晚期的墨家中一批人已经开始研究形式逻辑。不过中国的逻辑学并未形成体系。可惜的是，汉朝以后，实行“罢黜百家、独尊儒术、外儒内法”，逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。 在现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。
, Szeroko rozpowszechniony był niegdyś poglą … 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ęć.m nie można go uznać za twórcę tych pojęć.
, De geschiedenis van de logica bestrijkt de ontwikkeling van logica, zoals deze in de geschiedenis van verschillende culturen en tradities is voorgekomen.
, Die Geschichte der Logik behandelt die Ent … 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.der japanischen und der islamischen Logik.
|
| rdfs:label |
Historia logiki
, História da lógica
, 論理学の歴史
, Histoire de la logique
, История логики
, History of logic
, 逻辑史
, تاريخ المنطق
, Historia de la lógica
, Geschichte der Logik
, 논리사
, Geschiedenis van de logica
|
| rdfs:seeAlso |
http://dbpedia.org/resource/Avicennism +
|
