
LÓGICA é um ramo da filosofia que ESTUDA o RACIOCÍNIO CORRETO, ARGUMENTOS e INFERÊNCIAS.
O Diagrama de Ven
Pode ser simplificadamente e inicialmente descrita por 3 componentes: PREMISSA, CONCLUSÃO e REGRA LÓGICA.
PREMISSA … são as proposições em que se baseia a conclusão.
REGRAS LÓGICAS … ou REGRAS de INFERÊNCIA … são baseadas em AXIOMAS (“VERDADES ABSOLUTAS” para um dado SISTEMA LÓGICO e que não são provadas) e nos TEOREMAS (desdobramentos dos axiomas).
CONCLUSÃO é o resultado da aplicação das premissas e regras de inferência.

Com esses 3 componentes e suas relações – premissas, regra e conclusão – são modelados três tipos de raciocínio lógico: DEDUÇÃO, INDUÇÃO e ABDUÇÃO.
DEDUÇÃO … é usar uma regra geral para garantir a verdade de uma regra específica … por exemplo, usar resultados de experimentos e conhecimento científicos para garantir resultados em contextos mais específicos.
INDUÇÃO … é uma conclusão mais genérica à partir um conjunto de regras e observações específicas que são projetadas ou generalizadas além do escopo garantidamente verdadeiro, e sim provavelmente verdadeiro e vem ser submetidas ou produto de experiências,
ABDUÇÃO … é um tipo de partir da conclusão e regra de inferência chegar as premissas.
- LÓGICA está na base da filosofia (é uma espinha dorsal).
- Conectada os outros ramos base da filosofia como METAFÍSICA (estudo da existência), EPISTEMOLOGIA (estudo do conhecimento) e ÉTICA (estudo da conduta) … e todos os tipos de FILOSOFIA DA CIÊNCIA.
- A lógica, metafísica, epistemologia, todas essas dimensões filosóficas estão conectadas, compõem o conhecimento filosófico, que está na base do conhecimento científico.
Dedução
DEDUÇÃO é UMA REGRA de INFERÊNCIA ou PROCESSO MENTAL PARA GARANTIR QUE UMA CONCLUSÃO SEJA “NECESSARIAMENTE” VERDADEIRA À PARTIR DE DUAS PREMISSAS VERDADEIRAS.
Dedução, tanto na lógica quanto na contabilidade, significa ‘tirar’.
Aplica-se à partir de um contexto maior (geral) para um menor (particular).
Utiliza regra de inferência e premissas para chegar a uma conclusão.
Exemplo:
- “Quando chove, a grama fica molhada (verdade maior)”.
- Choveu hoje (verdade atrelada a verdade maior).
- Portanto, a grama está molhada (conclusão necessária).
A partir de premissas validadas pela ciência e tidas como verdadeiras, são elaboradas (“tiradas”) as verdades particulares. Assim, a conclusão só pode ser considerada correta se todas as premissas forem verdadeiras.
Na dedução, as informações observadas e coletadas (“tiradas”) permitem garantir a verdade da sua resposta ou conclusão, baseada em axiomas (verdades) e regras universais (largamente aceitas e comprovadas).
Na lógica dedutiva o resultado é extraído dos dados, as premissas de um argumento dedutivo válido “implicam logicamente” a conclusão, sem dúvida ou aleatoriedade.
Essa “implicação lógica” significa que todos os estados de coisas logicamente possíveis que torna as premissas verdadeiras deve tornar a conclusão também verdadeira.
Assim, as premissas de um argumento dedutivo válido fornecem suporte total para a conclusão.
Para ganharmos habilidade de dedução precisamos usar ferramentas matemáticas, estatísticas, probabilísticas.
Dedução e Matemática
Um exemplo notório do pensamento dedutivo é o RACIOCÍNIO MATEMÁTICO, que tem como caracteríticas …
- Ser abstrato e lógico.
- Medir … Estudar quantidades ou qualidade do que pode ser medido ou contado, acrescido ou diminuído.
- Geometria … representar fórmulas e formas espaciais, distância, tamanho, posição relativa das figuras.
- Algebra … estudar variáveis, estruturar, formular e unificar a matemática.Elaborar fórmulas e estruturas (algebra).
- Probabilidade … descrever a ocorrência de eventos, posibilidades e impossibilidades.
O processo dedutivo pesquisa padrões e formula conjecturas ou hipóteses (ideias com fundamento não verificado).
A matemática, como ferramenta dedutiva, envolve o uso da razão pura para descobrir ou provar as propriedades de objetos abstratos (conceitos, simplificações da natureza) e uso de axiomas (postulados ou suposições tidas como verdadeiras), para servir como premissa ou ponto de partida para raciocínios e argumentos adicionais.
Uma prova matemática é uma sucessão de regras dedutivas (regras de inferência), que recebe premissas como imput, analisa sua sintaxe e retorna com conclusões e resultados já conhecidos.
A dedução matemática tem seu papel de destaque cada vez maior na era da informação e transformação gigital, mais é limitada para situações não matemáticas, ou qualitativas, que envolvem a percepção, sentidos, crenças, valores, experiência, intuição.
Métodos Dedutivos

Check List do Raciocínio Dedutivo
Existem vários tipos de ferramentas para aplicar o raciocínio dedutivo de forma eficaz e eficiente e tirar conclusões garantidamente corretas.
Veja 10 destaques:
CONCEITUAÇÃO – simplificar a realidade, via conceitos para facilitar compreender, modelar e simular contextos.
NÚMEROLOGIA … usar números para quantificar, simbolizar, contar, ordenar e medir.
ÁLGEBRA … criar equações com símbolos e regras matemáticas para modelar a realidade e suportar hipóteses.
GEOMETRIA … estudar posição e forma de objetos no espaço, equacionar a realidade e problemas espacialmente, através da definição de vários componentes … forma, dimensões, tamanho, posição relativa, topologia … é prima irmã da ALGEBRA … ambas se espelham e se complementam … toda equação algébrica pode ser representada por uma forma geométrica e vice versa.
ESTATÍSTICA – é a ciência que estuda métodos científicos para sistematizar, coletar, analisar, descrever, interpretar dados, gerar informação, fazer inferências quantitativas, checar hipóteses.
ESTRUTURAÇÃO ... organizar elementos ou conceitos para construir e suportar um todo unificado (sistema).
- ANÁLISE … dividir o todo em partes para facilitar a compreensão, causas e efeitos, explicação e resolução de problemas.
- SÍNTESE … integrar “partes essenciais” para construir um produto, serviço, solução, oferta.
- DEDUÇÃO … fazer inferências garantidamente corretas.
- PROCESSO … organizar atividades para transformar recursos e informações em resultados controlados e medidos.