We characterize the collapse of Buss' bounded arithmetic in terms of the provable collapse of the polynomial time hierarchy. We include also some general model-theoretical investigations on fragments of bounded arithmetic.

In "My Own Life," Hume writes:1 During my retreat in France, first at Reims, but chiefly at La Fleche, in Anjou, I composed my Treatise of Human Nature. After passing three years very agreeably in that country, I came over to London in 1737. In the end of 1738, I published my Treatise, and immediately went down to my mother and my brother, who lived at his country house, and was employing himself very judiciously and successfully in the improvement of (...) his fortune. It is thus "chiefly" at La Flèche that Hume wrote one of the masterpieces of early modern philosophy. Hume's stay in France extended from July 1734 to August 1737. He spent a few weeks in Paris in the summer of 1734, hosted by Chevalier... (shrink)

Dario Martinelli’s compact and enjoyable treatise on zoömusicology, _Of Birds, Whales and Other Musicians_ introduces musicologists, biologists, social scientists, and philosophers to a new theoretical model for studying how animal behavioral patterns relate to sound communication. Organized by musical trait rather than animal species, and drawing upon the work of such esteemed philosophers as Umberto Eco, Charles Sanders Peirce, and Thomas Sebeok, Martinelli’s analyses redefine the boundaries surrounding music and help readers—scholars and amateurs alike—to appreciate the relationship between animals (...) and musicological exchanges. (shrink)

Despite the burgeoning literature on the governance and impact of cross-sector partnerships in the past two decades, the debate on how and when these collaborative arrangements address globally relevant problems and contribute to systemic change remains open. Building upon the notion of wicked problems and the literature on governing such wicked problems, this paper defines harnessing problems in multi-stakeholder partnerships as the approach of taking into account the nature of the problem and of organizing governance processes accordingly. The paper develops (...) an innovative analytical framework that conceptualizes MSPs in terms of three governance processes harnessing three key dimensions of wicked problems. The Roundtable on Sustainable Palm Oil provides an illustrative case study on how this analytical framework describes and explains organizational change in partnerships from a problem-based perspective. The framework can be used to better understand and predict the complex relationships between MSP governance processes, systemic change and societal problems, but also as a guiding tool in organizing governance processes to continuously re-assess the problems over time and address them accordingly. (shrink)

We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity of the underlying theory, and that a drop in pseudofinite dimension is equivalent to forking. Under a suitable assumption, a measure-theoretic condition is shown to be equivalent to local stability. Many examples are explored, including vector spaces over finite fields viewed as 2-sorted finite structures, and homocyclic groups. Connections are (...) made to products of sets in finite groups, in particular to word maps, and a generalization of Tao's Algebraic Regularity Lemma is noted. (shrink)

We consider the problem of uniqueness of certain simultaneity structures in flat spacetime. Absolute simultaneity is specifiled to be a non-trivial equivalence relation which is invariant under the automorphism group Aut of spacetime. Aut is taken to be the identity-component of either the inhomogeneous Galilei group or the inhomogeneous Lorentz group. Uniqueness of standard simultaneity in the first, and absence of any absolute simultaneity in the second case are demonstrated and related to certain group theoretic properties. Relative simultaneity with respect (...) to an additional structure X on spacetime is specified to be a non-trivial equivalence relation which is invariant under the subgroup in Aut that stabilises X. Uniqueness of standard Einstein simultaneity is proven in the Lorentzian case when X is an inertial frame. We end by discussing the relation to previous work of others. (shrink)

Previous accounts of cognitive skill acquisition have demonstrated how procedural knowledge can be obtained and transformed over time into skilled task performance. This article focuses on a complementary aspect of skill acquisition, namely the integration and reuse of previously known component skills. The article posits that, in addition to mechanisms that proceduralize knowledge into more efficient forms, skill acquisition requires tight integration of newly acquired knowledge and previously learned knowledge. Skill acquisition also benefits from reuse of existing knowledge across disparate (...) task domains, relying on indexicals to reference and share necessary information across knowledge components. To demonstrate these ideas, the article proposes a computational model of skill acquisition from instructions focused on integration and reuse, and applies this model to account for behavior across seven task domains. (shrink)

