sexta-feira, 21 de maio de 2010

Milagres...

O sujeito que não acredita em milagre é capaz de tudo. Basta ver-lhe a face espessa, o riso encharcado de saliva, o ríctus alvar e, em suma, toda uma inestancável estupidez a escorregar-lhe da figura abominável. É susceptível dos piores sentimentos. E conheci um que não respeitava nem as cunhadas! Quanto a mim, com satisfação o confesso: – acredito piamente em milagre. Ou por outra: – só acredito em milagre.

A meu ver o fato normal, o fato lógico, o fato indiscutível merece apenas a nossa repulsa e o nosso descrédito. É preciso captar ou, melhor, extrair de cada acontecimento o que há, nele, de maravilhoso, de inverossímil e, numa palavra, de milagre. E não vejo como se possa viver e sobreviver sem esse milagre.

Agora mesmo no plano do futebol, temos um autêntico – o do América. Pergunto: – o que é a jornada do América, do fim do returno até hoje, senão isto mesmo, ou seja, o milagre taxativo, irrefutável, triunfal? Basta ver o seguinte: – entre nós, o futebol vinha se arrastando em termos crassamente esportivos e técnicos. Faltava-lhe esse mínimo de maravilhoso, sem o qual os times, as pessoas e as nações fenecem na mais torva e ignara das mediocridades. A rigor só havia, em campos brasileiros, um único e escasso milagre, qual seja o da camisa rubro-negra.

De fato, o que se sucede com a camisa do Flamengo desafia e refuta todas as nossas experiências passadas, presentes e futuras. Vejam vocês: – uma camisa que só falta dar adeusinho e virar cambalhota. Quando o time não dá mais nada, quando a defesa baqueia, e o ataque soçobra, vem a camisa e salva tudo. Diante dela, todos se agacham, todos se põem de cócoras, todos babam de terror cósmico. E vamos e venhamos: – como resistir a uma camisa que tem suor próprio, que transpira sozinha, que arqueja, e soluça, e chora? O Flamengo só perde quando não põe para funcionar o milagre da camisa.

Vejamos o América: – suas atuações pertencem ao mais puro, ao mais genuíno, ao mais categórico sobrenatural. No dia do jogo com o Flamengo, um sujeito urrou, atrás de mim: – " Vá jogar assim no raio que te parta! " De fato, era demais. Mas eu falei em dois milagres no futebol brasileiro: – o América e o Flamengo. Esqueci de um outro, anterior, e que é também considerável.

Eis o caso: – havia, em Niterói, um perna-de-pau, tuberculoso há 14 anos. Devia estar morto, enterrado e, no entanto, sobrevivia o diabo do homem, com um pulmão esburacado e inexpugnável. Em campo, ele corria mais que os outros, os atléticos, os eugênicos. Um dia, porém, o presidente do clube lhe desfere à queima-roupa, o primeiro elogio que o perna-de-pau jamais sofrera.

Foi trágico: – aquele pulmão indômito, que agüentava até chumbo derretido, sucumbiu ao elogio. Explodiu uma hemoptise medonha. O sangue espirrava em todas as direções. Diante dessa hemorragia de esguicho, desse chafariz escarlate, os circunstantes tinham vontade de abrir guarda-chuvas. Querem pôr uma vela na mão do quase defunto.

E, súbito, as golfadas pararam. O perna-de-pau enxuga o lábio e vai, pelos próprios passos, a um consultório: – lá tiram-lhe uma radiografia. E foi um assombro mundial, horas depois, quando o médico viu uma imagem radiográfica de virgem, de passarinho. Eis o milagre: – um elogio assassinara o perna-de-pau e o mesmo elogio o ressuscitara.

Nelson Rodrigues

Publicado originalmente na antiga Manchete Esportiva, no dia 3/3/1956 e no Urublog em 25 /11/09 e em 20/5/10.


Mas ontem não rolou.
Paciência. 

Saudações Rubro-Negras.

quinta-feira, 20 de maio de 2010

