Nicholas, você pretende seguir carreira acadêmica na lógica ? Você ensina muito bem, mas já pensou em produzir conhecimento através de iniciação cientifica/pesquisas acadêmicas ?
Eu ainda não acho essa notação tão prática. Para fórmulas muito longas fica difícil de ler. Enfim, achei o vídeo bem legal! PS: talvez esse "C" seja algo relacionado à "consequentia" no latim.
Nicholas, eu me interessei pelo livro do Tarski, A concepção semântica da verdade, mas meu domínio em lógica formal vai até, por enquanto, o cap. 9 do livro do Mortari. Em vista disso, queria saber se dá pra tirar um bom proveito do livro mesmo com tão pouco conhecimento de Lógica formal, ainda.
Fala aí. A primeira parte do livro usa bastante notação polonesa e requer que você tenha bastante atenção na diferença entre linguagem e metalinguagem que ele faz. As outras partes do livro são mais tranquilas e muito bem escritas, recomendo bastante, principalmente a concepção semântica da verdade e os fundamentos da semântica.
Aah, maravilha! Então pretendo investir nele. Essas partes que demandam conhecimento de notação polonesa eu reservo pra quando aprendê-la, o que vou fazer após uma boa sedimentação de lógica clássica. Obrigadão pelo retorno, meu querido!
Preciso de uma ajuda....na expressão I I pq V I pq I N rr...Ficaria como ?...Lembrando que I = implica , tenho umas questões parecidas para fazer que nem essa :/
Zap eu só iniciante em Lógica, poderia me responder uma pergunta idiota: Logicamente falando: racismo estrutural existe? Eu sei que é idiota, mas essa pergunta vem me martelando faz um tempo... não precisa responder se vc não quiser... eu até entendo
Victoria, acho essa pergunta meio complicada, porque racismo estrutural é um tema cujo âmbito parece extrapolar em muito o campo da lógica formal. Pelo pouco que aprendi até agora, esta última concerne sobretudo a verdades a priori, enquanto que sua pergunta toca num ponto que supõe alto grau de empiria, ou seja, de conhecimentos a posteriori. Portanto, a resposta supõe conhecimentos que fogem à área estrita de lógica dedutiva, embora você precise dela para avaliar os argumentos de quaisquer campos da ciência.
Lembro que estudei isso na faculdade, notação polonesa reversa com pilha em estrutura de dados em C, tenho o código no github até hoje
Ótimo vídeo, Nicholas!
Próximo vídeo tem que ser sobre notação fregeana, hehehe.
Vou fazer um desse mais pra frente, hehe.
@@ELogicoPo melhor notação é a fregeana
Parabéns pelo vídeo e pelo trabalho que tem feito
Ótimo vídeo como sempre Nicholas, parabéns
Acho que uma forma de transformar a notação polonesa dm notação comum é fazendo uma arvore binária com a expressão
Parabéns pelo canal. Excelente conteúdo e e didática clara.
Ótimo vídeo!
show demais a explicação e os seus métodos, graças a ti aprendi rapidinho!
Não seria 06:52 - Notação padrão para polonesa e 14:11 - Notação polonesa para a padrão?
Opa, é isso mesmo, muito obrigado!
Fórmula bonita! Fórmula formosa!
Nicholas, você pretende seguir carreira acadêmica na lógica ? Você ensina muito bem, mas já pensou em produzir conhecimento através de iniciação cientifica/pesquisas acadêmicas ?
Yes!
@@ELogicoPo Está cursando filosofia?
@@giancarlo146 Yes
Eu ainda não acho essa notação tão prática. Para fórmulas muito longas fica difícil de ler. Enfim, achei o vídeo bem legal!
PS: talvez esse "C" seja algo relacionado à "consequentia" no latim.
Pelos menos, em termos computacionais, ela não exige tanta memória de processameno em comparação com a convencional.
Notação da famigerada HP 12C.
Notação base64
Nicholas, eu me interessei pelo livro do Tarski, A concepção semântica da verdade, mas meu domínio em lógica formal vai até, por enquanto, o cap. 9 do livro do Mortari. Em vista disso, queria saber se dá pra tirar um bom proveito do livro mesmo com tão pouco conhecimento de Lógica formal, ainda.
Fala aí. A primeira parte do livro usa bastante notação polonesa e requer que você tenha bastante atenção na diferença entre linguagem e metalinguagem que ele faz. As outras partes do livro são mais tranquilas e muito bem escritas, recomendo bastante, principalmente a concepção semântica da verdade e os fundamentos da semântica.
Aah, maravilha! Então pretendo investir nele. Essas partes que demandam conhecimento de notação polonesa eu reservo pra quando aprendê-la, o que vou fazer após uma boa sedimentação de lógica clássica.
Obrigadão pelo retorno, meu querido!
O "M" deve ser de "Möglichkeit"
segundo uma pesquisa rápida na Wikipedia, o "M" é de "możliwość". O que faz sentido, afinal Möglichkeit é alemão
Preciso de uma ajuda....na expressão I I pq V I pq I N rr...Ficaria como ?...Lembrando que I = implica , tenho umas questões parecidas para fazer que nem essa :/
Se o "V" for disjunção, IIpqVIpqINrr fica (P->Q)->((P->Q)V(¬R->R)). Mas seria bom assistir ao vídeo e tentar fazer.
Fala, irmão! Sucessada? Não sô muito experiente em lógica... Dúvida: Existe uma diferença substancial entre lógica matemática e filosófio? Vlw desdejá
Faz um vídeo sobre a tese Church Turing
qual programa vc usa pra escrever na tela?
Photoshop CS6 e uma mesa digitalizadora da Wacom. Valeu!
up
Zap eu só iniciante em Lógica, poderia me responder uma pergunta idiota:
Logicamente falando: racismo estrutural existe?
Eu sei que é idiota, mas essa pergunta vem me martelando faz um tempo... não precisa responder se vc não quiser... eu até entendo
Eu nem sei o que é isso. Mas duvido muito que isso tenha algo a ver com lógica.
Victoria, acho essa pergunta meio complicada, porque racismo estrutural é um tema cujo âmbito parece extrapolar em muito o campo da lógica formal. Pelo pouco que aprendi até agora, esta última concerne sobretudo a verdades a priori, enquanto que sua pergunta toca num ponto que supõe alto grau de empiria, ou seja, de conhecimentos a posteriori. Portanto, a resposta supõe conhecimentos que fogem à área estrita de lógica dedutiva, embora você precise dela para avaliar os argumentos de quaisquer campos da ciência.
top
Up
lindo '0'
Up
up