Caro Adolfo, Há vários livros interessantes, nos quais você pode encontrar boas histórias da lógica. Uma boa seleção dependerá do período e dos autores da história da lógica você pretende estudar.
Dentre as boas histórias gerais da lógica, eu gosto muito daquela escrita por I. M. Bochenski (A history of formal Logic) e a do casal Kneale (O desenvolvimento da Lógica). Cada uma delas é o melhor exemplar das correntes historiográficas que representam. A história de Bochenski pode ser considerada a melhor no estilo disciplinar e a do casal Kneale a melhor no estilo compreensivo. Boa história da lógica pode ser encontrada também na revista History and Philosophy of Logic, publicada desde 1980. É o ponto de encontro da boa pesquisa nessa área. Abs, Evandro. 2011/1/22 <[email protected]> > Enviar submissões para a lista de discussão Logica-l para > [email protected] > > Para se cadastrar ou descadastrar via WWW, visite o endereço > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou > corpo da mensagem para > [email protected] > > Você poderá entrar em contato com a pessoa que gerencia a lista pelo > endereço > [email protected] > > Quando responder, por favor edite sua linha Assunto assim ela será > mais específica que "Re: Contents of Logica-l digest..." > > > Tópicos de Hoje: > > 1. o teorema da incompletude não é apenas um joguinho de números > (Joao Marcos) > 2. Mais um P==NP, dessa vez com implementação em software. > (Rodrigo Valceli Raimundo) > 3. Livros sobre a História da Lógica (Adolfo Neto) > 4. Re: Livros sobre a História da Lógica (Decio Krause) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 21 Jan 2011 19:09:24 -0200 > From: Joao Marcos <[email protected]> > Subject: [Logica-l] o teorema da incompletude não é apenas um joguinho > de números > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <[email protected]> > Message-ID: > > <[email protected]<kqz73-r7xxhtw8plfmttdzxy%[email protected]> > > > Content-Type: text/plain; charset=UTF-8 > > Entrevista com Janna Levin, a autora do romance "A Madman Dreams of > Turing Machines". > > Incompleteness Theorem is not just a numbers game > http://simplycharly.com/godel/janna_levin_godel_interview.html > > > jm > > > ------------------------------ > > Message: 2 > Date: Fri, 21 Jan 2011 20:27:58 -0200 > From: Rodrigo Valceli Raimundo <[email protected]> > Subject: [Logica-l] Mais um P==NP, dessa vez com implementação em > software. > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <[email protected]> > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=ISO-8859-1 > > Pensei que ia aparecer rápido nessa lista... > > http://romvf.wordpress.com/2011/01/19/open-letter/ > > -- > Signatures are useless. > > > ------------------------------ > > Message: 3 > Date: Sat, 22 Jan 2011 09:44:56 -0200 > From: Adolfo Neto <[email protected]> > Subject: [Logica-l] Livros sobre a História da Lógica > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <[email protected]> > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=ISO-8859-1 > > Olá, > > Que livro (ou páginas confiáveis) vocês recomendam sobre a história da > lógica? > > Grato, > > Adolfo > > -- > ================================================================== > Adolfo Neto > Assistant Professor - Federal University of Technology, Paraná > Web: > http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > Twitter: http://twitter.com/adolfont > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > ================================================================== > > ------------------------------ > > Message: 4 > Date: Sat, 22 Jan 2011 10:48:53 -0200 > From: Decio Krause <[email protected]> > Subject: Re: [Logica-l] Livros sobre a História da Lógica > To: Adolfo Neto <[email protected]> > Cc: Lista acadêmica brasileira dos profissionais e , estudantes da > área de LOGICA <[email protected]> > Message-ID: <[email protected]> > Content-Type: text/plain; charset=windows-1252 > > Adolfo > Dentre as inúmeras sugestões que deve receber (nas quais também estou > interessado), cito o recente The Evolution of Logic, de D.W.Hart, bem > interessante. O clássico dos Kneale, certamente. O pouco conhecido (me > parece) de Kneebone, Math.Logic & the foundations of mathematics é um dos > melhores que conheço, ainda que seja de 1963. > Depois avise o que conseguiu, mas Arthur deve ter uma centena deles.... > Abraços chuvosos (tá uma chuva do cão aqui em Fpolis). > Décio > > ________________________________ > Decio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-990 Florianópolis, SC -- Brasil > [email protected] > www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/%7Edkrause> > ________________________________ > Doctor Bell says we?re connected, > He called me on the phone, > But if we?re really together baby, > How can I feel so all alone? > (Bell's Theorem Blues) > > Em 22/01/2011, às 09:58, Decio Krause escreveu: > > > Adolfo > > Dentre as inúmeras sugestões que deve receber (nas quais também estou > interessado), cito o recente The Evolution of Logic, de D.W.Hart, bem > interessante. O clássico dos Kneale, certamente. O pouco conhecido (me > parece) de Kneebone, Math.Logic & the foundations of mathematics é um dos > melhores que conheço, ainda que seja de 1963. > > Depois avise o que conseguiu, mas Arthur deve ter uma centena deles.... > > Abraços chuvosos (tá uma chuva do cão aqui em Fpolis). > > Ah, Mando atachado um artigo sobre lógica paraconsistente na linha dos > cálculos Cn de da Costa. > > Décio > > <CosKraBue2007-ParLog.pdf> > > > > ________________________________ > > Decio Krause > > Departamento de Filosofia > > Universidade Federal de Santa Catarina > > 88040-990 Florianópolis, SC -- Brasil > > [email protected] > > www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/%7Edkrause> > > ________________________________ > > Doctor Bell says we?re connected, > > He called me on the phone, > > But if we?re really together baby, > > How can I feel so all alone? > > (Bell's Theorem Blues) > > > > Em 22/01/2011, às 09:44, Adolfo Neto escreveu: > > > >> Olá, > >> > >> Que livro (ou páginas confiáveis) vocês recomendam sobre a história da > >> lógica? > >> > >> Grato, > >> > >> Adolfo > >> > >> -- > >> ================================================================== > >> Adolfo Neto > >> Assistant Professor - Federal University of Technology, Paraná > >> Web: > >> http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > >> Twitter: http://twitter.com/adolfont > >> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > >> ================================================================== > >> _______________________________________________ > >> Logica-l mailing list > >> [email protected] > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > ------------------------------ > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > Fim da Digest Logica-l, volume 59, assunto 15 > ********************************************* > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