Sobre o argumento da funda (the slingshot)

Olá para todos. 
Nos links abaixo:
capítulo da minha tese sobre o argumento da funda
http://dl.dropbox.com/u/5959592/arg_da_funda.pdf
um trecho da Stanford
http://plato.stanford.edu/entries/facts/slingshot-argument.html
e o capítulo de Church
http://sites.google.com/site/textoslogica/arquivos/church_intro_04.pdf
Veremos isso na próxima semana.
Abraços

terça-feira, 18 de maio de 2010

Sobre fatos negativos e universais

Olá para todos.
No link
http://dl.dropbox.com/u/5959592/Natal_2009.pdf
estão slides sobre o problema dos fazedores de verdade de proposições negativas e universais, que é muito semelhante ao problema de Russell
 na Filosofia do Atomismo Lógico. No link 
está um texto sobre fazedores de verdade que na seção 4 trata de proposições negativas e universais. 
Para quem estiver interessado, no link 
está o texto de Demos, A Discussion of a Certain Type of Negative Proposition,  que contesta Russell no que diz respeito aos fatos negativos. 

sábado, 15 de maio de 2010

Avaliação - História da Filosofia Contemporânea I - FIL 009 (2010.1)

A avaliação da disciplina História da Filosofia Contemporânea I será
feita por meio de três trabalhos, denominados aqui T1, T2 e T3. Os
três trabalhos são obrigatórios.
T1 e T2 serão questionários sobre os textos estudados em sala de aula.
As datas de entrega serão ainda divulgadas, mas em princípio os prazos
serão respectivamente fim de abril e fim de maio.
T3 deverá ser um texto de 5 a 8 páginas, com bibliografia, a ser
entregue no fim do mês de junho. O tema pode ser escolhido pelo aluno,
desde que seja algum dos tópicos estudados no curso. Temas
alternativos são possíveis, mas devem ser previamente discutidos com o
professor.
T3 deve ser feito de acordo com a apostila sobre redação de trabalhos acadêmicos
http://sites.google.com/site/textoslogica/arquivos/trab_acad.pdf
(mas não é necessário fazer sumário, nem resumo, nem capa, apenas um
cabeçalho com nome do aluno e título do trabalho).

quinta-feira, 13 de maio de 2010

Notas da primeira prova

Olá para todos.
As notas da primeira prova já foram lançadas na minhaUFMG.
Abraços

terça-feira, 11 de maio de 2010

Lógica Intuicionista - Professora Elaine Pimentel

Seminário - Lógica Intuicionista, 
com a professora Elaine Pimentel do Departamento de Matemática da UFMG
Dias 12 e 19 de maio às 15h na sala 4094


Abstract: A lógica clássica trata de "verdade absoluta", no sentido
que uma sentença bem formada é sempre falsa ou verdadeira, onde o
contrário de falso é verdadeiro e vice-versa. Este fato e' descrito
pelo Princípio do Terceiro Excluído (|- forall A. A \/ neg A). Desta
forma, a lógica clássica possui um não-determinismo intrínseco que é
utilizado na matemática em algumas técnicas de prova, como a redução
ao absurdo, por exemplo.

A lógica intuicionista, por sua vez, trata de "provabilidade": um
predicado é válido se e somente se podemos construir uma prova para o
mesmo. Desta forma, o princípio do terceiro excluído deixa de ser um
teorema. As aplicações dentro da matemática não são muito
interessantes. Por exemplo, não podemos "construir" o conjunto dos
números reais, portanto toda a teoria de anáilse intuicionista é sem
sentido. Mas os modelos matemáticos que descrevem a semântica da
lógica intuicionista (Modelos de Kripke, Semi-álgebras de Boole, etc)
são bem interessantes, bem como o estudo da "computabilidade"de
funções. De fato, o "isomorfismo de Curry-Howard" estabelece uma
relação biunívoca entre a lógica intuicionista e uma teoria de funções
chamada lambda-calculus simplesmente tipado. A primeira vive no mundo
lógico enquanto a segunda no mundo computacional.

