Categories of First-Order Quantifiers

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k \u3e 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility

The genetic susceptibility to type 2 diabetes may be modulated by obesity status: implications for association studies

<p>Abstract</p> <p>Background</p> <p>Considering that a portion of the heterogeneity amongst previous replication studies may be due to a variable proportion of obese subjects in case-control designs, we assessed the association of genetic variants with type 2 diabetes (T2D) in large groups of obese and non-obese subjects.</p> <p>Methods</p> <p>We genotyped <it>RETN</it>, <it>KCNJ11</it>, <it>HNF4A</it>, <it>HNF1A</it>, <it>GCK</it>, <it>SLC30A8</it>, <it>ENPP1</it>, <it>ADIPOQ</it>, <it>PPARG</it>, and <it>TCF7L2 </it>polymorphisms in 1,283 normoglycemic (NG) and 1,581 T2D obese individuals as well as in 3,189 NG and 1,244 T2D non-obese subjects of European descent, allowing us to examine T2D risk over a wide range of BMI.</p> <p>Results</p> <p>Amongst non-obese individuals, we observed significant T2D associations with <it>HNF1A </it>I27L [odds ratio (OR) = 1.14, <it>P </it>= 0.04], <it>GCK </it>-30G>A (OR = 1.23, <it>P </it>= 0.01), <it>SLC30A8 </it>R325W (OR = 0.87, <it>P </it>= 0.04), and <it>TCF7L2 </it>rs7903146 (OR = 1.89, <it>P </it>= 4.5 × 10^-23), and non-significant associations with <it>PPARG </it>Pro12Ala (OR = 0.85, <it>P </it>= 0.14), <it>ADIPOQ </it>-11,377C>G (OR = 1.00, <it>P </it>= 0.97) and <it>ENPP1 </it>K121Q (OR = 0.99, <it>P </it>= 0.94). In obese subjects, associations with T2D were detected with <it>PPARG </it>Pro12Ala (OR = 0.73, <it>P </it>= 0.004), <it>ADIPOQ </it>-11,377C>G (OR = 1.26, <it>P </it>= 0.02), <it>ENPP1 </it>K121Q (OR = 1.30, <it>P </it>= 0.003) and <it>TCF7L2 </it>rs7903146 (OR = 1.30, <it>P </it>= 1.1 × 10^-4), and non-significant associations with <it>HNF1A </it>I27L (OR = 0.96, <it>P </it>= 0.53), <it>GCK </it>-30G>A (OR = 1.15, <it>P </it>= 0.12) and <it>SLC30A8 </it>R325W (OR = 0.95, <it>P </it>= 0.44). However, a genotypic heterogeneity was only found for <it>TCF7L2 </it>rs7903146 (<it>P </it>= 3.2 × 10^-5) and <it>ENPP1 </it>K121Q (<it>P </it>= 0.02). No association with T2D was found for <it>KCNJ11</it>, <it>RETN</it>, and <it>HNF4A </it>polymorphisms in non-obese or in obese individuals.</p> <p>Conclusion</p> <p>Genetic variants modulating insulin action may have an increased effect on T2D susceptibility in the presence of obesity, whereas genetic variants acting on insulin secretion may have a greater impact on T2D susceptibility in non-obese individuals.</p

Taphonomic Criteria for Identifying Iberian Lynx Dens in Quaternary Deposits

For decades, taphonomists have dedicated their efforts to assessing the nature of the massive leporid accumulations recovered at archaeological sites in the northwestern Mediterranean region. Their interest lying in the fact that the European rabbit constituted a critical part of human subsistence during the late Pleistocene and early Holocene. However, rabbits are also a key prey in the food webs of Mediterranean ecosystems and the base of the diet for several specialist predators, including the Iberian lynx (Lynx pardinus). For this reason, the origin of rabbit accumulations in northwestern Mediterranean sites has proved a veritable conundrum. Here, we present the zooarchaeological and taphonomic study of more than 3000 faunal and 140 coprolite remains recovered in layer IIIa of Cova del Gegant (Catalonia, Spain). Our analysis indicates that this layer served primarily as a den for the Iberian lynx. The lynxes modified and accumulated rabbit remains and also died at the site creating an accumulation dominated by the two taxa. However, other agents and processes, including human, intervened in the final configuration of the assemblage. Our study contributes to characterizing the Iberian lynx fossil accumulation differentiating between the faunal assemblages accumulated by lynxes and hominins

Analytical and experimental investigations of an autoparametric beam structure

This paper discusses theoretical and experimental investigations of vibrations of an autoparametric system composed of two beams with rectangular cross sections. Different flexibilities in the two orthogonal directions are the specific features of the structure. Differential equations of motion and associated boundary conditions, up to third-order approximation, are derived by application of the Hamilton principle of least action. Experimental response of the system, tuned for the 1:4 internal resonance condition, are performed for random and harmonic excitations. The most important vibration modes are extracted from a real mechanical system. It is shown that certain modes in the stiff and flexible directions of both beams may interact, and, intuitively unexpected out-of-plane motion may appear. Preliminary numerical calculations, based on the mathematical model, are also presented