terça-feira, 16 de dezembro de 2008

Sobre o lançamento das notas de lógica

Olá para todos.
A maioria das notas foram lançadas invertidas - a 1a prova no lugar da
2a e vice-versa. Exceto os alunos q fizeram 2a chamada.
Além disso, a segunda prova valeu 12 pontos. Por essa razão, tive que
alterar algumas notas da 1a prova.
Abraços

segunda-feira, 15 de dezembro de 2008

Notas lançadas

As notas de lógica e metodologia, finalmente, estão lançadas.
Abraços e boas férias.
Abílio

domingo, 7 de dezembro de 2008

Luísa 1998

Papai, sabe aquela boneca que a Mariana me deu? A cabeça dela... ó: o olho dela, de tanto eu ficar mexendo no olho dela, o olho dela, caiu-pra-dentro-da-cabeça. Aí, eu tive que tirá a cabeça, pra tirá do corpo. Aí, eu botei o olho de novo. O olho, na cabeça. Só, que até agora eu não consegui botá a cabeça. Eu te amo papai.

             


quinta-feira, 4 de dezembro de 2008

Artigo - Lógica Intuicionista

Olá para todos.
No link abaixo está o artigo introdutório sobre lógica intuicionista que será possivelmente publicado em 2009.
http://filosofiaetc.sites.uol.com.br/log_intuicionista.pdf
Leitura recomendada para os interessados em lógica, matemática ou que pretendem fazer a disciplina eletiva Lógica II em 2009.1.
Abraços

sexta-feira, 28 de novembro de 2008

Disciplina eletiva de lógica para 2009.1

Olá para todos.
Será oferecida uma disciplina eletiva de lógica no semestre 2009.1, denominada 'Lógica II'.
Especialmente para aqueles que têm interesse em lógica, computação e matemática, como também em aplicações dessas disciplinas nas suas respectivas áreas de interesse, o curso é bastante recomendado.
A ementa está abaixo. Devido ao tempo disponível (36 horas) o curso será limitado à lógica sentencial. Estudaremos em detalhe, entre outras coisas, o teorema da completude que foi muitas vezes mencionado mas não foi demonstrado no nosso primeiro curso de lógica.
A disciplina abordará também um primeiro contato com a lógica intuicionista. Grosso modo, lógica intuicionista difere da lógica clássica por rejeitar o terceiro excluído (A v ~A) e a dupla negação (~~A -> A). A lógica intuicionista tem importantes aplicações na matemática, na computação e até mesmo na física.
Diferentemente das disciplinas obrigatórias, a avaliação de Lógica II será composta de duas provas mais prova substitutiva no fim do período - sim, para disciplinas eletivas eu aplico prova substitutiva.
Abraços para todos.


Nome da unidade curricular eletiva: Lógica II

Professor: Abílio Rodrigues Filho

Carga horária: 36 horas

HORÁRIO PREVISTO (A CONFIRMAR): Terças-feiras, 17h.

Objetivo: Apresentar ao aluno metateoremas fundamentais da lógica clássica no nível da lógica sentencial e possibilitar um primeiro contato com lógicas não-clássicas, com ênfase no estudo da lógica intuicionista.

Ementa: O conceito de sistema formal. Indução matemática e indução estrutural. Definições recursivas. O conceito de prova. Sistemas dedutivos (axiomáticos e de dedução natural). O teorema da dedução. Os teoremas da completude e correção para a lógica sentencial. Noções de lógicas não-clássicas. Sistemas dedutivos para a lógica intuicionista.

Bibliografia:

Newton-Smith, W.H.: 1998. Lógica – um curso introdutório. Lisboa: Editora Gradiva.

Finger, Marcelo et al.: 2006.   Lógica para Computação. São Paulo: Editora Thomson.

van Dalen, D.: 2004. Logic and Structure. Berlin: Springer-Verlag.

Robbin, J.W.: 1997. Mathematical Logic: A First Course. New York: Dover.

