2nd Colloquium on Metaphysical Logic

2nd Colloquium on Metaphysical Logic

Local: Sala F1052, FAFICH, UFMG
Data: 18 e 19 de agosto de 2011

P R O G R A M A Ç Ã O

Quinta-feira, 18 de agosto de 2011
Manhã – Moderador: Prof. Abílio Rodrigues – UFMG
9h30 às 10h30
Palestrante: Prof. Túlio Aguiar – UFMG
Título: Causation and Physics: is there possibility of reconciliation?
10h45 às 11h45
Palestrante: Prof. Alessandro Bandeira – UFRRJ
Título: The formal role of the truth-values in Frege's Logic
Tarde – Moderador: Prof. Mauro Engelmann – UFMG
14h às 15h
Palestrante: Prof. Guido Imaguire – UFRJ
Título:  Some Remarks on Nominalism
15h15 às 16h15
Palestrante: Prof. Ernesto Perini – UFMG
Título: How not to build an ontological dispute - some remarks on the
relationship between truth-conditional semantics and ontology
16h30 às 17h30
Palestrante: Prof. Pedro Santos – UNIFESP
Título: Grounding Mereology

Sexta-feira, 19 de agosto de 2011
Manhã – Moderador: Prof. Pedro Santos – UNIFESP
9h30 às 10h30
Palestrante: Prof. Rodrigo Bacellar – USP
Título: The elimination of sets
Palestrante: Prof. André Porto – UFG
Título: A new theory of space
10h45 às 11h45
Tarde – Moderador: Prof. Rodrigo Bacellar – USP
14h às 15h
Palestrante: Prof. Desidério Murcho – UFOP
Título: There is no Logic
15h15 às 16h15
Palestrante: Prof. Gonzalo Rodriguez-Pereyra – University of Oxford
Título: Resemblance Nominalism, conjunctions and truthmakers

Comissão Organizadora:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Rodrigo Bacellar – USP
Prof. Túlio Aguiar – UFMG

Comitê científico:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Guido Imaguire – UFRJ
Prof. Mauro Engelmann – UFMG
Prof. Rodrigo Bacellar – USP

LÓGICA - Coleção Filosofias: o Prazer do Pensar

http://www.wmfmartinsfontes.com.br/detalhes.asp?id=553162

Não é incomum supor que a lógica é uma disciplina completa, finalizada. Uma disciplina similar à aritmética, cujas verdades não são questionadas. De fato, não parece muito plausível colocar em questão, por exemplo, se a soma de 2 e 3 é mesmo 5 ou analisar criticamente a afirmação de que 1 multiplicado por um número qualquer n dá como resultado o próprio número n. Algo parecido acontece com a lógica. Princípios como o terceiro excluído e a não-contradição são freqüentemente apresentados como leis fundamentais do pensamento, e a bivalência é simplesmente pressuposta, como se nada diferente fosse possível. Pelo nome 'lógica', muitas vezes entende-se apenas a lógica clássica, ou ainda mais grave, considera-se que a lógica se resume à lógica aristotélica, quando na verdade a lógica aristotélica é apenas um pequeno fragmento da lógica moderna.
Segundo essa visão, a lógica é considerada uma disciplina quase dogmática, cujos fundamentos não podem ser colocados em questão e com resultados, como os da aritmética, que são tomados como verdades acima de qualquer suspeita. Por outro lado, uma das primeiras coisas que aprendemos sobre a filosofia é que a postura crítica é sua característica essencial. A idéia de que a lógica é uma disciplina finalizada parece estar em desacordo com a postura crítica da filosofia.
O problema é que essa visão da lógica é profundamente equivocada. A lógica não é de modo algum uma disciplina finalizada, muito menos dogmática. A atitude crítica da filosofia também se dirige para os princípios sobre os quais se baseia a lógica, que são questionados e podem ser rejeitados. E a discussão acerca de tais princípios se baseia em posições filosóficas acerca da realidade, da linguagem e do conhecimento humano.
Este pequeno texto procura justamente mostrar que uma série de princípios básicos adotados pela lógica clássica podem ser colocados em questão, dando origem às chamadas lógicas não-clássicas. Veremos que, na verdade, não temos uma mas várias lógicas.

