human
Veuillez expliquer ce qu'est le "raisonnement formel"
gpt
La raison est la capacité d'appliquer consciemment la logique en tirant des conclusions à partir d'informations nouvelles ou existantes, dans le but de rechercher la vérité. Il est étroitement [comment ?] associé à des activités typiquement humaines telles que la philosophie, la science, le langage, les mathématiques et l'art, et est normalement considéré comme une capacité distinctive possédée par les humains. La raison est parfois appelée rationalité.
Le raisonnement est associé aux actes de pensée et de cognition, et implique l'utilisation de son intellect. Le domaine de la logique étudie les façons dont les humains peuvent utiliser le raisonnement formel pour produire des arguments logiquement valides. Le raisonnement peut être subdivisé en formes de raisonnement logique, telles que : le raisonnement déductif, le raisonnement inductif et le raisonnement abductif. Aristote a établi une distinction entre le raisonnement discursif logique (raison propre) et le raisonnement intuitif, dans lequel le processus de raisonnement par intuition - aussi valable soit-il - peut tendre vers le personnel et le subjectivement opaque. Dans certains contextes sociaux et politiques, les modes de raisonnement logique et intuitif peuvent entrer en conflit, tandis que dans d'autres contextes, l'intuition et la raison formelle sont considérées comme complémentaires plutôt que contradictoires. Par exemple, en mathématiques, l'intuition est souvent nécessaire pour les processus créatifs impliqués dans l'obtention d'une preuve formelle, sans doute la plus difficile des tâches de raisonnement formel.
Le raisonnement, comme l'habitude ou l'intuition, est l'un des moyens par lesquels la pensée passe d'une idée à une idée connexe. Par exemple, le raisonnement est le moyen par lequel les individus rationnels comprennent les informations sensorielles de leur environnement ou conceptualisent des dichotomies abstraites telles que la cause et l'effet, la vérité et le mensonge, ou des idées concernant les notions de bien ou de mal. Le raisonnement, en tant que partie de la prise de décision exécutive, est également étroitement identifié avec la capacité de changer consciemment, en termes d'objectifs, de croyances, d'attitudes, de traditions et d'institutions, et donc avec la capacité de liberté et d'autodétermination.
Contrairement à l'utilisation de «raison» comme nom abstrait, une raison est une considération donnée qui explique ou justifie des événements, des phénomènes ou un comportement. Les raisons justifient les décisions, les raisons soutiennent les explications des phénomènes naturels ; des raisons peuvent être données pour expliquer les actions (conduite) des individus.
Utiliser la raison, ou le raisonnement, peut aussi être décrit plus clairement comme fournir de bonnes, ou les meilleures, raisons. Par exemple, lors de l'évaluation d'une décision morale, « la moralité est, à tout le moins, l'effort pour guider sa conduite par la raison - c'est-à-dire faire ce qu'il y a de meilleures raisons de faire - tout en accordant un poids égal [et impartial] à la intérêts de tous ceux qui sont touchés par ce que l'on fait."
Les psychologues et les scientifiques cognitifs ont tenté d'étudier et d'expliquer comment les gens raisonnent, par ex. quels processus cognitifs et neuronaux sont engagés et comment les facteurs culturels affectent les inférences que les gens tirent. Le domaine du raisonnement automatisé étudie comment le raisonnement peut ou non être modélisé par calcul. La psychologie animale considère la question de savoir si les animaux autres que les humains peuvent raisonner.