Abstract
There is a multitude of kinds of facts in the reality of mankind. We do not suppose that each kind is expressible in the Lingua Cosmica discussed in the present treatise. This is because we are concerned with facts in a logical sense. Facts expressible in LINCOS consist as we have seen in examples in PART I nearly always of an implication or a sequence of implications leading from premises to a conclusion, written to the right of the rightmost implication token. The premises, i.e. one or more terms to the left of the token, contain necessary (not necessarily sufficient) information by which the conclusion can be verified. Other information may be needed; it should be available in and extractible from the environment (a logical database), sometimes in this treatise called the stage, see Chap. 7 and especially Chap. 8. The present chapter provides information on the way facts of a simple kind are introduced, verified and applied. We have already briefly mentioned and described some conventions around the concept of facts. Now we introduce in more detail and more systematically the topics of facts, lemma’s or theorems and their verifications.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ollongren, A. (2013). Simple Facts. In: Astrolinguistics. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-5468-7_5
Download citation
DOI: https://doi.org/10.1007/978-1-4614-5468-7_5
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-5467-0
Online ISBN: 978-1-4614-5468-7
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)