Primeiro Simpósio Internacional de Filosofia da Linguagem na UFF

Primeiro Simpósio Internacional de Filosofia da Linguagem na UFF
Workshop sobre Frege com Joan Weiner

Data:   8-10 de agosto de 2011
Local: Universidade Federal Fluminense
Campus do Gragoatá
Instituto de Ciências Humanas e Filosofia
Departamento de Filosofia
Rua Professor Marcos Waldemar de Freitas Reis, Bloco O, sala 516
São Domingos – Niterói
CEP 24210-350 - RJ - Brasil

Palestrantes:
Joan Weiner (Indiana University Bloomington)
Oswaldo Chateaubriand (PUC-Rio)
Marco Ruffino (UFRJ)
Guido Imaguire (UFRJ)
Ludovic Soutif (PUC-Rio)
Alessandro Bandeira Duarte (Rio-Rural)
Abílio Rodrigues (UFMG)
Pedro de Moraes Rego e Freitas Santos (UNIFESP)
Dirk Greimann (UFF)

Programação:
Segunda-feira, 08/08/2010
14:30  - 16:00   Joan Weiner, "Why does Frege care whether Julius
Caesar is a number?"
16:15 – 17:15   Dirk Greimann, "Frege and Tarski on truth"
17:30 – 18:30   Guido Imaguire, "A fresh look at Russell's criticism
of Frege's conception of                        Sinn"

Terça-feira, 09/08/2010
10:30 – 11:30    Pedro Santos, "What is a (Fregean) function?"
11:45 – 12:45   Ludovic Soutif, "How epistemic is cognitive value?"
15:00 – 16:00   Alessandro Duarte, "Frege may have been a neo-Fregean"
16:15 – 17:15   Abílio Rodrigues, "Semantic value, reference and
conceptual content"

Quarta-feira, 10/08/2010
11:00 – 12:30   Joan Weiner, "Frege and the beast of reality: the
logical and metaphysical
notions of  objecthood"
15:00 -  16:00   Marco Ruffino, "The sense of proper names"
16:15 – 17:15   Oswaldo Chateaubriand, "Truth-values"

Verbetes da Wikipédia em português

Abaixo, uma relação de verbetes da Wikipédia em português produzidos
e/ou ampliados por alunos do Centro de Informática da UFPE.

*Teoria dos Conjuntos*:
http://pt.wikipedia.org/wiki/N%C3%BAmero_de_Hartogs
http://pt.wikipedia.org/wiki/Axioma_do_conjunto_vazio
http://pt.wikipedia.org/wiki/Diagrama_de_Hasse
http://pt.wikipedia.org/wiki/For%C3%A7amento
http://pt.wikipedia.org/wiki/Cardinalidade
http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos

*Lógica*:
http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem
http://pt.wikipedia.org/wiki/Subestrutura
http://pt.wikipedia.org/wiki/Decidibilidade

Verdade

Abaixo, primeira versão da tradução do capítulo 1 de Thinking About Logic, de Stephen Read  
http://dl.dropbox.com/u/5959592/cap_1.htm

Notas lançadas

Olá para todos.
As notas já foram lançadas.
O exame especial será na segunda-feira dia 27/6.
A prova do dia 22/6 está disponível no link
http://dl.dropbox.com/u/5959592/PROVA2_noturno.pdf
Abraços

Provas 16.9 Mortari

Olá para todos.
Abaixo,
http://dl.dropbox.com/u/5959592/mortari16.9.pdf
provas dos itens k-o do 16.9 do Mortari
Abraços

Provas finais

Provas finais - Lógica noturno
A terceira prova será dia 22/6, quarta-feira.
Entrega da última lista no dia da prova.
Exame especial (com eventual segunda chamada) no dia 27/6, segunda-feira.

Lista de exercícios 5

Lista de exercícios 5 – Lógica (noturno)
Prazo de entrega: 23/06/2011

1. Mortari 16.1, 16.2
2. Mortari 16.7 (usando dedução natural para provar os sequentes válidos), 16.9.

