Propositions sur l’intelligence est un essai portant l’evenement de la pensee comme une convergence plusieurs domaines appartenant au reel, notamment a l’histoire, logique et l’univers materiel-energetique. L’auteur fait valoir ce point en opposition aux discours ambiants techno-animistes neuro-centristes qui reduisent technique particules elementaires. En articulant critique les structures myt...

-

The notion of a proposition plays a central role in the philosophy of mind (through the notion of a propositional attitude) and the philosophy of language (through the theory of speech acts). However, as we have known for a long time, it is subject to paradoxes. A natural response is to stratify propositions into some sort of hierarchy; and, ever since Russell proposed his ‘ramified theory of t...

The presence of aliasing makes modular veri cation of objectoriented code di cult. If multiple clients depend on the properties of an object, one client may break a property that others depend on. We have developed a modular veri cation approach based on the novel abstraction of object propositions, which combine predicates and information about object aliasing. In our methodology, even if shar...