Considere os seguintes fatos: (a) Logica Matem ´ atica ´ e a ´ unica l ´ ogica usada na Computac¸ ´ ao˜ (b) Tarski e Godel s ¨ ao grandes l ˜ ogico...

Considere os seguintes fatos: (a) Logica Matem ´ atica ´ e a ´ unica l ´ ogica usada na Computac¸ ´ ao˜ (b) Tarski e Godel s ¨ ao grandes l ˜ ogicos nascidos no s ´ eculo XX (pesquise!) ´ (c) Ha in ´ umeras l ´ ogicas mas todas elas se baseiam no CP ´ (d) O paradoxo de Russel envolve a definic¸ao de um conjunto que certamente cont ˜ em, como ´ elementos, os conjuntos {0} e {0, 1, 2}. (e) Nas Universidades europeias da idade m ´ edia, se aprendia l ´ ogica no Quadrivium