973 resultados para default
Resumo:
This perspective is a response to a taxonomic proposal by E. Mayr [“Two empires or three?” (1998) Proc. Natl. Acad. Sci. USA 95, 9720–9723]. Mayr has suggested that the now accepted classification of life into three primary domains, Archaea, Bacteria, and Eucarya—originally proposed by myself and others—be abandoned in favor of the earlier Prokaryote–Eukaryote classification. Although the matter appears a taxonomic quibble, it is not that simple. At issue here are differing views as to the nature of biological classification, which are underlain by differing views as to what biology is and will be—matters of concern to all biologists.
Resumo:
Mode of access: Internet.
Resumo:
"B-204708"--P. [1].
Resumo:
Fil: Varesi, Gastón Angel. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.
Resumo:
Fil: Varesi, Gastón Angel. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.
Resumo:
The purpose of this article is to delimit the role of pragmatic specialization in the evolution of negation in French. The change in the marking of sentential negation is believed to proceed in characterized stages that would together constitute the Jespersen cycle. As a marker becomes the default expression of negation, the other markers do not necessarily fade away, and are maintained with specialized roles that include pragmatic functions. One such pragmatic function is that of activation (Dryer 1996), by which a proposition is presented as accessible to the hearer. Activation is shown to motivate the use of preverbal non that competes with 'ne' for several centuries. The claims that the emergence of postverbal pas in early French and the loss of 'ne' in contemporary spoken French are associated with activation are considered on the basis of novel data. It is concluded that pragmatic functions contribute to language change by providing marked options that may be conferred the default status in a grammatical paradigm.
Resumo:
The "recursive" definition of Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the "recursive" fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning of the fixed-point is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original "recursive" definition of Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults.