As duas áreas têm muito mais intersecção do que a gente costuma imaginar. Primeira vez que aprendi sobre estudo de lógica formal foi numa sala de aula do curso de filosofia. E o movimento de código livre é um movimento essencialmente político.

Quanto antes a gente parar de tratar as áreas de conhecimento distintas como estranhos irreconciliáveis e começar a ver como visões complementares, melhor será para todos nós.