About: Logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Study of correct reasoning

Property Value
dbo:description
  • päättelyn ja ajattelun muotoja tutkiva tieteenala (fi)
  • bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplin (tr)
  • دانشی در پی جلوگیری از خطای اندیشه (fa)
  • အနုမာနနှင့် အမှန်တရားအား လေ့လာခြင်း (my)
  • ciencia formal que estudia los principios de la demostración e inferencia válida (es)
  • paribhasha- tarkshastra shabd ko liya jaye to uski paribhasha tark ke shastra athva vigyan se ki jati hai (hi)
  • Lehre des korrekten und sinnvollen Schlussfolgerns (de)
  • Léier vum richtegen Denken an Erkennen (lb)
  • bidang studi tentang pertimbangan akal pikiran (in)
  • bizonyítások tudománya (hu)
  • estudo centrado no raciocínio (pt)
  • ilimu aluran masuak aka (min)
  • jepy'amongeta rembikuaa (gn)
  • myšlenková cesta nebo věda (cs)
  • proučavanje zaključivanja i javnom prikazivanja (bs)
  • studie van op redelijke manier afleiden en bewijzen (nl)
  • proces poprawnego myślenia, jest on analizą spostrzeżeń i nauką o uzasadnianiu własnych koncepcji na podstawie długofalowych obserwacji danego zjawiska (pl)
  • studfako pri inferencado kaj pruvoj (eo)
  • studimi i përfundimit dhe demonstrimit (sq)
  • studio del ragionamento e dell'argomentazione (it)
  • study of correct reasoning (en)
  • təfəkkürün qanun və formaları haqqında elm (az)
  • veda zaoberajúca sa vyplývaním (sk)
  • ciència formal que estudia els principis de la demostració i de la inferència vàlida (ca)
  • étude des principes et des critères de déductions et de démonstrations valides (fr)
  • การศึกษาการให้เหตุผลและการพิสูจน์ (th)
  • nghiên cứu suy luận và chứng minh có hệ thống (vi)
  • دراسة مناهج الفكر وطرق الاستدلال السليم (ar)
  • непротиворечивый ход выводов, непротиворечивость (ru)
  • ھونەر و زانستی بەکارھێنانی ئاوەز (ckb)
  • תורה הבוחנת קשרי היסק (iw)
  • معلم منطق (ur)
  • Estudo dos razoamentos expresados lingüisticamente (gl)
  • 논리와 관련된 구성과 원리들을 분석하고 체계화하는 학문 (ko)
  • 思辯之道也,所以推闡思籀,而為諸學立本則者 (lzh)
  • विगमन (mr)
  • যুক্তিবিজ্ঞান (bn)
  • 對有效推論的哲學研究 (zh)
  • 正しい推論の研究 (ja)
  • panagadal kadagiti moda ti panagrason ken ti panag-usar ti umisu a panagrason (ilo)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:1a
  • King (en)
  • Magnus (en)
  • Priest (en)
  • Spade (en)
  • Yu (en)
  • Carling (en)
  • Day (en)
  • Marshall (en)
  • Korb (en)
  • Emmanuel (en)
  • Kulik (en)
  • Blackburn (en)
  • Engel (en)
  • Li (en)
  • Moore (en)
  • Scott (en)
  • Hasse (en)
  • Tanaka (en)
  • Weber (en)
  • Rosen (en)
  • Olsson (en)
  • Johnson (en)
  • Warren (en)
  • Walton (en)
  • Sider (en)
  • Smith (en)
  • Maltby (en)
  • Stump (en)
  • Craig (en)
  • Gensler (en)
  • Blair (en)
  • Garson (en)
  • Hansen (en)
  • Paulson (en)
  • Kline (en)
  • Vickers (en)
  • Audi (en)
  • Zimmermann (en)
  • Frede (en)
  • Mills (en)
  • Ewald (en)
  • Honderich (en)
  • Bagaria (en)
  • Borchert (en)
  • Bunnin (en)
  • Chua (en)
  • Clocksin (en)
  • Dasti (en)
  • Douven (en)
  • Falguera (en)
  • Falikowski (en)
  • Flotyński (en)
  • Fridman (en)
  • Goble (en)
  • Groarke (en)
  • Gómez-Torrente (en)
  • Haack (en)
  • Haaparanta (en)
  • Hintikka (en)
  • IEP Staff (en)
  • Jacquette (en)
  • Janssen (en)
  • Knuuttila (en)
  • Kouri Kissel (en)
  • MacFarlane (en)
  • Macaskill (en)
  • Mackie (en)
  • Marenbon (en)
  • Martínez-Vidal (en)
  • McKeon (en)
  • Mellish (en)
  • Moschovakis (en)
  • Nolt (en)
  • O'Regan (en)
  • Pépin (en)
  • Restall (en)
  • Rocci (en)
  • Sandu (en)
  • Shapiro (en)
  • Standefer (en)
  • Sternberg (en)
  • Vleet (en)
  • Washell (en)
  • Wasilewska (en)
  • Willman (en)
