Discipline umane
Vengono qui considerati i rapporti della logica con la linguistica, la psicologia, la legge e l'educazione.
Linguistica
La rinascita dell'interesse per la semantica tra i linguisti teorici alla fine degli anni '60 ha risvegliato il loro interesse anche per le interrelazioni della logica e della teoria linguistica. È stato inoltre scoperto che alcuni problemi grammaticali sono strettamente correlati ai concetti e alle teorie dei logici. Una quasi identità di linguistica e "logica naturale" è stata rivendicata dal linguista americano George Lakoff. Tra i molti sviluppi contrastanti e controversi in quest'area, si potrebbe forse menzionare in particolare i tentativi di Jerrold J. Katz, un filosofo-filosofo americano, e altri di dare una caratterizzazione linguistica di tali nozioni logiche fondamentali come l'analiticità; lo schizzo di Montague di una "grammatica universale" basata sulla sua logica intenzionale; e il suggerimento (da parte di vari logici e linguisti) che quella che i linguisti chiamano "struttura profonda" deve essere identificata con una forma logica. Di natura molto meno controversa è l'uso esteso e fecondo della teoria delle funzioni ricorsive e delle aree correlate della logica nelle grammatiche formali e nei modelli formali degli utenti del linguaggio.
Psicologia
Sebbene le "leggi del pensiero" studiate nella logica non siano generalizzazioni empiriche di uno psicologo, possono servire come un quadro concettuale per la teorizzazione psicologica. Probabilmente l'esempio recente più noto di tale teoria è il tentativo su larga scala compiuto a metà del XX secolo da Jean Piaget, uno psicologo svizzero, per caratterizzare le fasi di sviluppo del pensiero di un bambino in riferimento alle strutture logiche che può padroneggiare.
Altrove in psicologia, la logica è impiegata principalmente come ingrediente di vari modelli usando idee matematiche o idee tratte da aree come automi o teoria dell'informazione. Gli usi diretti su larga scala sono rari, tuttavia, in parte a causa dei problemi sopra menzionati nella sezione sulla logica e l'informazione.
Legge
Della grande varietà di tipi di argomentazioni utilizzate nella legge, alcuni sono persuasivi piuttosto che strettamente logici, e altri esemplificano procedure diverse nella logica applicata piuttosto che le formule della logica pura. Gli esami di "Lawiers Logike" - come fu chiamato il soggetto nel 1588 - hanno anche scoperto una varietà di argomenti appartenenti ai vari dipartimenti di logica sopra menzionati. Tali indagini non sembrano catturare i tipi più caratteristici di concettualizzazione legale, tuttavia - con una sola eccezione, vale a dire, una teoria sviluppata da Wesley Newcomb Hohfeld, uno studioso legale statunitense della prima guerra mondiale, di quelle che ha chiamato le concezioni legali fondamentali. Sebbene originariamente presentata in termini informali, questa teoria è strettamente correlata alla recente logica deontica (in alcuni casi in combinazione con opportune nozioni causali). Anche alcune delle apparenti difficoltà sono condivise dai due approcci: la nozione di permesso del logico deontico, ad esempio, che è spesso considerata indebitamente debole, è a tutti gli effetti pratici una generalizzazione del concetto di privilegio di Hohfeld.
