domingo, 21 de outubro de 2012

Matriz para a Prova de Avaliação de Outubro 2012

I - Competências:

1. Aplicar as regras teóricas em exercícios práticos.






2. Interpretar correctamente proposições.

3. Memorizar regras e definições.

4. Compreender o modo de inferir uma proposição de outra.

5. Apreender a forma lógica de uma proposição e de um argumento.


II - Conteúdos:

1.De que trata a Lógica.
2.Verdade e validade.

3.Validade dedutiva e não dedutiva.

4.Validade formal e forma lógica.






5. Lógica Aristotélica:

5.1.Os Termos:

- Definição
 
- Distinção Termo/Conceito

- Extensão e Compreensão dos Termos

5.2 As proposições:

- Definição

- Estrutura padrão ou Forma canónica. (A, E, I O)

- Redução de proposições à sua forma padrão.

- Classificação de proposições.

- Negação de proposições.
 
 
5.3. Oposições:
 
- Contraditórias, Contrárias, Subcontrárias e Subalternas.
 
- Regras para inferir o valor de verdade das proposições opostas.


5.4. Inferências mediatas: O silogismo.

- Definição de silogismo.

- Forma lógica do silogismo.

- Distribuição dos termos nas proposições.

- Validade e regras de validade.

- Figuras e modos do silogismo

- Conversão de um argumento à forma padrão do silogismo categórico.

- Silogismos hipotéticos.

-Dilemas.
 
 
Boa Sorte e bom estudo!
 


3 comentários:

João Dinis Martins disse...
Este comentário foi removido pelo autor.
João Dinis Martins disse...

Olá Prof.,

tenho uma dúvida: o que é a validade dedutiva, validade não dedutiva e validade formal?

Helena Serrão disse...

João, Olá!
Validade dedutiva: a conclusão segue necessariamente das premissas, se estas são verdadeiras a conclusão não pode ser falsa, é necessariamente verdadeira. Validade não dedutiva é que as premissas podem ser verdadeiras e a conclusão é só provavelmente verdadeira, isto é, nos argumentos não dedutivos premissas verdadeiras não asseguram conclusão verdadeira, visto esta poder ser falsa (não é provável mas pode acontecer).
Validade formal é aquela que decorre da forma de um argumento. Só os argumentos dedutivos têm forma lógica, logo só esses têm validade formal.