projeto integrdo multidiciplinar

discutíveis do que a conclusão; por exemplo: Se Deus existe, a vida faz sentido. Deus existe. Logo, a vida faz sentido. Este argumento é mau porque as suas premissas não são menos discutíveis do que a sua conclusão. Este argumento pode ser o resumo de uma argumentação mais vasta em que se defenda cuidadosamente cada uma das premissas. Mas, nesse caso, mais uma vez, esses argumentos terão de partir de premissas menos discutíveis do que as conclusões. A noção do que é mais ou menos discutível é sem dúvida relativamente vaga e contextual; mas exibe uma condição necessária para que um argumento seja bom. E é importante ter consciência dela para que não se crie a crença falsa de que a validade é inútil para a argumentação e para a filosofia. Exercícios 1. Poderá um argumento sólido ter uma conclusão falsa? Porquê? 2. "A argumentação é inútil porque um argumento sólido pode não ser bom." Concorda? Porquê? 3. Poderá um argumento sólido não ser válido? Porquê? 4. Considere os seguintes argumentos: "O aborto não é permissível porque a vida é sagrada." "As touradas são permissíveis porque os animais não têm qualquer relevância moral." Serão estes argumentos bons? Porquê? 5. Poderá um argumento bom não ser sólido? Porquê? 6. Poderá um argumento bom não ser válido? Porquê? Validade formal e material Há um uso popular do termo "validade" que provoca confusões. Trata-se do uso em que se opõe a "validade material" à "validade formal". Dizer que uma afirmação como…

Desidério Murcho – Júlio Sameiro LÓGICA – 11.º ANO 1. O que é a lógica? 2. Lógica e filosofia. 3. As frases e o que elas dizem. 4. A forma lógica das proposições. 5. Argumentos e forma lógica. 6. A teoria lógica de Aristóteles. 7. A lógica moderna. 8. Indução. 9. Exercícios. 10. Bibliografia aconselhada. Com o apoio científico da 1 O que é a lógica? O objectivo desta brochura é dar aos professores algumas informações importantes no que respeita à lógica e ao seu ensino. Não é o…

Newton C. A. da Costa Décio Krause NOTAS DE LÓGICA Parte I: Lógicas Proposicionais Clássica e Paraconsistente (Texto Preliminar) CAPÍTULO 2 florianópolis 2004 2 Conteúdo 0.1 0.2 0.3 0.4 Conectivos Lógicos . . . . . . . . . . . . . . Simbologia . . . . . . . . . . . . . . . . . . Contextos Extensionais . . . . . . . . . . . Regras clássicas de dedução . . . . . . . . . 0.4.1 Prova de um condicional (PC) . . . 0.4.2 Mais sobre o condicional . . . . . . . 0.4.3 Prova por…

Apostila de Lógica Prof. Mário Benevides mario@cos.ufrj.br 19 de Setembro de 2013 UFRJ Motivação Prática • Álgebra de Boole • Programação em lógica (PROLOG) • Sistemas especialistas • Especificação de programas • Verificação de programas • Banco de dados: BD’s dedutivos Hipótese de mundo fechado Default / prioridades Ontologias • Sistemas distribuídos: Tempo Conhecimento e crença • Lei (Lógica deôntica) • Linguagens de programação Livros • Lógica para a…

INTRODUÇÃO À LÓGICA A lógica é a ciência do raciocínio. A lógica se dedica ao estudo dos conceitos de prova e verdade. Um dos objetivos da lógica é determinar se a argumentação utilizada por alguém para se chegar a uma certa conclusão é válida ou não. A lógica tem sido utilizada em todos as áreas da ciência: exatas, biológicas e humanas. É de uso comum por parte do matemático, do cientista da computação, do engenheiro, do advogado, do biológo, do historiador, etc... LÓGICA…

18/03/2012 Introdução IFMG-Formiga O que é Lógica? Lógica para Ciência da Computação É a formalização de linguagem e raciocínio, além de meios para expressar (dar significado) a essas formalizações. Interpretação Profª. Danielle Costa Mundo Sintático Mundo Semântico Alfabeto e Regras sintáticas: Sentenças bem formadas Significado: Valor verdade Material adaptado: Souza, João N. Lógica para Ciência da Computação. Uma introdução concisa 2…

Orientador: Prof. Cidade Ano de entregaApresentação da disciplina: A disciplina visa abordar o estudo dos princípios e fundamentos da lógica clássica, como o cálculo proporcional, as proposições, as principais operações lógicas e argumentos válidos; e alguns tópicos da matemática discreta, como a álgebra dos conjuntos, as principais operações com conjuntos e as relações entre álgebra de conjuntos e a álgebra de proposições. São discutidos os fundamentos teóricos e também a…

racionalidade imposta pelo paradigma científico da modernidade que ainda está vigente. Ela está fundamentada na lógica clássica: dedução, indução e na absolutização pela razão e ciência clássicas, dos três princípios básicos e inseparáveis da lógica identitária: o princípio da identidade, o princípio de não-contradição e o princípio do terceiro excluído. “Os três axiomas [absolutizados] estruturaram a visão de mundo coerente, inteiramente acessível ao pensamento, tornando ao mesmo tempo…

disciplina de Fundamentos de Lógica e Matemática Discreta. Orientador: Prof. Eliane Maria de Oliveira Araman 1 INTRODUÇÃO 3 2 Exercícios propostos 4 3 LÓGICA PARACONSISTENTE 16 4 LÓGICA DE FUZZY (OU LÓGICA DIFUSA) 18 5 CONCLUSÃO 20 1 INTRODUÇÃO O princípio da lógica fundamenta-se na ordem das ações tomadas em relação às atividades desenvolvidas individualmente no meio cotidiano. A base do estudo da lógica alicerça-se na análise detalhada de qualquer atividade realizada durante o…

LÓGICA 1.0 - O que é Lógica? A lógica estuda os princípios e métodos usados para distinguir um raciocínio correto de um incorreto. 1.1 – Classificação da Lógica. A lógica pode ser classificada como: Lógica indutiva: Trata de argumentos indutivos e dos testes para medir a probabilidade de um acontecimento. Lógica dedutiva: Trata da relação entre causas e dedução de conseqüências. Ela é dividida em: - Lógica clássica. - Lógicas complementares da clássica. - Lógicas não clássicas. …