Mints, G.: 2002. A Short Introduction to Intuitionistic Logic. New York: Kluwer.

Bostock, David.: 2002. Intermediate Logic. New York: OUP.

Priest, G.: 2004. An Introduction to Non-classical Logic. New York: Cambridge University Press.



sábado, 22 de novembro de 2008

quinta-feira, 20 de novembro de 2008

Apostila complementar - Lógica

Olá para todos.
A apostila complementar para tablôs está no link
http://filosofiaetc.sites.uol.com.br/tablos_pred.pdf
e também disponível na xerox.
Abraços

Flamengo: o time mais brasileiro dos brasileiros.

Pode-se dizer que o São Paulo é o time mais alemão dos brasileiros,
que o Grêmio é o time mais argentino dos brasileiros
e que o FLAMENGO é o time mais brasileiro dos brasileiros.

Blog do Juca Kfouri, 17/11/2008

quarta-feira, 19 de novembro de 2008

Programação final - Lógica

Olá para todos.

Abaixo, o calendário das aulas de Lógica.

Dias 19/20 e 26/27 de novembro: aula normal
Finalização do programa:
Tablôs para lógica de predicados
Indecidibilidade do cálculo de predicados
Mortari pp. 210 a 225 + Apostila complementar (que será disponibilizada em breve).


Dias 3/4 de dezembro
Segunda prova - toda a matéria, especialmente:
Conseqüência lógica no cálculo de predicados
Fórmulas válidas do cálculo de predicados
Decidibilidade do cálculo sentencial vs. indecidibilidade do cálculo de predicados
Tablôs para cálculo de predicados


Dias 10/11 de dezembro
Prova de segunda chamada.

A prova de segunda chama substitui apenas uma prova. Não é possível fazer segunda chamada para as duas provas.
Somente poderão fazer segunda chamada os alunos que justificarem a ausência da prova que não compareceram.

Abraços Rubro-Negros

sexta-feira, 31 de outubro de 2008

Notas da prova de lógica

As notas da primeira prova de lógica estão no link abaixo:

http://filosofiaetc.sites.uol.com.br/logica_notas.pdf

Os alunos que faltaram por favor entrem em contato comigo o mais rápido possível.




quarta-feira, 22 de outubro de 2008

Atividades - Lógica - 22/10 a 6/11

Dias 22/10 e 23/10
Mortari – cap. 7
Ler pp. 98-106
Fazer exercícios 7.1 e 7.2
Entregar até 19h na sala 214.

Para aulas dos dias 29/10 e 30/10
Ler pp. 106-119
Fazer exercícios 7.3, 7.4, 7.5 e 7.6.

Para aulas dos dias 5/11 e 6/11
Ler cap. 8 – pp.120-128.
Ler cap. 10 – pp. 155-178

Os capítulos 7, 8 e 10 do Mortari estão disponíveis na xerox.

domingo, 5 de outubro de 2008

Prova de Lógica

Olá para todos.
A prova de lógica será nos dias 8 e 9 de outubro.
Matéria:
Apostilas 1 e 2 + respectivos capítulos do Mortari:
Sintaxe da lóg. sentencial
Contradições, contingências e tautologias
Conseqüência tautológica
Tabelas de verdade
Tablôs semânticos
Abraços e... boa sorte.

sábado, 4 de outubro de 2008

Atividades - Metodologia

Olá para todos.
As atividades de metodologia dos dias 26/09, 03/10 e 10/10 estão disponíveis nos links abaixo:
http://filosofiaetc.sites.uol.com.br/met_2609.pdf
http://filosofiaetc.sites.uol.com.br/met_0310.pdf
http://filosofiaetc.sites.uol.com.br/met_1010.pdf
Quem ainda não fez pode fazer e entregar até o dia 17 de outubro.
O prazo final para entrega do fichamento também é 17 de outubro.
Abraços.

quinta-feira, 18 de setembro de 2008

Textos - Lógica