This paper explores the relationship between business experience in cross-sector partnerships and the co-creation of what we refer to as ‘dynamic capabilities for stakeholder orientation,’ consisting of the four dimensions of sensing, interacting with, learning from and changing based on stakeholders. We argue that the co-creation of dynamic capabilities for stakeholder orientation is crucial for CSPs to create societal impact, as stakeholder-oriented organizations are more suited to deal with “wicked problems,” i.e., problems that are large, messy, and complex. By means (...) of a grounded theory approach of inductive research, we collected and interpreted data on four global agri-food companies which have heterogeneous experience in participating in CSPs. The results of this paper highlight that only companies’ capability of interacting with stakeholders continually increases, while their capabilities of sensing, learning from, and changing based on stakeholders first increase and then decrease as companies gain more experience in CSP participation. To a large extent, this can be attributed to the development of corporate strategies on sustainability after a few years of CSP participation, which entails a shift from a reactive to a proactive attitude towards sustainability issues and which may decrease the need or motivation for stakeholder orientation. These findings open up important issues for discussion and for future research on the impact of CSPs in a context of wicked problems. (shrink)

The article aims at showing how far the technologies of audiovisual registration affect not only the ontology of images but also our sense of realism in politics and history. As argue Jacques Derrida and Bernard Stiegler, historical events have become “tele-events” after the birth of these technologies. Our handling with images has changed accordingly. As argues Pietro Montani, we no longer consider them as “copies” of real objects but rather as “occasions” for initiating processes of “validation” of history. Hannah Arendt’s (...) opposition between the ancient concept of history being based on praxis and the modern concept of history as “fabrication” of the humankind must be therefore reconsidered. History is rather the negotiation between these two attitudes : cinema might be one of the exemplary sources of this negotiation, as epitomized by the documentary work in the audiovisual archives conducted by Esfir Shub and Harun Farocki. Representation becomes thus a dynamical power of imagination dealing with historical and political reality; consequently, the “ideal spectator”, just as the “ideal reader” for novels, is charged with a new task of actualizing the sense of images with regard to their historical and political references. (shrink)

This study investigated sex differences in interest in infants among children, adolescents, young adults, and older individuals. Interest in infants was assessed with responses to images depicting animal and human infants versus adults, and with verbal responses to questionnaires. Clear sex differences, irrespective of age, emerged in all visual and verbal tests, with females being more interested in infants than males. Male interest in infants remained fairly stable across the four age groups, whereas female interest in infants was highest in (...) childhood and adolescence and declined thereafter, particularly for the responses to visual stimuli. The observed developmental changes in female interest in infants are consistent with the hypothesis that they represent a biological adaptation for parenting. (shrink)

On his way to General Relativity (GR) Einstein gave several arguments as to why a special relativistic theory of gravity based on a massless scalar field could be ruled out merely on grounds of theoretical considerations. We re-investigate his two main arguments, which relate to energy conservation and some form of the principle of the universality of free fall. We find that such a theory-based a priori abandonment not to be justified. Rather, the theory seems formally perfectly viable, though in (...) clear contradiction with (later) experiments. (shrink)

“HTA is a multidisciplinary process that summarizes information about the medical, social, economic and ethical issues related to the use of a health technology in a systematic, transparent, unbiased, robust manner. Its aim is to inform the formulation of safe, effective, health policies that are patient focused, and seek to achieve best value” (EUnetHTA 2007). Even though the assessment of ethical aspects of a health technology is listed as one of the objectives of a HTA process, in practice, the integration (...) of these dimensions into reports remains limited. The article is focused on four points: 1. the HTA concept; 2. the difficult HTA-ethics relationship; 3. the ethical issues in HTA; 4. the methods for integrating ethical analysis into HTA. (shrink)

We show that every model of IΔ0 has an end extension to a model of a theory where log-space computable function are formalizable. We also show the existence of an isomorphism between models of IΔ0 and models of linear arithmetic LA.

Preface: The Review of Philosophy and Psychology Content Type Journal Article Pages 1-3 DOI 10.1007/s13164-010-0024-1 Authors Dario Taraborelli, University of Surrey Centre for Research in Social Simulation Guilford GU2 7XH United Kingdom Roberto Casati, Institut Jean Nicod, Ecole Normale Supérieure 29 rue d’Ulm 75005 Paris France Paul Egré, Institut Jean Nicod, Ecole Normale Supérieure 29 rue d’Ulm 75005 Paris France Christophe Heintz, Central European University Budapest Hungary Journal Review of Philosophy and Psychology Online ISSN 1878-5166 Print ISSN 1878-5158 Journal (...) Volume Volume 1 Journal Issue Volume 1, Number 1. (shrink)

