ARISTOTELES: Foi ele quem criou a logica, na Idade Antiga, que na epoca ela se chamava analitica, passando a se chamar logica no periodo helenistico. O objetivo da criacao dessa logica foi a proposicao, ou seja, a atribuicao de um predicado a um sujeito.Como criador, Aristoteles desenvolveu algumas caracteristicas para a logica, tais como a introducao de letras mudas para denotar os termos e a criacao de termos fundamentais como "valido", "nao valido", "universal", "particular".Ate hoje a sua logica e usada, apesar dos enormes avancos da logica, mas ha algumas limitacoes como a assentuacao no uso da linguagem natural.Para Aristoteles, a logica e um instrumento, uma introducao para as ciencias e para o conhecimento baseada no silogismo. Tanto que sua primeira obra sobre logica era chamada de Organon, que significa "Instrumento da Ciencia".GEORGE BOOLE: Aristoteles criou a logica, propriamente dita, que teve algumas ramificacoes, uma delas, a logica matematica, foi desenvolvida por Boole no seu livro "Mathematical Analysis of Logic". Esse tipo de logica foi desenvolvido com o intuito de transformar a logica numa forma de algebra.Boole tambem foi importante por ter acabado com as restricoes impostas na logica de Aristoteles, afirmando que havia uma inifindade de raciocinios validos e nao-validos.Tambem ficou muito conhhecido por ser o criado da algebra booleana. Basicamente, essa algebra e um conjunto de estruturas algebricas, sendo elas E, OU, NAO, soma, produto e complemento.GOTTLOB FREGE: Quem tambem foi importante para a logica matematica foi o filosofo e matematico Frege, sendo o primeiro a apresentar o calculo proposicional na sua forma moderna. Frege queria mostrar que a aritmetica era identica a logica e pode-se dizer que recriou a disciplina da logica ao construir o primeiro calculo de predicados. Um calculo de predicados e um sistema formal constituido por duas componentes: a linguagem formal e a logica.Inventou ainda, varias notacoes simbolicas como quantificadores e variaveis que poudesse fornecer fundamentos para logica matematica moderna. Em sintese, tentou criar um sistema capaz de transformar os raciocinios dedutivos da logica propriamente dita em deducoes matematicas. Falarei sobre, talvez, o projeto de lei mais discutido da area de informatica dos ultimos tempos: PL 607/2007PLS - PROJETO DE LEI DO SENADO, No 607 de 2007Ementa: Dispoe sobre a regulamentacao do exercicio da profissao de Analista de Sistemas e suas correlatas, cria o Conselho Federal e os Conselhos Regionais de Informatica e da outras providencias.Com esse projeto de lei fica obrigatorio que os programadores em geral necessitem de diploma para ter um emprego. Entao, comecemos a discussao...Bom, temos outras areas como medicina, direito, engenharia civil e tal, nessas areas o profissional comeca a se formar a partir do momento em que ele passa no vestibular e ingressa na faculdade. A partir dai ele ira aprender o que ele necessita para ser um bom profissional, arranjar um emprego e ganhar seu dinheirinho, certo? Mas tem um ponto importante ai, quais dessas pessoas que escolhem essas areas citadas anteriormente (nao apenas essas, citei apenas essas para exemplificar) ja procuraram conhecimento para sua vida profissional antes de entrar na faculdade?Pois e, na computacao e assim, quando voce comeca