dbp:1loc
  • 1 (xsd:integer)
  • 1.100000 (xsd:double)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4.100000 (xsd:double)
  • 6 (xsd:integer)
  • https://www.britannica.com/topic/history-of-logic/Godels-incompleteness-theorems
  • Logos (en)
  • Philosophy of logic (en)
  • Introduction (en)
  • Analytic induction (en)
  • Bayesian Epistemology (en)
  • Chapter 3.4 (en)
  • Computability Theory (en)
  • Formal and informal logic (en)
  • Formal languages and systems (en)
  • Introduction: Philosophy of logic today (en)
  • Introduction; 3. The Logical Text-Books (en)
  • Lead section; 1b. Inference (en)
  • Logic, Non-Classical (en)
  • Philosophy of logics (en)
  • The Relation of Prolog to Logic (en)
  • argument (en)
  • lead section, §Features and problems of logic (en)
  • lead section, §Nature and varieties of logic (en)
  • lead section; 1. History (en)
  • logic, informal (en)
  • philosophical logic (en)
  • §Nature and varieties of logic, §Alternative logics (en)
  • §Logic and other disciplines (en)
  • §Nature and varieties of logic (en)
  • "A major achievement of Aristotle was the founding of the science of logic", p. 53 (en)
dbp:1p
  • 7 (xsd:integer)
  • 13 (xsd:integer)
  • 14 (xsd:integer)
  • 16 (xsd:integer)
  • 20 (xsd:integer)
  • 26 (xsd:integer)
  • 39 (xsd:integer)
  • 49 (xsd:integer)
  • 53 (xsd:integer)
  • 71 (xsd:integer)
  • 74 (xsd:integer)
  • 91 (xsd:integer)
  • 98 (xsd:integer)
  • 179 (xsd:integer)
  • 181 (xsd:integer)
  • 564 (xsd:integer)
  • ix (en)
  • xliii (en)
dbp:1pp
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 5 (xsd:integer)
  • 13 (xsd:integer)
  • 22 (xsd:integer)
  • 34 (xsd:integer)
  • 35 (xsd:integer)
  • 41 (xsd:integer)
  • 59 (xsd:integer)
  • 93 (xsd:integer)
  • 145 (xsd:integer)
  • 237 (xsd:integer)
  • 265 (xsd:integer)
  • 320 (xsd:integer)
  • 431 (xsd:integer)
  • 445 (xsd:integer)
  • 631 (xsd:integer)
  • ix–x (en)
  • xliii–xliv (en)
dbp:1y
  • 1967 (xsd:integer)
  • 1972 (xsd:integer)
  • 1973 (xsd:integer)
  • 1978 (xsd:integer)
  • 1980 (xsd:integer)
  • 1982 (xsd:integer)
  • 1987 (xsd:integer)
  • 1996 (xsd:integer)
  • 1999 (xsd:integer)
  • 2000 (xsd:integer)
  • 2001 (xsd:integer)
  • 2003 (xsd:integer)
  • 2004 (xsd:integer)
  • 2005 (xsd:integer)
  • 2006 (xsd:integer)
  • 2007 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2014 (xsd:integer)
  • 2015 (xsd:integer)
  • 2016 (xsd:integer)
  • 2017 (xsd:integer)
  • 2018 (xsd:integer)
  • 2019 (xsd:integer)
  • 2020 (xsd:integer)
  • 2021 (xsd:integer)
  • 2022 (xsd:integer)
  • 2023 (xsd:integer)
