900 resultados para Extendable Language of Applied Logic


Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Article 10 of the 1996 Ukrainian Constitution proclaims that “The state language of Ukraine shall be the Ukrainian language” but continues: “Free development, use, and protection of Russian and other languages of national minorities of Ukraine shall be guaranteed in Ukraine.” Consolidating the position of the state language was at the centre of the "Orange Revolution", but President Yanukovich, elected in February 2010, has committed himself to a defence of the Russian language, as a regional language of Ukraine, and the battle is on to replace the Law on Languages of the Ukrainian SSR of 1989, which is still in force. Ukraine has ratified the Council of Europe’s European Charter for Regional or Minority Languages. This article reflects on the relation between language and law, and endeavours to bring clarity to a situation which at times resembles an overheated kettle about to explode.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In 2010, we conducted a sociolinguistic survey on the moribund 'Khoisan' language ǂHoan (Ju-ǂHoan), spoken in Botswana at the fringe of the Kalahari Desert. The survey aimed at investigating language use, degrees of multilingualism and language attitude among the ǂHoan speakers. Data collection was done on the basis of a questionnaire. We found that the positive language attitude of individuals towards ǂHoan often conflicts with the community's attitude towards this language, resulting in a split of actual language use between the family and more formal situations. All ǂHoan speakers are at least bilingual speaking the local lingua franca Kgalagadi (Bantu) besides ǂHoan. Most of them are in fact even trilingual, speaking Gǀui (Khoe-Kwadi) in addition to ǂHoan and Kgalagadi. Most of our results stand in line with an earlier sociolinguistic survey on ǂHoan by Batibo (2005a) which was carried out in 2003. In comparing Batibo's results to ours, changes in the sociolinguistic situation of ǂHoan as well as differences between the different villages will be pointed out.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Bilingual education programs implicitly assume that the acquired knowledge is represented in a language-independent way. This assumption, however, stands in strong contrast to research findings showing that information may be represented in a way closely tied to the specific language of instruction and learning. The present study aims to examine whether and to which extent cognitive costs appear during arithmetic learning when language of instruction and language of retrieving differ. Thirty-nine high school students participating in a bilingual education program underwent a four-day training on multiplication and subtraction problems in one language (German or French), followed by a test session in which they had to solve trained as well as untrained problems in both languages. We found that cognitive costs related to language switching appeared for both arithmetic operations. Implications of our findings are discussed with respect to bilingual education as well as to cognitive mechanisms underlying different arithmetic operations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intu- itionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.

Relevância:

100.00% 100.00%

Publicador:

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.