O objetivo desses dois seminários é apresentar uma introdução à lógica
intuicionista utilizando "cálculo de sequentes", que é um sistema de
provas. Para tal falaremos também um pouquinho de dedução natural.


domingo, 9 de maio de 2010

Primeiro trabalho - História da Filosofia Contemporânea I

Abaixo, alunos que não entregaram o primeiro trabalho de História da Filosofia Contemporânea I, 2010.1

DENISE DAMARIS DA SILVA  
JOSE LUIS CARVALHO AFONSO  
LUIZA SOARES LOPES  
VITOR AMARAL MEDRADO  
WALLISON ALVES BRANDAO  

quarta-feira, 5 de maio de 2010

Russell - On Denoting

Olá para todos.
No link
está um roteiro para auxiliar na leitura de On Denoting.

sexta-feira, 16 de abril de 2010

A revista veja e a Filosofia

Olá para todos.
Abaixo, links com a matéria da revista veja sobre Filosofia e Sociologia no ensino médio e um texto do prof. Filipe Ceppas (UFRJ) publicado no Jornal da Ciência hoje, 16/4.

terça-feira, 13 de abril de 2010

Prova de História da Filosofia Contemporânea I

Olá para todos.

A prova de História da Filosofia Contemporânea I está no link

http://dl.dropbox.com/u/5959592/PROVA_HFC1.pdf

Abaixo, algumas informações importantes.

O prazo de entrega é 3/5/2010.
Não serão aceitas provas entregues fora do prazo.
Até o dia 2/5/2010 a prova pode ser enviada por email para abilio.arf@gmail.com. 
A prova pode ser feita individualmente ou em grupos de no máximo três alunos.
A prova vale vinte pontos, dez para cada questão respondida.
A apresentação de trabalho ou prova escrito todo ou em parte por outra pessoa (por exemplo, proveniente da internet ou de textos sem a devida citação) constitui plágio.
O plágio será punido com a perda dos pontos da questão.

segunda-feira, 12 de abril de 2010

Frege - sobre contextos intensionais

Olá para todos.
No link
http://dl.dropbox.com/u/5959592/Frege_SSR_parte_2.pdf
está um roteiro para a leitura da segunda parte de
SSR, que veremos na aula do dia 12/4.
Abraços

terça-feira, 6 de abril de 2010

Verdade em Frege

Está disponível no link
uma breve análise dos argumentos de Frege no texto O Pensamento que atacam a noção de verdade como correspondência e sustentam que verdade é indefinível. Vejam também o texto do Soames em
Abraços

quarta-feira, 31 de março de 2010

Plano do curso

Olá para todos.
Foram feitas alterações no plano do curso da disciplina História da Filosofia Contemporânea I.
Estão no link 
Note as datas de entrega dos trabalhos: T1 - 3 de maio; T2 - 2 de junho; T3 - 30 de junho.
Para a próxima aula, segunda 5/4, veremos os trechos sobre a verdade em SSR e O Pensamento (disponível na xerox).
Leiam também o texto do Soames disponível na bibliografia auxiliar.
Abraços e bom feriado.
Abílio

terça-feira, 30 de março de 2010

Semântica

Do livro A Ciência Ri - Sidney Harris - 2007

domingo, 28 de março de 2010

Frege e verdade

Olá para todos.

Nas aulas desta semana veremos o argumento de Frege para defender a tese de que a referência de uma sentença é seu valor de verdade, apresentado nas pp. 67-71 de Sobre o Sentido e a Referência. 
No link
http://sites.google.com/site/filosofiaetc/histfil/argumento_frege.pdf
está uma análise do argumento de Frege e também trechos de outras obras em que Frege trata do mesmo tema.

No parágrafo que começa no fim da p. 69 Frege faz alguns breves comentários sobre a noção de verdade. Esse tema será retomado em um dos últimos textos de Frege, O Pensamento (1918-19, pp. 9-19), cujo trecho relevante está disponível na xerox. 