dbp:2a
  • Hawthorne (en)
  • Lin (en)
  • Magnus (en)
  • Priest (en)
  • Stone (en)
  • Wolf (en)
  • Simpson (en)
  • Spade (en)
  • Vila (en)
  • Pedemonte (en)
  • Barnes (en)
  • Korb (en)
  • Sieg (en)
  • Font (en)
  • Camacho (en)
  • Blackburn (en)
  • Cook (en)
  • Engel (en)
  • Moore (en)
  • Hasse (en)
  • Tanaka (en)
  • Hájek (en)
  • Weber (en)
  • Fisher (en)
  • Johnson (en)
  • Walton (en)
  • Sider (en)
  • Smith (en)
  • Wright (en)
  • Chatfield (en)
  • Nunes (en)
  • Biro (en)
  • Craig (en)
  • Leary (en)
  • Gödel (en)
  • Pizzi (en)
  • Bridges (en)
  • Calderbank (en)
  • Garson (en)
  • Cunningham (en)
  • Hansen (en)
  • Houde (en)
  • Hurley (en)
  • Siegel (en)
  • Audi (en)
  • Jago (en)
  • Sloane (en)
  • Stairs (en)
  • Cromby (en)
  • Castaño (en)
  • Kneale (en)
  • Mills (en)
  • Honderich (en)
  • Angell (en)
  • Backmann (en)
  • Berlemann (en)
  • Bobzien (en)
  • Borchert (en)
  • Burgess (en)
  • Carnielli (en)
  • Corkum (en)
  • D'Agostino (en)
  • Daintith (en)
  • Douven (en)
  • Dowden (en)
  • Enderton (en)
  • Floridi (en)
  • Gabbay (en)
  • Gamut (en)
  • Garssen (en)
  • Groarke (en)
  • Gómez-Torrente (en)
  • Haack (en)
  • Haaparanta (en)
  • Hintikka (en)
  • Ishihara (en)
  • Jacquette (en)
  • Jansana (en)
  • Ketland (en)
  • Koslowski (en)
  • Kouri Kissel (en)
  • Krabbe (en)
  • Kristiansen (en)
  • Kusch (en)
  • Lagerlund (en)
  • Linsky (en)
  • MacFarlane (en)
  • Mackie (en)
  • Makridis (en)
  • Mangold (en)
  • Online Etymology Staff (en)
  • Partee (en)
  • Pickel (en)
  • Pietroski (en)
  • Possin (en)
  • Rathjen (en)
  • Rautenberg (en)
  • Ritola (en)
  • Rošker (en)
  • Sadegh-Zadeh (en)
  • Sagüillo (en)
  • Sandu (en)
  • Schechter (en)
  • Schreiner (en)
  • Schwichtenberg (en)
  • Shapiro (en)
  • Snoeck Henkemans (en)
  • Tondl (en)
  • Verheij (en)
  • Vidyabhusana (en)
  • Väänänen (en)
  • Wagemans (en)
  • Weddle (en)
  • Wilce (en)
  • van Eemeren (en)
  • Łukasiewicz (en)
dbp:2loc
dbp:2p
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 7 (xsd:integer)
  • 8 (xsd:integer)
  • 14 (xsd:integer)
  • 15 (xsd:integer)
  • 22 (xsd:integer)
  • 41 (xsd:integer)
  • 60 (xsd:integer)
  • 63 (xsd:integer)
  • 111 (xsd:integer)
  • 119 (xsd:integer)
  • 121 (xsd:integer)
  • 124 (xsd:integer)
  • 164 (xsd:integer)
  • 194 (xsd:integer)
  • 195 (xsd:integer)
  • 221 (xsd:integer)
  • 267 (xsd:integer)
  • 274 (xsd:integer)
  • 335 (xsd:integer)
  • 343 (xsd:integer)
  • 768 (xsd:integer)
  • 983 (xsd:integer)
