Ben Carson escreveu:user f.k.a. Cabeção escreveu:A impossibilidade de validar todas as premissas se deve ao fato de que para validá-las, seriam adotadas novas premissas, que precisariam ser validadas. A menos que se crie a chamada lógica circular, onde conclusões validam premissas e vice-versa, o que em geral não é adequado, algumas premissas vão permanecer sem serem provadas (deduzidas).
Em geral? Quer dizer que há situações em que uma lógica circular tem utilidade?
Dante, acabei de verificar no tópico sobre a formação acadêmica que você cursa Filosofia. Todo o estudo da Lógica que você teve foi nesse curso? Você saberia dizer em quais cursos é possível se estudar Lógica? Imagino que em Matemática deve haver essa disciplina, e acabo de constatar que ela também integra o curso de Filosofia. Mais algum? Tem algum ótimo livro (em português) sobre os fundamentos dessa disciplina que você recomendaria? De preferência um que fosse acessível a um leigo.
Hoje a tarde eu me imaginei explicando os princípios da análise combinatória e da teoria das probabilidades ao Carlus. Mas agora estou com uma baita preguiça. Talvez amanhã eu me anime de novo com a idéia.
http://www.unicamp.br/prg/dac/catalogo2 ... html#ma111
MA110 Lógica e Conjuntos
Ementa: Elementos de lógica: cálculo proposicional, quantificadores, métodos de demonstração, falácias. Teoria intuitiva de conjuntos: operações fundamentais, funções, relações de equivalência. Conjuntos ordenados. Introdução à idéia de estrutura em matemática. Estruturas algébricas básicas.
MA159 Matemática para Intelectuais
Ementa: Elementos de lógica: cálculo proposional, quantificadores, métodos de demonstração, falácias. Teoria intuitiva de conjuntos: operações fundamentais, funções, relações de equivalência. Conjuntos ordenados. Introdução à idéia de estrutura em matemática. Estruturas algébricas básicas.
MA913 Matemática Finita
Ementa: Introdução à lógica. Lógica proposicional. Lógica de predicados. Exemplos de teorias matemáticas. Teoria informal de conjuntos. Conceitos básicos e notação. Ordem. Álgebras de Boole. Introdução à matemática discreta: grupamentos combinatórios e contagem. Configurações combinatórias. Elementos da teoria de grafos.
http://www.unicamp.br/prg/dac/catalogo2 ... html#hg107
HG001 Introdução à Lógica
Ementa: O curso tem por objetivo examinar as noções mais elementares da moderna lógica simbólica, como as funções proposicionais, quantificação, função de verdade, verdade lógica, modelo, linguagem formal e método axiomático. Tratar-se-á também de levantar a questão do alcance e limites da aplicação de tais noções na investigação das línguas naturais.
HG404 Introdução à Lógica
Ementa: O curso tem por objetivo examinar as noções mais elementares da moderna lógica simbólica, como as funções proposicionais, quantificação, função de verdade, verdade lógica, modelo, linguagem formal e método axiomático. Tratar-se-á também de levantar a questão do alcance e limites da aplicação de tais noções na investigação das línguas naturais.
HG510 Tópicos Especiais de Lógica I
Ementa: O curso tem por objetivo desenvolver algumas noções da Lógica Contemporânea (pós-Frege), de acordo com pesquisas em andamento dos docentes vinculados.
HG610 Tópicos Especiais de Lógica II
Ementa: O curso se propõe a desenvolver tópicos em lógica, de acordo com as pesquisas em andamentono departamento de filosofia.
HG710 Tópicos Especiais de Lógica III
Ementa: O curso se propõe a desenvolver tópicos em lógica, de acordo com as pesquisas em andamento no departamento de Filosofia.
HG903 Tópicos Especiais de Filosofia da Lógica I
Ementa: O curso se propõe a desenvolver tópicos em filosofia da lógica, a partir de textos clássicos pertinentes, de acordo com as pesquisas em andamento no departamento de Filosofia.
HG904 Tópicos Especiais de Filosofia da Lógica II
Ementa: O curso se propõe a desenvolver tópicos em filosofia da lógica, a partir de textos clássicos pertinentesm, de acordo com as pesquisas em andamento no departamento de Filosofia.
http://www.unicamp.br/prg/dac/indexP1S.php
HF001 Introdução à Lógica
Elementos de Lógica de primeira ordem, abordando detalhadamente o cálculo proposicional clássico e apresentando as principais técnicas metalógicas. Estudo detalhado de cálculo de predicados clássico. Teorias de primeira ordem. Caracterização, completude e compacidade.
HF005 Teoria dos Conjuntos I
Visão geral da teoria intuitiva. Ordinais e cardinais. O axioma da escolha. A hipótese do contínuo. Noções sobre ZF, e sistemas correlatos.
HF007 Lógicas não-Clássicas
Lógicas relevante, paraconsistente, intuicionista, discursiva, quântica e outras não-clássicas.
HF010 Álgebra da Lógica
Esta disciplina visa aos estudantes as contrapartes estritamente matemáticas (algébricas e topológicas) tanto da sintaxe usual da Lógica de Primeira Ordem e da Lógica Proposicional, quanto dos principais teoremas metalógicos. Deste modo, além de tratar dos temas referentes a reticulados, álgebras de Boole, estuda-se também a formalização booleana da Lógica Quantificacional por meio de álgebras de Lindembaum, bem como álgebras cilíndricas e poliádicas.
HF960 Seminário de Orientação em Lógicas não Clássicas II
HF964 Seminário de Orientação em Semânticas Formais III
Na HG404 a bibliografia usada foi o Introdução à Lógica do Cezar A. Mortari. Ele trata de:
- Cálculo Proposicional Clássico (CPC)
- Cálculo de predicados monádicos de primeira ordem
- Cálculo Quantificacional Clássico (CQC) ou cálculo de predicados geral de primeira ordem
- Cálculo de predicados de primeira ordem com identidade e símbolos funcionais (CQCf=)
- Um breve parecer sobre as lógica não-clássicas.