Olá para todos.
Estão disponíveis na xerox:
(i) a apostila da unidade 3 de lógica;
(ii) os capítulos 13, 14 e 15 do Mortari.
A apostila está também está no link
http://filosofiaetc.sites.uol.com.br/logica_3.pdf.
Atenção:
Façam os exercícios do Mortari mencionados nas apostilas,
especialmente os da pág. 207 - tablôs semânticos da lóg. sentencial.
Abraços

segunda-feira, 15 de setembro de 2008

Apostilas de Lógica

Olá para todos.
Já está disponível a apostila da unidade 3 no link
http://filosofiaetc.sites.uol.com.br/logica_3.pdf.
As apostilas das unidades 1 e 2 estão nos links
http://filosofiaetc.sites.uol.com.br/logica_1.pdf
http://filosofiaetc.sites.uol.com.br/logica_2.pdf.
Além das apostilas, estão disponíveis também na xerox os capítulos do
livro do Mortari.

quarta-feira, 10 de setembro de 2008

Falácia

Há uma falácia no argumento abaixo?

Cogito, ergo...

Descartes walks into a bar.

The bartender walks up to him and says, "Would you care for a drink?"

Descartes replied, "I think not." and disappears.

sexta-feira, 29 de agosto de 2008

Metodologia 2008.2

Para alunos da turma de metodologia, sexta-feira 15h.

Links para:

Apostila de lógica e argumentação:
http://filosofiaetc.sites.uol.com.br/log_arg.pdf

Lista de exercícios (1):
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf

Lista de exercícios (2):
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf

Os exercícios (1) e (2) serão feitos na próxima aula.

Fichamentos: entrega dia 3 de outubro.

quarta-feira, 20 de agosto de 2008

Turmas de Lógica - 2008.2

Olá para todos.
Estão disponíveis na xerox os capítulos 3 e 4 do livro do Mortari.
Leiam e façam os exercícios das páginas 37, 47, 50, 51 e 54.
Esses exercícios serão corrigidos nos dias 27 e 28 de agosto.
Abraços

Material para Metodologia - 2008.2

segunda-feira, 11 de agosto de 2008

Textos - Tarski e truthmakers

Teorias de Truthmakers (fazedores-de-verdade)

11 a 13 de agosto de 2008
Universidade Federal de Goiânia
Mini-curso: Teorias de Fazedores-de-verdade

1. A definição de verdade de Tarski
1.1. Os objetivos de Tarski: construir uma definição: (i) formalmente
correta, (ii) materialmente adequada, (iii) semântica e (iv) que
expresse a noção de verdade como correspondência;
1.2. A definição de verdade;
1.3. Crítica: a definição de Tarski não é semântica mas sim sintática.

2. Teorias de fazedores-de-verdade
2.1. As motivações;
2.2. As idéias fundamentais: as teses do necessitarianismo e do acarretamento;
2.3. Axiomas para uma teoria de fazedores-de-verdade.

3. Problemas de teorias de fazedores-de-verdade
3.1. O problema das verdades necessárias;
3.2. O problema do colapso dos fazedores-de-verdade;
3.3. Possíveis soluções: lógica relevante e lógica intuicionista.

terça-feira, 29 de julho de 2008

Lançamento de notas

Olá para todos.
Todas as notas já foram lançadas.
Faltam apenas as notas das provas de segunda chamada.
Abraços

domingo, 27 de julho de 2008

Lançamento de notas - turma B

Olá para todos.
As notas da turma B também estão lançadas.
Faltam as turmas C e D, que foram as últimas a entregar o trabaho.
Abraços

sábado, 26 de julho de 2008

Notas - turma A

As notas da turma A já estão lançadas na Intranet.
Abraços

quinta-feira, 24 de julho de 2008

Resultado da seleção – Bolsa PIBIC/UFSJ

1º: Rina Mariane Dutra

2º: Bruno Andrade

3º: Katialaine Corrêa de Araújo

segunda-feira, 21 de julho de 2008

