Eu curso filosofia na Unicamp e seus vídeos me auxiliam muito no sentido de me dar suporte teórico para acompanhar as aulas da disciplina de Lógica (de primeira ordem). Muito obrigada; doarei (na verdade, constribuirei com o seu trabalho) sempre que eu puder.
@@fernandacardoso5779 Opa, que bom que ajudei! No momento, as doações podem ser feitas apenas pelos métodos que estão no finalzinho da descrição. Se não tiver PicPay, Mercado Pago ou uma carteira Bitcoin, não tem problema, hehe. Valeu!
Olá, sou novo aqui no canal, estou gostando bastante dos vídeos. Você poderia fazer um vídeo falando sobre o paradoxo do mentiroso? Se é uma proposição, quais os problemas lógicos e tals.
no teorema do minuto 10:16 não seria mais fácil aplicar a regra de inferência da contraposição em (P --> Q) para ficarmos com (¬Q --> ¬P) e então chegar na conclusão através da regra da prova condicional?
Eae Nicholas ótimo vídeo. Uma pergunta, eu estudo computação e a lógica acaba ficando restrita na programação, circuitos lógicos, grafos, I.A, lógica de primeira ordem para trabalhar no prolog por exemplo, mas na questão da filosofia, eu vi que você escreve artigos filosóficos, você recomendaria primeiro estudar lógica, com o livro do Mortari e seus cursos por exemplo, e depois buscar um manual de filosofia, ou já posso ir mesclando ?
Opa, valeu! Cara, isso depende bastante da sua área de interesse. Você pode focar na parte mais formal e sistemática da lógica, sem tratar dos problemas filosóficos envolvidos, ou vice-versa. Mas provavelmente você não encontrará lógica moderna em manuais de filosofia. No máximo falarão sobre a teoria dos silogismos do Aristóteles. O resto é mais uma abordagem dos problemas filosóficos sobre epistemologia, ética, ontologia, metafísica, etc. Então acho que dá pra mesclar isso com lógica sem muitos problemas.
@@ELogicoPo Então, eu já comprei o livro do Mortari e estou dando prosseguimento, mesmo que ainda no inicio, já que estou sempre revisando ( com seus vídeos principalmente), acho que agora irei focar lógica mesmo mas vou procurar pela lógica aristotélica ( ao menos por curiosidade mesmo). Eu pensei em sempre ir lendo os clássicos em vez de usar manual de filosofia, porém eu acredito que os manuais de filosofia podem dar uma "mastigada" no conteúdo para mim pelo menos que sou iniciante. Vlw pela resposta ;)
Foram vários, mas os principais que usei foram os livros de Introdução à Lógica do Mortari, do Copi e do Gensler (são três livros diferentes, porém, com o mesmo título). Eu os recomendo neste vídeo: ruclips.net/video/5QWWYGXPGJ0/видео.html Valeu!
Pretende falar sobre LPO com identidade? Estou bastante preso na Teoria das descrições definidas de Bertrand Russell e não estou conseguindo avançar no conteúdo. Algumas formalizações de sentenças na LPO com identidade são bastante complexas e pouco, ou nada, intuitivas. Essa parte da lógica me fez tiltar bastante.
![Lógica proposicional [4] - Formalização de sentenças (1/4)](http://i.ytimg.com/vi/ckQKJ2zRpEI/mqdefault.jpg)
![[MD] Aula 04c: Dedução Natural para Lógica de Predicados](http://i.ytimg.com/vi/uFdjNGAU5WM/mqdefault.jpg)
ERRATA: Em 19:12, eu escrevi ⊢ψ ≡ ⊨φ, mas deveria ser ⊢ψ ≡ ⊨ψ.
Eu curso filosofia na Unicamp e seus vídeos me auxiliam muito no sentido de me dar suporte teórico para acompanhar as aulas da disciplina de Lógica (de primeira ordem). Muito obrigada; doarei (na verdade, constribuirei com o seu trabalho) sempre que eu puder.
qual seu pix?
@@fernandacardoso5779 Opa, que bom que ajudei! No momento, as doações podem ser feitas apenas pelos métodos que estão no finalzinho da descrição. Se não tiver PicPay, Mercado Pago ou uma carteira Bitcoin, não tem problema, hehe. Valeu!
Olá, sou novo aqui no canal, estou gostando bastante dos vídeos. Você poderia fazer um vídeo falando sobre o paradoxo do mentiroso? Se é uma proposição, quais os problemas lógicos e tals.
Opa, bem vindo. Que ótimo que está gostando! Sim, o paradoxo do mentiroso é um tema que já está na lista de vídeos futuros. Valeu!
@@ELogicoPo vou estar aguardando ansiosamente por esse video.
Excelente exposição. Se pudesse aumentar as letras no quadro seria bom...se não tudo bom também. " Deus é grande! " Jó,36:26.
no teorema do minuto 10:16 não seria mais fácil aplicar a regra de inferência da contraposição em (P --> Q) para ficarmos com (¬Q --> ¬P) e então chegar na conclusão através da regra da prova condicional?
P1. A segunda premissa é invisível.
P2. ' '
que cara bom kkkkkkkkkkk
Eae Nicholas ótimo vídeo. Uma pergunta, eu estudo computação e a lógica acaba ficando restrita na programação, circuitos lógicos, grafos, I.A, lógica de primeira ordem para trabalhar no prolog por exemplo, mas na questão da filosofia, eu vi que você escreve artigos filosóficos, você recomendaria primeiro estudar lógica, com o livro do Mortari e seus cursos por exemplo, e depois buscar um manual de filosofia, ou já posso ir mesclando ?
Opa, valeu! Cara, isso depende bastante da sua área de interesse. Você pode focar na parte mais formal e sistemática da lógica, sem tratar dos problemas filosóficos envolvidos, ou vice-versa. Mas provavelmente você não encontrará lógica moderna em manuais de filosofia. No máximo falarão sobre a teoria dos silogismos do Aristóteles. O resto é mais uma abordagem dos problemas filosóficos sobre epistemologia, ética, ontologia, metafísica, etc. Então acho que dá pra mesclar isso com lógica sem muitos problemas.
@@ELogicoPo Então, eu já comprei o livro do Mortari e estou dando prosseguimento, mesmo que ainda no inicio, já que estou sempre revisando ( com seus vídeos principalmente), acho que agora irei focar lógica mesmo mas vou procurar pela lógica aristotélica ( ao menos por curiosidade mesmo). Eu pensei em sempre ir lendo os clássicos em vez de usar manual de filosofia, porém eu acredito que os manuais de filosofia podem dar uma "mastigada" no conteúdo para mim pelo menos que sou iniciante.
Vlw pela resposta ;)
Quais livros vc usou pra estudar logica?
Foram vários, mas os principais que usei foram os livros de Introdução à Lógica do Mortari, do Copi e do Gensler (são três livros diferentes, porém, com o mesmo título).
Eu os recomendo neste vídeo: ruclips.net/video/5QWWYGXPGJ0/видео.html
Valeu!
@@ELogicoPo valeu mano,sucesso ai com o canal
Vídeo ótimo, vim pela Teoremas Triviais(Grupo)
argumentos 🦈💪
Pretende falar sobre LPO com identidade? Estou bastante preso na Teoria das descrições definidas de Bertrand Russell e não estou conseguindo avançar no conteúdo. Algumas formalizações de sentenças na LPO com identidade são bastante complexas e pouco, ou nada, intuitivas. Essa parte da lógica me fez tiltar bastante.
Sim, pretendo. É um dos próximos tópicos que devo tratar. Também vou fazer um ou alguns vídeos sobre a teoria da denotação do Russell. Valeu!