Prática de Pesquisa

Apenas para os alunos de prática de pesquisa: ler e responder às questões sobre o texto.: 

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

http://dl.dropbox.com/u/5959592/Questoes_Hume.doc

Nos encontraremos na sexta-feira, 17/6 às 19h na sala 2047 para conversar sobre essa atividade.

Abraços

Lista de exercícios 4 - LPO com identidade

Olá para todos.
No link abaixo, a lista de exercícios 4,
http://dl.dropbox.com/u/5959592/lista_4.pdf
Prazo de entrega: 15/6/2011
Na próxima aula começaremos a estudar a lógica de primeira ordem com identidade.
Vamos usar o cap. 16 do Mortari e a apostila no link abaixo,
http://sites.google.com/site/textoslogica/arquivos/identidade.pdf
Abraços

Aula dupla dia 25/5

Olá para todos.
Na próxima quarta-feira, 25/5, a prof. Cecília não irá ministrar a
segunda aula.
Por essa razão, teremos duas aulas de lógica, das 19h às 22h40.
Abraços
Abílio

Mortari - respostas traduções - capítulo 7

http://dl.dropbox.com/u/5959592/Mortari_7.3_7.6.pdf

Equivalências da lógica sentencial

Olá para todos.

Abaixo, as equivalências novamente, pois alguns caracteres não
apareceram corretamente.

(A & B) <-> ~(~A v ~B)
(A & B) <-> ~(A -> ~B)
(A v B) <-> ~(~A & ~B)
(A v B) <-> (~A -> B)

Fica como exercício:
(i) obter as fórmulas equivalentes a (A -> B);
(ii) mostrar que são tautologias;
(iii) provar usando dedução natural (algumas são mais difíceis do que
as que fizemos até agora).

Isso será útil para o exercício 1 da lista de exercícios.

XVI EBL

Abaixo, slides do trabalho apresentado no XVI EBL, Reference, conceptual content and semantic value, e esquema do argumento de Frege, apresentado em On Sense and reference, Logic in Mathematics e em uma carta a Russell, que conclui que a referência (i.e. o valor semântico) de uma sentença é o seu valor de verdade.  

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

http://sites.google.com/site/filosofiaetc/histfil/argumento_frege.pdf

Lista de exercícios 3

Olá para todos. 

Abaixo, a lista de exercícios 3. O prazo de entrega IMPRORROGÁVEL é 18/05/2011. 

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

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 (1955)

Sexta-feira 29/04

Olá para todos

Na próxima sexta-feira faremos uma aula de revisão de dedução natural.

Será das 19h30 às 21h na sala 3049.

Depois, de 21h às 21h30, haverá uma renião no mesmo local com os alunos de prática de pesquisa. 

Abraços e até lá.

Exercícios etc.

Olá para todos

Abaixo, algumas respostas de exercícios e provas em DN. 

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

Talvez sejam úteis para a prova de hoje, segunda.

Abraços e boa sorte!!!

ATENÇÃO: FORAM FEITAS CORREÇÕES NO ITEM 7 DAS TRADUÇÕES E NA PROVA DO TEOREMA (iv)

Lista de exercícios 2

Abaixo, segunda lista de exercícios.

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

Entrega no dia da prova.

Abraços

Data da prova e calendário das aulas

Olá para todos. 

Conforme combinado na última aula, a nossa primeira prova foi transferida do dia 20/4 para o dia 25/4, segunda-feira, às 19h.

Além disso, no dia 13/4 os quatro tempos serão ocupados pela aula de lógica, e no dia 20/4 os quatro tempos serão ocupados pela prof. Cecília.

Abraços

Algumas reflexões sobre o chamado ‘princípio de composicionalidade’

Extraído do capítulo 5 de Thinking about Logic de Stephen Read, OUP

 

