SILOGISMO

Um silogismo é um argumento dedutivo no qual é inferida um conclusão a partir de duas premissas.
As inferências silogísticas tratadas por Aristóteles dizem respeito a duas premissas e três termos, um dos quais é comum às duas premissas.

O problema de inferência silogística deixa-se formular do seguinte modo:
- que conclusão se segue de duas premissas com um termo comum a ambas e tal que este termo não ocorre na conclusão.
- ou como eliminar um termo comum a um par de premissas dado.
Em resumo:
Se de uma preposição com termos M. P. e de uma preposição com termos M. S. se infere um preposição Y com nenhuma ocorrência de M. então esta inferência chama-se silogismo.

Etinema: é um silogismo incompleto por não ser expressa uma das premissas.

Forma normal predicativa: S é P (sujeito/copula/predicado)

Regras de justificação silogística
- Predicado da conclusão é termo maior> (P) e ocorre na premissa maior ou 1ªpremissa.
- O sujeito da conclusão é termo menor< (S) e ocorre na premissa menor ou 2ª premissa. - O termo médio (M) ocorre em ambas as premissas e não na conclusão. Forma 1 - PREMISSA MAIOR M É P.

Se todos os antenienses são educadores de jovens.
2 - PREMISSA MENOR S É M.
E se Socrates é anteniense
3 - CONCLUSÃO S É P.
Então Socrates é educador de jovens.

M É O TERMO MÉDIO.



SILOGISMO VÁLIDOS

I FIGURA - AAA ; AII ; EAE ; EIO
II FIGURA - EAE ; EIO ; AEE ; EOO
III FIGURA - AAI ; IAI ; AII ; EAO ; OAO ; EIO
IV FIGURA - AAI ; AEE ; IAI ; EAO ; EIO

APONTAMENTOS

Lição 9 e 10 28.09.2010
Sumário: Quantidade e Qualidade das preposições.
Inferencias.

Estrutura básica das preposições : Sujeito , cópula e predicado [S é P]

Tipo A - Universal Afirmativa
- Todo o S é P [Conversão por Limitação]

Tipo E - Universal Negativa
- Nenhum S é P [Coversão Simples]

Tipo I - Particular Afirmativa
- Algum S é P [Conversão Simples]

Tipo O - Particular Negativa
- Alguns S não é P [Conversão por Obversão]


U P
(Directa) - Todos os patos são aves.
P U
(Conversa) - Algumas aves são patos.



--> Em todas as preposições do tipo A , o sujeito ocorre universalmente e o predicado ocorre particularmente.
Qualquer preposição do tipo A é convertida por limitação , passando assim para uma preposição do tipo I.

--> Numa preposição do tipo I , o sujeito é particular e o predicado é particular.

--> Numa preposição do tipo O , o sujeito é particular e o predicado é universal.


- Nas preposições universais os sujeitos ocorrem universalmente.
- Nas preposições negativas os predicados ocorrem universalmente.


Regras de Conversão:
1. Em qualquer conversão o valor de verdade da directa tem de ser o mesmo da conversa.
2. Nenhum termo pode ocorrer na conversa mais extensa do que na directa.

Inferências complexas e imediatas

Raciocinio: Operação racional discursiva mediante a qual de duas ou mais preposições conhecidas se extraem uma ou várias outras preposições.

Raciocinio Dedutivo: Consiste em inferir , com outras necessidade lógica , de uma ou de duas preposições (ditas antecedentes) uma ou outra preposição (dita consequente) que ou está contida naquelas (dedução silogística) ou é sua consequência lógica.

Raciocinio Indutivo: A operação racional mediante a qual se conclui uma verdade universal ou geral a partir de verdades particulares.

RELATÓRIO : AULA 3/4 - 17.09.2010

Lição nº 3 e 4 17/09/2010
Sumário: Noções básicas de lógica (continuação).

1º Teste – 22 de Outubro
2º Teste – 26 de Novembro

- Qual é a utilidade da lógica?
Nós raciocinamos sem ter aprendido lógica embora a lógica seja importante para que o nosso pensamento se desenvolva com rigor e correcção.

- Qual é o objectivo da lógica?
O objectivo da lógica é estudar as condições sob as quais se pode estabelecer a validade de um raciocínio.

- Definição de lógica:
A lógica é o estudo dos métodos de princípios usados para distinguir o raciocínio correcto de um raciocínio incorrecto.

- Validade material:
Um pensamento ou juízo tem validade de material quando o seu conteúdo ou matéria se conforma com a realidade. Dizemos então que se trata de um juízo verdadeiro.

- Validade Formal:
Um pensamento tem validade formal quando os elementos que o constituem (conceitos no juízo e juízos no raciocínio) formam um todo coerente sem contradição interna e sem incompatibilidade.

Todos os homens são mortais.
Conceitos – Homens ; mortais
- Sócrates é homem logo é mortal.


- Regra da compreensão e da extensão dos termos:
Quando a extensão é mínima a compreensão e máxima e vice-versa.

- Definição de definição:
É uma classificação lógica. Definir é indicar de entre as suas propriedades, as que bastem para dizer o que a coisa é e distingui-la do que não é.

Classificação:
- A classificação vai do termo da maior extensão para o de menor compreensão .

Género + Espécie + Diferença especifica
Género = Animal
Espécie = Homem
Diferença especifica = Racional

Regras da Definição:
1. O termo do conceito a definir não pode entrar no corpo da definição e também não se pode recorrer a palavras da mesma família.
2. A definição tem de ser mais clara do que o definir.
3. A definição deve convir (conveniência) inteiramente a todo o definido mas não a mais.
4. Se o conceito é positivo a definição deve ser positiva. Se o conceito é privativo a definição pode tomar e toma normalmente a forma negativa.
5. A definição deve ser tão breve quanto possível sem prejudicar a compreensão necessária do conceito
6. A definição faz-se pelo género próximo e pela diferença especifica.

Clica e dá comidinha aos peixinhos :b