Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/History_of_logic> ?p ?o }
- History_of_logic abstract "The history of logic is the study of the development of the science of valid inference (logic). Formal logics were developed in ancient times in China, India, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and acceptance in science and mathematics for millenia. The Stoics, especially Chrysippus, were the first to develop predicate logic.Aristotle's logic was further developed by Christian and Islamic philosophers in the Middle Ages, such as Boethius or William of Ockham, reaching a high point in the mid-fourteenth century. The period between the fourteenth century and the beginning of the nineteenth century was largely one of decline and neglect, and is regarded as barren by at least one historian of logic. Empirical methods seemed to rule the day, as evidenced by Bacon's Novum Organon.Logic was revived in the mid-nineteenth century, at the beginning of a revolutionary period when the subject developed into a rigorous and formal discipline whose exemplar was 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.".
- History_of_logic wikiPageExternalLink books?id=pa0LAAAAIAAJ&pg=PA19.
- History_of_logic wikiPageExternalLink books?id=pa0LAAAAIAAJ&printsec=titlepage.
- History_of_logic wikiPageExternalLink wri172_demonstration.php.
- History_of_logic wikiPageExternalLink index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1.
- History_of_logic wikiPageExternalLink 3682.
- History_of_logic wikiPageExternalLink thoughts1_1a.pdf.
- History_of_logic wikiPageExternalLink monistquart07hegeuoft.
- History_of_logic wikiPageExternalLink www.historyoflogic.com.
- History_of_logic wikiPageID "59945".
- History_of_logic wikiPageLength "96291".
- History_of_logic wikiPageOutDegree "543".
- History_of_logic wikiPageRevisionID "705754470".
- History_of_logic wikiPageWikiLink Abraham_Robinson.
- History_of_logic wikiPageWikiLink Absolute_(philosophy).
- History_of_logic wikiPageWikiLink Al-Farabi.
- History_of_logic wikiPageWikiLink Al-Ghazali.
- History_of_logic wikiPageWikiLink Al-Kindi.
- History_of_logic wikiPageWikiLink Alan_Turing.
- History_of_logic wikiPageWikiLink Albert_Muchnik.
- History_of_logic wikiPageWikiLink Albert_of_Saxony.
- History_of_logic wikiPageWikiLink Albertus_Magnus.
- History_of_logic wikiPageWikiLink Alexander_of_Aphrodisias.
- History_of_logic wikiPageWikiLink Alexius_Meinong.
- History_of_logic wikiPageWikiLink Alfred_North_Whitehead.
- History_of_logic wikiPageWikiLink Alfred_Tarski.
- History_of_logic wikiPageWikiLink Algorithm.
- History_of_logic wikiPageWikiLink Allan_Marquand.
- History_of_logic wikiPageWikiLink Alonzo_Church.
- History_of_logic wikiPageWikiLink Alphabet_of_human_thought.
- History_of_logic wikiPageWikiLink American_National_Biography.
- History_of_logic wikiPageWikiLink Analogy.
- History_of_logic wikiPageWikiLink Analytic_philosophy.
- History_of_logic wikiPageWikiLink Ancestral_relation.
- History_of_logic wikiPageWikiLink Ancient_Egypt.
- History_of_logic wikiPageWikiLink Ancient_Egyptian_mathematics.
- History_of_logic wikiPageWikiLink Ancient_Greek_philosophy.
- History_of_logic wikiPageWikiLink Antecedent_(logic).
- History_of_logic wikiPageWikiLink Antinomy.
- History_of_logic wikiPageWikiLink Antoine_Arnauld.
- History_of_logic wikiPageWikiLink Arend_Heyting.
- History_of_logic wikiPageWikiLink Aristotle.
- History_of_logic wikiPageWikiLink Arthashastra.
- History_of_logic wikiPageWikiLink Arthur_Prior.
- History_of_logic wikiPageWikiLink Augustus_De_Morgan.
- History_of_logic wikiPageWikiLink Aulus_Gellius.
- History_of_logic wikiPageWikiLink Averroes.
- History_of_logic wikiPageWikiLink Avicenna.
- History_of_logic wikiPageWikiLink Axiom.
- History_of_logic wikiPageWikiLink Axiom_of_choice.
- History_of_logic wikiPageWikiLink Axiomatic_system.
- History_of_logic wikiPageWikiLink Babylon.
- History_of_logic wikiPageWikiLink Babylonian_astronomy.
- History_of_logic wikiPageWikiLink Babylonian_mathematics.
- History_of_logic wikiPageWikiLink Begriffsschrift.
- History_of_logic wikiPageWikiLink Bengal.
- History_of_logic wikiPageWikiLink Benno_Erdmann.
- History_of_logic wikiPageWikiLink Bernard_Bolzano.
- History_of_logic wikiPageWikiLink Bertrand_Russell.
- History_of_logic wikiPageWikiLink Boethius.
- History_of_logic wikiPageWikiLink Boolean_algebra.
- History_of_logic wikiPageWikiLink British_idealism.
- History_of_logic wikiPageWikiLink Buddhism.
- History_of_logic wikiPageWikiLink Buddhist_logic.
- History_of_logic wikiPageWikiLink Buddhist_philosophy.
- History_of_logic wikiPageWikiLink Calculus_ratiocinator.
- History_of_logic wikiPageWikiLink Cambridge_University_Press.
- History_of_logic wikiPageWikiLink Categorical_proposition.
- History_of_logic wikiPageWikiLink Categories_(Aristotle).
- History_of_logic wikiPageWikiLink Category:History_of_logic.
- History_of_logic wikiPageWikiLink Category:Logic.
- History_of_logic wikiPageWikiLink Catuṣkoṭi.
- History_of_logic wikiPageWikiLink Chanakya.
- History_of_logic wikiPageWikiLink Charles_Babbage.
- History_of_logic wikiPageWikiLink Charles_Sanders_Peirce.
- History_of_logic wikiPageWikiLink Christian_philosophy.
- History_of_logic wikiPageWikiLink Christoph_von_Sigwart.
- History_of_logic wikiPageWikiLink Chrysippus.
- History_of_logic wikiPageWikiLink Church–Turing_thesis.
- History_of_logic wikiPageWikiLink Cicero.
- History_of_logic wikiPageWikiLink Completeness_(logic).
- History_of_logic wikiPageWikiLink Computability_theory.
- History_of_logic wikiPageWikiLink Computable_analysis.
- History_of_logic wikiPageWikiLink Computational_complexity_theory.
- History_of_logic wikiPageWikiLink Concept.
- History_of_logic wikiPageWikiLink Conceptualism.
- History_of_logic wikiPageWikiLink Confucius.
- History_of_logic wikiPageWikiLink Consequent.
- History_of_logic wikiPageWikiLink Consistency.
- History_of_logic wikiPageWikiLink Constructible_universe.
- History_of_logic wikiPageWikiLink Constructive_analysis.
- History_of_logic wikiPageWikiLink Contingency_(philosophy).
- History_of_logic wikiPageWikiLink Continuum_hypothesis.
- History_of_logic wikiPageWikiLink Curry–Howard_correspondence.
- History_of_logic wikiPageWikiLink D._Reidel.
- History_of_logic wikiPageWikiLink Dark_Ages_(historiography).
- History_of_logic wikiPageWikiLink David_Hilbert.
- History_of_logic wikiPageWikiLink De_Interpretatione.
- History_of_logic wikiPageWikiLink De_Morgans_laws.
- History_of_logic wikiPageWikiLink Decidability_(logic).