Processo de seleção – Bolsa PIBIC/UFSJ

Projeto: Sintaxe e semântica da lógica proposicional intuicionista

Alunos selecionados para a entrevista.
Dia 23 de julho, quarta-feira
Horário conforme a escala abaixo:

1. Bruno Andrade – 18h
2. Isadora Nogueira Barbosa – 18h10
3. Katialaine Corrêa de Araújo – 18h20
4. Rina Mariane Dutra –18h30
5. Victor Hugo C. Cardoso – 18h40

Abraços

quinta-feira, 17 de julho de 2008

Seleção bolsa PIBIC & última aula de reforço

Olá para todos.

A seleção para a bolsa PIBIC será na sexta-feira dia 18/7 18h.
O projeto está no link abaixo:
http://filosofiaetc.sites.uol.com.br/projeto_intuicionismo.pdf

A última aula de reforço será também na sexta-feira, dia 18/7 15h.

Abraços

terça-feira, 8 de julho de 2008

Exercícios de Lógica

No link abaixo

Representação do Conhecimento

alguns exercícios de lógica.

Abraços

sexta-feira, 4 de julho de 2008

Provas, seleção PIBIC, etc.

Olá para todos.

A unidade 4 de Lógica e Argumentação está disponível em http://filosofiaetc.sites.uol.com.br/unid4.pdf.

Os alunos interessados em participar da seleção para a bolsa PIBIC, projeto Sintaxe e semântica da lógica proposicional intuicionista, devem enviar email para abilio.arf@gmail.com. Eu responderei com o projeto de pesquisa. A seleção será realizada na próxima semana. Mais informações podem ser obtidas por email.

A última prova será realizada nos dias 23 e 24 de julho. A prova de segunda chamada será realizada nos dias 30 e 31 de julho.

Abraços

quinta-feira, 26 de junho de 2008

Regras de inferência da lógica proposicional

Já está disponível no endereço
http://filosofiaetc.sites.uol.com.br/unid3B.pdf
a apostila sobre regras de inferência da lógica proposicional.
Abraços

sexta-feira, 30 de maio de 2008

Apostilas de lógica e argumentação

Olá para todos.
Abaixo os links para as apostilas das unidades 2 e 3 de lógica e argumentação.
http://filosofiaetc.sites.uol.com.br/unid2.pdf
http://filosofiaetc.sites.uol.com.br/unid3.pdf
Lembrem-se que a unidade 3 será vista nos dias 4 e 5 de junho e a
prova será nos dias 11 e 12 de junho.
Abraços

quinta-feira, 22 de maio de 2008

Manifestos

Zuenir Ventura - Manifestos - O Globo 21/05/2008

Os manifestos voltaram à moda! Só nestes últimos dias recebi uns três para assinar. Não assinei nenhum porque desde que passei a dispor de um espaço privilegiado para dar minhas opiniões, achei que não seria correto fazer campanha, contra ou a favor. Aqui não é o lugar de militância. Não subscrevo documento coletivo nem mesmo acerca do óbvio - contra o aquecimento da Terra ou a favor da salvação da espécie animal, por exemplo. Só abro exceção para anúncio fúnebre, que não deixa de ser uma espécie de manifesto em homenagem ao morto. E, no entanto, passei parte de minha vida assinando manifestos. Uma amiga chegou a pensar em escrever uma peça teatral sobre os anos de chumbo com o título: "Zelito, Ziraldo e Zuenir. Ou o fim dos manifestos".

Ela pretendia brincar com a mania que parecia ter desaparecido e com os três Z que encerravam sempre os abaixo-assinados contra o regime militar. Como a ordem era alfabética, percebemos com o tempo que isso era uma desvantagem para nós, porque policiais preguiçosos conseguiam mostrar serviço indo direto ao final. Já sabiam até os endereços.

