39 resultados para Extendable Language of Applied Logic
Resumo:
The development of astrophysics in the nineteenth century drew mankind closer to the planets. For the first time, it was possible to give serious scientific consideration to the possibilities for life on other planets. The greatest leap, however, was in recognizing what was not known, and acknowledging the limits of human intuition. ‘Ideas,’ wrote Agnes M. Clerke, ‘have all at once become plastic’. As the scientific community tested the limits of scientific understanding, it became the role of science-fiction writers to imagine the universe beyond these limits. This paper will examine the ways in which nineteenth-century science fiction used the inheritance of the poetic language of Romanticism to reinstate the centrality of human being in the universe. I will explore the ways in which writers such as Edward Bulwer-Lytton (The Coming Race, 1871) and W. S. Lach-Szyrma (Aleriel, 1883) extended the Byronic hero to envisage extra-terrestrial utopias. The Hegelian systematic mythology described by Byron and Shelley had reimagined paradise and redemption on earth. Through science fiction, this mythology extended out towards the stars. A discourse on the possibilities of extra-terrestrial life became a Romantic discourse on the possibilities of being. The Byronic hero could now find a home not by escaping the shackles of religion, but as an angelic citizen of Venus or Mars. In this way, the paper will explore how science-fiction writers appropriated the language of Romantic poetry to build a bridge between the framework of scientific knowledge and the extent of human imagination.
Resumo:
The precise phylogenetic propinquity of Dura within the Tibeto-Burman or Trans-Himalayan language family has hitherto been indeterminate. In the absence of compelling comparative evidence, the language has previously been assigned to a subgroup in its own right within the linguistic phylum as a whole. Meanwhile, the Dura language is effectively extinct, although attempts at revival may be undertaken by well-intentioned members of Dura ethnicity. On the basis of a comprehensive study and analysis of all of the extant Dura language material, the phylogenetic position of the language within the family will be clarified. Comparative evidence from the Dura lexicon, its nominal and verbal morphology as well as from syntactic and phonological properties is adduced to determine the phylogenetic position of Dura. Moreover, this result will help explain some of the sociocultural realities associated with the Dura language community in Lamjung, Nepal
Resumo:
Amawaka ([ɑmɨ̃ˈwɐkɑ]) is a highly endangered and underdocumented tonal language of the Headwaters (Fleck 2011) subgroup of the Panoan family in the Southwest Amazon Basin, spoken by approximately 200 people. Undocumented phonetic and phonological phenomena of Amawaka include its tonal structure, both in terms of surface realizations and the patterns underlying these realizations. Original audiovisual data from the author’s fieldwork in various Amawaka communities at the Peru-Brazil border will illuminate the as-yet obscure tonal systematicity of the language. Unlike other elements, monosyllabic bimoraic phonological nominal words with long vowels display variation in their surface realization. All the words with the open back unrounded /ɑ/, like /ˈkɑ̀:/ (patarashca, a traditional Amazonian dish), /ˈnɑ̀:/ “mestizo” etc. [with the exception of /ˈtɑ:/ “reed”, which surfaces with either a H or L tone] bear a low tone in isolation. This realization contrasts with all the encountered nominal monosyllables with vowels from the close and close-mid front and central spectrum /i, ɘ, ɨ, ɨ̃/, which clearly surface as high tone words in isolation, for example /ˈmɨ̃́:/ (a clay-lick for animals), /ˈwí:/ “Anopheles, spp. mosquito”. Monosyllables with close-mid back rounded /o/ have a less restrictive pitch that varies among speakers from low to high realizations, and sometimes even across the speech tokens from an individual speaker, e.g. /wó:/ or /wō:/ “hair”, /ɧō:/ or /ɧò:/ (a type of tarantula). Phrasal tonal phonology is more complex, when these three kinds of monosyllables appear in larger noun phrases. Some retain the same surface tones as their isolation form, while others seem to vary freely in their surface realization, e.g. /ˈtɘ́:.nɑ̀:/ or /ˈtɘ́:.nɑ́:/ ‘one mestizo’. Yet other monosyllables, e.g. /mɑ̀:/, exhibit a falling tone when preceded by a H syllable, suggesting probably latent tone sandhi phenomena, e.g /ˈtɘ́:.mɑ̂:/ (one clay-lick for parrots). In disyllabic, trisyllabic and quadrisyllabic nouns, tonal and stress patterns generally seem to be more consistent and tend to be retained both in isolation and in larger intonational phrases. Disyllabic nouns, for instance, surface as L-H or L-L when a glottal stop is in coda position. The association of L with a glottal stop is a feature that occurs in other Panoan languages as well, like Capanahua (Loos 1969), and more generally it is an areal feature, found in other parts of Amazonia (Hyman 2010). So, tone has significant interactions with the glottal stop and glottalization, which generally co-occurs with L. The data above suggest that the underlying tonal system of Amawaka is much more complex than the privative one-tone analysis (/H/ vs. Ø, i.e. lack of tone) that was proposed by Russell and Russell (1959). Evidence from field data suggests either an equipollent (Hyman 2010) two-tone opposition between /H/ and /L/, or a hybrid system, with both equipollent and privative features; that is, /H/ vs. /L/ vs. either Ø or /M/. This first systematic description of Amawaka tone, in conjunction with ongoing research, is poised to address broader questions concerning interrelationships between surface/underlying tone and other suprasegmental features, such as nasality, metrical stress, and intonation. References Fleck, David W. 2011. Panoan languages and linguistics. In Javier Ruedas and David W. Fleck (Eds.), Panoan Histories and Interethnic Identities, To appear. Hyman, Larry. 2010. Amazonia and the typology of tone systems. Presented at the conference Amazonicas III: The structure of the Amazonian languages. Bogotá. Loos, Eugene E. 1969. The phonology of Capanahua and its grammatical basis. Norman: SIL and U. Oklahoma. Russell, Robert & Dolores. 1959. Syntactotonemics in Amahuaca (Pano). Série Lingüistica Especial, 128-167. Publicaçoes do Museu Nacional, Rio de Janeiro, Brasil.
Resumo:
Amawaka ([ɑmɨ̃ˈwɐkɑ]) is a highly endangered and underdocumented tonal language of the Headwaters (Fleck 2011) subgroup of the Panoan family in the Southwest Amazon Basin, spoken by approximately 200 people. Undocumented phonetic and phonological phenomena of Amawaka include its tonal structure, both in terms of surface realizations and the patterns underlying these realizations. Original audiovisual data from the author’s fieldwork in various Amawaka communities at the Peru-Brazil border will illuminate the as-yet obscure tonal systematicity of the language. Unlike other elements, monosyllabic bimoraic phonological nominal words with long vowels display variation in their surface realization. All the words with the open back unrounded /ɑ/, like /ˈkɑ̀:/ (a traditional Amazonian dish), /ˈnɑ̀:/ “mestizo” etc. [with the exception of /ˈtɑ:/ “reed”, which surfaces with either a H or L tone] bear a low tone in isolation. This realization contrasts with all the encountered nominal monosyllables with vowels from the close and close-mid front and central spectrum /i, ɘ, ɨ, ɨ̃/, which clearly surface as high tone words in isolation, for example /ˈmɨ̃́:/ (a clay-lick for animals), /ˈwí:/ “Anopheles, spp. mosquito”. Monosyllables with close-mid back rounded /o/ have a less restrictive pitch that varies among speakers from low to high realizations, and sometimes even across the speech tokens from an individual speaker, e.g. /wó:/ or /wō:/ “hair”, /ɧō:/ or /ɧò:/ (a type of tarantula). Phrasal tonal phonology is more complex, when these three kinds of monosyllables appear in larger noun phrases. Some retain the same surface tones as their isolation form, while others seem to vary freely in their surface realization, e.g. /ˈtɘ́:.nɑ̀:/ or /ˈtɘ́:.nɑ́:/ ‘one mestizo’. Yet other monosyllables, e.g. /mɑ̀:/, exhibit a falling tone when preceded by a H syllable, suggesting probably latent tone sandhi phenomena, e.g /ˈtɘ́:.mɑ̂:/ (one clay-lick for parrots). In disyllabic, trisyllabic and quadrisyllabic nouns, tonal and stress patterns generally seem to be more consistent and tend to be retained both in isolation and in larger intonational phrases. Disyllabic nouns, for instance, surface as L-H or L-L when a glottal stop is in coda position. The association of L with a glottal stop is a feature that occurs in other Panoan languages as well, like Capanahua (Loos 1969), and more generally it is an areal feature, found in other parts of Amazonia (Hyman 2010). So, tone has significant interactions with the glottal stop and glottalization, which generally co-occurs with L. The data above suggest that the underlying tonal system of Amawaka is much more complex than the privative one-tone analysis (/H/ vs. Ø, i.e. lack of tone) that was proposed by Russell and Russell (1959). Evidence from field data suggests either an equipollent (Hyman 2010) two-tone opposition between /H/ and /L/, or a hybrid system, with both equipollent and privative features; that is, /H/ vs. /L/ vs. either Ø or /M/. This first systematic description of Amawaka tone, in conjunction with ongoing research, is poised to address broader questions concerning interrelationships between surface/underlying tone and other suprasegmental features, such as nasality, metrical stress, and intonation. References Fleck, David W. 2011. Panoan languages and linguistics. In Javier Ruedas and David W. Fleck (Eds.), Panoan Histories and Interethnic Identities, To appear. Hyman, Larry. 2010. Amazonia and the typology of tone systems. Presented at the conference Amazonicas III: The structure of the Amazonian languages. Bogotá. Loos, Eugene E. 1969. The phonology of Capanahua and its grammatical basis. Norman: SIL and U. Oklahoma. Russell, Robert & Dolores. 1959. Syntactotonemics in Amahuaca (Pano). Série Lingüistica Especial, 128-167. Publicaçoes do Museu Nacional, Rio de Janeiro, Brasil.
Resumo:
Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.
Resumo:
The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.