Caros Luiza e Jessé, Como eu mesmo anteriormente recomendei a leitura de material mais contemporâneo, vale aqui uma ressalva: material que se propõe a ser exclusivamente técnico não serve como aprendizado.
Há livros assim que têm muitos exercícios e às vezes alguns têm muitos exemplos. Vários, todavia, trazem poucos exemplos e, o que é mais grave, não apresentam as soluções dos exercícios. Mas, o principal problema de um livro exclusivamente técnico é que o autor não se preocupa em explicar o que faz, nem o porquê do que faz. Há um livro muito usado e que é um dos melhores nessa gama, mas que começa de modo muito mal. Por exemplo, num capítulo inicial o livro apresenta uma lista de axiomas, mas não argumenta por quais motivos considera aquelas fórmulas princípios mais básicos ou mais evidentes que outros. Aliás, nem mesmo diz que esses são evidentes ou básicos. Há outro também famoso que usa de tableaux, mas o leitor iniciante tem de fazer um esforço sobre-humano para adivinhar o que “aqueles desenhos” significam. Há outros vícios como deixar passos cruciais, mas de difícil demonstração, como exercício para o leitor. Outro ainda é apresentar teoremas que dizem as mesmas coisas que as definições. Ou então, o que é muito triste constatar, casos bem sofisticados de petição de princípio. Aí já são problemas conceituais que se somam à falta de didática. São problemas assim que fazem a maioria dos estudantes de Filosofia preferir livros que falem da Lógica da antiguidade, pois estes em geral são textos mais inteligíveis para quem ainda está no início dos estudos lógicos. Quem está estudando Lógica formal no início precisa de um material que ampare bem seu percurso. Caso contrário, ou o aprendiz vai pensar que qualquer coisa serve, que é possível escrever coisas que nada significam, ou vai ser um mero repetidor do que leu. > On 14 Sep 2018, at 04:50, Jessé Silva <[email protected]> wrote: > > Sobre o ponto mencionado creio que você quis dizer sobre trabalhar a aptidão, > a flexibilização da mente para se ter um discernimento rápido e apurado das > coisas. O que você obtêm com a prática. > >> Em sex, 14 de set de 2018 às 04:46, Jessé Silva >> <[email protected]> escreveu: >> Nossa que legal, muito obrigado pelo material. >> >>> Em sex, 14 de set de 2018 às 03:58, Luiza Ramos <[email protected]> >>> escreveu: >>> Caro Jessé, sou estudante como você, e estou também buscando adquirir a >>> competência necessária para poder trabalhar com lógica, por isso respondi a >>> você. Acredito que devam ter vários caminhos para isso, e cada um encontra >>> o que é melhor para si, mas o que quis dizer é que você parece já ter >>> acumulado bastante conhecimento sobre certos conceitos e história da lógica >>> mas existe um aspecto importante da lógica que não é mais um item de um >>> resumo e sim um entendimento que fica somente para você, e que acredito que >>> pode ser obtido com a prática do estudo de sistemas formais e um pouco de >>> álgebra e teoria de conjuntos. O que quero dizer com a prática é o estudo e >>> a resolução de exercícios. Alguns livros que tem sido úteis para mim são o >>> Lógica de primeira ordem, do Raymond Smullyan, o livro de Computabilidade e >>> Lógica do Boolos, o livro Mathematical Logic do Shoenfield (este não tem >>> tradução para o português) e muitos outros que você vai descobrindo de >>> acordo com seu interesse e vendo referência bibliográficas. Existem >>> diversos livros de álgebra, de autores brasileiros eu recomendo o do Luiz >>> H. Jacy Monteiro. Copio aqui também um link do youtube para uma série de >>> cinco palestras do Harvey Friedman que se chama "Aventuras de Lógica para >>> estudantes de graduação" em que ele tenta dar um panorama e um gostinho do >>> que é a lógica. >>> >>> https://www.youtube.com/channel/UCdRdeExwKiWndBl4YOxBTEQ >>> >>> Em qui, 13 de set de 2018 23:43, Jessé Silva <[email protected]> >>> escreveu: >>>> Sim, compreendo. No meu entender eu só conseguirei me considerar um lógico >>>> depois de fixada essas coisas na minha mente, ao ponto de apenas olhar pro >>>> silogismo e já saber qual é a figura dele, quais são os tipos de cada >>>> conceito e outros pontos assim kkkkkk. >>>> >>>> É claro que não posso me deixar engessar e ficar condicionado apenas a >>>> lógica formal, até porque venho me interessando muito pela dialética >>>> também, mas é que me parecem obrigatórios, ao menos pra mim, ter essas >>>> coisas em mente e o poder mental pra realizar essas opções praticamente >>>> instantaneamente. >>>> >>>>> Em qui, 13 de set de 2018 às 23:37, Luiza Ramos <[email protected]> >>>>> escreveu: >>>>> Acho que voce nao precisa decorar isso tudo mas aprender a pensar por >>>>> conta propria. >>>>> >>>>> Ps. Silogismos de aristoteles nao eh obrigatorio >>>>> >>>>> Em qui, 13 de set de 2018 22:02, Jessé Silva >>>>> <[email protected]> escreveu: >>>>>> Olá pessoal, sou iniciante no estudo da lógica e fiz uma lista de pontos >>>>>> referente a mesma do que me parece ser de obrigatoriedade de todo >>>>>> iniciante. >>>>>> >>>>>> Vocês podem me dizer o que acham dos pontos e quais eu poderia adicionar? >>>>>> >>>>>> Tentei postar no grupo mas parece que excede o limite de texto, aqui >>>>>> está o link: >>>>>> https://logoscoder.github.io/Pontos-de-conhecimento-obrigatorio-sobre-o-estudo-da-logica-formal.html >>>>>> -- >>>>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>>>>> Grupos do Google. >>>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>>>>> envie um e-mail para [email protected]. >>>>>> Para postar nesse grupo, envie um e-mail para [email protected]. >>>>>> Acesse esse grupo em >>>>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >>>>>> Para ver essa discussão na Web, acesse >>>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d760f8ae-814e-48cd-a6eb-65ab61e9b4ea%40dimap.ufrn.br. >>>>> >>>>> -- >>>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>>>> Grupos do Google. >>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>>>> envie um e-mail para [email protected]. >>>>> Para postar nesse grupo, envie um e-mail para [email protected]. >>>>> Acesse esse grupo em >>>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >>>>> Para ver essa discussão na Web, acesse >>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABp6Fz%2B422xfRPqD%3DiU3cgHYyKt11q-PLRs-yOkhMGENbHHasg%40mail.gmail.com. >>>> >>>> -- >>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>>> Grupos do Google. >>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >>>> um e-mail para [email protected]. >>>> Para postar nesse grupo, envie um e-mail para [email protected]. >>>> Acesse esse grupo em >>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >>>> Para ver essa discussão na Web, acesse >>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAbLrd%2B4xY%3DWuRqH-vuUKVDify8L_Tpt0NtXqm-9t8RF4cwOUg%40mail.gmail.com. >>> >>> -- >>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>> Grupos do Google. >>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >>> um e-mail para [email protected]. >>> Para postar nesse grupo, envie um e-mail para [email protected]. >>> Acesse esse grupo em >>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >>> Para ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABp6FzLq%2B7WqQZo3icjQ0caCfC4q%2BQD8zT0aiMT1VFnE_6ZVBw%40mail.gmail.com. > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAbLrdLv%2B5bNrUUpGteZMjy4MudYVynsFrgBBhbhOYW-qUaXCA%40mail.gmail.com. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DF9F8EFB-8CD8-4C1C-8977-9F3808ED1DD3%40gmail.com.
