About: History of logic

Property	Value
dbo:description	ইতিহাসের বিভিন্ন দিক (bn) Wikimedia-Geschichts-Artikel (de) aspect of history (en) аспект історії (uk) kipengele cha historia (sw)
dbo:thumbnail	wiki-commons:Special:FilePath/उमास्वामी_आचार्यजी.jpg?width=300
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=FxRoPuPbGgUC&printsec=frontcover%23v=onepage&q=logic&f=false http://humbox.ac.uk/5497/ http://pvspade.com/Logic/docs/thoughts1_1a.pdf http://www.jainworld.com/jainbooks/firstep-2/indianjaina-1-2.htm https://www.historyoflogic.com https://web.archive.org/web/20080908073359/http:/finelib.princeton.edu/instruction/wri172_demonstration.php https://archive.org/details/monistquart07hegeuoft http://gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1 https://books.google.com/books%3Fid=pa0LAAAAIAAJ&pg=PA19 https://books.google.com/books%3Fid=pa0LAAAAIAAJ&printsec=titlepage https://archive.org/details/alfredtarskilife0000fefe
dbo:wikiPageWikiLink	dbr:Philosophical_realism dbr:Axiomatization dbr:Babylonian_mathematics dbr:Tetralemma dbr:Megarian_school dbr:Plato's_beard dbr:William_of_Soissons dbr:Everard_de_Jong dbr:File:Aristotle_Altemps_Inv8575.jpg dbr:File:Kripke.JPG dbr:File:Illustration_to_Euclid's_proof_of_the_Pythagorean_theorem.svg dbr:File:Giuseppe_Peano.jpg dbr:Aristotelian_logic dbc:History_of_logic dbr:Legalism_(Chinese_philosophy) dbr:Sextus_Empiricus dbr:Term_logic dbr:Jean_Buridan dbr:Mozi dbr:Albert_of_Saxony_(philosopher) dbr:Albertus_Magnus dbr:Edmund_Husserl dbr:Gerhard_Gentzen dbr:Gottlob_Frege dbr:Moritz_Pasch dbr:Principle_of_explosion dbr:School_of_Names dbr:Terminology dbr:Theodor_Lipps dbr:Edward_Vermilye_Huntington dbr:Isaac_Watts dbr:Oswald_Veblen dbr:Supposition_theory dbr:John_Venn dbr:Oxford_University_Press dbr:Paul_Cohen dbr:Józef_Maria_Bocheński dbr:Parmenides_(dialogue) dbr:Henry_M._Sheffer dbr:Jon_Barwise dbr:Pierre_Nicole dbr:Georg_Kreisel dbr:Sophistical_Refutations dbr:Natural_deduction dbr:Markandeya_Purana dbr:Nasadiya_Sukta dbr:Sequent_calculus dbr:Port-Royal_Logic dbr:Babylon dbr:Confucius dbr:Peter_Abelard dbr:Philosophy dbr:Arthur_Prior dbr:Platonic_Academy dbr:Stoicism dbr:John_Stuart_Mill dbr:Peano_axioms dbr:Nyaya dbr:Quantifier_(logic) dbr:Arend_Heyting dbr:Isagoge dbr:Rigveda dbr:Paul_of_Venice dbr:Validity_(logic) dbr:Categories_(Aristotle) dbr:Consistency dbr:Mathematical_proof dbr:Number dbr:Pythagoras dbr:Pythagorean_theorem dbr:Set_theory dbr:Bertrand_Russell dbr:Cambridge_University_Press dbr:First-order_logic dbr:Metaphysics dbr:Obligation dbr:Russell's_paradox dbr:Maimonides dbr:Parmenides dbr:Royal_Society dbr:Principia_Mathematica dbr:Paris–Harrington_theorem dbr:Vyapti dbr:Aulus_Gellius dbr:Deontic_logic dbr:Mill's_Methods dbr:Nasir_al-Din_al-Tusi dbr:Saul_Kripke dbr:Alexander_of_Aphrodisias dbr:Ibn_al-Nafis dbr:Ernst_Mally dbr:Relativism dbr:Allan_Marquand dbr:Logical_consequence dbr:Science_of_Logic dbr:Indian_philosophy dbr:Decidability_(logic) dbr:Philotheus_Boehner dbr:Dharmakirti dbr:Conceptualism dbr:Gödel's_incompleteness_theorems dbr:Porphyry_(philosopher) dbr:Proof_theory dbr:Propositional_calculus dbr:Propositional_logic dbr:Philosophical_logic dbr:Skepticism dbr:Exclusive_or dbr:Organon dbr:Contingency_(philosophy) dbr:Upanishads dbr:Metalogic dbr:Philo_the_Dialectician dbr:Metatheory dbr:Possible_world dbr:Topics_(Aristotle) dbr:Indian_mathematics dbr:Nyāya_Sūtras dbr:Typed_lambda_calculus dbr:Esagil-kin-apli dbr:Dialectica_interpretation dbr:Timeline_of_mathematical_logic dbr:Leila_Haaparanta dbr:Benno_Erdmann dbr:Christoph_von_Sigwart dbr:Ernst_Schröder_(mathematician) dbr:Karl_von_Prantl dbr:Richard_Dedekind dbr:Wilhelm_Wundt dbr:Fakhr_al-Din_al-Razi dbr:Abraham_Robinson dbr:Boethius dbr:Proposition dbr:Syllogism dbr:Inference dbr:Absolute_(philosophy) dbr:Deductive_reasoning dbr:Posterior_Analytics dbr:Prior_Analytics dbr:Vaisheshika dbr:Disjunctive_normal_form dbr:Gödel's_completeness_theorem dbr:Metamathematics dbr:Naive_set_theory dbr:Jain_philosophy dbr:Constructive_analysis dbr:Alphabet_of_human_thought dbr:Aristotle dbr:Buddhism dbr:Cicero dbr:Dark_Ages_(historiography) dbr:Galileo_Galilei dbr:Logic dbr:Mathematics dbr:Middle_Ages dbr:Plato dbr:Psychology dbr:Socrates dbr:Church–Turing_thesis dbr:Effective_method dbr:Essence dbr:Giuseppe_Peano dbr:Medieval_philosophy dbr:Metalanguage dbr:Ramon_Llull dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Chrysippus dbr:Kripke_semantics dbr:Modal_logic dbr:Intellectual_history dbr:Psychologism dbr:Halting_problem dbr:Completeness_(logic) dbr:Begriffsschrift dbr:Computability_theory dbr:Western_thought dbr:Albert_Muchnik dbr:Catuṣkoṭi dbr:Inclusion_(logic) dbr:Problem_of_multiple_generality dbr:Proof_mining dbr:Ancestral_relation dbr:Al-Ghazali dbr:Alan_Turing dbr:Algorithm dbr:Ancient_Egypt dbr:Arthashastra dbr:Avicenna dbr:Babylonian_astronomy dbr:Buddhist_philosophy dbc:Logic dbr:Chanakya dbr:Dialectic dbr:Epistemology dbr:Formal_logic dbr:Galen dbr:Geometry dbr:Gottfried_Wilhelm_Leibniz dbr:Grammar dbr:Idealism dbr:Jainism dbr:John_Locke dbr:Karl_Marx dbr:Linguistics dbr:Ludwig_Wittgenstein dbr:Mahabharata dbr:Marxism dbr:Truth dbr:Dignāga dbr:Calculus_ratiocinator dbr:Logical_NOR dbr:Al-Kindi dbr:Inductive_reasoning dbr:Intuitionistic_logic dbr:Mathematical_induction dbr:Monism dbr:Relevance_logic dbr:Naming_and_Necessity dbr:Interpretation_(logic) dbr:Structure_(mathematical_logic) dbr:Forcing_(mathematics) dbr:Ivor_Grattan-Guinness dbr:Square_of_opposition dbr:Rush_Rhees dbr:Axiom dbr:Antecedent_(logic) dbr:Antinomy dbc:History_of_science_by_discipline dbr:Consequent dbr:John_of_Salisbury dbr:Provability_logic dbr:Averroes dbr:David_Hilbert dbr:Francis_Bacon dbr:Heraclitus dbr:Kurt_Gödel dbr:Thomas_Hobbes dbr:Alexius_Meinong dbr:Leopold_Löwenheim dbr:Rhetoric dbr:Alonzo_Church dbr:Definition dbr:John_F._Sowa dbr:Zeno_of_Elea dbr:Analogy dbr:Charles_Sanders_Peirce dbr:Mohism dbr:Pāṇini dbr:Alfred_Tarski dbr:Augustus_De_Morgan dbr:Christian_philosophy dbr:Computational_complexity_theory dbr:Continuum_hypothesis dbr:Dissoi_logoi dbr:Avicennian_logic dbr:Epictetus dbr:Philosophy_of_science dbr:Scientific_method dbr:Syncretism dbr:William_of_Ockham dbr:Stephen_Cole_Kleene dbr:George_Boole dbr:Concept dbr:Al-Farabi dbr:American_National_Biography dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Model_theory dbr:Metaphysics_(Aristotle) dbr:Categorical_proposition dbr:Extension_(semantics) dbr:Turing_degree dbr:Reverse_mathematics dbr:Intension dbr:Grammar_of_Assent dbr:History_of_the_function_concept dbr:The_Oxford_Companion_to_Philosophy dbr:Material_conditional dbr:Entscheidungsproblem dbr:Antoine_Arnauld dbr:T-schema dbr:Elsevier dbr:Josiah_Royce dbr:Sophist_(dialogue) dbr:Dov_Gabbay dbr:Fuzzy_logic dbr:Diodorus_Cronus dbr:Frustum dbr:Logicism dbr:Madhyamaka dbr:Theaetetus_(dialogue) dbr:Oxford_Calculators dbr:Hypothetical_syllogism dbr:Indian_logic dbr:John_Corcoran_(logician) dbr:Princeton_University_Press dbr:Realizability dbr:Undecidable_problem dbr:Richard_Whately
dbp:cs1Dates	y (en)
dbp:date	May 2023 (en)
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Cite_book dbt:Main dbt:Reflist dbt:Bots dbt:Cite_journal dbt:Logic dbt:Cite_SEP dbt:See_also dbt:IAST dbt:Citation dbt:Rquote dbt:Use_dmy_dates dbt:ISBN dbt:Philosophy_sidebar dbt:History_of_science dbt:Paragraph_break dbt:Citation_needed dbt:History_of_mathematics dbt:Cite_IEP dbt:'" dbt:Main_article dbt:Short_description dbt:Blockquote
dct:subject	dbc:History_of_logic dbc:Logic dbc:History_of_science_by_discipline
gold:hypernym	dbr:Study
rdfs:label	History of logic (en) تاريخ المنطق (ar) Geschichte der Logik (de) Historia de la lógica (es) Histoire de la logique (fr) 論理学の歴史 (ja) 논리사 (ko) Historia logiki (pl) Geschiedenis van de logica (nl) История логики (ru) História da lógica (pt) 逻辑史 (zh)
rdfs:seeAlso	dbr:Avicennism dbr:Mathematical_logic
owl:sameAs	freebase:History of logic wikidata:History of logic dbpedia-nl:History of logic dbpedia-de:History of logic dbpedia-fr:History of logic dbpedia-tr:History of logic dbpedia-zh:History of logic dbpedia-ja:History of logic dbpedia-pt:History of logic dbpedia-ro:History of logic dbpedia-es:History of logic dbpedia-hu:History of logic dbpedia-ru:History of logic dbpedia-pl:History of logic dbpedia-ko:History of logic dbpedia-ar:History of logic dbpedia-bn:History of logic dbpedia-fi:History of logic dbpedia-hi:History of logic dbpedia-hy:History of logic dbpedia-global:History of logic dbr:History of logic
prov:wasDerivedFrom	wikipedia-en:History_of_logic?oldid=1294945012&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Aristotle_Altemps_Inv8575.jpg wiki-commons:Special:FilePath/Busto_di_Parmenide_(cropped).jpg wiki-commons:Special:FilePath/Gottfried_Wilhelm_Leibniz,_Bernhard_Christoph_Francke.jpg wiki-commons:Special:FilePath/MANNapoli_124545_plato's_academy_mosaic.jpg wiki-commons:Special:FilePath/Kurt_gödel.jpg wiki-commons:Special:FilePath/Giuseppe_Peano.jpg wiki-commons:Special:FilePath/George_Boole_color.jpg wiki-commons:Special:FilePath/Square_of_opposition,_set_diagrams.svg wiki-commons:Special:FilePath/Young_frege.jpg wiki-commons:Special:FilePath/Eight_Patriarchs_of_t...ect_of_Buddhism_Nagarjuna_Cropped.jpg wiki-commons:Special:FilePath/G.W.F._Hegel_(by_Sichling,_after_Sebbers).jpg wiki-commons:Special:FilePath/Kripke.jpg wiki-commons:Special:FilePath/Illustration_to_Euclid's_proof_of_the_Pythagorean_theorem.svg wiki-commons:Special:FilePath/Charles_Sanders_Peirce.jpg wiki-commons:Special:FilePath/Chrysippos_BM_1846.jpg wiki-commons:Special:FilePath/Ernst_Zermelo_1900s.jpg wiki-commons:Special:FilePath/Thales'_Theorem.svg wiki-commons:Special:FilePath/AlfredTarski1968.jpeg wiki-commons:Special:FilePath/Aristoteles_Logica_1570_Biblioteca_Huelva.jpg wiki-commons:Special:FilePath/BS-13-Begriffsschrift_Quantifier2-svg.svg wiki-commons:Special:FilePath/Boolean_multiples_of_2_3_5.svg wiki-commons:Special:FilePath/Britoquestionsonoldlogic.jpg wiki-commons:Special:FilePath/Canon-Avicenna-small.jpg wiki-commons:Special:FilePath/Fennerartoflogic-small.jpg wiki-commons:Special:FilePath/उमास्वामी_आचार्यजी.jpg
foaf:isPrimaryTopicOf	wikipedia-en:History_of_logic
is dbo:academicDiscipline of	dbr:John_Corcoran_(logician)
is dbo:knownFor of	dbr:Ivor_Grattan-Guinness
is dbo:mainInterest of	dbr:Jan_Łukasiewicz
is dbo:wikiPageRedirects of	dbr:Origin_of_logic dbr:History_of_formal_logic dbr:Ancient_Greek_logic dbr:Ancient_logic dbr:History_of_Logic dbr:Logic_in_Greece dbr:Logic_in_ancient_Greece dbr:Modern_logic
is dbo:wikiPageWikiLink of	dbr:Megarian_school dbr:Index_of_philosophy_articles_(D–H) dbr:Non-classical_logic dbr:Gottlob_Frege dbr:School_of_Names dbr:Semiotics dbr:Walter_J._Ong dbr:Arthur_Prior dbr:Stoicism dbr:Herbert_Enderton dbr:Riccardo_Pozzo dbr:Logica_nova dbr:Jean_van_Heijenoort dbr:Timeline_of_mathematical_logic dbr:Ernst_Schröder_(mathematician) dbr:Barbershop_paradox dbr:Medieval_philosophy dbr:Chrysippus dbr:List_of_In_Our_Time_programmes dbr:Index_of_logic_articles dbr:Georg_Wilhelm_Friedrich_Hegel dbr:William_Kneale dbr:Ivor_Grattan-Guinness dbr:Lazar_Reznikov dbr:History_of_mathematics dbr:Outline_of_mathematics dbr:Valentin_A._Bazhanov dbr:John_Corcoran_(logician) dbr:Logic_in_China dbr:Logic_in_Islamic_philosophy dbr:Jan_Łukasiewicz dbr:Afdal_al-Din_Khunaji dbr:Osmund_Lewry dbr:Outline_of_history dbr:Outline_of_logic dbr:Patricia_Blanchette dbr:John_MacFarlane_(philosopher) dbr:Scott_L._Pratt dbr:The_Great_Philosophers dbr:Richard_Zach dbr:Itala_D'Ottaviano dbr:Adriane_Rini dbr:Origin_of_logic dbr:History_of_formal_logic dbr:Ancient_Greek_logic dbr:Ancient_logic dbr:History_of_Logic dbr:Logic_in_Greece dbr:Logic_in_ancient_Greece dbr:Modern_logic
is dbp:fields of	dbr:John_Corcoran_(logician)
is dbp:knownFor of	dbr:Ivor_Grattan-Guinness
is dbp:subDiscipline of	dbr:John_W._Dawson_Jr.
is rdfs:seeAlso of	dbr:Stoicism dbr:Mathematical_proof
is foaf:primaryTopic of	wikipedia-en:History_of_logic