Logical formIn logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
Raisonnement révisableLe raisonnement révisable est un type de raisonnement qui est basé sur des raisons qui sont révisables, elle est opposé à la raison irévisable de la logique déductive. Le raisonnement révisable est un type particulier de raisonnement non-démonstratif, où le raisonnement ne produit pas une démonstration complète, ou finale d'une déclaration, c'est-à-dire, où la faillibilité et la corrigibilité de conclusion sont reconnus. En d'autres mots, le raisonnement révisable produit une déclaration contingente.
AnalogieUne analogie est un processus de pensée par lequel on remarque une similitude de forme entre deux choses, par ailleurs de différentes natures ou classes. Dans le discours, une analogie explicite est une comparaison, tandis qu'une analogie implicite est une métaphore. La comparaison entre deux routes tortueuses n'est pas une analogie, car ce sont deux objets de même type : c'est une simple ressemblance. En revanche, dire qu'une route serpente est une analogie : on repère ici la similitude entre deux choses de type différent.
Argumentation schemeIn argumentation theory, an argumentation scheme or argument scheme is a template that represents a common type of argument used in ordinary conversation. Many different argumentation schemes have been identified. Each one has a name (for example, argument from effect to cause) and presents a type of connection between premises and a conclusion in an argument, and this connection is expressed as a rule of inference. Argumentation schemes can include inferences based on different types of reasoning—deductive, inductive, abductive, probabilistic, etc.
PersuasionLa persuasion est l'action d'amener quelqu'un à croire ou à faire quelque chose, , c'est-à-dire, sans recours à la force ni à ses substituts, menace, chantage, dilemme. Quand la persuasion concerne les idées, c'est une forme volontaire de l'influence. Les anciens, d'Isocrate à Aristote et Cicéron, ont défini la rhétorique comme l'art de convaincre et de persuader. Des auteurs classiques à partir de l'humaniste Ramus au ont distingué persuader de convaincre, la persuasion ajoutant à la conviction par la dialectique, l'idée d'un sentiment actif excité dans l'âme de l'auditeur.
Socratic methodThe Socratic method (also known as method of Elenchus, elenctic method, or Socratic debate) is a form of cooperative argumentative dialogue between individuals, based on asking and answering questions to stimulate critical thinking and to draw out ideas and underlying presuppositions. It is named after the Classical Greek philosopher Socrates and is introduced by him in Plato's Theaetetus as midwifery (maieutics) because it is employed to bring out definitions implicit in the interlocutors' beliefs, or to help them further their understanding.
Issue-based information systemThe issue-based information system (IBIS) is an argumentation-based approach to clarifying wicked problems—complex, ill-defined problems that involve multiple stakeholders. Diagrammatic visualization using IBIS notation is often called issue mapping. IBIS was invented by Werner Kunz and Horst Rittel in the 1960s. According to Kunz and Rittel, "Issue-Based Information Systems (IBIS) are meant to support coordination and planning of political decision processes.
InquiryAn inquiry (also spelled as enquiry in British English) is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim. When three terms are so related to one another that the last is wholly contained in the middle and the middle is wholly contained in or excluded from the first, the extremes must admit of perfect syllogism.
Système d'argumentationUn système d'argumentation est un moyen pour un agent de gérer des informations conflictuelles et d'en tirer des conséquences. Dans un système d'argumentation abstrait, l'information de base est un ensemble d'arguments abstraits (qui peuvent par exemple représenter une donnée, une proposition), et les conflits entre arguments sont représentés au moyen d'une relation binaire sur l'ensemble d'arguments. Concrètement, on représente un système d'argumentation au moyen d'un graphe orienté tel que les nœuds représentent les arguments et les arcs représentent la relation d'attaque.
Socratic questioningSocratic questioning (or Socratic maieutics) was named after Socrates. He used an educational method that focused on discovering answers by asking questions from his students. According to Plato, who was one of his students, Socrates believed that "the disciplined practice of thoughtful questioning enables the scholar/student to examine ideas and be able to determine the validity of those ideas". Plato described this rigorous method of teaching to explain that the teacher assumes an ignorant mindset in order to compel the student to assume the highest level of knowledge.
