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 >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d760f8ae-814e-48cd-a6eb-65ab61e9b4ea%40dimap.ufrn.br?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> 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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABp6Fz%2B422xfRPqD%3DiU3cgHYyKt11q-PLRs-yOkhMGENbHHasg%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAbLrd%2B4xY%3DWuRqH-vuUKVDify8L_Tpt0NtXqm-9t8RF4cwOUg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CABp6FzLq%2B7WqQZo3icjQ0caCfC4q%2BQD8zT0aiMT1VFnE_6ZVBw%40mail.gmail.com.
