O estudo da lógica nos permite, portanto, de forma prática, entender É aquela que parte de premissas afirmativas ou leis mais gerais como nosso raciocínio lógico é formado, fundamentar nossos permitindo a obtenção de verdades menos gerais ou particulares. Na argumentos, escrever e registrar de forma organizada, nos comunicar lógica dedutiva as conclusões são presumivelmente necessárias (se as melhor, além de fazer conexões entre diversos assuntos e entender premissas são verdadeiras então as conclusões também o são) melhor o mundo que está a nossa volta. Chamamos Silogismo esse tipo de argumentação lógica
Lógica Formal Lógica Indutiva
Quando analisa e representa a forma de qualquer argumento para que Se preocupa com argumentos que permitem conclusões gerais a partir possa ser considerado válido para alguma conclusão. lida com as de casos particulares. Após considerar um suficiente número de casos relações entre premissas e as conclusões que se chegam a partir das particulares, conclui uma proposição geral. premissas, independentemente se a premissa é verdadeira ou falsa Proposição: é um pensamento em forma de frase declarativa. Essa Um cuidado a ser tomado com a lógica indutiva é que um proposição pode ser verdadeira ou falsa. A lógica não permite único contraexemplo é capaz de inavalidar todo um concluir se uma proposição ou afirmação é verdadeira ou falsa, raciocínio. ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras. Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do Um exemplo famoso é que por séculos a silogismo. Premissas podem ser verdadeiras ou falsas. afirmação “todo cisne é branco” foi considerada verdadeira pelos europeus, pois a cada encontro Argumento: conjunto de enunciados que se relacionam uns com com um cisne, eles verificavam que sua cor era os outros. branca. Pela lógica indutiva, chegou-se à Silogismo: consiste em um raciocínio dedutivo (premissas) e conclusão que todos eram brancos. Com as navegações, entretanto, verificou-se que na possibilita a dedução de uma conclusão a partir das premissas. Austrália há cisnes negros. O contraexemplo, Falácia: consiste em argumentos que logicamente estão portanto, invalidou imediatamente a conclusão incorretos. anterior.
Inferências Conhecimento Empírico: É obtido por meio de nossos sentidos, á
observação, á experimentação, com base na presença real de determinado objeto. É o processo que permite chegar a conclusões a partir de premissas, Conhecimento Puro: É relativo á representação que não mescla constituindo a argumentação lógica perfeita, elas podem ser de dois com a sensação, é puramente racional, não depende de nenhuma tipos: indutiva e dedutiva. Uma inferência invalida é chamada de informação vinda de nossos sentidos. falácia.