Fundamentos de Lógica e Conceitos Filosóficos

Regras Fundamentais da Lógica Formal

Modus Ponens (MP)

Dado um condicional e seu antecedente como premissas, podemos derivar a conclusão da condicional resultante.

Introdução da Implicação (II)

Se assumirmos A e constatarmos que B se segue (ou seja, que B é verdadeiro sob a premissa A), então podemos concluir que A implica B (A → B).

Introdução da Conjunção (IC)

Se temos duas premissas separadas, podemos concluir sua conjunção.

Eliminação da Conjunção (EC)

Dada uma conjunção como premissa, podemos concluir qualquer um de seus membros individualmente.

Introdução da Disjunção (ID)

Se tivermos uma proposição como premissa, podemos adicionar qualquer outra proposição disjuntivamente, e essa disjunção será verdadeira.

Eliminação da Disjunção (ED)

Dada uma disjunção, infere-se que pelo menos um de seus componentes é verdadeiro (Prova por Casos).

1. Assumir cada disjunto separadamente.
2. Se, ao assumir cada disjunto, chegamos ao mesmo resultado, então esse resultado segue da disjunção lógica inicial, mesmo sem saber qual disjunto é verdadeiro.

Dupla Negação (DN)

Negar uma proposição duas vezes é equivalente a afirmá-la. (¬¬A ≡ A).

Redução ao Absurdo (RAA)

Método para provar uma conclusão negativa (ou qualquer conclusão, provando a falsidade de sua negação).

1. Assumir a negação da conclusão que se deseja provar.
2. Seguir-se-á desse pressuposto uma contradição (absurdo).
3. A negação do pressuposto inicial é, portanto, verdadeira, levando à conclusão desejada.

Filosofia

A Filosofia é uma atividade natural do ser humano, surgindo espontaneamente em seu pensamento como uma busca por compreensão.

Características da Filosofia

• Totalidade: Tentativa de conhecer tudo o que existe, questionando toda a realidade, o ser e todas as coisas.
• Ultimidade ou Profundidade: O objetivo é conhecer a realidade em sua profundidade total e absoluta, buscando o fundamento, a raiz ou a causa primeira para explicar eventos e fenômenos.
• Racionalidade: O conhecimento filosófico é tipicamente humano, fundamentado na razão e buscando consistência interna.
• Reflexivo: A reflexão é revista internamente, retornando ao mesmo conteúdo com uma nova perspectiva.
• Crítico: A crítica é utilizada para testar ideias, pensamentos e comportamentos transmitidos e aceitos.
• Especulativa ou Teórico: Contemplação mental cujo propósito é a busca por razões e fundamentos, e o prazer inerente a esse conhecimento.

Diferença entre Ciência e Filosofia

• O objetivo da Ciência é mais limitado e parcial, focado na especialização. A ciência estuda o funcionamento dos fenômenos e das leis que os regem.
• A Filosofia investiga a essência das coisas e busca seu fundamento último. Ela fornece uma visão geral de abordagens, problemas, métodos e teorias, caracterizando-se pela perspectiva abrangente.

A Natureza do Ser Humano

O ser humano se destaca entre os seres vivos por sua complexidade. Ele não pode manter uma atitude completamente passiva; sua existência no mundo é um incentivo constante para encontrar respostas adequadas para prosseguir.

Nos seres humanos, apenas uma parte das respostas é fixada pela natureza. Outras respostas, muito importantes, o homem deve descobrir e decidir por sua própria conta e risco, a fim de agir de forma adequada. Ele está aberto para o mundo.

Enquanto a resposta do animal inferior ao estímulo é automática, o animal superior organiza seu comportamento de acordo com seu conhecimento da realidade externa. O espírito do homem não está apenas ligado ao mundo, mas está aberto ao mundo. O homem tem um mundo e pode elevar o objeto que o cerca (o "perimundo"). Ele possui a capacidade intencional de acessar todos os objetos e é consciente de si mesmo, podendo, assim, moldar sua vida e seu próprio comportamento. Ele projeta seu futuro e está orientado para o mundo.

O ser humano é biologicamente inespecializado e desprovido de instintos verdadeiros. Para lidar com essa situação, o indivíduo desenvolve a capacidade de pensar. Com base nesse pensamento, o homem interpreta a natureza e se envolve nela: esta é a raiz da Cultura.

Modelos de Conhecimento

• Conhecimento Científico Formal (Matemática)
• Conhecimento Científico Experimental (Ciências Naturais)
• Conhecimento Filosófico