We review and discuss A. H. Louie’s book “More than Life Itself: A Reflexion on Formal Systems and Biology” from an interdisciplinary viewpoint, involving both biology and mathematics, taking into account new developments and related theories.
La figura del payaso ha pasado por diferentes momentos y lecturas históricas, lo que permite considerarla como una figura arquetípica. Su papel en la sociedad históricamente fue el del ridículo, objeto de risas, pero el payaso no sólo es un ser congruente, auténtico y valiente, sino que también pued..
As Freud convincingly shows, civilised political life is a source of constant uneasiness. Desire propels the subject towards an end that remains unfulfilled and pleasure is reduced to a transition from one moment of displeasure to another. Freud conceives pleasure as suppression of an absence, as the result of a process. Marcuse in his turn showed that excessive pleasure works as a counterbalance for displeasure, the repression of sexual impulse and the hypertrophy of the genitalia producing intense pleasure. A post-Freudian (...) theory of pleasure would complement Marcuse’s materialist critique of psychoanalysis by learning to conceive pure pleasure (with Aristotle’s Nichomachean Ethics) in a non-metaphysical way, segregated from the notion of superfluity. (shrink)
There are important cases where properties not referred to by expressions from the languages of physics are enabled in certain times and circumstances to get causal control over some kinds of physical events. I will argue that in those cases we would have to transfer to those properties the causal sufficiency to bring about these events. This would offer a principle of causal inheritance in sharp contrast with the inheritance principle for the causal sufficiency of second order properties defended by (...) Jaegwon Kim in his recent discussion of the causal exclusion problem concerning mental properties. The two principles would be very different. Their domains of application would be distinct. Kim's principle would transfer causal sufficiency to the more "concrete" physical properties able to realize mental properties understood as second order properties. Our principle would transfer causal sufficiency to the more "general" properties able to cause the relevant physical effects in the times and circumstances in question. That way, it would be possible to give a quite simple answer to the problem of causal exclusion posed by Kim in relation to mental properties. Our approach also would have very important consequences in relation to ordinary macrophysical causation. (shrink)
In contrast with the development of big theories in the context of social sciences, there is nowadays an increasing interest in the construction of simulation models for complex phenomena. Those simulation models suggest a certain image of social sciences as a kind of, let us say, "patchwork". In that image, an increase in understanding about the phenomena modeled is obtained through a certain sort of aggregation. There is not an application of sound, established theories to all the phenomena of a (...) certain kind, but an aggregation of the structures supposed, and of the results obtained, when particular systems are modeled. The recent case of the "El Farol Bar" problem, and the models built in order to face this problem, are a good example of this. We will analyze that case, trying to make clear what would be implied by the image above mentioned. Special attention will be paid to the need to take seriously the notion of a bounded rationality, linked to the special circumstances generating each decision problem, and to the existence of an irreducible pluralism of models. (shrink)
The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)