2nd post

One of the most interesting things to me, that we discussed in class were Aristotle's 3 laws of logic, or thought. Which is the study of reasoning. The first and most obvious is: identity. This is interpreted as: a subject is equal to the sum of it's predicates; or everything that is, exists/is. If it looks or feels like something, than it is that something.


The second is: non-contradiction. No predicate can be simultaneously attributed and denied to a subject. This is the law saying that nothing can both be and not be, in other words. If a flower is a rose and dead, it has to be that. If something is untrue, it will never be true. And the third is: excluded middle. Of every two contradictorily opposite predicates one must belong to every subject; or in other words, each and everything either is or is not.



Those are the three law's of logic, or thought. Logic was described as the art of non-contradictory identification. These law's lead to two thought categories. One is Induction, and the other is Deduction. Deduction basically says all men are mortal. And induction is like the sun always rises in the morning, therefor you know the sun will rise. I found a picture of the equations to go with Aristotle's laws:

Logic

Logic is defined as the study of the principle of reasoning. Espically of the structure of propositions as distinguished from their content and method and valicity indeductive reasoning. According to Aristole there are three laws to logic. the laws to logic are as follows: law of indentity, law of non-contradiction, and law of excluded middle.

Law of identity means that everything that is, exists. To break this law down it is simply saying the little saying are parents tell us, "If it looks like a duck, quack like a duck, then its a duck." Law of non-cotradiction meaning is that nothing can be both be and not be. For example telling a friend your shirt is blue when you know its red. Non-contradiction is basically stating that lies are lies and will never become true. Law of excluded middle means everything either is or is not. Such as someone saying I'm going to buy me some Gucci shoes but they know they aint got the money to buy them. Which means they wont have any Gucci on there feet.

Logic is the art of non-contradictory identification. Starting from these three laws of logic made two different types which is induction and deduction. since computers use deduction through Boolean Logic. The programming of data to create information is logic. When it comes to programming logic its three types declarative, imperative, and object-oriented. My point being that everything is created off of something else.