Verbetes (confiáveis!) na Wikipédia sobre Lógica

Reproduzo abaixo mensagem do professor João Marcos, da UFRN, relatando experiência de criação supervisionada de conteúdo sobre lógica para a Wikipédia. É uma importante contribuição para a Wikipédia em português, que costuma ser criticada pela baixa qualidade de seus verbetes.

---------- Forwarded message ---------- From: Joao Marcos <jmarcos@dimap.ufrn.br> Date: 2008/7/2 Subject: [Logica-l] Mais conteúdo adicionado à Wikipédia lusófona To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <logica-l@dimap.ufrn.br> PessoALL: No início de 2007 relatei aqui na lista um experimento que foi feito com alunos de graduação na criação supervisionada de conteúdo para a Wikipédia lusófona: http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001031.html Foram implementados naquela ocasião 35 verbetes, através do trabalho cooperativo de 20 alunos: http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001032.html Confesso que este tipo de atividade de fim de semestre tem dado ao maluco do professor um trabalho absurdo, pois ele rarissimamente aceita a primeira versão que os alunos lhe entregam... Com efeito, eles recebem normalmente do mestre, ao invés, uma lista detalhadíssima de correções para que uma segunda versão seja produzida --- uma versão minimamente decente, de cujo conteúdo eles possam de alguma forma se orgulhar. Como é natural, mesmo após a revisão a qualidade geral dos verbetes ainda é irregular: alguns ficam simplesmente *ótimos*, às vezes até *bem melhores* do que a versão anglófona correspondente; outros permanecem com erros que envergonhariam qualquer especialista no assunto. De uma maneira ou de outra, quer-me parecer que este experimento de *criação de conteúdo* tem sido bastante bem sucedido, e também bastante útil. Alguns de vocês, ou seus alunos, talvez já têm encontrado alguns destes verbetes nos últimos tempos, em suas pesquisas na net, e quiçá o conteúdo tenha lhes parecido satisfatório, informativo e aproveitável. Entre os objetivos mais imediatos e frutíferos deste tipo de trabalhos, em geral, eu mencionaria: (i) a criação de conteúdo útil, livre, colaborativo e não-alienado, que continuará disponível e vivo muito depois que a disciplina em questão tiver formalmente se encerrado (ii) a oportunidade para os alunos de explorar em detalhe e aprender mais sobre algum tópico estreitamente relacionado com o tema da disciplina em questão (iii) a oportunidade para os alunos de praticar a capacidade de síntese e exposição cientificamente informada e matematicamente correta, uma das habilidades fundamentais a serem desenvolvidas na educação superior (iv) o estímulo à formação de uma nova geração de wikipedistas * * * Entre junho de 2007 e junho de 2008 a criação dos seguintes 75 verbetes envolveu 52 novos alunos: (para o bem ou para o mal, alguns destes verbetes já foram modificados neste ínterim; outros permaneceram intocados desde que foram criados) * "Acarretamento" / "Consequência semântica" http://pt.wikipedia.org/wiki/Acarretamento * "Alfred Horn" http://pt.wikipedia.org/wiki/Alfred_Horn * "Alfred Tarski" http://pt.wikipedia.org/wiki/Alfred_Tarski * "Algoritmo Chaff" http://pt.wikipedia.org/wiki/Algoritmo_Chaff * "Algoritmo de Davis-Putnam" http://pt.wikipedia.org/wiki/Algoritmo_de_Davis-Putnam * "Algoritmo DPLL" http://pt.wikipedia.org/wiki/Algoritmo_DPLL * "Anfeque" http://pt.wikipedia.org/wiki/Anfeque * "Argumento" http://pt.wikipedia.org/wiki/Argumento * "Assinatura (lógica)" http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 * "Atribuição (lógica)" http://pt.wikipedia.org/wiki/Atribui%C3%A7%C3%A3o_%28l%C3%B3gica%29 * "Axioma" http://pt.wikipedia.org/wiki/Axioma * "Axioma esquemático" http://pt.wikipedia.org/wiki/Axioma_esquem%C3%A1tico * "Cálculo proposicional implicacional" http://pt.wikipedia.org/wiki/C%C3%A1lculo_proposicional_implicacional * "Completude (lógica)" http://pt.wikipedia.org/wiki/Completude_%28l%C3%B3gica%29 * "Completude funcional" http://pt.wikipedia.org/wiki/Completude_funcional * "Consequência lógica" http://pt.wikipedia.org/wiki/Consequ%C3%AAncia_l%C3%B3gica * "Correção" http://pt.wikipedia.org/wiki/Corre%C3%A7%C3%A3o * "Dedução natural" http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural * "Derivação formal" http://pt.wikipedia.org/wiki/Deriva%C3%A7%C3%A3o_formal * "Disjunção exclusiva" http://pt.wikipedia.org/wiki/Disjun%C3%A7%C3%A3o_exclusiva * "Dupla negação" http://pt.wikipedia.org/wiki/Dupla_nega%C3%A7%C3%A3o * "Equivalência lógica" http://pt.wikipedia.org/wiki/Equival%C3%AAncia_l%C3%B3gica * "Estrutura (lógica)" http://pt.wikipedia.org/wiki/Estrutura_%28l%C3%B3gica%29 * "Forma de um argumento" http://pt.wikipedia.org/wiki/Forma_de_um_argumento * "Forma lógica" http://pt.wikipedia.org/wiki/Forma_l%C3%B3gica * "Forma normal algébrica" http://pt.wikipedia.org/wiki/Forma_normal_alg%C3%A9brica * "Fórmula (lógica)" http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 * "Fórmula atômica" http://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica * "Fórmula bem formada" http://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada * "Função de verdade" http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_verdade * "Função booleana" http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_booleana * "Grafo lógico" http://pt.wikipedia.org/wiki/Grafo_l%C3%B3gico * "Henry M. Sheffer" http://pt.wikipedia.org/wiki/Henry_M._Sheffer * "Interpretação (lógica)" http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 * "Interpretação pretendida" http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_pretendida * "Lei de Peirce" http://pt.wikipedia.org/wiki/Lei_de_Peirce * "Leon Henkin" http://pt.wikipedia.org/wiki/Leon_Henkin * "Lista de regras de inferência" http://pt.wikipedia.org/wiki/Lista_de_regras_de_infer%C3%AAncia * "Lista de teorias de primeira ordem" http://pt.wikipedia.org/wiki/Anexo:Lista_de_teorias_de_primeira_ordem * "Lógica proposicional" http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional * "NE (NAND)"' http://pt.wikipedia.org/wiki/NE_%28NAND%29 * "NOU (NOR)" http://pt.wikipedia.org/wiki/NOU_%28NOR%29 * "Operação unária" http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_un%C3%A1ria * "Operação ternária" http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_tern%C3%A1ria * "Peter Naur" http://pt.wikipedia.org/wiki/Peter_Naur * "Quadrado das oposições" http://pt.wikipedia.org/wiki/Quadrado_das_oposi%C3%A7%C3%B5es * "Quantificação" http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o * "Quantificação universal" http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_universal * "Quantificação existencial" http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_existencial * "Regra de inferência" http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia * "Relação bem-fundada" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bem-fundada * "Relação binária" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bin%C3%A1ria * "Relação de recorrência" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_de_Recorr%C3%AAncia * "Relação ternária" http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_tern%C3%A1ria * "Silogismo disjuntivo" http://pt.wikipedia.org/wiki/Silogismo_disjuntivo * "Silogismo hipotético" http://pt.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico * "Silogística booleana" http://pt.wikipedia.org/wiki/Silog%C3%ADstica_Booleana * "Símbolo não-lógico" http://pt.wikipedia.org/wiki/S%C3%ADmbolo_n%C3%A3o-l%C3%B3gico * "Sintaxe (lógica)" http://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 * "Sistema dedutivo" http://pt.wikipedia.org/wiki/Sistema_dedutivo * "Teorema da compacidade" http://pt.wikipedia.org/wiki/Teorema_da_compacidade * "Teorema da completude de Gödel" http://pt.wikipedia.org/wiki/Teorema_da_completude_de_G%C3%B6del * "Teoria semântica da verdade" http://pt.wikipedia.org/wiki/Teoria_sem%C3%A2ntica_da_verdade * "Universo de discurso" http://pt.wikipedia.org/wiki/Universo_de_discurso * "Valor de verdade" http://pt.wikipedia.org/wiki/Valor_de_verdade * "Valoração (lógica)" http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 * "Variáveis livres e ligadas" http://pt.wikipedia.org/wiki/Vari%C3%A1veis_livres_e_ligadas Foram inteiramente reescritos e reformados os seguintes verbetes pré-existentes: * "Aridade" http://pt.wikipedia.org/wiki/Aridade * "Constante" http://pt.wikipedia.org/wiki/Constante * "Lógica aristotélica" http://pt.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica * "Operação binária" http://pt.wikipedia.org/wiki/Opera%C3%A7%C3%A3o_bin%C3%A1ria * "Par ordenado" http://pt.wikipedia.org/wiki/Par_ordenado * "Problema de satisfatibilidade booleana" http://pt.wikipedia.org/wiki/Problema_de_satisfatibilidade_booleana * "Tautologia (lógica)" http://pt.wikipedia.org/wiki/Tautologia_%28l%C3%B3gica%29 * "Validade" http://pt.wikipedia.org/wiki/Validade Finalmente, os alunos envolvidos nesta empreitada, nestes últimos semestres, foram: Alexandre Everton Freire de Araujo Alexandre Guirao Tasca Alisson Santos do Nascimento Anderson Medeiros de Santana Atila Varela Ferreira Medeiros de Oliveira Beremiz Reno Cavalcanti Rodrigues de Macedo Carla da Costa Fernandes Carlos Eduardo Maia Cavalcanti de Lima Dalmo Vinicius Gomes Mendonca Danilo Chaves de Sousa Ichihara Danilo Curvelo de Souza Denyson Diego Delgado de Lima Edson Alyppyo Gomes Coutinho Elder Fernandes de Oliveira Erick Odlanier do Nascimento Xavier Cortez Erico Mozart da Silva Campelo Felizardo Lima Fernandes Sousa DAlmeida Gustavo de Araujo Sabry Haroldo Watson Teodosio da Silva Igor Augusto de Carvalho Alves Ivan Soares de Medeiros Junior Jackson Douglas Vital dos Santos Jacyana Suassuna Nunes Jeferson Queiroga Pereira Jhonatas Xavier da Silva Santos Joao Teixeira de Carvalho Neto Jose Sueney de Lima Kaio Henrique Fonseca Dantas Luis Celso Dantas Silveira Cruz Marcelo Pereira Maia Micael Felipe dos Santos Natalia dos Santos Lucena Neta Osmar Vieira da Silva Otto Luis Pontes Soares de Araujo Pablo de Melo Nascimento Paulo Victor Oliveira do Egito Pedro Henrique Ribeiro F Peixoto Priscilla Victor Dantas Randell Schneider da Camara Bezerril Raul Joaquim Camara dos Santos Renato Simonetti Bullio Rivaldo Rodrigues Machado Junior Samuel Paulino de Melo Talis Lincoln Fonseca Barbalho Thiago Aires de Medeiros Thiago Oliveira de Araujo Tyago Tayrony Rodrigues da Silva Valber Cesar Cavalcanti Roza Victor Leonardo Cavalcante Melo da Silva Victor Pereira Ferreira Vielimir Silva Luz Wendell de Farias Cortez Como é óbvio, estão todos os colegas convidados doravante a modificar, consertar e melhorar qualquer um dos verbetes supra-mencionados diretamente na Wikipédia. * * * É isso. Fica aqui então mais uma vez a divulgação da idéia e a homenagem a todos os envolvidos. Espero que a iniciativa de alguma forma se reproduza em outras partes, para o benefício de todos! Saudações lógicas, João Marcos -- My homepages: http://www.dimap.ufrn.br/~jmarcos/ http://slc.math.ist.utl.pt/jmarcos.html _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l