Logique comme outil:
* Système formel: La logique est un système formel de raisonnement. Il fournit des règles et méthodes pour tirer des conclusions valides des prémisses données. Ces règles ne sont pas basées sur l'observation ou l'expérimentation empirique, mais sur les principes abstraits de la vérité et de la validité.
* universalité: Les principes de la logique sont universels et s'appliquent dans divers domaines. Il ne reposait pas sur des données ou des sujets spécifiques comme le font les sciences empiriques.
* Fondation d'autres disciplines: La logique sert d'outil fondamental pour de nombreuses autres disciplines, notamment les mathématiques, la philosophie, l'informatique et même certaines sciences sociales. Il nous aide à raisonner clairement et à identifier les erreurs.
Pourquoi pas une "science" au sens traditionnel:
* pas de tests empiriques: Contrairement aux sciences empiriques, la logique n'implique pas de test d'hypothèses par des expériences ou une observation. Sa vérité et sa validité sont établies par la cohérence interne et les preuves formelles.
* pas de "découvertes" au sens traditionnel: La logique ne "découvre" pas de nouveaux faits sur le monde. Il fournit un cadre d'analyse et de raisonnement sur les informations existantes.
Au lieu de cela, la logique est souvent appelée:
* Science formelle: Cela met l'accent sur les systèmes formels et le raisonnement abstrait.
* discipline philosophique: La logique a des racines profondes dans la philosophie, en particulier dans les domaines de l'épistémologie (étude des connaissances) et de la métaphysique (étude de la nature de la réalité).
En conclusion:
Bien que la logique soit un système très structuré et rigoureux, ce n'est pas une science au sens traditionnel. Il est plus précis de le considérer comme un outil ou une discipline fondamentale qui fournit le cadre d'un raisonnement rigoureux dans de nombreux domaines.
