BackgroundWe describe our experience from a multi-national application of a European Union-funded research-driven paediatric trial (DEEP-2, EudraCT 2012-000353-31; NCT01825512). This paper aims to evaluate the impact of the local and national rules on the trial authorisation process in European and non-European countries. National/local provisions and procedures, number of Ethics Committees and Competent Authorities to be addressed, documentation required, special provisions for the paediatric population, timelines for completing the authorisation process and queries received were collected; compliance with the European provisions were (...) evaluated. Descriptive analysis, Wilcoxon Rank-Sum test and General Linear Model analysis were used to determine factors potentially influencing the timelines. The Cluster Analysis procedure was used to identify homogenous groups of cases.ResultThe authorisation process was completed in 7.7 to 53.8 months in European countries and in 17.1 to 27.1 months in non-European countries. The main factors influencing these timelines were the requests for changes/clarifications in European countries and the different national legislations in non-European countries.ConclusionThis work confirms that the procedures and requirements for the clinical trial application of a paediatric trial are different. In the European Union, the timeframes for submission were generally harmonised but longer. In non-European countries, delays were caused by national dispositions but the entire authorisation process resulted faster with less requests from ECs/cas. The upcoming application of Regulation (EU) 536/2014 is expected to harmonise practices in Europe and possibly outside. Networks on paediatric research acting at international level will be crucial in this effort. (shrink)

Recent evidence in natural and semi-natural settings has revealed a variety of left-right perceptual asymmetries among vertebrates. These include preferential use of the left or right visual hemifield during activities such as searching for food, agonistic responses, or escape from predators in animals as different as fish, amphibians, reptiles, birds, and mammals. There are obvious disadvantages in showing such directional asymmetries because relevant stimuli may be located to the animal's left or right at random; there is no a priori association (...) between the meaning of a stimulus (e.g., its being a predator or a food item) and its being located to the animal's left or right. Moreover, other organisms (e.g., predators) could exploit the predictability of behavior that arises from population-level lateral biases. It might be argued that lateralization of function enhances cognitive capacity and efficiency of the brain, thus counteracting the ecological disadvantages of lateral biases in behavior. However, such an increase in brain efficiency could be obtained by each individual being lateralized without any need to align the direction of the asymmetry in the majority of the individuals of the population. Here we argue that the alignment of the direction of behavioral asymmetries at the population level arises as an “evolutionarily stable strategy” under “social” pressures occurring when individually asymmetrical organisms must coordinate their behavior with the behavior of other asymmetrical organisms of the same or different species. Key Words: asymmetry; brain evolution; brain lateralization; development; hemispheric specialization; laterality; lateralization of behavior; social behavior; theory of games. (shrink)

We present recent results on the model companions of set theory, placing them in the context of a current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signature in which we axiomatize set theory varies) theories of $H_{\kappa ^+}$, as $\kappa (...) $ ranges among the infinite cardinals. We also single out $2^{\aleph _0}=\aleph _2$ as the unique solution of the continuum problem which can (and does) belong to some model companion of set theory (enriched with large cardinal axioms). While doing so we bring to light that set theory enriched by large cardinal axioms in the range of supercompactness has as its model companion (with respect to its first order axiomatization in certain natural signatures) the theory of $H_{\aleph _2}$ as given by a strong form of Woodin’s axiom $(*)$ (which holds assuming $\mathsf {MM}^{++}$ ). Finally this model-theoretic approach to set-theoretic validities is explained and justified in terms of a form of maximality inspired by Hilbert’s axiom of completeness. (shrink)

I shall commence with an eminently subjective statement: reading this book was a pleasant experience. Let me explain why, then, hence providing a somewhat more objective set of reasons for the posi...

We analyse Kit Fine’s proposal of a procedural Postulationism for mathematics. From a linguistic perspective, we argue that Postulationism is better understood in terms of declarative speech acts. Based on this observation, we argue in favor of a form of Declarationism able to account for both the objectivity of mathematics and its creative dimension.

This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin’s generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a $$\Pi _2$$ -property formalized in an appropriate language for second order number theory is forcible (...) from some $$T\supseteq \mathsf {ZFC}+$$ large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of $$H_{\omega _1}$$ is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for $$\Delta _0$$ -properties and for all universally Baire sets of reals. We will extend these results also to the theory of $$H_{\aleph _2}$$ in a follow up of this paper. (shrink)