dbp:2pp
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 8 (xsd:integer)
  • 12 (xsd:integer)
  • 16 (xsd:integer)
  • 27 (xsd:integer)
  • 31 (xsd:integer)
  • 41 (xsd:integer)
  • 43 (xsd:integer)
  • 73 (xsd:integer)
  • 75 (xsd:integer)
  • 131 (xsd:integer)
  • 143 (xsd:integer)
  • 207 (xsd:integer)
  • 235 (xsd:integer)
  • 265 (xsd:integer)
  • 271 (xsd:integer)
  • 277 (xsd:integer)
  • 301 (xsd:integer)
  • 327 (xsd:integer)
  • 383 (xsd:integer)
  • 447 (xsd:integer)
  • 563 (xsd:integer)
  • 753 (xsd:integer)
  • 1316 (xsd:integer)
  • 2066 (xsd:integer)
  • 2991 (xsd:integer)
  • 4354 (xsd:integer)
  • 229266 (xsd:integer)
dbp:2y
  • 1957 (xsd:integer)
  • 1962 (xsd:integer)
  • 1964 (xsd:integer)
  • 1967 (xsd:integer)
  • 1978 (xsd:integer)
  • 1982 (xsd:integer)
  • 1984 (xsd:integer)
  • 1987 (xsd:integer)
  • 1988 (xsd:integer)
  • 1991 (xsd:integer)
  • 1996 (xsd:integer)
  • 1997 (xsd:integer)
  • 1999 (xsd:integer)
  • 2001 (xsd:integer)
  • 2003 (xsd:integer)
  • 2004 (xsd:integer)
  • 2005 (xsd:integer)
  • 2006 (xsd:integer)
  • 2007 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2014 (xsd:integer)
  • 2015 (xsd:integer)
  • 2016 (xsd:integer)
  • 2017 (xsd:integer)
  • 2018 (xsd:integer)
  • 2019 (xsd:integer)
  • 2020 (xsd:integer)
  • 2021 (xsd:integer)
  • 2022 (xsd:integer)
  • 2023 (xsd:integer)
dbp:3a
  • Hawthorne (en)
  • King (en)
  • Monk (en)
  • Rush (en)
  • Wolf (en)
  • Hall (en)
  • Spade (en)
  • Richardson (en)
  • Engel (en)
  • Friend (en)
  • Willard (en)
  • Weber (en)
  • O'Donnell (en)
  • Johnson (en)
  • Warren (en)
  • Wright (en)
  • Liu (en)
  • Stump (en)
  • Putnam (en)
  • Plantin (en)
  • Blair (en)
  • Hansen (en)
  • Talbott (en)
  • Honderich (en)
  • Reimer (en)
  • Benthem (en)
  • Bimbó (en)
  • Bobzien (en)
  • Bäck (en)
  • Cohen (en)
  • Copi (en)
  • Daintith (en)
  • Douven (en)
  • Garssen (en)
  • Goble (en)
  • Goss (en)
  • Groarke (en)
  • Grootendorst (en)
  • Guo (en)
  • Haack (en)
  • Hartmann (en)
  • Hintikka (en)
  • IEP Staff (en)
  • Jacquette (en)
  • Keren-Portnoy (en)
  • Ketland (en)
  • McKeon (en)
  • Michaelson (en)
  • Panaccio (en)
  • Parush (en)
  • Planty-Bonjour (en)
  • Pritzker (en)
  • Quine (en)
  • Ritola (en)
  • Rodych (en)
  • Roesner (en)
  • Runco (en)
  • Schagrin (en)
  • Schlesinger (en)
  • Sprenger (en)
  • Wilbanks (en)
  • Wile (en)
  • Zegarelli (en)
  • van Dalen (en)
  • van Eemeren (en)
dbp:3loc
dbp:3p
  • 1 (xsd:integer)
  • 15 (xsd:integer)
  • 30 (xsd:integer)
  • 47 (xsd:integer)
  • 48 (xsd:integer)
  • 62 (xsd:integer)
  • 101 (xsd:integer)
  • 155 (xsd:integer)
  • 169 (xsd:integer)
  • 191 (xsd:integer)
  • 220 (xsd:integer)
  • 267 (xsd:integer)
  • 317 (xsd:integer)
  • 335 (xsd:integer)
  • 447 (xsd:integer)
