This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states. This conditioning uses a key aspect that distinguishes our probabilistic type theory from quantum type theory, namely the bijective correspondence between predicates and side-effect free actions (called instrumen...

The concept of conditioning as signalization proposed by Ivan P. Pavlov (1927, 1928) is studied in relation to the theory of stimulus-substitution, which is also attributed to him. In the so-called theory of stimulus-substitution a distinction must be made between an empirical principle of substitution and an actual theory of substitution, which can adopt different forms. The Pavlovian theory o...

ed by Nicole Skinner, INTERNATIONAL MICROBIOLOGY, from a lecture given by the author at the Institute for Catalan Studies, Barcelona, on January 25, 2006. Fig. 1. Current

Non-invasive brain stimulation modulates cortical excitability depending on the initial activation state of the structure being stimulated. Combination of cognitive with neurophysiological stimulations has been successfully employed to modulate responses of specific brain regions. The present research combined a neurophysiological pre-conditioning with a cognitive conditioning stimulation to mo...