Friday, 26 September 2014

27.5 Times


15.75
_____SOMETHING NEW

I realized that language and logic aren't particularly best friends. Our normal usage of language allow us to communicate most of the time, efficiently. However, language can be ambiguous. Sometimes we use quantifiers, and they do not necessarily mean what they mean in logical terms.

"THERE IS AT LEAST SOMEONE BORED ENOUGH, OR GETTING PAID, WHO READS MY BLOG"

So, in logical terms this could mean: 

16.75) There is at least one person who belongs to the set of "Bored Enough" who reads my blog. 
17.75) There is at least one person who belongs to the set of "Getting Paid" who reads my blog. 
18.75) And the negation of this, logically, would be that there is no one who is bored enough or is being paid who reads my blog. 

20.75) So, look at the following Venn Diagrams:



21.75) Crazy, eh!? There could be someone who reads my blog who is bored enough, and who is getting paid. If you think about it though, you could be somehow being paid for doing something else, and you are bored enough to be reading my blog. However, in the universe of logic, you can be both, and reading my blog. 

22.75) In English, the previous statement would mean that that someone reading my blog, yeah, YOU! are reading it ONLY because you are bored enough or because you are getting paid for reading it. 

Anyway, listen to the following advice (worth the last 5 'times' of this post): 


DO NOT TRANSLATE ENGLISH INTO LOGIC, THINK LOGICALLY!







Friday, 19 September 2014

13.75 TIMES


First, let me introduce myself using some logical concepts. And, in oder to make it more interesting you should try identifying if the following points are: [S] Sentences, [T] Statements, [P] Predicates, or [I] Implications.  

1. My name is Julian Garcia, and I am originally from Colombia. [S] [T] [P] [I]
2. I have taken a logic course in Colombia, at ICESI University. [S] [T] [P] [I]
3. If I haven't done one year of Uni in Colombia, I wouldn't have gotten into UofT. [S] [T] [P] [I]
4. Whenever I think of logic, I do it in Spanish. [S] [T] [P] [I]
5. I think my english is sufficient for doing well in CSC165. [S] [T] [P] [I]
6. I've put some thought into making this image, some of you may like it. [S] [T] [P] [I]
            

7. Everybody in the Americas think logically. (?) [S] [T] [P] [I] 
8. At least one person knows that P => Q means the same in any language.  [S] [T] [P] [I]

Before we continue with the next 5.75 points, think about this:
            
          S(x) : x speaks spanish 
          T(y) : y has not taken any logic course in english

9.  S(Julian) ^ T(Julian). [S] [T] [P] [I]
10.  Julian speaks spanish.  [S] [T] [P] [I]
11. I am also learning German, and it is fun!  [S] [T] [P] [I]
Here, a diagram... 

CSC165: The universe of all csc165 students
C: The set of all students who come from Cali, Colombia.
P: The set of all students who are majoring in Political Science. 



12. I forgot to tell you, I am majoring in Political Science.  [S] [T] [P] [I]
13. If you're good with Venn Diagrams, then you should know where I belong there.  [S] [T] [P] [I]

+0.75 If you want to contact me, then send me an e-mail to jugar@gmail.com.  [S] [T] [P] [I]