dbp:3pp
  • 1 (xsd:integer)
  • 8 (xsd:integer)
  • 59 (xsd:integer)
  • 93 (xsd:integer)
  • 107 (xsd:integer)
  • 135 (xsd:integer)
  • 147 (xsd:integer)
  • 216 (xsd:integer)
  • 229 (xsd:integer)
  • 265 (xsd:integer)
  • 327 (xsd:integer)
  • 557 (xsd:integer)
  • 609 (xsd:integer)
dbp:3y
  • 1969 (xsd:integer)
  • 1970 (xsd:integer)
  • 1976 (xsd:integer)
  • 1978 (xsd:integer)
  • 1981 (xsd:integer)
  • 1982 (xsd:integer)
  • 1987 (xsd:integer)
  • 1994 (xsd:integer)
  • 1996 (xsd:integer)
  • 1998 (xsd:integer)
  • 1999 (xsd:integer)
  • 2000 (xsd:integer)
  • 2001 (xsd:integer)
  • 2005 (xsd:integer)
  • 2006 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2013 (xsd:integer)
  • 2014 (xsd:integer)
  • 2016 (xsd:integer)
  • 2019 (xsd:integer)
  • 2020 (xsd:integer)
  • 2021 (xsd:integer)
  • 2023 (xsd:integer)
dbp:4a
  • Magnus (en)
  • Rini (en)
  • Aloni (en)
  • Dekker (en)
  • Goarke (en)
  • Stolyar (en)
dbp:4loc
  • 1.600000 (xsd:double)
  • lead section; 2. Systems of Informal Logic; 4.2 Fallacy Theory (en)
dbp:4p
  • 2 (xsd:integer)
  • 26 (xsd:integer)
dbp:4pp
  • 12 (xsd:integer)
  • 22 (xsd:integer)
dbp:4y
  • 1984 (xsd:integer)
  • 2005 (xsd:integer)
  • 2010 (xsd:integer)
  • 2016 (xsd:integer)
  • 2021 (xsd:integer)
dbp:alt
  • Bust of Aristotle (en)
  • Bust showing Gottlob Frege (en)
  • Portrait of Avicenna (en)
  • Portrait of William of Ockham (en)
dbp:footer
  • Top row: Aristotle, who established the canon of western philosophy; and Avicenna, who replaced Aristotelian logic in Islamic discourse. Bottom row: William of Ockham, a major figure of medieval scholarly thought; and Gottlob Frege, one of the founders of modern symbolic logic. (en)
dbp:image
  • Aristotle Altemps Inv8575.jpg (en)
  • Avicenne - Avicenna - Ibn_Sina CIPB2067.jpg (en)
  • Guillaume Occam.jpg (en)
  • Wismar Marienkirche Bronzebüste Gottlob Frege .JPG (en)
dbp:loc
  • 1 (xsd:integer)
dbp:perrow
  • 2 (xsd:integer)
dbp:totalWidth
  • 330 (xsd:integer)
dbp:wikiPageUsesTemplate
dct:isPartOf
dct:subject
gold:hypernym
rdfs:label
  • Logic (en)
  • Логика (ru)
  • 論理学 (ja)
  • Logik (de)
  • المنطق (ar)
  • Lògica (ca)
  • Λογική (el)
  • Logika (cs)
  • Logiko (eo)
  • Logika (eu)
  • Lógica (es)
  • Loighic (ga)
  • Logika (in)
  • Logica (it)
  • Logique (fr)
  • 논리학 (ko)
  • Logica (nl)
  • Lógica (pt)
  • Logika (pl)
  • Logik (sv)
  • Логіка (uk)
  • 逻辑 (zh)
owl:sameAs
skos:exactMatch
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:education of
is dbo:genre of
is dbo:knownFor of
is dbo:literaryGenre of
is dbo:mainInterest of
is dbo:nonFictionSubject of
is dbo:notableIdea of
is dbo:occupation of
is dbo:philosophicalSchool of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:discipline of
is dbp:field of
is dbp:fields of
is dbp:genre of
is dbp:knownFor of
is dbp:mainInterests of
is dbp:module of
is dbp:notableIdeas of
is dbp:paradigms of
is dbp:schoolTradition of
is dbp:skills of
is dbp:subDiscipline of
is dbp:subject of
is dbp:subjects of
is dc:subject of
is gold:hypernym of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International