Eu gostaria de começar a estudar lógica sozinho. O problema: com a quantidade de livros disponíveis, não tenho ideia de como distinguir os bons dos ruins. Sugira-me alguns bons livros.
Comentários
- Caso esta pergunta não seja ' removida / closed / etc .: verifique Barwise & Etchemendy ' s Linguagem, Prova e Lógica . É ' escrito de forma muito clara, ' é interativo (vem com três maravilhosos softwares), e em sua terceira parte é apresenta breves introduções a tópicos intermediários importantes, como a teoria dos conjuntos axiomáticos, o princípio de resolução, os resultados " metalógicos " limitativos, etc. recomendo-o como um primeiro livro-texto.
- Lógica é um tópico muito amplo. Algumas pessoas a estudam para ajudar no raciocínio. Alguns estudam lógica matemática. Eu mesmo o estudo do ponto de vista de sua aplicação à linguagem. Eu ' tenho certeza de que existem aspectos da lógica que eu ' não conheço. Resumindo, a " lógica " é uma vasta coleção de tópicos. O que exatamente você quer aprender e por quê?
- Eu ' estou interessado no lado matemático!
- Acho que o curso, coursera.org/course/intrologic , é uma ótima maneira de começar com a lógica matemática.
- Possível duplicata de Onde é um bom lugar para começar a ler sobre lógica?
Resposta
Baixe o Guia de leitura sobre livros de lógica em http://www.logicmatters.net/students/tyl/
§2.2 fornece algumas recomendações para iniciantes.
O restante do guia fornece muitos conselhos sobre leituras adicionais.
Resposta
Posso sugerir humildemente meu software de prova gratuito orientado para matemática e o tutorial que o acompanha com exemplos trabalhados e exercícios, cada um com dicas e soluções completas fornecidas. Visite meu site em para uma demonstração em vídeo.
Resposta
Exceto esses livros já resenhados aqui , reproduzo algumas sugestões do Reddit: pesquise “livro” , pesquise “textbook” da seguinte forma (mas omito aspas para facilitar a leitura):
Postagem de 17/11/2011:
Lógica: uma introdução , por Greg Restall
[…] É “um ótimo livro, mas cheio de erros. Felizmente, a maioria deles está em seu site .
Labirintos lógicos de Raymond Smullyan serviria como uma introdução amigável ao assunto. Smullyan frequentemente usa seu famosos quebra-cabeças lógicos ao longo do texto para ensinar uma variedade de lições. E um aviso: amigável não significa fácil! Smullyan vai apertar seus botões e fazer você pensar profundamente sobre conceitos complicados. Este é muito gratificante e altamente recomendado.
O poder da lógica de Howard-Snyder, Howard -Snyder e Wasserman […]
A propósito, aqui está um excelente recurso on-line que você pode achar útil.
Leia que (pdf) para referências. Leia CL Hamblin “s " falácias " e o material de Doug Walton.
Postagem enviada em 05/06/2014:
Virginia Klenk “s Compreendendo a lógica simbólica
Postagem enviada em 2014/9/28:
Hausman “s Logic and Philosophy
Para um livro grátis, com respostas aos exercícios online, experimente o A Modern Formal Logic Primer de Paul Teller: http://tellerprimer.ucdavis.edu
Para um livro recente com semelhantes cobertura e virtudes de clareza semelhantes, Logic: The Laws of Truth por Nicholas JJ Smith (que tem respostas para exercícios online).
Mais curto e ainda mais claro, talvez, é Peter Smith “s Uma Introdução à Lógica Formal (que também tem respostas para exercícios online). Particularmente bom na tradução de notação quantificada que os iniciantes podem encontrar um ponto de atrito.
Lógica , de Paul Tomassi
Postagem em 11/07/2015:
Comecei com a lógica primeiro entendendo os principais conceitos filosóficos, então, em primeiro lugar, recomendaria a Lógica filosófica
Postagem de 06/10/2015:
Essentials of Symbolic Logic por RL Simpson.
Postagem em 03/12/2015:
Eu fiz uma introdução para a aula de lógica na escola, usamos o The Logic Book (6ª ed.) de Bergmann, Moor e Nelson. A maior parte da aprendizagem foi feita fora do livro didático; as aulas eram voltadas principalmente para fazer perguntas resolvendo os problemas de prática mais difíceis. Se bem me lembro, o texto era bastante caro, mas incrivelmente útil. o manual da solução está online e aposto que você também conseguiria encontrar o texto online com um pouco de trabalho. Altamente recomendado.
Experimente o livro de Nelson Lande, Classical Logic and its Rabbit Holes . É muito acessível, até engraçado. Existem soluções para muitos dos problemas online também.
Uma introdução à lógica matemática (Dover Books on Mathematics) por Richard E. Hodel
Introdução à lógica: e à metodologia das ciências dedutivas por Alfred Tarski