Muita coisa mudou. Manifesto não dá mais cadeia e não precisa passar de mão em mão: chega pela internet, o que é mais rápido, embora possa dar margem a falsificações. Como saber que a inclusão de um nome foi autorizada pelo próprio, já que proliferam na rede até textos apócrifos? Eu mesmo já li alguns, atribuídos a mim, que nunca os escrevi.

Outra diferença é que antes eles eram previsíveis: contra a censura e a tortura ou a favor da liberdade de expressão. Com a dificuldade de consenso dos novos tempos, é cada vez mais comum o surgimento de um tema atraindo posições antagônicas. Dois dos manifestos que recebi agora são opostos e tratam da questão das cotas ou reserva de vagas nas universidades como política para contemplar a exclusão dos negros. Nomes que estariam na mesma fileira, provavelmente pensando da mesma maneira, estão hoje em lados contrários, como, entre muitos, Caetano Veloso, João Ubaldo, Cesar Benjamin, Yvonne Maggie, Gilberto Velho, que integram o time dos que rejeitam a medida; e Oscar Niemeyer, Nelson Pereira dos Santos, Augusto Boal, Otavio Velho, favoráveis ao sistema.

Antigamente, para uma decisão dessa natureza, era só abrir o catecismo ideológico e ver o que a esquerda e a direita recomendavam. Era tão mais fácil! Hoje, sem a ideologia para abençoar as tomadas de posição, a escolha se baseia nos argumentos favoráveis ou contrários a uma causa, não na sua filiação. Ninguém tem mais a cabeça feita prévia e automaticamente, há que pensar por conta própria. Essa falta de bússola pode desorientar, dar mais trabalho, mas significa que caímos de fato numa democracia, que é o reino plural da controvérsia e do desacordo.

domingo, 18 de maio de 2008

Slides - Indução

Abaixo, link correto para os slides da aula sobre o problema da indução:

http://filosofiaetc.sites.uol.com.br/aula_inducao.pdf

Material de lógica e argumentação

Abaixo, links para:

Apostila de lógica e argumentação:
http://filosofiaetc.sites.uol.com.br/log_arg.pdf

Lista de exercícios (1):
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf

Lista de exercícios (2):
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf

domingo, 4 de maio de 2008

Saudações Rubro-Negras!

Flamengo Sessentão

Corria o ano de 1911. Vejam vocês: - 1911! O bigode do kaiser estava, então, em plena vigência: Mata-Hari, com um seio só, ateava paixões e suicídios; e as mulheres, aqui e alhures, usavam umas ancas imensas e intransportáveis. Aliás, diga-se de passagem: - é impossível não ter uma funda nostalgia dos quadris anteriores à Primeira Grande Guerra. Uma menina de catorze anos para atravessar uma porta tinha que se pôr de perfil. Convenhamos: - grande época! grande época!

Pois bem. Foi em 1911, tempo dos cabelos compridos e dos espartilhos, das valsas em primeira audição e do busto unilateral de Mata-Hari, que nasceu o Flamengo. Em tempo retifico: - nasceu a seção terrestre do Flamengo. De fato, o clube de regatas já existia, já começava a tecer sua camoniana tradição náutica. Em 1911, aconteceu uma briga no Fluminense. Discute daqui, dali, e é possível que tenha havido tapa, nome feio, o diabo. Conclusão: - cindiu-se o Fluminense e a dissidência, ainda esbravejante, ainda ululante, foi fundar, no Flamengo de regatas, o Flamengo de futebol.

Naquele tempo tudo era diferente. Por exemplo: - a torcida tinha uma ênfase, uma grandiloqüência de ópera. E acontecia esta coisa sublime: - quando havia um gol, as mulheres rolavam em ataques. Eis o que empobrece liricamente o futebol atual: - a inexistência do histerismo feminino. Difícil, muito difícil, achar-se uma torcedora histérica. Por sua vez, os homens torciam como espanhóis de anedota. E os jogadores? Ah, os jogadores! A bola tinha uma importância relativa ou nula. Quantas vezes o craque esquecia a pelota e saía em frente, ceifando, dizimando, assassinando canelas, rins, tórax e braços adversários? Hoje, o homem está muito desvirilizado e já não aceita a ferocidade dos velhos tempos. Mas raciocinemos: - em 1911, ninguém bebia um copo d'água sem paixão.

