Cartas de BaralhoBom pessoal, as cartas de baralho que conhecemos foram criadas no ano de 1392, para uso pessoal do rei Carlos da Franca, quando este sofria debilidade mental. O criador dessas cartas era um homem mau que definitivamente nao cumpria os mandamentos de Deus, e para esta criacao maligna, escolheu figuras biblicas, onde:Rei = DiaboDama = MariaCopas e Ases = Sangue de JesusValete = Nosso SenhorPaus e outros simbolos = perseguicao e destruicao de todos os santos (nos).E seu desprezo pelos dez mandamentos foi marcado pelo numero dez das suas cartas.O proprio significado da palavra baralho, significa: confusao, conflito, desordenar, embaralharPois e galera, cresce a cada dia a acao do maligno em nossa sociedade usando os mais variados recursos, satanas tenta desesperadamente envolver ate mesmo os salvos.Por isso, nos como Cristao devemos fazer a diferenca, nao queremos apenas uma alegria transitoria, mas a verdadeira alegria de vidas santificadas pelo Espirito Santo.Precisamos tomar cuidado com o que o mundo nos oferece. Quem joga cartas muitas vezes nao sabe ou nao se lembra de sua origem, afinal elas estao relacionadas a praticas diabolicas como adivinhacao, esconjuracao, etc... Do qual Deus adverte e proibe:Nao praticareis adivinhacoes nem a magia. Nao dirijais aos adivinhos, (cartomantes) nao os consulteis, para que nao sejais contaminados por eles. Eu sou o Senhor Vosso Deus. (Levitico 19, 25-31).Galera vamos Honrar cada vez mais o nome de Cristo! Ola para todosNo link abaixo estao referencias e os slides do minicurso apresentado na Escola de Logica da EBL 2014.https://www.dropbox.com/sh/p1rflnx56vkmp9j/V0anZbklY6 AbracosAbilio Forma normal prenexahttps://dl.dropbox.com/u/5959592/prenexa.pdfCompletude - Henkinhttps://dl.dropbox.com/u/5959592/completude_QS.pdfCompletude com identidadehttps://dl.dropbox.com/u/5959592/completude_identidade.pdfVer também: Mortari, tablôs com identidade e símbolos funcionais Olá para todos.Esta semana entraremos na parte do curso sobre lógica de primeira ordem.Na aula do dia 22/10, segunda-feira, faremos uma revisão da sintaxe esemântica. Além disso, veremos tablôs e dedução natural para LPO.As apostilas estão na pasta do Dropbox. Vejam também os respectivoscapítulos do Hunter.Abraços Richard Epstein (ARF, Advanced Reasoning Forum), autor de várioslivros nas áreas de filosofia, lógica e linguística, visitará a UFMGnas próximas duas semanas.Abaixo, a programação. As palestras serão todas em português.Dia 23 de setembro, terça-feira, 14h, auditório BaessePalestra: Pensamento CríticoRichard EpsteinDia 24 de setembro, quarta-feira, 15h30Sala 4094Workshop sobre Teoria de ConjuntosRichard Epstein, Antonio Coelho, Abílio RodriguesDia 26 de setembro, sexta-feira, auditório Bicalho, 14hPalestra: O Mundo como ProcessoRichard Epsteinhttps://www.dropbox.com/s/st2s199hqg6nsds/Epstein.WP.pdfDia 29 de setembro, segunda-feira, sala 4094, das 9h às 12h e das 14h às 17hWorkshop: Paraconsistência, Modalidades e a Natureza da LógicaDia 1º de outubro, quarta-feira, sala da Congregação, 15hPalestra: Linguagem, Pensamento e SignificadoRichard Epsteinhttps://www.dropbox.com/s/xmhc3fp7u7uq1yg/Epstein.LTM.pdfApoio: CNPq, Programa de Pós Graduação em Filosofia da UFMG https://dl.dropbox.com/u/5959592/cronograma.grupo.pdf Olá para todos.Além das apostilas sobre lógica de predicados que já usamos semanapassada, estão disponíveis no Dropbox alguns resultados que serãovistos: correção, consistência, completude para lógica de primeiraordem.Abraços Grupo de Estudos de Logica: Teoremas de limitacao e outros temasFIL049 J Topicos em Filosofia IIProfs. Abilio Rodrigues e Antonio CoelhoEmenta: Os teoremas da correcao, da completude e da compacidade; o teorema de Lowenheim - Skolem (descendente), o chamado paradoxo de Skolem e certas questoes filosoficas a eles associadas; funcoes recursivas e sua representabilidade na aritmetica de Robinson; os teoremas