Como a linguagem é possível? Como é possível, a partir da aprendizagem de um vocabulário básico e finito de uma linguagem, formar um sem número de novos enunciados, novas proposições que expressam pensamentos que nunca foram antes formulados? Pois isso é possível. Apesar do vocabulário de uma linguagem ser mundo grande, como uma olhada no dicionário revela, ele é pequeno quando comparado com o número imenso de sentenças que compõem os livros das bibliotecas espalhadas pelo mundo. Dentre essas sentenças, poucas são idênticas. Dentre as sentenças que lemos, poucas são as que nós vimos antes. Como é possível que o leitor compreenda essas sentenças? Como é possível que o leitor as conceba e formule?

A resposta é óbvia, mas suas implicações são poderosas. Nós podemos aprender uma linguagem porque seu vocabulário e suas regras gramaticais são relativamente pequenas – ambas podem ser reunidas em um pequeno número de volumes. Um dicionário de alguns volumes como o Oxford English Dictionary contém pouco mais que o vocabulário da maior parte dos falantes individuais do inglês. E mesmo esse dicionário consiste de dez ou doze volumes, o que é uma pequena parte da biblioteca onde ele está. A partir desse vocabulário, as regras gramaticais permitem a criação de um número infinitamente grande de sentenças. Para que possamos entender tais sentenças, os significados das palavras individuais são combinados de acordo com a estrutura estabelecida pela gramática. Em outras palavras, da mesma forma que uma sentença é literalmente composta pelas palavras que ela contém, o significado de uma sentença, a proposição, é de alguma maneira 'composto' pelos significados das palavras que ela contém. A idéia inicial é óbvia: entendemos novas sentenças porque entendemos como seus significados resultam dos significados das palavras que as constituem. As implicações disso não são óbvias, e o que isso diz não é tão claro: os significados das palavras se combinam de algum modo para compor o significado da sentença completa, a proposição por ela expressada.

O princípio em questão aqui é por vezes chamado de 'princípio da composicionalidade', outras vezes de 'princípio de Frege', o grande filósofo alemão da matemática e da linguagem do fim do século XIX. Os dois termos cobrem aplicações bastante diferentes da idéia básica. Mas a motivação subjacente é a mesma. De algum modo precisamos explicar a 'criatividade' da linguagem, o modo pelo qual uma criança, ao ouvir um número finito e pequeno de enunciados, desenvolve a habilidade de produzir e compreender um sem número de proposições que não estão entre os dados sobre os quais tal habilidade foi desenvolvida. A explicação é a mais simples e a mais plausível para preencher essa lacuna, e está de acordo com a experiência pessoal, do falante de uma linguagem, de participar de uma conversa – um conjunto de enunciados seus e de outros falantes. Os dados iniciais e os novos enunciados produzidos são analisados em componentes significativos, e é postulada uma conexão entre o todo e as partes. Mas o que é essa conexão?

Aqueles que chamam essa idéia de princípio de 'composicionalidade' estarão inclinados a interpretar essa conexão de modo bastante literal. Eu mencionei no capítulo 1 como Russell considerou que as proposições – significados das sentenças e objetos de crença – teriam como constituintes particulares e universais. Assim, por exemplo, a proposição que Sócrates é sábio teria, literalmente, Sócrates e a sabedoria como constituintes. Para Russell, o significado de 'Sócrates' era o próprio filósofo Sócrates, em pessoa; e o significado de 'é sábio' era o universal ou a propriedade sabedoria. Portanto, o significado da sentença 'Sócrates é sábio' seria composto por Sócrates e a sabedoria, do mesmo modo que a sentença é composta por sujeito e predicado. Uma visão mais sofisticada, diferentemente, aponta para uma dependência funcional do significado da expressão complexa em relação aos significados das suas partes. Considere uma analogia: 4 é o resultado do quadrado de dois, 4 = 2², mas 4 não contém literalmente o número 2 como um constituinte, tampouco contém a função y = x², que recebe um número x e o eleva ao quadrado produzindo um número y. Antes, 4 é o resultado de aplicar ao número 2 a função que eleva um número ao quadrado. Para Frege, é desse modo que se estabelece a conexão entre o significado de uma sentença e os significados das suas partes. O quadro é mais complicado porque Frege distinguia o significado da expressão dos seus componentes. Mas o princípio é preservado: o significado de uma expressão complexa, uma sentença por exemplo, resulta dos significados das suas partes e pode ser calculado a partir deles. Assim, a compreensão das partes e do modo elo qual o todo depende das partes explica a compreensão do todo.

