We’re approaching to the Modus Celarent station, you need to brace yourself mathematicians around

So as I said we’ve been speaking all wrong and we are trying to fix it. In previous post we learned how to draw a valid conclusion based on two valid or invalid proposals.

3.3.1.1 AAA — Modus Barbara (We were here)
3.3.1.2 EAE — Modus Celarent (We’re going there)
3.3.4.5 EIO — Modus Fresison (Future, 2021 probably)

So we need to move on.

In order to continue in Celarent, we need to back to some subjects that we have missed in our first schools. It doesn’t make any sense to speak with words anymore. We all haves cameras in our phones. It’s all touch screen, we can even draw something to communicate. So let’s continue.

Set theory

A set is a gathering together into a whole of definite, distinct objects of our perception or our thought — which are called elements of the set.

These are basic sets.

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The language of set theory can be used to define nearly all mathematical objects.

So the previous one was for our textbooks. So we’re approaching to 2021, things are different now. We’re not mixing the colors to get another color anymore. Instead of mixing the colors, we’re putting them on top of each other and changing the way how it will dissolve through a display.

So we use Sets theory to handle everything what you see in your screen.

Geometry

In order to draw much realistic conclusion, we need to learn some basic geometry. Geometry is not a subbranch of Mathematics. People were doing geometry before the mathematicians took over their territory, papers and rocks stuff like that so let’s avoid the real confusion.

So the Geometry is a language which is attributed by Euclid. He wrote a book called “Element” and he expressed how does he sees the world.

So lets draw some conclusions.

We’re in Modus Celarent.

No rectangle is a circle
All squares are rectangles
It follows: No square is a circle.

In Deutsch

Kein Rechteck ist ein Kreis
Alle Quadrate sind Rechtecke
Es folgt: Kein Quadrat ist ein Kreis.

We’ll continue drawing some other conclusions.
Let’s try to interpret Euclid’s elements.

  • All birds are animals
  • All animals are living-being
  • All cars are vehicles
  • Some animals are vehicles
  • Some elephants are vehicles
  • Some animals are not living being
  • Horses are not vehicles
  • Some humans are not living being
  • No animal is a vehicle
  • Dragons are not vehicles.
  • Poem.

We’ll continue in new post.
Sinirlerim bozuk.
Modus Darii.

Notes from a never ending story. I am writing a Prolog interpreter currently.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store