Aquí están tratados una cantidad de nuevos problemas en la frontera de la lógica y la semántica que no fueron tratados por los pensadores antiguos.