* * * 

Lista de exercícios 1

Olá para todos.

Abaixo, a lista de exercícios 1.

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

Prazo de entrega: 20 de abril (junto com a 1a. prova)

Monitoria - Lógica noturno

Horário de atendimento do monitor de lógica, Henrique Almeida

Terças-feiras de 17h às 19h na sala da monitoria

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)

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

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

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

http://sites.google.com/site/filosofiaetc/Home/conc_fund.pdf 

Abaixo, links para exercícios que serão feitos nas próximas aulas: 

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

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

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

Abraços

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)

Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990

Escuela de Filosofía Analítica Latinoamericana - 2o. Encuentro

Programa: http://dl.dropbox.com/u/5959592/EG_2oEncuentro_programa.pdf

Saudações Rubro-Negras

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/

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,

RicaPerrone

CBF volta atrás e reconhece o Flamengo como campeão em 1987

http://globoesporte.globo.com/futebol/times/flamengo/noticia/2011/02/cbf-reconhece-titulo-do-brasileiro-de-87-do-flamengo.html 

Proof Theory

http://www.smbc-comics.com/index.php?db=comics&id=2135

E na filosofia?

http://xkcd.com/451/

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

Quinta-feira, 28/10/2010, 16h45, sala 3060 ICEx

A palestra pretende  oferecer  uma  introdução gentil e convidativa  a
certas 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.

Palestra - From Natural Deduction to Lambda Calculus

Palestra com o professor Alexis Saurin PPS/Paris-França

From Natural Deduction to Lambda Calculus

Quinta-feira, sala 4094, 18h

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.

http://ilustrebob.com.br/2010/10/lula-vs-fhc/ 

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 

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

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.

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

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

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

Abraços

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.

http://dl.dropbox.com/u/5959592/russell_inducao.pdf
http://dl.dropbox.com/u/5959592/hume_inducao.pdf

Abraços

Definições

Um bom texto sobre definições
http://criticanarede.com/definicao.html

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

Mundos possíveis

http://onphilosophy.wordpress.com/comics/

Notas lançadas

Olá para todos.
As notas finais de História da Filosofia Contemporânea I já foram
lançadas na minhaUFMG.
Abraços.

Notas - História da Filosofia Contemporânea I

Olá para todos.

Devido a problemas no lançamento das notas na minhaUFMG, não pude lançar as notas finais de História da Filosofia Contemporânea I.

Não recebi os trabalhos de 

RUBENS DE ANDRADE ROCHA  
ELBA CAROLINA OLIVEIRA SILVA  

O aluno 
JONAS FELIPE PINHEIRO BRAVO  
deve entrar em contato comigo por email (abilio.arf@gmail.com) o mais rápido possível para tratar do exame especial.

Abraços e boas férias.

Greg Restall - Proof Theory and Philosophy

Olá para todos. 

No link abaixo

http://consequently.org/papers/ptp.pdf

está o pre-print do livro do Greg Restall, Proof Theory and Philosophy.

