O ponto de partida da lógica aristotélica é o conceito de proposição. Uma proposição é uma sentença que pode ser verdadeira ou falsa. Por exemplo, a proposição “o céu é azul” é verdadeira em um dia de céu claro e falsa em um dia nublado. Apenas proposições podem ser verdadeiras ou falsas. Se além diz […]

Qualidade e quantidade são características de proposições categóricas. A qualidade de uma proposição pode ser negativa ou afirmativa. É afirmativa quando inclui todos ou alguns membros em uma classe – as duas possibilidades são “todo S é P” e “algum S é P”. Por outro lado, é negativa quando exclui um ou todos os membros […]

O lógico do século XIX John Venn criou um sistema de diagramas para representar as informações expressas em proposições categóricas. Esses diagramas ficaram conhecidos como diagramas de Venn. O uso dessa ferramenta é útil para apresentar informações com bastante clareza e assim avaliar uma série de inferências diretas e a validade de silogismos. Em um […]

Conversão, obversão e contraposição são operações lógicas que podem ser feitas com proposições categóricas. Considere para início de explicação a proposição “alguns mamíferos são seres voadores”, ela quer dizer que existe pelo menos um membro da classe dos mamíferos que também é voador. Agora compare com a seguinte proposição “alguns seres voadores são mamíferos”. Considerando […]

O quadrado de oposições representa as relações existentes entre os quatro tipos de proposições categóricas. No canto superior esquerdo temos a proposição universal afirmativa (A), no canto superior direito a universal negativa (E), no canto inferior esquerdo a particular afirmativa (I) e no canto inferior direito a universal negativa (O). Conhecer o quadrado de oposições […]

Na análise de argumentos feita pela lógica, os argumentos podem ser separados em duas categorias: dedutivos e indutivos. Os primeiros são estudados pela lógica formal e os últimos pela lógica informal. O que é um argumento dedutivo? Um argumento dedutivo é aquele em que, se as premissas forem verdadeiras, a conclusão será necessariamente verdadeira. Em […]

Um argumento é um conjunto de afirmações das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar que a outra (a conclusão) é verdadeira.

A lógica estuda argumentos para verificar se são bons ou não, válidos ou inválidos. Ao analisar um argumento, podemos usar duas perspectivas: observar seu conteúdo ou sua forma lógica. Vamos entender qual a diferença entre esses conceitos através alguns exemplos. Considere o argumento abaixo Todo ser humano é mortal. Sócrates é um ser humano. Portanto, […]

Um argumento é válido quando é possível justificar adequadamente a conclusão através das premissas e é correto quando, além de ser válido, também possui premissas verdadeiras.

Uma proposição é aquilo que é expresso através de sentenças declarativas e que é verdadeiro ou falso.