Preuve empiriquePreuve empirique, données ou connaissance, aussi appelée expérience des sens, est un terme collectif pour désigner la connaissance ou les sources de la connaissance acquise au moyen des sens, en particulier par l'observation et l'expérimentation. Le terme vient du mot grec ancien pour expérience, ἐμπειρία (empeiría). Après Emmanuel Kant, il est habituel en philosophie d'appeler une connaissance ainsi acquise connaissance a posteriori. Cela en opposition à une connaissance a priori, connaissance accessible à partir de la pensée spéculative seule.
Expression de forme ferméeEn mathématiques, une expression de forme fermée (également appelée expression fermée, expression de forme close, expression close ou expression explicite) est une expression mathématique pouvant s'obtenir par une combinaison de nombres ou de fonctions et d'opérations de référence. On emploie parfois le terme formule à la place du terme expression : formule de forme fermée, formule explicite, formule de forme close, etc. Le plus souvent, cette terminologie s'emploie pour des solutions d'équations ou de systèmes d'équations.
Raisonnement circulaireLe raisonnement circulaire est, dans la philosophie du langage, en rhétorique et en épistémologie, un mode d'argumentation qui pose comme prémisse ce que l’argument veut prouver. C'est un cas particulier de la pétition de principe. Dans une argumentation circulaire, une proposition A utilise pour sa justification une proposition B dans le même temps que la justification de la proposition B nécessite la vérité de la proposition A.
