Disciplines humaines
Les relations de la logique avec la linguistique, la psychologie, le droit et l'éducation sont ici considérées.
Linguistique
Le regain d'intérêt pour la sémantique chez les linguistes théoriciens à la fin des années 1960 a éveillé leur intérêt pour les interrelations de la logique et de la théorie linguistique. Il a également été découvert que certains problèmes grammaticaux sont étroitement liés aux concepts et théories des logiciens. Une quasi-identité de la linguistique et de la «logique naturelle» a été revendiquée par le linguiste américain George Lakoff. Parmi les nombreux développements contradictoires et controversés dans ce domaine, on peut peut-être mentionner en particulier les tentatives de Jerrold J. Katz, grammairien-philosophe américain, et d'autres pour donner une caractérisation linguistique de notions logiques fondamentales telles que l'analyticité; l'esquisse par Montague d'une «grammaire universelle» basée sur sa logique intensionnelle; et la suggestion (par plusieurs logiciens et linguistes) que ce que les linguistes appellent «structure profonde» doit être identifié avec une forme logique. Une utilisation beaucoup moins controversée est l'utilisation extensive et fructueuse de la théorie de la fonction récursive et des domaines de logique associés dans les grammaires formelles et dans les modèles formels des utilisateurs de langues.
Psychologie
Bien que les «lois de la pensée» étudiées en logique ne soient pas les généralisations empiriques d'un psychologue, elles peuvent servir de cadre conceptuel à la théorisation psychologique. L'exemple récent le plus connu d'une telle théorisation est probablement la tentative à grande échelle faite au milieu du XXe siècle par Jean Piaget, un psychologue suisse, de caractériser les stades de développement de la pensée d'un enfant en se référant aux structures logiques qu'il peut maîtriser.
Ailleurs en psychologie, la logique est principalement utilisée comme ingrédient de divers modèles utilisant des idées mathématiques ou des idées tirées de domaines tels que les automates ou la théorie de l'information. Les utilisations directes à grande échelle sont cependant rares, en partie à cause des problèmes mentionnés ci-dessus dans la section sur la logique et l'information.
Loi
Parmi la grande variété d'arguments utilisés dans la loi, certains sont convaincants plutôt que strictement logiques, et d'autres illustrent différentes procédures en logique appliquée plutôt que les formules de logique pure. Les interrogatoires de «Lawiers Logike» - comme le sujet s’appelait en 1588 - ont également permis de découvrir une variété d’arguments appartenant aux divers départements de la logique mentionnés ci-dessus. De telles enquêtes ne semblent cependant pas saisir les types les plus caractéristiques de conceptualisation juridique, à une exception près, à savoir une théorie développée par Wesley Newcomb Hohfeld, un spécialiste du droit américain d'avant la Première Guerre mondiale, de ce qu'il a appelé les conceptions juridiques fondamentales.. Bien que présentée à l'origine en termes informels, cette théorie est étroitement liée à la logique déontique récente (dans certains cas en combinaison avec des notions causales appropriées). Même certaines des difficultés apparentes sont partagées par les deux approches: la notion de permission du logicien déontique, par exemple, qui est souvent considérée comme indûment faible, est à toutes fins pratiques une généralisation du concept de privilège de Hohfeld.
