Astrolinguistics: Design of a Linguistic System for Interstellar Communication Based on LogicSpringer Science & Business Media, 27 nov 2012 - 248 páginas In linguistics, one of the main areas of modern research involves the capabilities and possibilities of there being a "lingua cosmica," a LINCOS, a universal language that could be used to communicate with non-human intelligences. This book touches on the area of the development and use of a "lingua universalis" for interstellar communication, but it also presents concepts that cover a broad area of linguistics. Chomsky's paradigm on universal properties of natural languages, for a long time a leading general theory of natural languages, includes the strong assumption that humans are born with some kind of universals stored in their brains. Are there universals of this kind of language used by intelligent beings and societies elsewhere in the universe? We do not know whether such languages exist. It seems to be impossible to determine, simply because the universe is too large for an exhaustive search. Even verification will be hard to obtain, without quite a bit of luck. This book uses astrolinguistic principles in message construction and is helpful in clarifying and giving perspective to discussions on existential questions such as these. |
Índice
Calculus of Constructions | 1 |
Facts | 39 |
Annotations in LINCOS | 76 |
Interpretation of LINCOS | 109 |
Processes in LINCOS | 137 |
Symbolic Computation | 160 |
UnCertainty | 181 |
Appendix A Declaration of Principles Concerning the Conduct of the Search for Extraterrestrial Intelligence | 195 |
Appendix B Preliminaries | 197 |
Appendix C History | 207 |
Appendix D A Gentle Introduction
to Lambda and Types | 217 |
Appendix E Postscriptum | 227 |
Appendix F Summary in Russian | 239 |
Appendix G Curriculum Vitae of Alexander Ollongren 1928 Sumatra | 241 |
243 | |
Otras ediciones - Ver todo
Astrolinguistics: Design of a Linguistic System for Interstellar ... Alexander Ollongren No hay ninguna vista previa disponible - 2012 |
Términos y frases comunes
abstract Alice annotations applied Aristotelian arity aspects Astrolinguistics B-properties basic c.dt Calculus of Constructions chan Chap concept considered CONSTANT constructive logic contain declared DEFINE discussed Doll ELIM H h1 entity environment Ex S Q example existence expressions fact formal Fran-p Freudenthal’s function Gam-u gamelan gong ageng Greek human idling induction hypothesis inductive definition infix notation interpretation interstellar communication interstellar message introduced is-coloured kempul kenong kind LAMBDA leibniz Leiden University LINCOS system line-elem Lingua Cosmica linguistic system logic contents Loutka mathematical Matr means Media New York Modus Tollens moral behaviour MP-gen natural language notation Note Ollongren planet predications present chapter Proc processes proper-time propositional logic recursive represented resident selectors sentences sequence Socrates Springer Science+Business Media structure supervenience Suppose symbol tion type Prop type theory variables vector verification Wittgenstein’s