Cet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique).Nota :La logique comporte aussi des branches en mathématiques et en informatique.Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle...Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.En logique générale, on admet les énoncés probables.

PropertyValue
dbpedia-owl:abstract
  • Cet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique).Nota :La logique comporte aussi des branches en mathématiques et en informatique.Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle...Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.En logique générale, on admet les énoncés probables. L'induction a un sens en logique générale, elle n'a pas de sens en logique mathématique.Liste des concepts logiques de la philosophie Abduction : ce type d'inférence a été imaginé par Peirce (pragmatisme) Analogie Aporie Argument Axiome Cohérence Contradiction Déduction Déduction logique Démonstration Doxa, opinion confuse chez Parménide, par opposition à l'Être Hypothèse Induction Induction logique Inférence ; elle peut avoir plusieurs types : déduction, induction ; Peirce (pragmatisme) imagine aussi l'abduction Intuition Logique fallacieuse ou sophisme Objet Paralogisme Paradoxe Prémisse Proposition Proposition (mathématiques) en logique mathématique Raisonnement par l'absurde Sophisme Sujet Syllogisme Syllogisme logique Syllogisme dialectique Syllogisme sophistique, ou sophisme Théorie Vérité
  • Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução. Dada uma premissa, uma conclusão, e uma regra segundo a qual a premissa implica a conclusão, eles podem ser explicados da seguinte forma: Dedução corresponde a determinar a conclusão. Utiliza-se da regra e sua premissa para chegar a uma conclusão. Exemplo: "Quando chove, a grama fica molhada. Choveu hoje. Portanto, a grama está molhada." É comum associar os matemáticos com este tipo de raciocínio. Indução é determinar a regra. É aprender a regra a partir de diversos exemplos de como a conclusão segue da premissa. Exemplo: "A grama ficou molhada todas as vezes em que choveu. Então, se chover amanhã, a grama ficará molhada." É comum associar os cientistas com este estilo de raciocínio. Abdução significa determinar a premissa. Usa-se a conclusão e a regra para defender que a premissa poderia explicar a conclusão. Exemplo: "Quando chove, a grama fica molhada. A grama está molhada, então pode ter chovido." Associa-se este tipo de raciocínio aos diagnosticistas e detetives.
  • Informally, two kinds of logical reasoning can be distinguished in addition to formal deduction: induction and abduction. Given a precondition or premise, a conclusion or logical consequence and a rule or material conditional that implies the conclusion given the precondition, one can explain that: Deductive reasoning determines whether the truth of a conclusion can be determined for that rule, based solely on the truth of the premises. Example: "When it rains, things outside get wet. The grass is outside, therefore: when it rains, the grass gets wet." Mathematical logic and philosophical logic are commonly associated with this style of reasoning. Inductive reasoning attempts to support a determination of the rule. It hypothesizes a rule after numerous examples are taken to be a conclusion that follows from a precondition in terms of such a rule. Example: "The grass got wet numerous times when it rained, therefore: the grass always gets wet when it rains." While they may be persuasive, these arguments are not deductively valid, see the problem of induction. Science is associated with this type of reasoning. Abductive reasoning, aka inference to the best explanation, selects a cogent set of preconditions. Given a true conclusion and a rule, it attempts to select some possible premises that, if true also, can support the conclusion, though not uniquely. Example: "When it rains, the grass gets wet. The grass is outside and nothing outside is dry, therefore: maybe it rained." Diagnosticians and detectives are commonly associated with this type of reasoning.
  • 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、そして仮説形成の三種類に区別されうる。「前提条件」(precondition)、「結論」(conclusion)、そして「『前提条件』は『結論』を含意する」という「規則」(rule)があるとすると、それら三種の推論は次の仕方で説明されうる。演繹は「結論」を規定することを意味する。この推論は「規則」と「前提条件」を用いて「結論」を導くことである。例えば、「雨がふると芝生は湿る。雨がふっている。したがって、芝生は湿っている。」数学者は通常、この種の推論にかかわっている。帰納は「規則」を規定することを意味する。この推論は「前提条件」の次に起こる「結論」の諸事例の一部から「規則」を学ぶことである。例えば、「これまで、雨がふるといつも芝生は湿ってきた。したがって、雨がふると芝生は湿る。」科学者は通常、この種の推論にかかわっている。仮説形成は「前提条件」を規定することを意味する。この推論は「結論」と「規則」を用いて、「『前提条件』は『結論』を説明することができるだろう」ということを裏づけることである。例えば、「芝生が湿っている。雨がふると芝生が湿る。したがって、雨がふったに違いない。」診断専門医や探偵は通常、この種の推論にかかわっている。
dbpedia-owl:wikiPageID
  • 53244 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2153 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 67 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 89813861 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Cet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique).Nota :La logique comporte aussi des branches en mathématiques et en informatique.Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle...Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.En logique générale, on admet les énoncés probables.
  • 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、そして仮説形成の三種類に区別されうる。「前提条件」(precondition)、「結論」(conclusion)、そして「『前提条件』は『結論』を含意する」という「規則」(rule)があるとすると、それら三種の推論は次の仕方で説明されうる。演繹は「結論」を規定することを意味する。この推論は「規則」と「前提条件」を用いて「結論」を導くことである。例えば、「雨がふると芝生は湿る。雨がふっている。したがって、芝生は湿っている。」数学者は通常、この種の推論にかかわっている。帰納は「規則」を規定することを意味する。この推論は「前提条件」の次に起こる「結論」の諸事例の一部から「規則」を学ぶことである。例えば、「これまで、雨がふるといつも芝生は湿ってきた。したがって、雨がふると芝生は湿る。」科学者は通常、この種の推論にかかわっている。仮説形成は「前提条件」を規定することを意味する。この推論は「結論」と「規則」を用いて、「『前提条件』は『結論』を説明することができるだろう」ということを裏づけることである。例えば、「芝生が湿っている。雨がふると芝生が湿る。したがって、雨がふったに違いない。」診断専門医や探偵は通常、この種の推論にかかわっている。
  • Informally, two kinds of logical reasoning can be distinguished in addition to formal deduction: induction and abduction. Given a precondition or premise, a conclusion or logical consequence and a rule or material conditional that implies the conclusion given the precondition, one can explain that: Deductive reasoning determines whether the truth of a conclusion can be determined for that rule, based solely on the truth of the premises. Example: "When it rains, things outside get wet.
  • Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução. Dada uma premissa, uma conclusão, e uma regra segundo a qual a premissa implica a conclusão, eles podem ser explicados da seguinte forma: Dedução corresponde a determinar a conclusão. Utiliza-se da regra e sua premissa para chegar a uma conclusão. Exemplo: "Quando chove, a grama fica molhada. Choveu hoje. Portanto, a grama está molhada." É comum associar os matemáticos com este tipo de raciocínio.
rdfs:label
  • Liste de concepts logiques
  • Logical reasoning
  • Raciocínio lógico
  • 論理的推論
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of