On the Infinite in Mereology with Plural Quantification

In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of object

On Dialetheic Entailment

The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence. This connective does not “fall foul” of Curry’s Paradox by invalidating an inference rule called “Absorption” (or “Contraction”) and the classical logical theorem called “Assertion”. In this paper we show that the semantics of entailment, given by Priest in terms of possible worlds, is inadequate. In particular, we will argue that Priest’s counterexamples to Absorption and Assertion use in the metalanguage a dialetheically unacceptable principle. Furthermore, we show that the rejection of Assertion undermines Priest’s claim that the entailment connective expresses the notion of logical consequence

The Mereological Foundation of Megethology

In Mathematics is megethology (Lewis (1993). Philosophia Mathematica, 1(1), 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification

pH dependence of bovine mast cell tryptase catalytic activity and of its inhibition by 4′,6-diamidino-2-phenylindole

AbstractTryptases are oligomeric enzymes localized in the secretory granules of mast cells. Their role(s) in vivo has yet to be clarified and the lack of powerful and specific inhibitors has hampered the comprehension of the biological functions of these enzymes. In this paper, we identify 4′,6-diamidino-2-phenylindole as a potent inhibitor for bovine tryptase. This inhibitory effect and the enzyme catalyzed hydrolysis of the synthetic substrate Boc-Phe-Ser-Arg-methyl-coumarin were investigated in the pH range of 6.0–9.0. On the basis of the pK shifts occurring upon formation of the inhibitor(substrate)/enzyme complexes, some aminoacidic groups are proposed to play a role in such interactions

Analysis and definition of restoration strategies with H-BIM applications. The case study of Vittorio Giorgini's “Casa Esagono” in Baratti, Italy

This contribution is focused on the “Casa Esagono” realized in 1957 by Vittorio Giorgini in Baratti (LI), Italy. The research objective is to lay the foundations for a restoration plan of this experimental wooden architecture, which is now in precarious conditions due to its location near the sea, and whose constructive features, has always raised great questions about the technical feasibility of a full restoration. The paper describes the workflow for the implementation of the H-BIM model, aimed to organise all the data deriving from the historical and on-site research, and the restoration programme. The historical analysis about the house and the architect was the basis for the geometric survey and the analysis of building materials. All building components were subjected to visual analysis aimed to identify deterioration forms. The proposed conservation approach aims to maintain as much of the original elements as possible, while increasing their durability. H-BIM revealed to be the ideal tool to manage the entire restoration process, whose ultimate goal is to celebrate Giorgini’s work, to exploit the potential of the house as a cultural attraction

Suppression of the thermal hysteresis in magnetocaloric MnAs thin film by highly charged ion bombardment

We present the investigation on the modifications of structural and magnetic properties of MnAs thin film epitaxially grown on GaAs induced by slow highly charged ions bombardment under well-controlled conditions. The ion-induced defects facilitate the nucleation of one phase with respect to the other in the first-order magneto-structural MnAs transition with a consequent suppression of thermal hysteresis without any significant perturbation on the other structural and magnetic properties. In particular, the irradiated film keeps the giant magnetocaloric effect at room temperature opening new perspective on magnetic refrigeration technology for everyday use