In this article we analyze the method of forcing from a more philosophical perspective. After a brief presentation of this technique we outline some of its philosophical imports in connection with realism. We shall discuss some philosophical reactions to the invention of forcing, concentrating on Mostowski’s proposal of sharpening the notion of generic set. Then we will provide an overview of the notions of multiverse and the related philosophical debate on the foundations of set theory. In conclusion, we connect this (...) modern debate and Mostowski’s proposal, suggesting a way to analyze the notion of genericity within the framework of a multiverse structure. (shrink)

In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.

We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.

I analyze the relations of constituency or ``being in'' that connect different ontological items in the Tractatus logico-philosophicus by Wittgenstein. A state of affairs is constituted by atoms, atoms are in a state of affairs. Atoms are also in an atomic fact. Moreover, the world is the totality of facts, thus it is in some sense made of facts. Many other kinds of Tractarian notions -- such as molecular facts, logical space, reality -- seem to be involved in constituency relations. (...) How should these relations be conceived? And how is it possible to formalize them in a convincing way? I draw a comparison between two ways of conceiving and formalizing these relations: through sets and through mereological sums. The comparison shows that the conceptual machinery of set theory is apter to conceive and formalize Tractarian constituency notions than the mereological one. (shrink)

The COVID-19 pandemic has raised questions about the just allocation of limited medical resources. In this essay, I consider four pressing moral questions raised by the scarcity of mechanical ventilators, using the guiding principle that the primary criterion should be the conviction that each and every human being has equal moral status because each has an intrinsic dignity that makes him or her inestimable and inviolable. I propose that any legitimate criteria for ventilator allocation cannot discriminate among patient populations on (...) the basis of any judgments that are not medically relevant. Instead, ventilators should be distributed solely on the basis of the likelihood that they will benefit patients and enable them to heal. (shrink)

Innateness of core knowledge mechanisms (in the form of “cognitive priors”) can be revealed by proper comparisons of altricial and precocial species. Cognitive priors and sensitive periods in their expression may also provide clues for the development of plausible artificial intelligence systems.

The Tractatus rejects the sign of assertion as "logically meaningless", but the rejection of the sign did not lead Wittgenstein to reject the corresponding notion. I show the presence and the importance in the early Wittgenstein of a notion keenly similar to Fregean and Russellian logical assertion. I propose to call this notion "affirmation." The preparatory writings and the TLP present different theories about affirmation. The correct understanding of the nature and purpose of affirmation proves critical in order to confront (...) another issue about the Tractatus: the only partial similarity between the theory of pictures and the theory of propositions. (shrink)

We discuss a previously unnoticed resemblance between the theory of relations and predicates in The Philosophy of Logical Atomism [TPLA] by Russell and the theory of objects and names in the Tractatus Logico-Philosophicus [TLP] by Wittgenstein. Points of likeness are detected on three levels: ontology, syntax, and semantics. This analogy explains the prima facie similarities between the informal presentation of the theory of types in TPLA and the sections of the TLP devoted to this same topic. Eventually, we draw some (...) consequences concerning both sides of the analogy: for what concerns Russell, the contextual pertinence of this surprising fragment of Tractarian metaphysics and semantics is questioned on several grounds; about Wittgenstein, the interpreters who do not identify Tractarian objects with particulars are in a better position to make sense of the analogy here discovered. (shrink)

It is prima facie uncontroversial that the justification of an assertion amounts to a collection of other (inferentially related) assertions. In this paper, we point at a class of assertions, i.e. mathematical assertions, that appear to systematically flout this principle. To justify a mathematical assertion (e.g. a theorem) is to provide a proof—and proofs are sequences of directives. The claim is backed up by linguistic data on the use of imperatives in proofs, and by a pragmatic analysis of theorems and (...) their proofs. Proofs, we argue, are sequences of instructions whose performance inevitably gets one to truth. It follows that a felicitous theorem, i.e. a theorem that has been correctly proven, is a persuasive theorem. When it comes to mathematical assertions, there is no sharp distinction between illocutionary and perlocutionary success. (shrink)