Abaixo, uma breve apresentação do próprio Restall
(está no link http://consequently.org/writing/ptp/)

This is my next book-length writing project. I am writing a book which aims to do these things:
1. Be a useable textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering at least some model theory and proof theory of propositional logic, and maybe predicate logic.
2. Be a user-friendly, pedagogically useful and philosophically motivated presentation of cut-elimination, normalisation and conservative extension, both (a) why they're important to meaning theory and (b) how to actually prove them. (I don't think there are any books like this available, but I'd be happy to be shown wrong.)
3. Present the duality between model theory and proof theory in a philosophically illuminating fashion.
4. Teach both formal philosophical logic in such a way that is not doctrinaire or logically partisan. That is, I will not argue that classical logic, or that intuitionistic logic, or that My Favourite Logic is the One True Logic. (Of course, hearing me say this is not a surprise.)
5. I am (at this stage, at least) planning to make the book available for download as well as published by an academic publisher.

Segundo trabalho de História da Filosofia Contemporânea I

Olá para todos.

As notas do segundo trabalho de História da Filosofia Contemporânea I já foram lançadas na minhaUFMG.

Os alunos abaixo não entregaram o segundo trabalho.

ANTERO AMANCIO FIUZA GOULART

JOSE LUIS CARVALHO AFONSO

LUIZA SOARES LOPES

MARIA JOSÉ CHAVES DE LIMA

SOFIA NOMAN FILIZZOLA

VITOR AMARAL MEDRADO

WALLISON ALVES BRANDAO

Foucault e Searle - sobre a clareza

I had a friend visiting me who is not famous for clarity, Michel Foucault. [Risos na platéia.] One day I said to him: how can you write so badly? […] He said to me in French: "Look, if I wrote the way you do, as clearly as you do, nobody in Paris would take it seriously. [Risos na platéia.] They would think it is childish to try to write so clearly." Oh come on, you are pulling my leg. And he said: "No. In France you have to have at least ten percent that it is totally incomprehensible."

--John Searle

Postado em 6/5/2010 no blog (muito bom por sinal) problemasfilosoficos.blogspot.com do professor Alexandre Machado da UFPR. 

http://problemasfilosoficos.blogspot.com/2010/05/john-searle-e-michael-foulcaut-sobre.html

Sobre fazedores-de-verdade

Olá para todos. 

Escrevo para lembrar que os seguintes textos sobre fazedores de verdade estão disponíveis

Kevin Mulligan; Peter Simons; Barry Smith - Truth-Makers - 1984

http://ontology.buffalo.edu/smith/articles/truthmakers/tm.pdf
Em português: http://discovirtual.uol.com.br/disco_virtual/filosofiaetc/arq/fazedores_de_verdade.pdf

 
Rodriguez-Pereyra - Why Truthmakers - 2005  
http://www.philosophy.ox.ac.uk/__data/assets/pdf_file/0007/5857/Why_truthmakers.pdf

Em espanhol: http://filosofiaetc.discovirtual.uol.com.br/disco_virtual/arq/Hacedores_de_verdad.pdf

E dois textos meus: 

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

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

Abraços

Prova de História da Filosofia Contemporânea I – junho/2010

Olá para todos.
A segunda prova de História da Filosofia Contemporânea I está disponível no link
http://dl.dropbox.com/u/5959592/prova_HFC1_P2.pdf
A prova é individual. O prazo de entrega é 16/06/2010.
Abraços e boa sorte.

Algumas reações ao trabalho de Tarski (de 1960 a 2001)

if 'the Snark was a Boojum' is a sentence of the object language under consideration, we must define 'true'

'The Snark was a Boojum' is true if and only if the Snark was a Boojum.

But what does this tell us? If it tells us anything (and a strong case can be made out for the view that it doesn't), what it dos is to convey the information that the sentences on the left and right of the 'if and only if' are somehow equivalent: that, e.g. anyone who accepts the one is committed to accepting the other. This may be an important fact, if it is a fact, about the usage of 'true', but it is hardly the sort of fact that the correspondence theorist thought that he was pointing out.

Putnam – 'Do true assertions correspond to reality?' in Mind, Language and Reality – Philosophical Papers vol. 3. – 1975 (1960), p. 71.

 

we have been mislead into thinking that Tarski's semantics is semantics by the usual inductive definitions of satisfaction and truth in an interpretation. There it seems that we have something like the world, and denotation, and that we are establishing a relation between sentences and the world. It appears however that this is only a mirage, and the truth is part of the morphology of language.

Tarski's approach through (T) undermines his work on truth both as an attempt to capture the classical conception of truth and as an attempt to formulate a semantic account of truth.

Chateaubriand – Logical Forms, 2001, pp. 230, 214.

 

The reason for my uneasiness concerning the notion of truth was, of course, that this notion had been for some time attacked by some philosophers, and with good arguments. It was not so much the antinomy of liar which frightened me, but the difficult of explaining the correspondence theory: what could the correspondence of a statement to the facts be?

Tarski's theory, as all you know, and he stressed first, is a rehabilitation and an elaboration of the classical theory that truth is correspondence to the facts.

Popper – Objective Knowledge, 1972 (196?), pp. 320, 323.

 

convention T is expressed in terms of the object language L and the metalanguage ML, but it states something about the relations between language L and the (rest of) the world. This hold even of the example (5) [(5) 'snow is white' is true if and only if snow is white], which is based upon contingent facts about the use of the terms 'snow' and 'white' in English. It is a tautology to state that 'snow' means (the same as) 'snow', but it is a fact of English that 'snow' means snow.

Niiniluoto – Tarskian Truth as Correspondence – Replies to some objections, 1999, p. 97.

Tarski

Olá para todos.
Hoje e nas próximas aulas estudaremos a definição de verdade de Tarski.
Além dos textos disponibilizados na xerox, podem ser úteis:

Kirkham - Alfred Tarski's Semantic Theory
http://sites.google.com/site/textoslogica/arquivos/Kirkham_Tarski.pdf

Um texto meu sobre a concepção de verdade de Tarski
http://sites.google.com/site/textoslogica/arquivos/tarski_abstracta.pdf

Chateaubriand - Tarski's Semantic Conception of Truth
http://sites.google.com/site/textoslogica/arquivos/OC_C7_TARSKI.pdf

Claudio Costa - Teorias da Verdade
http://criticanarede.com/html/met_tverdade.html

Abraços

Mais Sidney Harris

Sobre o argumento da funda (the slingshot) II

Abaixo, texto do Quine, Three grades of modal involvement, onde é apresentada uma versão do slingshot

http://sites.google.com/site/filosofiaetc/filosofiadalogica/quine_three_grades.pdf

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.

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

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 

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

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 

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

está o texto de Demos, A Discussion of a Certain Type of Negative Proposition,  que contesta Russell no que diz respeito aos fatos negativos. 

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).

Notas da primeira prova

Olá para todos.

As notas da primeira prova já foram lançadas na minhaUFMG.

Abraços

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.

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  

Russell - On Denoting

Olá para todos.

No link

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

está um roteiro para auxiliar na leitura de On Denoting.

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.

Abraços

http://www.udemo.org.br/Leituras_483.htm

http://www.jornaldaciencia.org.br/Detalhe.jsp?id=70330

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.

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

Verdade em Frege

Está disponível no link

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

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

http://sites.google.com/site/filosofiaetc/histfil/soames_frege_truth.pdf

Abraços

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 

http://sites.google.com/site/filosofiaetc/histfil/plano

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

Semântica

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

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

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

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

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).

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, 

