402 research outputs found
Interpretability in Terms of Models1)1)This paper, which reports a talk given before the Euratom workgroup in Amsterdam in the fall of 1962, was prepared partly at the University of Amsterdam under Euratom Contract No. 010–60–12 and partly under United States National Science Foundation Grant No. NSF–GP 1603 (Montague). I am grateful also to Dr. K. L. de Bouvere and Professors Andrzej Ehrenfeucht, Solomon Feferman, and Alfred Tarski for helpful discussion; Professor Tarski made suggestions leading to the improvement of several formulations.
The Case of the Missing Footnote: Can Creditors Recover Fraudulent Transfers from ERISA-Qualified Pension Plans
Diamonds are Forever
We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time
Invertebrate Biomass and Richness in Various Food Plot Types in East Texas
As northern bobwhite (Colinus virginianus) chicks are dependent on invertebrates for food, land managers often use spring/summer food plots to meet these needs. We examined invertebrate production in native vegetation and 6 different food plot types (i.e., fallow disking only; fallow disking and fertilizing; or disking, fertilizing, and planting a single species [browntop millet, iron and clay peas, or sorghum] or a multi-species mix [browntop millet, catjang peas, iron and clay peas, Japanese millet, and pearl millet]) in the Pineywoods of east Texas. Invertebrates were collected weekly during the summers of 1997 and 1999 and for 5 weekly sampling periods during summer, 1998. For each food plot type, invertebrates were separated from debris, air dried, and weighed as a group. Bi-weekly, a 100-invertebrate sub-sample was randomly selected from each sample and sorted to order with weight and number of individuals recorded. When spring precipitation was sufficient, multi-species food plots produced greater (P \u3c 0.05) invertebrate biomass than fallow or native vegetation plots, and all cultivated plots had more (P \u3c 0.05) biomass than native vegetation. Likewise, all cultivated plots had more (P \u3c 0.05) biomass than fallow plots in early summer but not in mid- and late summer. A combination of multi-species (with legumes) food plots and fallow disking should provide bobwhite chicks with invertebrates throughout most summers
Opsin repertoire and expression patterns in horseshoe crabs: Evidence from the genome of limulus polyphemus (arthropoda: Chelicerata).
- …