Title: Logica Formale Dedotta Dalla Considerazione Di Modelli Meccanici