No link
http://sites.google.com/site/filosofiaetc/histfil/soames_frege_truth.pdf
está um trecho do livro de Scott Soames, Understanding Truth, em que ele analisa a noção de verdade em Frege. 

Abraços

quinta-feira, 25 de março de 2010

Sobre o grupo de estudos de lógica

Olá para todos.

Alguns esclarecimentos sobre o grupo de estudos de lógica.

1. 
Os grupos de estudo de 30 horas, como o grupo de lógica, são como disciplinas optativas. Dois semestres equivalem a uma disciplina optativa do tipo "Tópicos em...", de 60 horas (desde que o aluno esteja matriculado na disciplina correspondente ao grupo de estudos).

2. 
O grupo de lógica foi dividido em 2, ambos às segundas-feiras na sala 4094. 
No primeiro, às 17h, a ênfase será em lógica e argumentação. Estudaremos temas da lógica em sentido estrito mas também tópicos da chamada 'lógica informal' (vejam o link http://criticanarede.com/log_informal.html).
Usaremos o livro do Mortari Introdução à Lógica (Ed. Unesp) e também Pensamento Crítico de Carnielli e Epstein (Ed. Rideel).
No segundo, às 18h40, continuaremos o estudo de tópicos de lógica matemática. Neste semestre estamos estudando o capítulo 2 de Mathematical Logic do Robbin (Ed. Dover). 

3. 
Alunos que querem participar do grupo e estão também interessados na inscrição na disciplina de 30 horas devem enviar email para abilio.arf@gmail.com com nome completo e matrícula até 12h de amanhã, sexta-feira dia 26. Mas para participar do grupo, não é obrigatória a inscrição na disciplina.

Abraços.

Abílio

segunda-feira, 22 de março de 2010

Grupo de lógica

Olá para todos.

Há um grupo de estudos que se reúne às segundas-feiras 18h30. Mas estamos um pouco adiantados, pois começamos em 2009.1. 

Eu posso abrir um novo grupo, por exemplo às 17h, desde que pelo menos 3 alunos estejam interessados.

Os interessados mandem um email para abilio.arf@gmail.com. 

Abraços



segunda-feira, 15 de março de 2010

Avaliação - História da Filosofia Contemporânea I - FIL 009 (2010.1)

A avaliação da disciplina História da Filosofia Contemporânea I será feita por meio de três trabalhos, denominados aqui T1, T2 e T3. Os três trabalhos são obrigatórios. 
T1 e T2 serão questionários sobre os textos estudados em sala de aula. As datas de entrega serão ainda divulgadas, mas em princípio os prazos serão respectivamente fim de abril e fim de maio. 
T3 deverá ser um texto de 5 a 8 páginas, com bibliografia, a ser entregue no fim do mês de junho. O tema pode ser escolhido pelo aluno, desde que seja algum dos tópicos estudados no curso. Temas alternativos são possíveis, mas devem ser previamente discutidos com o professor. 
T3 deve ser feito de acordo com a apostila sobre redação de trabalhos acadêmicos
(mas não é necessário fazer sumário, nem resumo, nem capa, apenas um cabeçalho com nome do aluno e título do trabalho).

terça-feira, 2 de março de 2010

Material disponível

Olá para todos.
Na xerox já estão disponíveis os textos de Frege, Russell e Tarski.
Na página do curso, 
você encontra também as versões em inglês da maioria dos textos que vamos estudar.
Está disponível também a introdução da Crítica da Razão Pura, de Kant, 
para que possamos contrastar as visões de Frege e Kant acerca das proposições da aritmética. 
Abraços

segunda-feira, 1 de março de 2010

História da Filosofia Contemporânea I

Olá para todos.

No link 
está o site da disciplina História da Filosofia Contemporânea I, onde você encontra material, informações e avisos relativos ao curso.

Já estão disponíveis os textos de Frege que serão utilizados nas próximas aulas:

Conceitografia (parte 1)

Fundamentos da Aritmética (excertos)

Abraços