Ihmiset tieteet
Tässä tarkastellaan logiikan suhteita kielitieteeseen, psykologiaan, lakiin ja koulutukseen.
Kielitiede
Semantiikan kiinnostuksen herättäminen teoreettisten kielitieteilijöiden keskuudessa 1960-luvun lopulla herätti kiinnostuksen myös logiikan ja kielitieteen suhteisiin. Lisäksi havaittiin, että tietyt kieliopin ongelmat liittyvät läheisesti logiikan käsitteisiin ja teorioihin. Yhdysvaltain kielitieteilijä George Lakoff on vaatinut kielitieteen ja "luonnollisen logiikan" lähes identtistä identiteettiä. Alueen monien ristiriitaisten ja kiistanalaisten tapahtumien joukossa voidaan mainita erityisesti yhdysvaltalaisen kielioppifilosofin Jerrold J. Katzin ja muiden yrittämät antaa kielellinen kuvaus sellaisista loogisista peruskäsitteistä kuin analyyttisyys; Montague'n luonnos hänen universaalisesta logiikastaan perustuvan ”universaalin kieliopin”; ja ehdotus (useiden loogikoiden ja kielitieteilijöiden toimesta), että se, mitä kielitieteilijät kutsuvat syväksi rakenteeksi, on tunnistettava loogisella muodolla. Paljon kiistanalaisempaa on rekursiivisen funktion teorian ja siihen liittyvien logiikan alueiden laaja ja hedelmällinen käyttö muodollisissa kieliopeissa ja kielten käyttäjien muodollisissa malleissa.
Psykologia
Vaikka logiikassa tutkitut ”ajattelutavat” eivät ole psykologin empiirisiä yleistyksiä, ne voivat toimia käsitteellisinä puitteina psykologisen teoretisoinnin kannalta. Todennäköisesti tunnetuin viimeaikainen esimerkki tällaisesta teoretisoinnista on sveitsiläisen psykologin Jean Piagetin 1900-luvun puolivälissä suorittama laajamittainen yritys kuvata lapsen ajatuksen kehitysvaiheita loogisten rakenteiden avulla, jotka hän voi hallita.
Muualla psykologiassa logiikkaa käytetään lähinnä erilaisten mallien ainesosana käyttäen matemaattisia ideoita tai ideoita, jotka on piirretty sellaisilta alueilta kuin automaatit tai informaatioteoria. Laajamittaiset suorat käytöt ovat kuitenkin harvinaisia, osittain logiikkaa ja tietoja koskevassa osassa mainittujen ongelmien takia.
Laki
Lakissa käytetyistä monenlaisista perusteluista jotkut ovat pikemminkin vakuuttavia kuin ehdottoman loogisia ja toiset kuvaavat erilaisia käytäntöjä sovelletussa logiikassa kuin puhtaan logiikan kaavoja. "Lawiers Logike" -tutkimukset - kuten aihetta kutsuttiin vuonna 1588 - ovat myös paljastaneet erilaisia argumentteja, jotka kuuluvat edellä mainittuihin logiikan eri osastoihin. Tällaiset tutkimukset eivät kuitenkaan näytä saavan kaikkein tyypillisimpiä oikeudellisten käsitteiden muotoiluja - ainoana poikkeuksena, nimittäin Yhdysvaltojen ensimmäisen maailmansodan edeltäneen oikeustieteilijän Wesley Newcomb Hohfeldin kehittämä teoria siitä, mitä hän kutsui perustavanlaatuisiksi oikeuskäsitteiksi.. Vaikka tämä teoria esitettiin alun perin epävirallisessa muodossa, se liittyy läheisesti viimeaikaiseen deontiseen logiikkaan (joissakin tapauksissa yhdessä sopivien syy-käsitteiden kanssa). Jopa jotkut näennäisistä vaikeuksista jakavat kaksi lähestymistapaa: esimerkiksi deontisen logiikan käsitys luvasta, jota usein pidetään kohtuuttoman heikkona, on käytännössä yleinen Hohfeldin käsite etuoikeudesta.
