Astrolinguistics

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.