Besides its use in basic research, the DNA:RNA hybridization technique has helped the development of genetic engineering: it is instrumental in the isolation of specific genes that can be inserted into foreign cells, thus modifying their genetic information. Plants, animals, and microorganisms can now be altered to yield improved crops, pest-resistant plants, and a cheaper source of important proteins or drugs. The social relevance of genetic engineering received official sanction in 1980 when the U.S. Supreme Court ruled that genetically modified (...) organisms can be patented. In this article I have tried to describe the discovery of the DNA:RNA hybridization technique as the successful outcome of years of intelligent and patient research in many laboratories, of inductive and deductive processes in the minds of many biologists. The synthesis that led to the final result and to the early development of the technique was made possible by the coming together of two brilliant scientists, Sol Spiegelman and Benjamin Hall. (shrink)

Male and female participants were instructed to produce an altered response pattern on an Implicit Association Test measure of gender identity by slowing performance in trials requiring the same response to stimuli designating own gender and self. Participants’ faking success was found to be predictable by a measure of slowing relative to unfaked performances. This combined task slowing (CTS) indicator was then applied in reanalyses of three experiments from other laboratories, two involving instructed faking and one involving possibly motivated faking. (...) Across all studies involving instructed faking, CTS correctly classified 75% of intentionally faking participants. Using the CTS index to adjust faked Implicit Association Test scores increased the correlation of CTS-adjusted measures with known group membership, relative to unadjusted (i.e., faked) measures. (shrink)

This article is a discussion of the critical remarks raised by Kristian Bankov in a notion called Bankov’s razor, about some foundational elements of the biosemiotic paradigm. The elaborated form of the “razor” includes three main questions on biosemiotic ideas, namely: 1) the philosophical grounds of the biosemiotic discourse, 2) the scientific output of biosemiotics, and 3) the ethical consequences of some biosemiotic presumptions (this latter, given its scopes and extension, is left for a future occasion). Such questions are commented (...) and challenged by Dario Martinelli, from a point of view that is primarily that of the zoosemiotician, therefore an insider of biosemiotics. In order to set the readers’ expectations in the right direction, it shall perhaps be fair to inform them that the style of the article is rather sui generis, and can hardly be classified within the genre of academic essays. Tones and terminology are more reminiscent of a philosophical pamphlet written in dialogical form. Hopefully, this choice will not compromise the scientific content of the article. (shrink)

Let be a saturated model of inaccessible cardinality, and let be arbitrary. Let denote the expansion of with a new predicate for. Write for the collection of subsets such that ≡. We prove that if the VC-dimension of is finite then is externally definable.

Log-facies classification at the well location allows determination of the number of facies, the facies definition, and the correlation between facies and rock properties along the well profile. In unconventional reservoirs, because of the necessity for hydraulic fracturing in shale gas and shale oil reservoirs, facies classification should account for petroelastic and geomechanical properties. We developed a facies classification methodology based on the expectation-maximization algorithm, a statistical method that allows finding the most likely facies classification and the associated probability distribution, (...) given the set of geophysical measurements in the borehole. We applied the proposed workflow to a complete set of well logs from the Marcellus shale and developed the corresponding facies classification from log properties measured and computed in three different domains: petrophysics, rock physics, and geomechanics. In thne preliminary well-log and rock-physics analysis, we identify three main lithofacies: limestone, shale, and sandstone. The application of the classification method provided the vertical sequence of the three lithofacies and their pointwise probability of occurrence. A sensitivity analysis was finally evaluated to investigate the impact of the number of input variables on the classification and the effects of cementation and kerogen. (shrink)

In this essay, Domenico Jervolino summarizes twenty years of Ricoeur’s reading of Patočka’s work, up to the Neapolitan conference of 1997. Nowhere is Ricoeur closer to Patočka’s a-subjective phenomenology. Both thinkers belong, together with authors like Merleau-Ponty and Levinas, to a third phase of the phenomenological movement, marked by the search for a new approach to the relation between human beings and world, beyond Husserl and Heidegger. In the search for this approach, Patočka strongly underlines the relation between body, (...) temporality and sociality. Central to this new encounter of Patočka and Ricoeur is the discovery of an idea of inter-human community based on a a-subjective conception of existence. (shrink)

