You are here

Astrolinguistics: Design of a Linguistic System for by Alexander Ollongren

By Alexander Ollongren

In linguistics, one of many major parts of contemporary learn comprises the services and chances of there being a "lingua cosmica," a LINCOS, a common language that may be used to speak with non-human intelligences. This booklet touches at the quarter of the advance and use of a "lingua universalis" for interstellar communique, however it additionally offers innovations that conceal a vast zone of linguistics. Chomsky's paradigm on common homes of ordinary languages, for a very long time a number one basic thought of average languages, contains the powerful assumption that people are born with a few form of universals saved of their brains. Are there universals of this type of language utilized by clever beings and societies somewhere else within the universe? we don't be aware of no matter if such languages exist. it sort of feels to be most unlikely to figure out, just because the universe is just too huge for an exhaustive seek. Even verification may be demanding to acquire, with out rather a lot of success. This booklet makes use of astrolinguistic rules in message development and is useful in clarifying and giving viewpoint to discussions on existential questions corresponding to those.

Show description

Read or Download Astrolinguistics: Design of a Linguistic System for Interstellar Communication Based on Logic PDF

Best communication books

Violence on Television: Distribution, Form, Context, and Themes (Lea's Communication Series)

Situation approximately violence on tv has been publicly debated for the prior 50 years. television violence has again and again been pointed out as an important causal agent on the subject of the superiority of crime and violence in society. Critics have accused the medium of proposing over the top amounts of violence, to the purpose the place it really is nearly very unlikely for audience to prevent it.

Yearbook of phraseology. / 1

The Yearbook of phrasing could be the preeminent periodical e-book in phrasing with a excessive attractiveness between students within the box. it is going to put up merely articles which make an important contribution to the sector. it is going to facilitate discussion among Continental and English-speaking students within the box of phrasing and construct a complete figuring out of the numerous aspects of phrasing and therefore determine the sphere at the worldwide scale.

Charles Sanders Peirce in His Own Words

In 2014, Peirce could have been lifeless for 100 years. The booklet will rejoice this amazing, prolific philosopher and the relevance of his proposal for semiotics, communique, and cognitive experiences. extra importantly, besides the fact that, it's going to supply a huge assertion of the present prestige of Peirce's paintings inside of semiotics.

Additional resources for Astrolinguistics: Design of a Linguistic System for Interstellar Communication Based on Logic

Example text

Consider the double negation rules written as facts for some A : Prop FACT DN1 : ~ ~ A → A. FACT DN2 : A → ~ ~ A. Referring to Chap. 8 (Wittgenstein’s Theatre) we state here without specifying the argument that DN1 cannot be verified in LINCOS. We might therefore introduce this rule in a general form as a hypothesis HYPOTHESIS DN1 : (x : Prop)(~ ~ x → x). In the case of the second double negation rule DN2 we can write the verification of the fact as follows DN2 = [h1 : A]([h2 : A → nil](h2 h1)) because [h1 : A]([h2 : A → nil](h2 h1)) : A → (A → nil) → nil where A → (A → nil) → nil = A → ((A → nil) → nil) due to the property that brackets associate to the right.

Therefore Socrates is mortal. In Chap. 7 we explain that this is not a very complex sentence and is not an Aristotelian syllogism, since the so-called singular (Socrates) occurs. We write anyhow for this stand-alone sentence an annotation. Let the environment be CONSTANT Socrates : Set. CONSTANT human : Set → Prop. CONSTANT mortal : Set → Prop. 4 : (human Socrates) /\ (x:Set)((human x) → (mortal x)) → (mortal Socrates). 4 = [H : (human Socrates) /\ (x:Set)((human x) → (mortal x))] (ELIM H [h1 : (human Socrates); h2 : (x:Set) ((human x) → (mortal x))] (h2 Socrates h1).

So with h1 = y → nil (see Chap. 2 under Negation): 44 5 Simple Facts (h2 h3) : y (h1 (h2 h3)) : nil. Under ELIM the selectors h1 and h2 “disappear” (they are accounted for, in fact eliminated), but the variable h3 of type x does not. As a result we find (ELIM H [h1: ~y; h2 : x→y; h3 : x](h1 (h2 h3)) ) : x → nil or (ELIM H [h1: ~y; h2 : x→y; h3 : x](h1 (h2 h3)) ) : ~x leading to the desired result: [x,y : Prop; H : (~y /\ (x → y))] (ELIM H [h1: ~y; h2 : x→y; h3 : x](h1 (h2 h3)) ): (~y /\ (x → y)) → ~x.

Download PDF sample

Rated 4.13 of 5 – based on 50 votes