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...

I argue against the interpretation of propositions as intentions and proof-objects fulfillments proposed by Heyting defended Tieszen van Atten. The idea is already a frequent target criticisms regarding incompatibility Brouwer’s Husserl’s positions, mainly Rosado Haddock Hill. raise stronger objection in this paper. My claim that even if we grant can be properly dealt with, Atten believes it ca...

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate ne-grained hyperintensional contents. When this is done in a satisfactory way, ...