The three-yearly conference of Italian Society for Logic and Philosophy of Science (SILFS) has taken place in Bergamo, the 15th, 16th and 17th December 2010. The charming venue has been the former convent of Sant’Agostino, nowadays University of Bergamo. The conference program has been structured distinguishing plenary and parallel sessions: the first ones were 40 minutes long and designed for international guests: S. Abramsky from the Wolfson College of Oxford, A. Hagar from Indiana University, P. Janich from Philipps Universitaet of (...) Marburg and S. Okasha from University of Bristol. The complete program of the conference can be downloaded here: . We followed all the plenary sessions, and the first part of our report concerns them. There is just the exception of professor S. Psillos’ talk, which was indeed programmed, but didn’t take place due to greek unrest of the last December. The second part of our report concers the parallel sessions, that were 20 minutes long and designed for concurrent talks split between subject areas. We will keep this division into areas in our report and we chose four talks per area. However, it must be said that we had not watch the parallel sessions completely, since their being simoultaneous. This means that our review of the conference will be perspective, both because of subjective standpoint and because of the mentioned limitation. Still we hope we can offer a quite complete picture of the three-days conference, as we hope this overview may be considered as a general review of it. Just a few words must be still said to introduce to our review. The structure of each review will consists in a presentation of the talk’s author(s) (which we faithfully copy hereinafter) followed by a brief remark by us. Since many compliments could be surely done to the SILFS’ organization and to the University of Bergamo, an overall effect seems hard to be drawn, because of some arising perplexities. Although these are just our shared impressions about the conference, we think they must be remembered. One could note outward that the conference have had three official languages: English, French and Italian. Apparently, this is something that has not been justified since French has been useless and Italian has often prevented the comprehension by foreigner attendance. Many defections have taken place, something that could be said about the conformity with the program (in spite of the high number of speeches). Of course these defections have been caused by different reasons, but they become an indication of lack of professionalism as the number grows. Coming to an estimation of the inner issues, first we are seriously puzzled about the selection criterion (if any) which the SILFS has chosen the invited speakers with. One can notice that excellent talks have been put together to shallow speech without substantial scientific commitment. One has to keep in mind that who is just worthless, much lowers the general level. The topics have been various, although many were historical reconstruction and the "historiographic" approach in the study of Philosophy of Science seems therefore prevailing. Those talks whose subject was Logic and its applications, have been the highest-quality ones, by the fact that they were close to contemporary researches. More specifically, we would like to quote those concerning Quantum Computation and Logic of Quantum Mechanics. Talks of Philosophy of Biology and Cognitive Science were first-rate works, too, having showed high proficiency, though even specialistic topics were often technically handled, to the detriment of laymen (as us). (shrink)

The technology of conservation needs the best possible knowledge of the artifact and its changes in time. Scientists lack the deep sensorial knowledge of the object that the restorer, on the contrary, possesses.

The stratification in depth of chromatically homogeneous overlapping figures depends on a minimization rule which assigns the status of being “in front” to the figure that requires the formation of shorter modal contours. This rule has been proven valid also in birds, whose visual neuroanatomy is radically different from that of other mammals, thus suggesting an example of evolutionary convergence toward a perceptual universal. [Shepard].

It is argued that the alleged cases of cognitive penetration of visual modules actually arise from the integration of information among different modules. This would reflect a general computational strategy according to which constraints to a particular module would be provided by information coming from different modules. Examples are provided from the integration of stereopsis and occlusion and from computation of motion direction.

The Origins of Consciousness challenges the dominant view that consciousness is an emergent property of the complex human brain. Based on his pioneering research on a variety of organisms, Vallortigara argues that the most basic forms of mental life do not require large brains, and that the neurological surplus observed in some animals such as humans is likely at the service of memory storage, not of the processes of thought or, even less, of consciousness. The book argues for a simple (...) neural mechanism that can provide the crucial event that brings into effect the minimum condition for subjective experience. Implications of the hypothesis for the appearance of consciousness in different organisms are discussed, as well as links with a variety of fascinating human phenomena such as disorders of consciousness, tickling, and visual illusions. Challenging widely accepted theories of consciousness, the book is a must-read for students and researchers of human and animal consciousness. (shrink)