A lógica (do grego clássico λογική logos, que significa palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é uma ciência de índole Filosófica fortemente ligada à Matemática. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. A aprendizagem da lógica não constitui um fim em si. Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros.
domingo, 30 de maio de 2010
sábado, 29 de maio de 2010
Comentário sobre a série Dr House
A série de televisão “House” é exibida pelo canal fechado “Universal Chanel”. House é como uma espécie de Sherlock Holmes da medicina que se notabiliza por elaborar excelentes diagnósticos em situações extremamente complexas.
No começo do processo de diagnóstico os sintomas conhecidos são enunciados e escritos no quadro branco em que no mesmo são deliberadas várias doenças ou outros sintomas que vão surgindo. Como House gosta de mostrar aos outros que tem razão, recorre muitas vezes ao método Socrático que consiste em uma abordagem para geração e validação de idéias e conceitos baseada em mais perguntas.
No começo do processo de diagnóstico os sintomas conhecidos são enunciados e escritos no quadro branco em que no mesmo são deliberadas várias doenças ou outros sintomas que vão surgindo. Como House gosta de mostrar aos outros que tem razão, recorre muitas vezes ao método Socrático que consiste em uma abordagem para geração e validação de idéias e conceitos baseada em mais perguntas.
terça-feira, 25 de maio de 2010
Cálculo Proposicional
O Cálculo Proposicional Clássico (CPC) consiste num sistema simbólico de Lógica Clássica. E como todos os sistemas de lógica clássica, segue os seguintes princípios:
Bivalência: Cada fórmula recebe apenas um de dois valores distintos e absolutos, verdadeiro ou falso.
Não-contradição: Dadas uma fórmula e sua negação, uma delas é falsa.
Terceiro Excluído: Dadas uma fórmula e sua negação, uma delas é verdadeira.
Identidade: Se uma fórmula é verdadeira, então esta fórmula é verdadeira.
O CPC se distingue de outros sistemas de Lógica Clássica por lidar apenas com:
Bivalência: Cada fórmula recebe apenas um de dois valores distintos e absolutos, verdadeiro ou falso.
Não-contradição: Dadas uma fórmula e sua negação, uma delas é falsa.
Terceiro Excluído: Dadas uma fórmula e sua negação, uma delas é verdadeira.
Identidade: Se uma fórmula é verdadeira, então esta fórmula é verdadeira.
O CPC se distingue de outros sistemas de Lógica Clássica por lidar apenas com:
