Pourquoi des logiciens ?

Voici une proposition de dissertation en suivant la méthode donnée :

I) Présentation du paradoxe et définitions :
Pourquoi des logiciens ? Si on suppose qu'effectivement les logiciens sont nécessaires, alors cela implique que leur expertise est cruciale pour la résolution de problèmes complexes liés à la logique et à l'informatique. Au contraire, si on nie cette nécessité, cela signifie que d'autres disciplines pourraient également aborder ces problèmes sans l'intervention spécifique des logiciens.

II) Énonciation des alternatives et problématisation :
Il semble à première vue que oui, les logiciens sont indispensables, puisque leur connaissance approfondie de la logique formelle et des langages de programmation est essentielle pour développer des systèmes informatiques fiables et efficaces. Donc, par définition, il semblerait que les logiciens soient nécessaires (réponse évidente au sujet, doxa).
Cependant, si l'on examine de plus près, on peut soutenir que d'autres disciplines, telles que les mathématiciens ou les ingénieurs en informatique, peuvent également aborder ces problèmes sans la présence spécifique des logiciens. Paradoxalement, l'expérience montre souvent que des solutions novatrices sont trouvées lorsque des experts de différentes disciplines collaborent, remettant ainsi en question l'idée que seuls les logiciens sont indispensables.

III) Problématique :
On pourra alors se demander : est-ce que les logiciens sont réellement indispensables pour résoudre les problèmes liés à la logique et à l'informatique, ou est-ce que d'autres disciplines peuvent également y contribuer de manière significative ?

IV) Annonce du plan :
Dans un premier temps, il s'agira d'examiner en détail les compétences et connaissances spécifiques des logiciens qui les rendent uniques dans la résolution des problèmes logiques et informatiques. Puis, nous verrons que d'autres disciplines, telles que les mathématiciens et les ingénieurs en informatique, possèdent également des compétences pertinentes pour aborder