The Famous Syllogism in Greek, Latin and English.

The Famous Syllogism^[1] in Greek, Latin and English:

A Pencil Portrait of George Boole. — **Figure 1:** I drew this pencil portrait of George Boole (1815-1864) with Pencils and Photoshop. *The Mathematical Analysis of Logic* was published in 1847, and *An Investigation into the Laws of Thought* was published in 1854.

Introduction:

Quite early on, in his Mathematical Analysis of Logic, George Boole–whence in programming and computer science we derive the datatype name, ‘Boolean’– introduces this famous syllogism to us, his readers.

Body:

In Ancient Greek:

ὁ Σωκράτης ἐστιν ἄνθρωπος.

πάντης ἄνθρωποι ἐστι θνητοί.

οὖν ὁ Σωκράτης ἐστι θνητός.

When Transliterated:

ho Sōcrátēs estin ánthrōpos.

pántēs ánthrōpoi esti thnētoí.

oũn ho Sōkrátēs esti thnētos.

In Latin:

Sōcratēs est homō.

Omnēs hominēs sunt mortālēs.

Ergō, Sōcratēs est mortālis.

In English:

Socrates is a man.

All men are mortal.

Therefore, Socrates is mortal.

Conclusion:

The Ancient-Greek term, ὁ λόγος or, when transliterated, ‘ho lógos,’^[1] means–within the context of logic– ‘statement,’ or ‘argument.’

The Latin 1^st-and-2^nd-declension adjectival suffix, ‘-ica, -icus, -icum’ means ‘of,’ ‘about,’ ‘concerning,’ ‘pertaining to,’ etc.

Hence, etymologically, ‘logic’ is ‘the study of the truth or falsehood of statements and arguments.’

Conventional arithmetic or Conventional Algebra has quantity for its subject. George Boole developed an algebra, or an arithmetic that had logic as its subject.

Indeed, in his book, The Laws of Thought he terms this ‘arithmetic’ or ‘algebra’ of his ‘a calculus of logic’ by which he meant ‘a system whereby the truth or falsehood of statements/arguments could be analysed.’

A Pencil Portrait of Socrates. — **Figure 1:** I drew this pencil portrait of Socrates (469/470-399 BC) with Pencils. Vēre Sōcratēs est enim mortālis. Truly Socrates is mortal indeed.

Glossary:

calculus (ˈkælkjʊləs) noun plural -luses

a branch of mathematics, developed independently by Newton and Leibniz. Both differential calculus and integral calculus are concerned with the effect on a function of an infinitesimal change in the independent variable as it tends to zero.

any mathematical system of calculation involving the use of symbols

logic an uninterputed formal system. Compare formal language (sense 2)

(plural -li (ˈkælkjʊˌlaɪ) ) pathology a stonelike concretion of minerals and salts found in ducts or hollow organs of the body[C17 from Latin: pebble, stone used in reckoning, from calx small stone, counter]

calcular (ˈkælkjʊlə) adjective relating to calculus
calculous (ˈkælkjʊləs) or calculary (ˈkælkjʊlərɪ) of or suffering from a calculus. Obsolete form: calculose
calculus of variations a branch of calculus concerned with maxima and minima of definite integrals.^[1]

The Famous Syllogism[1] in Greek, Latin and English:

the_famous_syllogism_given_by_george_boole_in_mathematical_analysis_of_logic