2013

Astrolinguistics

Design of a Linguistic System for Interstellar Communication Based on Logic

Authors:

ISBN: 978-1-4614-5467-0 (Print) 978-1-4614-5468-7 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages i-xv

  2. Calculus of Constructions

    1. Front Matter

      Pages 1-2

    2. No Access

      Book Chapter

      Pages 3-7

      Types and Declarations

    3. No Access

      Book Chapter

      Pages 9-21

      Functions and Induction

    4. No Access

      Book Chapter

      Pages 23-28

      Hypotheses

    5. No Access

      Book Chapter

      Pages 29-38

      Higher Orders and Inductive Structures

  3. Facts

    1. Front Matter

      Pages 39-40

    2. No Access

      Book Chapter

      Pages 41-46

      Simple Facts

    3. No Access

      Book Chapter

      Pages 47-52

      Compounds

    4. No Access

      Book Chapter

      Pages 53-63

      Aristotelian Theatre

    5. No Access

      Book Chapter

      Pages 65-74

      Wittgenstein’s Theatre

  4. Annotations in LINCOS

    1. Front Matter

      Pages 75-75

    2. No Access

      Book Chapter

      Pages 77-84

      Logic Contents of Texts

    3. No Access

      Book Chapter

      Pages 85-91

      An Astrolinguistic Experiment

    4. No Access

      Book Chapter

      Pages 93-100

      Aspects of Truth

    5. No Access

      Book Chapter

      Pages 101-108

      Human Altruism

  5. Interpretation of LINCOS

    1. Front Matter

      Pages 109-110

    2. No Access

      Book Chapter

      Pages 111-116

      Self-interpretation

    3. No Access

      Book Chapter

      Pages 117-121

      Pictorial Representations

    4. No Access

      Book Chapter

      Pages 123-130

      Representation of Music

    5. No Access

      Book Chapter

      Pages 131-135

      Signature of LINCOS

  6. Processes in LINCOS

    1. Front Matter

      Pages 137-138

    2. No Access

      Book Chapter

      Pages 139-145

      Representing Processes

    3. No Access

      Book Chapter

      Pages 147-151

      Cooperating Sequential Processes

    4. No Access

      Book Chapter

      Pages 153-159

      Hamlet in LINCOS

  7. Symbolic Computation

    1. Front Matter

      Pages 161-161

    2. No Access

      Book Chapter

      Pages 163-168

      Basics

previous Page of 2