Passou-se. E o Flamengo joga, hoje, com a mesma alma de 1911. Admite, é claro, as convenções disciplinares que o futebol moderno exige. Mas o comportamento interior, a gana, a garra, o élan são perfeitamente inatuais. Essa fixação no tempo explica a tremenda força rubro-negra. Note-se: - não se trata de um fenômeno apenas do jogador. Mas do torcedor também. Aliás, time e torcida completam-se numa integração definitiva. O adepto de qualquer outro clube recebe um gol, uma derrota, com uma tristeza maior ou menor, que não afeta as raízes do ser. O torcedor rubro-negro não. Se entra um gol adversário, ele se crispa, ele arqueja, ele vidra os olhos, ele agoniza, ele sangra como um César apunhalado.

Também é de 1911, da mentalidade anterior à Primeira Grande Guerra, o amor às cores do clube. Para qualquer um, a camisa vale tanto quanto uma gravata. Não para o Flamengo. Para o Flamengo, a camisa é tudo. Já tem acontecido várias vezes o seguinte: quando o time não dá nada, a camisa é içada, desfraldada, por invisíveis mãos. Adversários, juízes, bandeirinhas tremem então, intimidados, acovardados, abatidos. Há de se chegar o dia em que o Flamengo não precisará de jogadores, nem de técnicos, nem de nada. Bastará a camisa, aberta no arco. E, diante do furor impotente do adversário, a camisa rubro-negra será uma bastilha inexpugnável.

Nélson Rodrigues Manchete Esportiva, 26/11/1955

sexta-feira, 2 de maio de 2008

Dicionário de Filosofia

Abaixo, link para um dicionário de filosofia que poderá ser muito útil.
http://www.defnarede.com/
Abraços

quinta-feira, 24 de abril de 2008

Metodologia & o problema da indução

Olá para todos.

Apostila com dicas para redação e formatação de trabalhos acadêmicos:
http://filosofiaetc.sites.uol.com.br/trabalhos_academicos.pdf

Manual da Puc-Rio com normas para formatação de teses e dissertações:
http://filosofiaetc.sites.uol.com.br/normas.pdf

Textos sobre o problema da indução:
http://filosofiaetc.sites.uol.com.br/metodologia/hume_inducao.pdf
http://filosofiaetc.sites.uol.com.br/metodologia/russell_inducao.pdf

quinta-feira, 3 de abril de 2008

Metodologia - UFSJ

Olá para todos.

Abaixo estão os links para os dois textos que mencionei em sala de aula:

http://abilioazambuja.sites.uol.com.br/carater_critico.pdf
http://abilioazambuja.sites.uol.com.br/ep_met.pdf

E abaixo o link para o plano de curso de metodologia:

http://abilioazambuja.sites.uol.com.br/plano_curso_FTC.pdf

Abraços.

segunda-feira, 3 de março de 2008

UEPB - Filosofia

Os seguintes textos estão disponíveis na xerox do Campus de Patos da
UEPB para os alunos de Filosofia e Ética (curso de administração) e
Filosofia (curso de lic. em ciências exatas):

1. O que é Ética?
2. Ética - Elementos básicos de filosofia: Bem e Mal
3. O surgimento da filosofia na Grécia antiga
4. O caráter crítico da filosofia (também disponível em
http://abilioazambuja.sites.uol.com.br/carater_critico.pdf)
5. O meio ambiente
6. Aborto - Tirar a vida: o embrião e o feto

Abraços para todos

quinta-feira, 28 de fevereiro de 2008

Texto Filosofia

Olá para todos.
O texto que estamos trabalhando nas aulas de filosofia está no link
http://abilioazambuja.sites.uol.com.br/carater_critico.pdf
Abraços
A.