Filosofia 11º ano Lógica Formal

(REVISÃO)
-Definição de lógica


A lógica é uma disciplina filosófica que estuda a teoria de argumentação. Um argumento é uma ligação de afirmações ordenadas que algumas delas; as premissas; são usadas como justificação de uma conclusão.
Estuda a distinção entre argumentos corretos (argumentos válidos) e os incorretos (argumentos inválidos)

Quando ignoramos o conteúdo a que elas se referem,nas premissas, e temos apenas a nossa atenção focada nas relações ou tipo de relações existente entre as premissas e conclusão , estamos perante a Lógica Formal que tem interesse apenas em examinar os argumentos do ponto de vista da sua estrutura ou seja na sua Forma Lógica.

A lógica formal analisa a Validade dos argumentos, verifica se a conclusão se segue das premissas.

Um argumento só pode ser válido ou inválido. As premissas e conclusão podem ser falsas ou verdadeiras.

A validade é importante no domínio da Lógica Formal porque assegura que os nossos raciocínios partindo de afirmações verdadeiras chegue a conclusões verdadeiras.

A validade de um argumento depende da sua estrutura ou forma lógica ou seja como deve estar relacionadas as premissas e conclusão do argumento.

A argumentação silogística
Exemplo: silogismo categórico regular

Todos os Portugueses são sábios
Todos os minhotos são portugueses
Todos os minhotos são sábios




Recapitulando:

Relativamente a este exemplo a lógica estuda ou só tem interesse na sua estrutura ou na sua Forma. Não nos interessa o conteúdo das premissas (neste caso não importa saber se todos os Portugueses são ou não sábios ou se todos os minhotos são ou não portugueses).

Temos que nos focar é na estrutura do silogismo, ou seja se este silogismo é um raciocínio formado por três proposições. Em que ao termos as duas primeiras premissas se segue forçosamente a terceira premissa (a conclusão).


O silogismo válido como este tem que ser formado:

Três proposições
Premissa maior – contém o termo maior
Premissa menor – contém o termo menor
Conclusão : faz a ligação entre os dois termos


O termo maior (P) – é sempre predicado na conclusão
O termo menor(S) é sempre o sujeito da conclusão
O termo médio(M) é o que serve de mediador entre os antecedentes que permite a passagem das premissas á conclusão. Este termo se está presente nas premissas nunca poderá estar na conclusão.



Recapitulando:
a) Todos os portugueses são sábios
b) Todos os minhotos são portugueses
c) Todos os minhotos são sábios

ANTECEDENTE: a) premissa maior e b) premissa menor
CONSEQUENTE: Conclusão

Como analisar qual a premissa que contém o termo maior ou menor?

Temos que ter a noção da distribuição dos termos nas proposições:

A extensão de um termo (conceito) é um agrupado de coisas ou objetos abarcados por ele.
Quando um termo é universal - menciona a totalidade da sua extensão

Na proposição ou enunciado o termo desempenha o lugar do sujeito. A proposição é precedida por TODOS ou NENHUM ou qualquer quantificador que indique Universalidade.



Quando um termo é particular - refere-se apenas a uma parte da sua extensão.
Nas proposições o sujeito é precedido por ALGUNS, EXISTEM, CERTOS, etc.

Um termo seja ele SUJEITO OU PREDICADO SÓ SE ENCONTRA DISTRIBUIDO QUANDO OCUPA TODA A SUA EXTENSÃO OU SEJA QUANDO É DISTRIBUIDO UNIVERSALMENTE.

É necessário memorizar e entender este quadro:

Nas proposições tipo A:

TODOS OS HOMENS SÃO ANIMAIS
TODOS OS HOMENS SÃO(alguns)ANIMAIS

Nas proposições tipo E:

NENHUNS HOMENS SÃO ANJOS
NENHUNS HOMENS SÃO (todos os)ANJOS

Nas proposições tipo I:

ALGUNS HOMENS SÃO SANTOS
ALGUNS HOMENS SÃO (alguns) SANTOS

Nas proposições tipo O:

ALGUNS HOMENS NÃO SÃO LOUCOS
ALGUNS HOMENS NÃO SÃO (todos os) loucos.





Proposições A e E (TODOS, NENHUNS) , o termo relativo ao sujeito é universal.
SUJEITO DISTRIBUIDO

Proposições I e O (ALGUNS …SÃO/ALGUNS…NÃO SÃO), o termo relativo ao sujeito é particular – não se encontra distribuído porque se refere apenas a alguns elementos





RELATIVAMENTE AO PREDICADO:
Este só se encontra distribuído nas proposições negativas E e O.

(suj) NENHUNS HOMENS SÃO ANJOS. (predicado)são anjos. TODOS os anjos.

(suj)ALGUNS HOMENS NÃO SÃO LOUCOS/predicado(todos os loucos)






Nas proposições afirmativas A e I não está distribuído.

(suj)TODOS OS HOMENS SÃO ANIMAIS/(predicado)são animais.

Não …são apenas ALGUNS.


(suj)ALGUNS HOMENS SÃO SANTOS…são apenas alguns

continuação na próxima aula