Mantık, dil ve hesaplama