La logique-est-elle une science au service des autres sciences ?

AUTRUI (lat. alter huic, cet autre-ci, présent)

Autrui n'est pas simplement celui qui est autre que moi mais l'autre comme autre moi (alter ego) et corrélatif du moi.

LOGIQUE (gr. technè logikè, art ou science du raisonnement)

Gén. Étude des opérations par lesquelles l'esprit prétend élaborer des raisonnements cohérents (non contradictoires), et détermination des règles de construction auxquelles doivent obéir ces raisonnements pour être valides dans la forme, ou formellement vrais. La logique dite formelle, ou classique, fut d'abord codifiée par Aristote. Son objet est de fixer les conditions de validité formelle d'une démonstration sans se soucier de la vérité matérielle des propositions qui la composent. Log. Science de la validité des inférences, c.-à-d. de toute opération qui consiste à établir une proposition à partir d'une ou de plusieurs propositions antécédentes, en vertu de certaines règles opératoires. La logique moderne est formalisée ou algorithmique; on l'appelle logique symbolique pour la distinguer de la logique classique d'Aristote, dont les raisonnements (syllogismes) s'énoncent encore en grec selon la grammaire ordinaire de cette langue. Les modernes et les contemporains (de Leibniz à Russell) découvrent l'intérêt logique d'une langue artificielle qui permet d'exprimer, sans l'équivocité propre aux langues naturelles, les structures universelles de la pensée.

SCIENCE (lat. scientia, savoir, science)

Gén. Chez les Grecs, epistémè (science) s'oppose d'abord à doxa (opinion) : elle est la connaissance universelle et nécessaire reposant sur des principes théoriques. Elle se distingue en outre de la technè (technique, savoir pratique) : elle est connaissance théorique et désintéressée. Cependant, la séparation desdomaines de la science et de la technique ne se vérifie guère aujourd'hui. En effet, la technique est plutôt, pour nous, application des connaissances scientifiques qui, elles-mêmes, progressent grâce à son développement : ainsi, le microscope électronique a permis, entre autres, un essor considérable de la virologie. Au sens contemporain, science et technique se conjuguent plus qu'elles ne s'opposent. Épist. Connaissance discursive établissant des rapports nécessaires entre les objets d'un langage (sciences formelles, logique), entre les phénomènes physiques (sciences physiques), autorisant dans ce cas la prévision, ou entre les faits humains (sciences humaines).