PHIL360

This course explores the possibility of translating a natural language such as English into an artificial language. After accepting some compromises, we shall study ways of "proving" important logical properties such as: consistency, validity, equivalence and relational properties.