Property Value
dbo:abstract
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). Au Moyen Âge, elle ne figure pas explicitement parmi les sept arts libéraux : * trivium : grammaire, dialectique et rhétorique ; * quadrivium : arithmétique, géométrie, astronomie et musique. Les travaux de George Boole, Jevons ont permis depuis le XIXe siècle le développement fulgurant d'une approche mathématique de la logique. Sa convergence opérée avec l'informatique depuis la fin du XXe siècle lui a donné un regain de vitalité. Elle trouve depuis le XXe siècle de nombreuses applications en ingénierie, en linguistique, en psychologie cognitive, en philosophie analytique ou en communication. (fr)
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). Au Moyen Âge, elle ne figure pas explicitement parmi les sept arts libéraux : * trivium : grammaire, dialectique et rhétorique ; * quadrivium : arithmétique, géométrie, astronomie et musique. Les travaux de George Boole, Jevons ont permis depuis le XIXe siècle le développement fulgurant d'une approche mathématique de la logique. Sa convergence opérée avec l'informatique depuis la fin du XXe siècle lui a donné un regain de vitalité. Elle trouve depuis le XXe siècle de nombreuses applications en ingénierie, en linguistique, en psychologie cognitive, en philosophie analytique ou en communication. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10433 (xsd:integer)
dbo:wikiPageLength
  • 26868 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190053151 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1987 (xsd:integer)
prop-fr:art
  • logic (fr)
  • logic (fr)
prop-fr:auteur
  • Michael R. Genesereth (fr)
  • Nils J. Nilsson (fr)
  • Michael R. Genesereth (fr)
  • Nils J. Nilsson (fr)
prop-fr:fr
  • Margarita Philosophica (fr)
  • supervaluationisme (fr)
  • Margarita Philosophica (fr)
  • supervaluationisme (fr)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • de (fr)
  • en (fr)
  • de (fr)
  • en (fr)
prop-fr:référenceSimplifiée
  • Référence:Logical Foundations of Artificial Intelligence (fr)
  • Référence:Logical Foundations of Artificial Intelligence (fr)
prop-fr:titre
  • Logical Foundations of Artificial Intelligence (fr)
  • Logical Foundations of Artificial Intelligence (fr)
prop-fr:trad
  • supervaluationism (fr)
  • supervaluationism (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:wikisource
  • Catégorie:Logique (fr)
  • Catégorie:Logique (fr)
prop-fr:wikiversity
  • Département:Logique (fr)
  • Département:Logique (fr)
prop-fr:wiktionary
  • logique (fr)
  • logique (fr)
prop-fr:éditeur
  • Morgan Kaufmann (fr)
  • Morgan Kaufmann (fr)
dct:subject
rdf:type
rdfs:comment
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). (fr)
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). (fr)
rdfs:label
  • Logique (fr)
  • Logique (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:basedOn of
is dbo:discipline of
is dbo:domain of
is dbo:genre of
is dbo:ideology of
is dbo:isPartOf of
is dbo:literaryGenre of
is dbo:mainArticleForCategory of
is dbo:mainInterest of
is dbo:movement of
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:champs of
is prop-fr:discipline of
is prop-fr:domaine of
is prop-fr:domaines of
is prop-fr:genre of
is prop-fr:principauxIntérêts of
is prop-fr:profession of
is prop-fr:traditionLinguistique of
is foaf:primaryTopic of