Aristotle and the Law of Identity


Figure 1:  I drew this pencil sketch of Aristotle.

I consider Aristotle to be the great grandfather of computer Science.  To elaborate upon this is beyond the scope of this blogpost.  However, I consider this to be a huge motivating factor for my learning Greek:  should I ever complete a PhD in Computer Science, then this could make for an excellent subject for a thesis.  I hope to be able to read Aristotle in the original Greek, one day.

I have read the philosophical novel, Atlas Shrugged (1957) by Ayn Rand.  There is an Aristotelian theme running through the book.  Chapters are named after ideas from this philosopher.

The Book is divided into three parts.  Part III is entitled:

A is A

.  This is a reference to the law of identity.  I believe that the law of identity, were it to be expressed in the Greek of Aristotle, would be:


ἄλφα ἔστιν ἄλφα

, or, when transliterated:

álpha éstin álpha

, or, when translated into English:

Alpha is alpha.

or:

A is A.

.  I am working on writing an introduction to Computer-Science concepts and terminology.

The concept of:

identity

comes into play when one looks at Boolean Algebra/Formal Logic, and Functions.

The identity function is expressed as:

f(x) = x






Ancient-Greek letter, Lambda

Figure 2  The Ancient-Greek letter, λάμβδα or 'Lambda,' which is used to signify a binding operator in Lambda Calculus.  I scripted this 'Lambda' in SVG.

.  In Lambda Calculus, which I am beginning to examine, I believe that the identity function can be expressed as:

λa.a

.

Comments

Post a Comment

Popular posts from this blog

The Quantity of Syllables in Ancient Greek

Image
The Quantity of Syllables in Ancient Greek The Quantity of Syllables in Ancient Greek: Figure 1:   Ancient Greek is an extremely musical language, possessing both pitch, and rhythm. Introduction: In Ancient Greek, syllables are either: long; short; or obscure. Body: We shall now examine each class of Syllable Length in turn: Long Syllables: In Ancient Greek, a syllable is considered long , by nature, should it contain one of the vowels: η , ω ; or long: ᾱ , ῑ , ῡ , ; or diphthongs: αι , ει , οι , αυ , ου , υι , ευ , ηυ .  Syllables that are long by nature [1] . are held for the length of two morae [2] ., which is analogous to a minim or a half note in music. Figure 2:   The mi
Read more

The Naming of Sets in Set Theory:

Image
The Naming of Sets in Set Theory Figure 1:   I drew this set-naming italic character in SVG.  You may view the code of this image at my Codepen Account . Figure 2: What the SVG image looks like when exported as a PNG. [1] In Set Theory - which underpins so much of computing mathematics - we conventionally name sets with capital italic letters. In computer science, a name such as: A , would be termed an: ‘identifier’ . In the below example, we shall use the capital italic character: R so as to name the members of the set of Radix-ten [2] integers. Figure 3: “ A SQUARE-ROOT SIGN   This sign is from radix (Latin for root) and was first used by Leonardo da Pisa in 1220.  Today’s √ sign, which may be a distortion of the letter “r”, is sixteenth-century German.” [3] An Example of Naming a Set with an Italic Italic Capital Character
Read more