Logica de predicados

podem ser adequadamente formalizados em lógica proposicional. Como exemplo, considere o argumento a seguir: Sócrates é homem. Todo homem é mortal. Logo, Sócrates é mortal. Intuitivamente, podemos ver que esse argumento é válido. No entanto, usando lógica proposicional, a formalização desse argumento resulta em {p, q} |= r e não há como mostrar que a conclusão r é uma conseqüência lógica das premissas p e q. Isso acontece porque a validade desse argumento depende do significado da palavra todo, que não pode ser expresso na lógica proposicional. De fato, para tratar argumentos desse tipo precisamos da lógica de predicados. 1. Sintaxe da lógica de predicados Alem dos conectivos lógicos (¬, /\, \/, ->), as formulas bem-formadas da lógica de predicados são compostas por objetos, predicados, variáveis e quantificadores. 1.1 Objetos e predicados Na lógica de predicados, a noção de objeto é usada num sentido bastante amplo. Objetos podem ser concretos (e.g., esse livro, a lua), abstratos (e.g., o conjunto vazio, a paz), ou fictícios (e.g., unicórnio, Saci Pererê). Objetos podem ainda ser atômicos ou compostos (e.g., um teclado é composto de teclas). Em suma, um objeto pode ser qualquer coisa a respeito da qual precisamos dizer algo. Por convenção, nomes de objetos são escritos com inicial minúscula e assumimos que nomes diferentes denotam objetos diferentes. 1.2 Variáveis e quantificadores Grande parte da expressividade da lógica de predicados e devida ao…

FILOSOFIA 1. O que é virtude para Sócrates? Para Sócrates as pessoas deveriam concentrar os seus esforços em serem virtuosos, para si mesmos, para seus amigos e para a comunidade a que pertencem pois a virtude deve ser conquistada também pelo grupo humano, pela polis. A virtude era a qualidade essencial que faz do ser o que ele é, assim é virtuoso o homem que tenta ser bom e perfeito utilizando a razão e o conhecimento para atingir esse objetivo porque essas qualidades são…

Dialéticaaa Também conhecida como a Arte da Palavra, Aristóteles considerava Zenão de Eleia o fundador da dialética. Outros consideraram Sócrates. Um dos métodos dialéticos mais conhecidos é o desenvolvido pelo filósofo alemão Georg Wilhelm Friedrich Hegel. O conceito de dialética, porém, é utilizado por diferentes doutrinas filosóficas e, de acordo com cada uma, assume um significado distinto. Para Platão, a dialética é sinônimo de filosofia, o método mais eficaz de aproximação entre…

INTRODUÇÃO À LÓGICA Tomemos o seguinte raciocínio: Todos os homens são mortais. Sócrates é homem. Logo, Sócrates é mortal. Pois bem, este é um raciocínio >lógico. Os dois primeiros enunciados são as premissas e o último enunciado é a conclusão. Os fatos apresentados (o fato de que todos os homens são mortais e o fato de que Sócrates é homem) servem de evidência para a conclusão. São eles que sustentam a conclusão. Mas o que é lógica? Veja o que ensina a filósofa Marilena Chauí:…

FILOSOFIA, RETÓRICA E DEMOCRACIA ANO LETIVO DE 2014-15 11º ANO DOCENTE: Maria Fernanda Fernandes Para compreendermos as relações (nem sempre pacíficas) entre a Retórica e a Filosofia, convém fazermos uma «viagem» ao berço da Filosofia. Séc. VI a. C. - Período Pré-Socrático O tema central dos filósofos anteriores a Sócrates, foi o Universo e com os fenômenos da natureza. Marcam o início das explicações naturalistas e racionalistas (em oposição ao pensamento mítico…

Lógica Numa perspectiva geral pode-se dizer que a lógica é a ciência que tem por objecto determinar, por entre todas as operações intelectuais que tendem para o conhecimento do verdadeiro, as que são válidas e as que o não são. Numa visão mais popular, lógica é entendida como o estudo do raciocínio correcto. Sendo um instrumento que está ao serviço das ciências, a lógica preocupa-se fundamentalmente com o aspecto formal do raciocínio ou argumento. Hoje a lógica encontra-se…

A verdade lógica dos enunciados O que é e o que não é considerado verdade lógica têm sido uma questão de esclarecimento, até mesmo no início do século XX. Uma verdade lógica foi considerada por Ludwig Wittgenstein como um enunciado o qual é considerado verdadeiro em todos os mundos possíveis1 . Neste caso, a verdade lógica entra em contraste com um fato, sendo este verdadeiro apenas neste mundo. Mais tarde, com o surgimento da lógica formal, uma verdade lógica foi considerada…

arte de ensinar destes homens sábios: “ não venhas me dizer que são esses pedantes, charlatões cairefonte e esse embusteiro Sócrates”. Não vendo outra solução, Estrepesiades decide matricular-se ele mesmo nessa escola, uma vez que necessita mesmo de aprender essa lógica sofística ou socrática (como o autor as descreve), ou arte da argumentação, para se poder ver livre de todas as suas dívidas. Em conversa com Sócrates, chega-se á conclusão que Estrepesiades já não tem capacidade…

Exercícios de Lógica Matemática 1:Qual é a conclusão das premissas: A: Premissa 1 – Todo mamífero tem um coração. Premissa 2 – Todos cães são mamíferos. Logo: Todo cão tem um coração. Certo b- Premissa 1 – Todos os portugueses tem olhos azuis. Premissa 2 – Zidane é português. Logo: Zidane tem olhos azuis. c- Premissa 1 – Todos os homens são mortais. Premissa 2 – Sócrates é um homem. Logo: Sócrates é um mortal. d- Premissa 1 – Há um movimento no…

Índice Introdução 1 A lógica aristotélica 2 O Sistema aristotélico 2 O termo 2 A Proposição 2 O que é uma proposição 3 O Silogismo 3 Termos Similares 4 Conclusão 8 Bibliografia 9 Introdução Aristóteles é considerado o fundador da lógica formal por ter determinado que a validade lógica de um raciocínio depende somente de sua forma ou estrutura, e não de seu conteúdo. Introduziu a análise da quantificação dos enunciados e das variáveis, realizou o estudo sistemático dos casos em que…