Qu'est-ce que la logique :
Logique C'est une science formelle qui étudie la structure ou les formes de la pensée humaine (telles que les propositions, les concepts et le raisonnement) pour établir des lois et des principes valides afin d'obtenir des critères de vérité.
En tant qu'adjectif, « logique » ou « logique » signifie que quelque chose suit les règles de la logique et de la raison. Il indique également une conséquence naturelle ou normale attendue.
Il est également utilisé pour désigner le soi-disant « bon sens ». ça vient du latin logique, et à son tour du grec λογική (logike, 'raison, « intellectuel », « dialectique », « argumentatif »), qui à son tour dérive du mot λόγος (logo, 'mot', 'pensée', 'raison', 'idée', 'argument').
Logique propositionnelle, mathématique ou symbolique
La logique propositionnelle est la branche de la logique qui étudie les variables propositionnelles, les connecteurs logiques (
). Certains auteurs l'identifient également à la logique mathématique ou à la logique symbolique, car elle utilise une série de symboles spéciaux qui la rapprochent du langage mathématique. Les propositions peuvent être vraies ou fausses.
Logique philosophique
La logique est généralement considérée comme faisant partie de la philosophie, bien que la logique, en tant que telle, soit appliquée dans divers domaines et activités de l'être humain.
La logique philosophique utilise quatre principes fondamentaux qui établissent les processus de pensée corrects. Ces principes sont le principe d'identité, le principe de non-contradiction, le principe du tiers exclu et le principe de raison suffisante.
Logique formelle et logique informelle
La logique formelle est celle dont l'objet d'étude est les inférences techniques à travers l'utilisation de systèmes déductifs et de langages formels et sémantiques. La logique informelle, pour sa part, étudie les systèmes de raisonnement et d'argumentation naturels à travers le langage et la pensée quotidienne.
Logique aristotélicienne
C'est la logique qui se fonde sur les études d'Aristote, un philosophe grec du IVe siècle av. La logique aristotélicienne utilise les soi-disant syllogismes, qui sont une déduction ou une forme de raisonnement dans laquelle des prémisses sont établies à partir desquelles une conclusion est déduite.
Il s'agit donc d'un concept similaire aux arguments valables par déduction. Un exemple classique de logique aristotélicienne est : « Tous les hommes sont mortels. Tous les Grecs sont des hommes. Par conséquent, tous les Grecs sont mortels. Les deux premières phrases seraient les prémisses et la troisième la conclusion.
Logique diffuse
La notion de logique diffuse vient de l'anglais ("logique floue"). C'est un type de logique qui utilise des valeurs aléatoires mais contextualisées et liées les unes aux autres, établissant le relatif de ce qui est observé comme position différentielle. La logique floue est appliquée dans divers domaines tels que l'informatique et l'industrie.