This article represents the conclusion of a wide-ranging European project concerning the lexical structure of emotion in the neo-Latin languages: Italian, French, Spanish, Catalan, Portuguese and Romanian. Intended to bring to light common features in these languages, as well as any peculiarities, the research project selected representative samples of emotional terms from the dictionaries of the six languages studied and analysed the similarity between these words using Scaling procedures. The graphic outputs of the Scaling procedures appear to organize the neo-Latin (...) emotion lexicons in respect of three major dimensions that are similar to those already found in other languages: `hedonic value', `potency' and `physiological activation'. Interesting peculiarities emerged in relation to the salience of the dimensions, mainly for Romanian and Portuguese. Ce travail représente la conclusion d'un ample projet européen concernant la structure du lexique émotionnel des langues néo-latines: italien, français, espagnol, catalan, portugais et roumain. Le but du projet de recherche était de mettre en évidence les caractéristiques communes à ces langues, ainsi que leurs particularités, et des échantillons représentatifs de termes émotionnels ont été sélectionnés dans des dictionnaires des six langues étudiées. La similarité parmi ces mots a été analysée à travers des procédures de Scaling. Les solutions graphiques des procédures de Scaling semblent organiser le lexique émotionnel néo-latin autour de trois dimensions majeures qui sont semblables à celles déjà trouvées pour d'autres langues: `valence hédonique', `puissance' et `activation physiologique'. Quelques particularités intéressantes ont été observées en ce qui concerne la prépondérance des dimensions, en particulier pour le roumain et le portugais. (shrink)

In Mossio & Taraborelli (2008) we challenged the assumption according to which the ecological and sensorimotor approaches are mere conceptual variations on the same enactive theme. We showed, on the contrary, that they endorse substantially different notions of an 'action-dependent perceptual invariant' and we submitted that this distinction has interesting theoretical and empirical implications. This dissimilarity between ecological and sensorimotor theories stems, in our view, from a more fundamental divergence on the nature of perceptual information. Since Gibson's work, the ecological (...) approach has adopted a fundamentally realist stance, according to which this information is 'picked up', 'revealed', 'encountered' and 'exploited' by the organism (as a range of affordances) but not 'constituted' by the activity of the organism. In contrast, sensorimotor approaches take an explicit interactivist position, which sees the perceiver's motor activity as a determinant of perceptual information itself. Pascal & O'Regan (2008) suggest that our analysis of the relationship between ecological, sensorimotor and enactive theories would benefit from a further distinction. The original enactive approach (Varela et al. 1991; Maturana, 2002; Thompson, 2007), they argue, should not be lumped together with contemporary sensorimotor approaches to perception: whereas sensorimotor theories endorse an externalist view of perception, according to which 'perception can only be understood as a form of interaction of the organism with the environment', the original enactive approach by Varela and collaborators would have strong 'idealist underpinnings'. (shrink)

The energy-momentum tensor for a particular matter component summarises its local energy-momentum distribution in terms of densities and current densities. We re-investigate under what conditions these local distributions can be integrated to meaningful global quantities. This leads us directly to a classic theorem by Max von Laue concerning integrals of components of the energy-momentum tensor, whose statement and proof we recall. In the first half of this paper we do this within the realm of Special Relativity and in the traditional (...) mathematical language using components with respect to affine charts, thereby focusing on the intended physical content and interpretation. In the second half we show how to do all this in a proper differential-geometric fashion and on arbitrary space-time manifolds, this time focusing on the group-theoretic and geometric hypotheses underlying these results. Based on this we give a proper geometric statement and proof of Laue's theorem, which is shown to generalise from Minkowski space to space-times with significantly less symmetries. This result, which seems to be new, not only generalises but also clarifies the geometric content and hypotheses of Laue's theorem. A series of three appendices lists our conventions and notation and summarises some of the conceptual and mathematical background needed in the main text. (shrink)

The article sketches an introductory outline of zoomusicology as a discipline closely related to zoosemiotics, focusing on the existing results and formulating few further problems. The analysis addresses the limitations and potentials of zoomusicological research, problematic topics, a basic framework of possible methodologies, and an attempt to situate the discipline in relation to other fields, ethnomusicology in particular.

An effective formalism is developed to handle decaying two-state systems. Herewith, observables of such systems can be described by a single operator in the Heisenberg picture. This allows for using the usual framework in quantum information theory and, hence, to enlighten the quantum features of such systems compared to non-decaying systems. We apply it to systems in high energy physics, i.e. to oscillating meson–antimeson systems. In particular, we discuss the entropic Heisenberg uncertainty relation for observables measured at different times at (...) accelerator facilities including the effect of $\mathcal{CP}$ violation, i.e. the imbalance of matter and antimatter. An operator-form of Bell inequalities for systems in high energy physics is presented, i.e. a Bell-witness operator, which allows for simple analysis of unstable systems. (shrink)

