| 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
| |
| dbp:perrow
| |
| dbp:totalWidth
| |
| dbp:wikiPageUsesTemplate
| |
| dct:isPartOf
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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 | |