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