Starting from the works by Aselli on the milky veins and Harvey on the motion of the heart and the circulation of the blood, the practice of vivisection witnessed a resurgence in the early modern period. I discuss some of the most notable cases in the century spanning from Aselli’s work to the investigations of fluid pressure in plants and animals by Stephen Hales. Key figures in my study include Johannes Walaeus, Jean Pecquet, Marcello Malpighi, Reinier de Graaf, Richard Lower, (...) Anton Nuck, and Anton de Heide. Although vivisection dates from antiquity, early modern experimenters expanded the range of practices and epistemic motivations associated with it, displaying considerable technical skills and methodological awareness about the problems associated with the animals being alive and the issue of generalizing results to humans. Many practitioners expressed great discomfort at the suffering of the animals; however, many remained convinced that their investigations were not only indispensable from an epistemic standpoint but also had potential medical applications. Early modern vivisection experiments were both extensive and sophisticated and cannot be ignored in the literature of early modern experimentation or of experimentation on living organisms across time. (shrink)

Allen Newell (1973) once observed that psychology researchers were playing “twenty questions with nature,” carving up human cognition into hundreds of individual phenomena but shying away from the difficult task of integrating these phenomena with unifying theories. We argue that research on cognitive control has followed a similar path, and that the best approach toward unifying theories of cognitive control is that proposed by Newell, namely developing theories in computational cognitive architectures. Threaded cognition, a recent theory developed within the ACT-R (...) cognitive architecture, offers promise as a unifying theory of cognitive control that addresses multitasking phenomena for both laboratory and applied task domains. (shrink)

"Symmetry" was one of the most important methodological themes in 20th-century physics and is probably going to play no lesser role in physics of the 21st century. As used today, there are a variety of interpretations of this term, which differ in meaning as well as their mathematical consequences. Symmetries of crystals, for example, generally express a different kind of invariance than gauge symmetries, though in specific situations the distinctions may become quite subtle. I will review some of the various (...) notions of "symmetry" and highlight some of their uses in specific examples taken from Pauli's scientific oevre. This paper is based on a talk given at the conference "Wolfgang Pauli's Philosophical Ideas and Contemporary Science", May 20.-25. 2007, at Monte Verita, Ascona, Switzerland. (shrink)

We prove that there are uncountably many sets that are low for the class of Schnorr random reals. We give a purely recursion theoretic characterization of these sets and show that they all have Turing degree incomparable to 0'. This contrasts with a result of Kučera and Terwijn [5] on sets that are low for the class of Martin-Löf random reals.

This contribution deals with the issue of the professional autonomy ofthe medical doctor. Worldwide, the physician's autonomy is guaranteedand limited, first of all, by Codes of Medical Ethics. InItaly, the latest version of the national Code of MedicalEthics (Code 1998) was published in 1998 by the Federation ofprovincial Medical Associations (FnomCeO). The Code 1998acknowledges the physician's autonomy regarding the scheduling, thechoice and application of diagnostic and therapeutic means, within theprinciples of professional responsibility. This responsibility has tomake reference to the following (...) fundamental ethical principles:(1) the protection of human life; (2) the protection of thephysical and psychological health of the human being; (3) therelief from pain; (4) the respect for the freedom and the dignityof the human person, without discrimination; (5) an up-to-datescientific qualification (Art. 5). The authors underline that autonomyis an anthropological – and consequently ethical –characteristic of the human person. Different positions on autonomy inbioethics (individualistic, evolutionistic, utilitarian andpersonalistic models) are explained. The relation between theprofessional autonomy of the physician and the autonomy of the patientand of colleagues is discussed. In fact, the medical doctor isobliged: (1) to respect the fundamental rights of the person,first of all his/her life; (2) to ensure the continuity of thecare, even if he can only relieve the patient's suffering; (3) tomaintain, except under certain circumstances, professional secrecy andconfidentiality regarding patients and their medical records. Moreover,the physician cannot deny the patient correct and appropriateinformation. He/she should not perform any diagnostic or therapeuticactivity without the informed consent of the patient and the medicaldoctor must give up medical treatment in case of documented refusal ofthe individual. Furthermore, the medical doctor has the right to raiseconscientious objections if he/she is requested to perform medicalactions that are contrary to his/her conscience or medical opinion,unless this attitude would seriously and immediately harm the patient.Regarding the relationships with colleagues, the physician is obliged tosolidarity, mutual respect, and care of sick colleagues. Finally, theauthors discuss the Italian legislation affecting the physician'sprofessional autonomy: (1) the SSN health care Acts; (2) theso-called Charter for Public Health Care Services; (3) the Acts onprivacy; (4) Good Clinical Practice. (shrink)