É verdade, Rodrigo. Suspeito que isso em parte seja um condicionamento de uma tradição de procurar começar o ensino da lógica por silogismos categóricos. Mas, não posso pretender que seja tudo simples condicionamento.
Por outro lado, aviso que em textos de lógica fuzzy é comum já não querer distinguir entre notações conjuntísticas e lógicas. A notação usada para o complementar passa ser a mesma para negação e os símbolos para conjunção e disjunção são usados também para designar interseção e união. Ou seja, certos autores "fuzzy" acham positiva e mesmo desejável a confusão entre conjuntos e fórmulas a que você se refere. Por outro lado, fazer a distinção entre a parte finitária e a infinitária pode ser mais interessante, filosoficamente falando, para essa preocupação de ensinar lógica mas conscientizando o aluno do que está fazendo. Em 10 de abril de 2012 12:18, Rodrigo Freire <[email protected]>escreveu: > Considero que é importante em um curso de lógica enfatizar que há uma > parte finitária e uma parte infinitária. A parte finitária contém o básico > de teoria da prova. Mesmo a parte mais básica de teoria de modelos já é > infinitária. > > Acho que todos os livros de lógica, logo no começo, misturam conjuntos com > fórmulas. Muita gente fica coma ridícula dúvida do "ovo e da galinha" : o > que vem primeiro, teoria de conjuntos ou a lógica? ou, o que são esses > conjuntos que aparecem na lógica? Já vi pesquisadores experientes que não > conseguiram dar uma resposta direta para essas perguntas. > > A lógica necessária para desenvolver o básico da teoria de conjuntos das > definições básicas até provas de independência (forcing) é toda ela > finitária, pode ser feita em PRA, obviamente antecede a teoria de conjuntos > na organização canônica da matemática e está fundada no que eu chamo de > âmbito finitário (o alcance do raciocínio finitário no sentido explicado > pelo Hilbert). > > Abraço > Rodrigo > > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
