LÓGICA COMBINACIONAL - Wuala

CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE SANTA CATARINA
GERÊNCIA EDUCACIONAL DE ELETRÔNICA
CURSO SUPERIOR DE TECNOLOGIA EM SISTEMAS DIGITAIS
UNIDADE DE ENSINO: LÓGICA COMBINACIONAL
1 LÓGICA
1.1 INTRODUÇÃO
A lógica ocupa um lugar de destaque no pensamento contemporâneo, tanto por sua
importância filosófica, como por suas implicações técnicas.
A relação entre a lógica e a realidade foi sempre uma das mais importantes questões da
filosofia e, através dessa, da teoria das ciências. Nascida na Grécia clássica, a lógica
formal tendeu sempre a assumir o caráter de disciplina exata, terminando por se fundir
intimamente com a matemática.
A palavra lógica é familiar, pois freqüentemente, fala-se em comportamento lógico,
explicação lógica, espírito lógico. Lógica, no sentido epistemológico, vem do latim logica,
ciência das leis do raciocínio. É usada, fundamentalmente, na mesma acepção de
razoável.
O estudo da lógica é o estudo dos métodos e princípios usados para distinguir o raciocínio
correto do incorreto. Naturalmente, não se pretende afirmar que só é possível argumentar
corretamente com alguém que tenha estudado lógica. No entanto, uma pessoa com
conhecimentos de lógica tem mais probabilidades de raciocinar corretamente do que
aquela que não se aprofundou nos princípios gerais implicados nessa atividade.
1.2 PRINCIPAIS CARACTERÍSTICAS DA LÓGICA FORMAL
A lógica caracteriza-se como:
? Instrumental: é o instrumento do pensamento para pensar corretamente e verificar a
correção do que está sendo pensado;
? Formal: não se ocupa com os conteúdos ou com os objetos referidos pelo
pensamento, mas apenas com a forma pura e geral dos pensamentos, expressas
através da linguagem.
? Propedêutica: é o que devemos conhecer antes de iniciar uma investigação científica
ou filosófica, pois somente ela pode indicar os procedimentos (métodos, raciocínios,
demonstrações) que devemos empregar para cada modalidade de conhecimento;
? Normativa: fornece princípios, leis, regras e normas que todo pensamento deve seguir
se quiser ser verdadeiro;
? Doutrina da prova: estabelece as condições e os fundamentos necessários de todas
as demonstrações;
? Geral e temporal: as formas do pensamento, seus princípios e suas leis não
dependem do tempo e do lugar, nem das pessoas e circunstâncias, mas são
universais, necessárias e imutáveis como a própria razão.
O objeto da lógica é a proposição, que exprime, através da linguagem, os juízos
formulados pelo pensamento. A proposição é a atribuição de um predicado a um sujeito:
S é P. O encadeamento dos juízos constitui o raciocínio e este se exprime logicamente
através da conexão de proposições, chamada silogismo. A lógica estuda os elementos
que constituem uma proposição (as categorias), os tipos de proposições e de silogismos
2