Horário de atendimento do monitor de lógica, Henrique Almeida
Terças-feiras de 17h às 19h na sala da monitoria
domingo, 27 de março de 2011
terça-feira, 22 de março de 2011
Palestra sobre ensino da lógica e minicurso de teoria dos modelos
Palestra: O Ensino da Lógica nos Cursos de Graduação em Filosofia
Dia 23 de março, sala 3042, 12h
Prof. Antonio Coelho (UFSC)
Dia 23 de março, sala 3042, 12h
Prof. Antonio Coelho (UFSC)
Minicurso: Teoria dos Modelos
Dias 23, 24 e 25 de março de 2011, sala 2013, com início às 14h
Prof. Antonio M.N. Coelho (UFSC).
Programa:
Primeira aula - breves observações sobre uma prova, ao modo de Henkin, do teorema da completude; o teorema da compacidade e a inexistência de axioma de finitude.
Segunda aula - o teorema de Löwenheim-Skolem e o chamado Paradoxo de Skolem.
Terceira aula - modelos não-standard da aritmética.
Referências:
Boolos, G.& Jeffrey,R.- Computability and Logic - third edition, Cambridge University Press, Cambridge, 1989
Shoenfield, J.R.- Mathematical Logic - Association for Symbolic Logic & A K
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)
Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990
Segunda aula - o teorema de Löwenheim-Skolem e o chamado Paradoxo de Skolem.
Terceira aula - modelos não-standard da aritmética.
Referências:
Boolos, G.& Jeffrey,R.- Computability and Logic - third edition, Cambridge University Press, Cambridge, 1989
Shoenfield, J.R.- Mathematical Logic - Association for Symbolic Logic & A K
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)
Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990
domingo, 13 de março de 2011
Lógica - noturno
Olá para todos.
Em 2011.1 este será o blog da disciplina Lógica do curso noturno de filosofia.
Informações úteis estão no link
http://dl.dropbox.com/u/5959592/logica_noturno.htm
Informações úteis estão no link
http://dl.dropbox.com/u/5959592/logica_noturno.htm
O livro texto que usaremos será o do Cezar Mortari, Introdução à Lógica, Ed. UNESP. Mas haverá material auxiliar na forma de apostilas e exercícios.
Nas próximas aulas veremos a sintaxe da lógica sentencial: Mortari capítulo 9.
É fortemente recomendada a leitura do texto Conceitos Fundamentais no link
Abaixo, links para exercícios que serão feitos nas próximas aulas:
segunda-feira, 7 de março de 2011
Minicurso de Teoria dos Modelos
Nos dias 23, 24 e 25 de março de 2011 será ministrado no Departamento de Filosofia da UFMG um minicurso de Teoria dos Modelos.
Serão três aulas, uma por dia, com três horas de duração cada. O ministrante será o professor Antonio M.N. Coelho, do Departamento de Filosofia da UFSC. O conteúdo será desenvolvido da seguinte maneira:
Primeira aula - breves observações sobre uma prova, ao modo de Henkin, do teorema da completude; o teorema da compacidade e a inexistência de axioma de finitude.
Segunda aula - o teorema de Löwenheim-Skolem e o chamado Paradoxo de Skolem.
Terceira aula - modelos não-standard da aritmética.
Referências:
Boolos, G.& Jeffrey,R.- Computability and Logic - third edition, Cambridge University Press, Cambridge, 1989
Shoenfield, J.R.- Mathematical Logic - Association for Symbolic Logic & A K
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)
Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990
quinta-feira, 3 de março de 2011
segunda-feira, 28 de fevereiro de 2011
terça-feira, 22 de fevereiro de 2011
Ainda sobre o campeonato de 87 e seu desfecho
O circo das bolinhas
Blog do Rica Perrone http://www.ricaperrone.com.br/2011/02/9477/
RicaPerrone
Momentos finais da mais longa decisão da história dos campeonatos de futebol. A Copa União 87, ou Brasileirão, como queiram, está prestes a ter um final, seja ele qual for, patético.
Eu já fui bem claro sobre o que penso a respeito. O Flamengo é campeão, não perco 1 segundo do meu tempo pra ouvir opiniões contrárias pois elas simplesmente não se baseiam em NADA.
Seja qual for seu time, desde que seja um grande, ele assinou o título do Flamengo. Concorde você ou não, seu time assina embaixo. E se não mais, lamente pela postura do seu clube.
A história que vemos hoje pode ser resumida da seguinte forma:
O Flamengo e o Inter cumprem o combinado e não encaram Guarani e Sport, que por sua vez, nanicos que são, fazem marmelada na final do módulo e ninguém condena.
Oportunistas e pouco corretos, alguns passam a adotar o discurso de que o legítimo campeão é aquele que a CBF escolheu.
CBF que, pros mesmos, é uma entidade sem credibilidade.
Mas falamos de futebol, e quando o tema é esse, apenas tem credibilidade o que me convém.
O SPFC pisa no seu passado e em troca de uma taça nega o que criou e assinou.
O Sport, campeão na justiça porque em campo jamais seria, fica gritando aos 4 cantos que tem um título nacional.
Quem viu, nem discute.
Quem ouviu falar, pilha o assunto.
Quem tem interesses, muda o discurso.
Mas os fatos são fatos. Ninguém vai mudar.
O SPFC assinou, o Sport assinou, o Clube dos 13 assinou. O Flamengo é o campeão brasileiro de 87. Um dos melhores campeonatos que já tivemos, diga-se.
Se depois de 20 anos o São Paulo não se importa com o que assina, se agora a diretoria do Sport nao se lembra ter aceitado dividir o título legalmente, e se é mais interessante pra imprensa não carioca ficar do lado do Sport, tanto faz.
É fácil demais ser maioria nessa hora. E a maioria, claro, não quer ver um rival com mais um título.
Mesma maioria que, sejamos francos, não está nem aí se o Sport tem ou não o que comemorar. É fácil argumentar pela dó e não pela razão.
O pequeno sempre vítima, o grandão sempre vilão.
Nessa história toda há um clube que não foi vilão: O Flamengo.
A CBF conduziu porcamente a história toda, desde 87. O Sport foi tosco e mediocre nos últimos anos, quando passou a se achar campeão brasileiro. Uma mentira repetida 200 vezes vira verdade.
O São Paulo foi oportunista e Juvenal está prestes a pagar um micão enorme ao pegar uma taça, todo feliz, e depois ter que devolvê-la.
Não deveria ter ido buscar. Pois não era dele. E se fosse, descumprindo o que o clube assinou no passado, não deveria expor campeões de alto nível como Zetti e Rogério Ceni para fazer cena ao seu lado.
Lamento pelos dois, vítimas da prepotência e falta de caráter dos nossos dirigentes.
Presidentes que não respondem por administrações passadas são os mesmos que, orgulhosos, citam as conquistas dos mesmos quando lhes convém.
Não se trata de defender o Flamengo ou quem for. Trata-se de defender a coerência, a justiça e a ética.
Afinal, o que buscamos?
Uma Liga. Lá estava ela!
Uma união entre clubes. E a chance estava lá, mas preferiram vender camisa comemorativa.
Lamentáveis dirigentes que mancham a história de seus clubes.
O Flamengo é campeão de 87, sempre foi. Não muda nada o que diz a CBF.
São Paulo, CBF e Sport deveriam ter vergonha do que fizeram sobre o assunto.
Defender uma tese na justiça é moleza. Duro é bancar o que assina.
Torcedor, não seja bobo. Essa briga idiota em "defender" o seu clube é, na verdade, um atestado de babaquice que os dirigentes adoram ter para poder continuar brincando de administrar clubes.
Peça coerencia, honestidade e ética. Só assim, amanhã, não será o SEU clube o enganado pelo oportunismo alheio.
abs,
Eu já fui bem claro sobre o que penso a respeito. O Flamengo é campeão, não perco 1 segundo do meu tempo pra ouvir opiniões contrárias pois elas simplesmente não se baseiam em NADA.
Seja qual for seu time, desde que seja um grande, ele assinou o título do Flamengo. Concorde você ou não, seu time assina embaixo. E se não mais, lamente pela postura do seu clube.
A história que vemos hoje pode ser resumida da seguinte forma:
O Flamengo e o Inter cumprem o combinado e não encaram Guarani e Sport, que por sua vez, nanicos que são, fazem marmelada na final do módulo e ninguém condena.
Oportunistas e pouco corretos, alguns passam a adotar o discurso de que o legítimo campeão é aquele que a CBF escolheu.
CBF que, pros mesmos, é uma entidade sem credibilidade.
Mas falamos de futebol, e quando o tema é esse, apenas tem credibilidade o que me convém.
O SPFC pisa no seu passado e em troca de uma taça nega o que criou e assinou.
O Sport, campeão na justiça porque em campo jamais seria, fica gritando aos 4 cantos que tem um título nacional.
Quem viu, nem discute.
Quem ouviu falar, pilha o assunto.
Quem tem interesses, muda o discurso.
Mas os fatos são fatos. Ninguém vai mudar.
O SPFC assinou, o Sport assinou, o Clube dos 13 assinou. O Flamengo é o campeão brasileiro de 87. Um dos melhores campeonatos que já tivemos, diga-se.
Se depois de 20 anos o São Paulo não se importa com o que assina, se agora a diretoria do Sport nao se lembra ter aceitado dividir o título legalmente, e se é mais interessante pra imprensa não carioca ficar do lado do Sport, tanto faz.
É fácil demais ser maioria nessa hora. E a maioria, claro, não quer ver um rival com mais um título.
Mesma maioria que, sejamos francos, não está nem aí se o Sport tem ou não o que comemorar. É fácil argumentar pela dó e não pela razão.
O pequeno sempre vítima, o grandão sempre vilão.
Nessa história toda há um clube que não foi vilão: O Flamengo.
A CBF conduziu porcamente a história toda, desde 87. O Sport foi tosco e mediocre nos últimos anos, quando passou a se achar campeão brasileiro. Uma mentira repetida 200 vezes vira verdade.
O São Paulo foi oportunista e Juvenal está prestes a pagar um micão enorme ao pegar uma taça, todo feliz, e depois ter que devolvê-la.
Não deveria ter ido buscar. Pois não era dele. E se fosse, descumprindo o que o clube assinou no passado, não deveria expor campeões de alto nível como Zetti e Rogério Ceni para fazer cena ao seu lado.
Lamento pelos dois, vítimas da prepotência e falta de caráter dos nossos dirigentes.
Presidentes que não respondem por administrações passadas são os mesmos que, orgulhosos, citam as conquistas dos mesmos quando lhes convém.
Não se trata de defender o Flamengo ou quem for. Trata-se de defender a coerência, a justiça e a ética.
Afinal, o que buscamos?
Uma Liga. Lá estava ela!
Uma união entre clubes. E a chance estava lá, mas preferiram vender camisa comemorativa.
Lamentáveis dirigentes que mancham a história de seus clubes.
O Flamengo é campeão de 87, sempre foi. Não muda nada o que diz a CBF.
São Paulo, CBF e Sport deveriam ter vergonha do que fizeram sobre o assunto.
Defender uma tese na justiça é moleza. Duro é bancar o que assina.
Torcedor, não seja bobo. Essa briga idiota em "defender" o seu clube é, na verdade, um atestado de babaquice que os dirigentes adoram ter para poder continuar brincando de administrar clubes.
Peça coerencia, honestidade e ética. Só assim, amanhã, não será o SEU clube o enganado pelo oportunismo alheio.
abs,
RicaPerrone
segunda-feira, 21 de fevereiro de 2011
terça-feira, 15 de fevereiro de 2011
quinta-feira, 18 de novembro de 2010
terça-feira, 26 de outubro de 2010
Palestras com o Prof. Walter Carnielli
FACULDADE DE FILOSOFIA E CIÊNCIAS HUMANAS
Programa de Pós-Graduação em Filosofia
Linha de Pesquisa - Lógica e Filosofia da Ciência
Palestras com o Professor Walter Carnielli
Multimodalidades: lógica, computação e filosofia
Quarta-feira, 27/10/2010, 14h, sala 3048 FAFICH
A ideia de necessidade, à qual se opõe o que é contingente, é
antiga no pensamento filosófico. A par da necessidade metafísica, os
lógicos e filósofos se referem às necessidade lógica, física e ao
necessário a posteriori, às quais estão ligadas várias noções de
possibilidade. De que maneira a lógica modal, vista como o estudo do
raciocínio que envolve o uso das expressões 'necessariamente' e
'possivelmente', trabalha com tudo isso? Existem modalidades
não-clássicas, ou as noções de modalidade não as admitem? Seria a
'consistência' uma noção modal? E o que tem isso tudo a ver com os
mundos possíves? E com os mundos impossíveis? Pretendo introduzir a
matemática das modalidades e das multimodalidades, incluindo ideias
básicas da combinação de lógicas, discutir alguns de seus problemas
e ajudar a compreender porque a lógica modal ocupa hoje uma posição
tão privilegiada na filosofia, na computação e na linguística.
Lógica, argumentação e pensamento crítico: um programa
Quinta-feira, 28/10/2010, 12h, sala 3048 FAFICH
Nos últimos 30 anos, o estudo da argumentação conheceu um grande
desenvolvimento e se transformou num campo de estudo independente e de
alto valor estratégico, mas que é ainda pouco difundido no Brasil.
Contudo, conhecer a estrutura íntima dos argumentos é fundamental para
o discurso filosófico, científico e político-social. Pretendo discutir
a proposta de um programa introdutório à atividade de pensar
criticamente com bases rigorosas e com suporte na Lógica, embora
não-formal, enfatizando não somente a persuasão e a formulação de
bons argumentos mas a defesa contra ataques argumentativos.
Lógica Quântica, suas Vertentes Modais e a Incompletude
certas questões envolvendo lógica e informação quãntica. Mostro como
Programa de Pós-Graduação em Filosofia
Linha de Pesquisa - Lógica e Filosofia da Ciência
Palestras com o Professor Walter Carnielli
Multimodalidades: lógica, computação e filosofia
Quarta-feira, 27/10/2010, 14h, sala 3048 FAFICH
A ideia de necessidade, à qual se opõe o que é contingente, é
antiga no pensamento filosófico. A par da necessidade metafísica, os
lógicos e filósofos se referem às necessidade lógica, física e ao
necessário a posteriori, às quais estão ligadas várias noções de
possibilidade. De que maneira a lógica modal, vista como o estudo do
raciocínio que envolve o uso das expressões 'necessariamente' e
'possivelmente', trabalha com tudo isso? Existem modalidades
não-clássicas, ou as noções de modalidade não as admitem? Seria a
'consistência' uma noção modal? E o que tem isso tudo a ver com os
mundos possíves? E com os mundos impossíveis? Pretendo introduzir a
matemática das modalidades e das multimodalidades, incluindo ideias
básicas da combinação de lógicas, discutir alguns de seus problemas
e ajudar a compreender porque a lógica modal ocupa hoje uma posição
tão privilegiada na filosofia, na computação e na linguística.
Lógica, argumentação e pensamento crítico: um programa
Quinta-feira, 28/10/2010, 12h, sala 3048 FAFICH
Nos últimos 30 anos, o estudo da argumentação conheceu um grande
desenvolvimento e se transformou num campo de estudo independente e de
alto valor estratégico, mas que é ainda pouco difundido no Brasil.
Contudo, conhecer a estrutura íntima dos argumentos é fundamental para
o discurso filosófico, científico e político-social. Pretendo discutir
a proposta de um programa introdutório à atividade de pensar
criticamente com bases rigorosas e com suporte na Lógica, embora
não-formal, enfatizando não somente a persuasão e a formulação de
bons argumentos mas a defesa contra ataques argumentativos.
Lógica Quântica, suas Vertentes Modais e a Incompletude
Quinta-feira, 28/10/2010, 16h45, sala 3060 ICEx
A palestra pretende oferecer uma introdução gentil e convidativa acertas questões envolvendo lógica e informação quãntica. Mostro como
algumas classes de lógicas multi-modais com formas fracas de negação
são incompletáveis com respeito às semânticas de Kripke. Argumento
que esta dificuldade, além de seu interesse filosófico intrínseco,
pode ser relevante para a expressabilidade da informação quântica em
termos lógicos. Contudo, a incompletude não afetaria em princípio as
"semânticas modais de traduções possíveis"; considerando que tais
semânticas, tanto quanto as semânticas de Kripke, caracterizam lógicas
modais com vocação quântica, a adoção das semânticas modais de
traduções possíveis pode ser uma interessante alternativa. Discuto
outras abordagens e problemas ligados a esta questão.
são incompletáveis com respeito às semânticas de Kripke. Argumento
que esta dificuldade, além de seu interesse filosófico intrínseco,
pode ser relevante para a expressabilidade da informação quântica em
termos lógicos. Contudo, a incompletude não afetaria em princípio as
"semânticas modais de traduções possíveis"; considerando que tais
semânticas, tanto quanto as semânticas de Kripke, caracterizam lógicas
modais com vocação quântica, a adoção das semânticas modais de
traduções possíveis pode ser uma interessante alternativa. Discuto
outras abordagens e problemas ligados a esta questão.
quarta-feira, 20 de outubro de 2010
Palestra - From Natural Deduction to Lambda Calculus
Palestra com o professor Alexis Saurin PPS/Paris-França
From Natural Deduction to Lambda Calculus
From Natural Deduction to Lambda Calculus
Quinta-feira, sala 4094, 18h
sábado, 9 de outubro de 2010
Comparativo dos governos Lula/PT e FHC/PSDB
Olá para todos.
No link abaixo está um demonstrativo muito didático dos resultados dos governos Lula/PT e FHC/PSDB.
Antes que alguém replique dizendo que a eleição é entre a Dilma e o Serra blá, blá, blá, lembro que os candidatos tem partidos e tais partidos já governaram o Brasil e vários estados. Então, vale sim comparar os resultados efetivos do PSDB com os do PT no governo. E no caso da eleição para presidente, temos à disposição dados dos 4 últimos governos, que foram justamente do PSDB e PT. Em poucas palavras: dizer que não cabem comparações entre os governos FHC e Lula na hora de decidir entre Dilma e Serra é um argumento muito, muitíssimo falacioso.
Outra coisa que é bom lembrar. Concordo que especialmente o primeiro governo do FHC teve méritos. É verdade que tais méritos deveriam ser compartilhados com o Itamar, que recebeu o governo em um momento grave da nossa história recente. Mas o governo FHC/PSDB colaborou para o fim da inflação, para a consolidação da democracia, liberdade de expressão, essas coisas todas. Fez algumas privatizações acertadas e outras não, embora certamente muitas (todas?) tenham sido feitas da forma errada. Mas essa não é a discussão que me parece mais relevante agora.
Eu hoje sou otimista em relação ao Brasil como não era nos tempos absolutamente obscuros dos governos militares, sarney, collor... O PSDB tem méritos, como o PT também. Certamente Lula foi bem-sucedido no governo em alguma medida devido a acertos dos governos anteriores.
Mas o fato é que hoje temos uma decisão a tomar. E há dados, sobretudo no que diz respeito à educação e à distribuição de renda, que revelam sim uma diferença entre PT e PSDB no governo. E tenho uma profunda convicção de que ISSO é o que vai continuar a tornar o Brasil melhor, para nós, nossos amigos, nossas famílias e nossos filhos.
Quanto às fontes: admito que acredito nelas - ingenuamente talvez. Mas se alguém tiver algo a dizer sobre isso, i.e. se os dados do comparativo acima estão errados, manifeste-se então, indicando onde e por quê.
Abraços
quinta-feira, 23 de setembro de 2010
Filosofia das Ciências Biológicas – Terapia Ocupacional
Seminários
Grupo 1: O que é ciência? – 28/9
Grupo 2: O que significa 'vida'? – 26/10
Grupo 3: Como a ciência explica o mundo natural? – 9/11
Grupo 4: Como biologia explica o mundo vivo? – 16/11
Grupo 5: A construção de um novo indivíduo – 23/11
Os textos já estão disponíveis na xerox.
Dia 30/11: exame especial
Seminários: exposição de 60 minutos + debates
Obrigatório a apresentação de resumo esquemático e trabalho escrito com mínimo de 5 laudas e bibliografia.
A participação nos debates dos grupos é obrigatória para todos os alunos.
No link
Grupo 1: O que é ciência? – 28/9
Grupo 2: O que significa 'vida'? – 26/10
Grupo 3: Como a ciência explica o mundo natural? – 9/11
Grupo 4: Como biologia explica o mundo vivo? – 16/11
Grupo 5: A construção de um novo indivíduo – 23/11
Os textos já estão disponíveis na xerox.
Dia 30/11: exame especial
Seminários: exposição de 60 minutos + debates
Obrigatório a apresentação de resumo esquemático e trabalho escrito com mínimo de 5 laudas e bibliografia.
A participação nos debates dos grupos é obrigatória para todos os alunos.
No link
https://sites.google.com/site/textoslogica/arquivos/trab_acad.pdf
está a apostila sobre elaboração de trabalhos acadêmicos. Lembro que para o trabalho a ser entregue não necessário capa nem índice.
está a apostila sobre elaboração de trabalhos acadêmicos. Lembro que para o trabalho a ser entregue não necessário capa nem índice.
domingo, 12 de setembro de 2010
Aviso: não haverá aula dia 14/9
Olá para todos.
Não haverá aula no dia 14/9, terça-feira, pois estarei em um evento na UERJ, Teorias Lógicas Contemporâneas e Filosofia da Linguagem, de 13 a 15 de setembro.
Nossa próxima aula será dia 21/9.
Abraços
Abílio
Não haverá aula no dia 14/9, terça-feira, pois estarei em um evento na UERJ, Teorias Lógicas Contemporâneas e Filosofia da Linguagem, de 13 a 15 de setembro.
Nossa próxima aula será dia 21/9.
Abraços
Abílio
terça-feira, 31 de agosto de 2010
Filosofia das Ciências Biológicas - aula 14/9
Olá para todos.
Hoje iniciamos a leitura do cap. 5 do Warburton sobre ciência e método científico.
Na próxima terça-feira não haverá aula por conta do feriado.
Na aula do dia 14/9 haverá atividades em sala, incluindo um questionário sobre o texto, da p. 167 até a p. 179.
Para quem eventualmente ainda não tem o texto, uma cópia em pdf está no link
Abraços
terça-feira, 24 de agosto de 2010
Argumentos não-dedutivos
Olá para todos.
Abaixo, uma apostila sobre argumentos não-dedutivos, que inclui generalizações indutivas e argumentos por analogia.
http://dl.dropbox.com/u/5959592/apostilas_logica/inducao.pdf
E para que estiver interessado, abaixo dois textos sobre o problema da indução.
E para que estiver interessado, abaixo dois textos sobre o problema da indução.
sábado, 21 de agosto de 2010
quarta-feira, 11 de agosto de 2010
Apostilas de lógica
Nos links abaixo, as apostilas de introdução à lógica que sugeri em
sala de aula.
http://dl.dropbox.com/u/5959592/apostilas_logica/1_log_pred.pdf
http://dl.dropbox.com/u/5959592/apostilas_logica/2_log_sentencial.pdf
sala de aula.
http://dl.dropbox.com/u/5959592/apostilas_logica/1_log_pred.pdf
http://dl.dropbox.com/u/5959592/apostilas_logica/2_log_sentencial.pdf
terça-feira, 3 de agosto de 2010
Assinar:
Postagens (Atom)