Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic /
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...
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York, NY :
Springer New York : Imprint: Springer,
2013.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Preface by Prof. D. Vakoch
- Paart I: Calculus of Constructions
- Chapter 1.1: Types and declarations
- Chapter 1.2: Functions and induction
- Chapter 1.3.: Hypotheses
- Chapter 1.4: Higher orders and inductive structures
- Part II: Facts
- Chapter 2.1: Simple Facts
- Chapter 2.2: Compounds
- Chapter 2.3: Aristotelian Theater
- Chapter 2.4: Wittgenstein's Theater
- Part III: Annotation in LINCOS
- Chapter 3.1: Logical contents of texts
- Chapter 3.2: An astrolinguistic experiment
- Chapter 3.3: Aspects of Truth
- Chapter 3.4: Human altruism
- Part IV: Interpretation of LINCOS
- Chapter 4.1: Self-interpretation
- Chapter 4.2: Pictorial representations
- Chapter 4.3: Representation of music
- Chapter 4.4: Signature of LINCOS
- Part V: Processes in LINCOS
- Chapter 5.1: Representing processes
- Chapter 5.2: Cooperating sequential processes
- Chapter 5.3: Hamlet in LINCOS
- Part VI: Symbolic Computation
- Chapter 6.1: Basics
- Chapter 6.2: Relativistic particle motion
- Chapter 6.3: Two-body motion
- Parti VII: (Un)Certainty
- Chapter 7.1: Certain existence
- Chapter 7.2: The uncertain alien
- Appendices
- Appendix A: Background information
- Appendix B: Preliminary Orientation
- Appendix C: History
- Appendix D: a gentle introduction to Lambda and Type
- Appendix E: Postscriptum
- Appendix F: Summary in Russian
- Appendix G: Curriculum Vitae
- Index.