Prova

Olá para todos.
Abaixo, a prova.
http://dl.dropbox.com/u/5959592/prova_1_dez.pdf
Entrega por email até 12h de segunda, 5/12.
Abraços

NÃO HAVERÁ AULA DIA 22/11

Olá para todos.

Devido à minha participação na banca do doutorado, não poderei ministrar a aula do dia 22/11, terça-feira.

Quinta, 24/11, haverá aula normal.

Abraços  

Construtivismo

Trechos do capítulo 8 da tradução de Thinking about Logic, Stephen Read, OUP
http://dl.dropbox.com/u/5959592/construtivismo.pdf

Lógica intuicionista

Verbete da Stanford,
http://plato.stanford.edu/entries/logic-intuitionistic/

Excerto do livro do Heyting, Intuitionism, com apresentação de um
sistema axiomático para a lógica intuicionista
http://dl.dropbox.com/u/5959592/heyting_itcn.pdf

Outros textos
http://dl.dropbox.com/u/5959592/jairo_construtivismo.pdf
http://dl.dropbox.com/u/5959592/kolmogorov_excluded_middle_heijnoort.pdf
http://dl.dropbox.com/u/5959592/priest_itcn_prop.pdf
http://www.phil.uu.nl/~dvdalen/articles/Blackwell(Dalen).pdf

Investigations into logical deductions, Gerhard Gentzen (1935)
http://dl.dropbox.com/u/5959592/gentzen.pdf
(Vejam especialmente a seção II, p. 74. As regras de DN estão na p. 77)

Se faltasse o Flamengo no mundo, eu teria um desgosto profundo.

Sobre o FLAMENGO e o dia do flamenguista

http://www.ricaperrone.com.br/2011/10/o-dia-do-flamenguista/

Saudações Rubro-Negras

Próximas aulas e terceira prova

Olá para todos.
Nas próximas aulas, 1 e 3 de novembro, concluiremos a terceira parte do curso.
Veremos o que acontece com compacidade, Lowenheim-Skolem e modelos não
standard em segunda ordem.
A prova sobre esses assuntos será no dia 17 de novembro.
A partir de terça, 8 de novembro, veremos construtivismo e lógica intuicionista.
Abraços

Prova e próximas aulas

Olá para todos.
A prova de filosofia da lógica será, conforme combinado, no dia 13/10,
quinta-feira, 21h.
Matéria da prova: conjuntos infinitos e consequência lógica.
Prova individual e com consulta aos textos, livros e anotações.
Semana do conhecimento: no dia 18, terça, não haverá aula, mas dia 20,
quinta, teremos aula normal.

Consequência lógica

Olá para todos

Na próxima semana começaremos o tópico consequência lógica.
Material disponível abaixo:

tradução do capítulo 2 de Thinking About Logic, de Stephen Read
http://dl.dropbox.com/u/5959592/cap_2.A.pdf

capítulos 1 e 2 do volume Lógica da coleção Filosofias (Martins Fontes)
http://dl.dropbox.com/u/5959592/logica_mf.pdf

e o texto Logical Pluralism de Restall & Beal

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

Conjuntos infinitos e outros assuntos

Olá para todos.
Semana passada concluímos a primeira parte do curso sobre a natureza da lógica.
Nosso próximo tema são conjuntos infinitos.
Material disponível abaixo:
http://www.earlham.edu/~peters/writing/infapp.htm
http://www.earlham.edu/~peters/writing/infinity.htm
Depois disso, veremos o papel do infinito no construtivismo e também discutiremos a noção de verdade intuicionista. Abaixo, textos sobre o assunto:
http://dl.dropbox.com/u/5959592/read_construtivism.pdf
http://dl.dropbox.com/u/5959592/truth_intuitionism.pdf
Lembro que dia 6/9, terça-feira, não haverá aula.
Abaixo, o cronograma das aulas até o fim do semestre.
http://dl.dropbox.com/u/5959592/calendario.htm
Abraços

Lógica: ontologia, linguagem, epistemologia

Olá para todos.
Nas próximas aulas, vamos trabalhar com os textos do Tugendhat, Newton-Smith e Chateaubriand, disponíveis na página
https://sites.google.com/site/filosofiaetc/filosofiadalogica
Para a próxima quinta, 18/8, ler o texto do Tugendhat.
Lembro que a ementa do curso está no link abaixo
http://dl.dropbox.com/u/5959592/fil_logica_2011.2.htm
Abraços

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