3,040 research outputs found
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
"I wish I knew ..." - Misperceived Ability, School Track Counseling Services and Performances in Upper Secondary Education
Previous research shows that, in tracked school systems, enrollment decisions are strongly associated with future outcomes both in education and on the labour market. Yet few studies explicitly investigate whether students (and their parents) have all the relevant information they need to make proper decisions. We address this issue by exploiting the data collected within the Arianna Project, an independent school track counseling service run by the municipality of a large city in Northern Italy (Turin). Virtually all students in the final year of lower secondary education participate into the program and they receive advices based on standardized cognitive and non-cognitive tests. Our dataset is uniquely enriched by information on students' pre-test enrollment intentions, their final track choices and their performances in the upper secondary school. We show that students' enrollment intentions are very often inconsistent with their actual potential as revealed by Arianna. However, students (and their parents) are likely to revise their initial choice when new information on their true abilities is made available to them. Moreover, we find that students who eventually make track choices in line with Arianna's suggestions are less likely to be retained in the first year of the upper secondary education
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
- …