http://sites.google.com/site/filosofiaetc/histfil

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, 

http://sites.google.com/site/textoslogica/arquivos/intro_kant_crpu.pdf

para que possamos contrastar as visões de Frege e Kant acerca das proposições da aritmética. 

Abraços

História da Filosofia Contemporânea I

Olá para todos.

No link 

http://sites.google.com/site/filosofiaetc/histfil

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)

http://sites.google.com/site/textoslogica/arquivos/conceitografia_I.pdf

Fundamentos da Aritmética (excertos)

http://sites.google.com/site/textoslogica/arquivos/frege_fa_selec.pdf

Abraços

Trabalho Filosofia da Lógica

Olá para todos.

Os alunos abaixo ainda não entregaram o trabalho de Filosofia da Lógica

ALLAN COSTA LAGES

ANDREA FERREIRA

FLAVIO VICTOR HORTA PIRES

GYDION AVA DE ALMEIDA KUMMER

JOSE LUIS CARVALHO AFONSO

LUCAS GUSMAO BARRETO

LUCAS JAUED BRAGA FELICIO DA SILVA

RODRIGO CAYRES DAMASCENO

RODRIGO DE FREITAS ALVES

Receberei o trabalho até 14h do dia 17/12, apenas por email.

Flamengo Sessentão - Nelson Rodrigues

Mais uma vez, vale a pena reler o tricolor N. Rodrigues falando do Mengão, 50 e tantos anos atrás.

Abraços

A. 

Flamengo Sessentão

Nélson Rodrigues 

Manchete Esportiva, 26/11/1955

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.

* * *