Lógica

Filosofia
Lógica e Silogismo - A lógica estuda a distinção entre argumentos corretos e incorretos ou validos e inválidos, mediante a identificação da verdade de certas crenças à verdade de outras. Dedicando-se assim ao estudo das leis, princípios e regras a que devem obedecer, o pensamento e o discurso, para serem válidos.
Lógica Formal: esta analisa a validade dos argumentos dedutivos, avaliando a relação entre as premissas e a conclusão, para determinar a validade ou invalidade.
Logica Informal: esta analisa a validade dos argumentos não dedutivos, avaliando a relevância e sustentabilidade da força persuasiva. Portanto esta lógica tem dois papéis, clarificar o pensamento e evitar erros de raciocínio. - Validade e Verdade
A validade e a invalidade são propriedades dos argumentos e não das proposições.
Um argumento só é valido se as premissas forem verdadeiras, e consequentemente a conclusão seja verdadeira.
A verdade e a falsidade são propriedade das proposições. - Validade dedutiva e Validade não dedutiva Um argumento dedutivo só é considerado valido quando as suas premissas vão ao encontro da conclusão, ou seja, se a conclusão for verdadeira as premissas têm de ser verdadeiras. Enquanto os argumentos não dedutivos são aqueles em que as premissas apenas aceitam a conclusão ou a probabilidade de elas ser verdadeira. - Compreensão e extensão de conhecimentos
Ordem crescente: do menos compreensivo para o mais compreensivo Exemplo: Infinito, Via Láctea, Planeta e Marte
Ordem decrescente: do mais compreensivo para o menos compreensivo Exemplo: Marte, Planeta, Via Láctea e Infinito
Ordem crescente: do menos extenso para o mais extenso Exemplo: Marte, Planeta, Via láctea e Infinito
Ordem decrescente: do mais extenso para o menos extenso Exemplo: Infinito, Via láctea, Planeta e Marte

- Frases