Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...

Kant con sus últimos escritos enriquece su formalismo ético mediante una ética material con la cual aclara que no es suficiente saber cómo obrar sino también qué debemos obrar, hacia dónde deben dirigirse nuestros actos. ...

Considering that editorial mediation plays a constitutive role in the functioning of the discursive regimes of literature, we state a hypothesis: whenever a literary work is (re)published as a new editorial object, the ...

This article aims to discuss the relevance of the questions raised so far by the philosophy of education, and if it reaches its essence. To do this, once the author has defined the core emerging anthropological Philosophy ...