Escolar Documentos
Profissional Documentos
Cultura Documentos
- empírico é o conhecimento ou alegado conhecimento obtido com recurso à experiência (observação, experimentação,…), isto é,
com recurso ao mundo.
Como é que podemos distinguir os problemas filosóficos dos problemas das ciências empíricas e da Matemática?
« A Filosofia é diferente da ciência e da Matemática. Ao contrário da ciência, não assenta em experimentações nem na observação,
mas apenas no pensamento, E, ao contrário da Matemática, não tem métodos formais de prova. A Filosofia faz-se colocando questões,
argumentando, ensaiando ideias e pensando em argumentos possíveis contra elas e procurando saber como funcionam realmente os
nossos conceitos.»
O que é a lógica?
A lógica é uma área do conhecimento que estuda as inferências, distinguindo aquelas que são corretas daquelas que são incorretas.
Esta estuda a correção ou incorreção das inferências e mais especificamente dos raciocínios e dos argumentos.
- uma inferência é uma operação em que se transforma uma quantidade de informação, noutra quantidade de informação. Ex.. 2x2=4
O que é um problema?
Um problema é uma dificuldade que, pelo menos em filosofia, deve ser expresso numa pergunta. Ex.: Será que Deus existe?
- há frases declarativas absurdas ou sem sentido como esta: “As ideias verdes dormem furiosamente juntas”.
O que é um argumento?
Um argumento é um conjunto de proposições em que uma delas, a conclusão tenta ser defendida por outra/s (premissas). Ex.:
1. Se estou em Almada, então estou em Portugal.
2. Estou em Almada.
3. Logo, estou em Portugal. (conclusão/tese)
FORMAS LÓGICAS
Tipo de proposição Conetiva Constante lógica
Negação não ¬
Conjunção e ˄
Disjunção inclusiva ou ˅
Disjunção exclusiva ou...ou ˅
Condicional se...então →
Bicondicional Se e só se ↔
Forma lógica:
• utiliza-se uma linguagem simbólica;
• recorre-se a símbolos (variáveis proposicionais e constantes lógicas) para formalizar as proposições;
Forma canónica:
• utiliza-se a linguagem natural;
• expressam-se as proposições de uma forma clara e explícita;
- NEGAÇÃO: inverte o valor de verdade da proposição inicial. Se esta é verdadeira, a sua negação é falsa, e vice-versa.
P ¬P
V F
F V
- CONJUNÇÃO: só é verdadeira quando ambas as conjuntas são verdadeiras.
P Q P ˄ Q
V V V
V F F
F V F
F F F
- DISJUNÇÃO EXCLUSIVA: é verdadeira quando as disjuntas têm valores de verdade diferentes e falsa se as disjuntas tiverem o
mesmo valor de verdade. Distingui-se da disjunção inclusiva porque exclui a possibilidade de ambas as disjuntas serem verdadeiras.
P Q P ˅ Q
V V F
V F V
F V V
F F F
- CONDICIONAL: só é falsa se a antecedente for verdadeira e a consequente falsa. Nas outras circunstâncias é verdadeira.
P Q P → Q
V V V
V F F
F V V
F F V
- BICONDICIONAL: é verdadeira quando as proposições componentes t~em valores de verdade iguais e falsa quando as
proposições componentes têm valores de verdade diferentes.
P Q (P→Q) ˄ (Q→P) P ↔ Q
V V V V V V
V F F F V F
F V V F F F
F F V V V V
O que é a validade?
A validade é uma propriedade das inferências e, nomeadamente dos argumentos. Segundo a qual é impossível se as premissas forem
verdadeiras e a conclusão ser falsa.
Indicadores de premissa Indicadores de conclusão
• Pois; • Logo;
• Porque; • Por isso;
• Dado que; • Portanto;
• Devido a; • Sendo assim;
• Uma vez que; • Consequentemente;
• Ja que; • Daí que;
• Visto que; • Como tal;
• Admitindo que; • Infere-se que;
• Pela razão de que; • Concluindo;
Exercício de aplicação:
Se o conhecimento fosse simplesmente uma crença, toda a crença seria conhecimento. (1º premissa)
Se toda a crença fosse conhecimento, os seres humanos não seriam falíveis. (2º premissa)
Os seres humanos são falíveis. (3º premissa)
Logo, o conhecimento não é simplesmente uma crença. (conclusão)
P→Q / Q→¬R / R / ¬P
P Q R P → Q Q → ¬R R ¬P
V V V V F V F
V V F V V F F
V F V F V V F
V F V F V F F
F V V V F V V
F V F V V F V
F F V V V V V
F F F V V F V circunstância válida
R: O argumento é válido, pois não há qualquer circunstância em que as premissas sejam verdadeiras e a conclusão falsa (linha 7 no
inspetor de circunstâncias), o que está de acordo com a definição de verdade.