Sobre redação de textos de filosofia

Olá para todos.

Abaixo, um bom texto sobre redação de ensaios filosóficos.

http://criticanarede.com/html/fil_escreverumensaio.html

Ementa - Filosofia da Lógica

Abaixo, está a ementa com bibliografia da disciplina optativa de Filosofia da Lógica que será oferecida em 2009.2. 

Vale lembrar, mais uma vez, que a abordagem não será técnica mas sim filosófica.

FIL 206 X – Tópicos em Fil. da Linguagem: Introdução à Filosofia da Lógica

Ementa e objetivo:
O objetivo do curso é introduzir conceitos e problemas fundamentais da filosofia da lógica. Discutiremos ao longo do curso, sob uma perspectiva mais filosófica do que técnica, os seguintes temas: a natureza da lógica, conseqüência lógica, operadores proposicionais e quantificadores, descrições definidas, verdade lógica, necessidade e possibilidade, semântica de mundos possíveis, paradoxos semânticos, teorias da verdade (deflacionismo versus fazedores-de-verdade), lógicas não-clássicas, incompletude e indecidibilidade, entre outros.

Bibliografia básica:
Haack, S. Filosofia das lógicas. São Paulo: Ed. Unesp, 1998.
Kirkham, R. Teorias da verdade. São Leopoldo: Editora Unisinos, 2003.
da Silva, J.J. Filosofias da matemática. São Paulo: Ed. Unesp, 2007.
da Costa, N. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008.

Bibliografia auxiliar:

Mortari, C.A. Introdução à Lógica. São Paulo: Unesp, 2001. 

Chateaubriand, O. Logical Forms – vol. 1. São Paulo: Coleção CLE – Unicamp, 2001.
Read, S. Thinking about logic. Oxford: OUP, 1995.
Grayling, A.C. Introduction to philosophical logic. Oxford: Blackwell, 2001. 

Sobre o trabalho final

Olá para todos.
O trabalho final deve ter introdução, desenvolvimento e conclusão, como indicado na apostila de trabalhos acadêmicos. Além disso, é sugerido que em linhas gerais as dicas de redação sejam seguidas.
Não é necessário, evidentemente, fazer capa, sumário e resumo.
Abraços

Alunos que não entregaram o trabalho

Os alunos abaixo, matriculados na disciplina Seminário de Filosofia Contemporânea I, não entregaram o primeiro trabalho:

ALEXANDRE PERISSE DE ABREU
FERNANDO GOMES GARCIA
JOSE ALVARO PEREIRA DA SILVA
JULIO CESAR RAMOS
LUIZ GUSTAVO MENESES BARRETO
MATEUS HENRIQUE DE OLIVEIRA

MAXWELL SILVERIO DE SOUSA

MICHELE DE OLIVEIRA VIANA
WESLEY DE OLIVEIRA SOUZA

Diretrizes para elaboração de trabalhos acadêmicos

Olá para todos.
No link
http://filosofiaetc.sites.uol.com.br/trab_acad.pdf
está uma apostila com dicas para redação e formatação de trabalhos.
O segundo trabalho será avaliado levando em consideração também fatores como apresentação clara dos objetivos, separação entre seções etc.
Abraços

Seminário Frege - textos para as próximas aulas

Olá para todos.

Estão disponíveis na xerox os seguintes textos:

Digressões sobre o sentido e a referência

Comments on Sinn and Bedeutung (tradução inglesa)

Letter to Husserl (1891)

Na quarta-feira 27/05 veremos Sobre o conceito e o objeto, que já estava disponível.

Lembro que o prazo para entrega do primeiro trabalho é 30 de maio.

Abraços

Sobre a referência de sentenças - II

Abaixo, o argumento de Frege que conclui que a referência de uma sentença é o seu valor de verdade.

Esse argumento é apresentado, com pequenas variações, em Sobre o Sentido e a Referência (1892), em uma carta de Frege a Russell (1902) e no texto póstumo Logic in Mathematics (1914). O argumento tem três etapas: (i) Frege descarta o pensamento como referência de sentenças; (ii) Frege conclui que sentenças têm referência; (iii) Frege conclui que a referência de uma sentença é seu valor de verdade.

Notem que nos textos de 1914 e 1902 o princípio de composicionalidade da referência (PCR) aparece explicitamente como uma premissa do argumento.

(PCR) se REF(a) = REF(b), entao REF(...a...) = REF(...b...)

[1] Se um determinado item é a referência de sentenças, deve satisfazer (PCR).

[2] O pensamento não satisfaz (PCR).

[3] Logo, o pensamento não é a referência.

[4] As partes de uma sentença têm referência

            se, e somente se,

                        a sentença completa tem referência

                                   se, e somente se,

                                               o pensamento expressado tem valor de verdade.

[5] Em uma investigação científica estamos interessados no valor de verdade das sentenças.

[6] Logo, em uma investigação científica exigimos que as partes das sentenças tenham referência.

[7] Logo, em uma investigação científica, sentenças têm referência.

[7'] Valores de verdade são candidatos legítimos para o papel de referência de sentenças.

[8] Valores de verdade satisfazem (PCR).

[9] Logo, a referência de uma sentença é seu valor de verdade.

(Em SSR, Frege conclui [9] e então testa sua conclusão com PCR)

Sobre a referência de sentenças

No link abaixo
http://filosofiaetc.sites.uol.com.br/argumento_frege.pdf
estão os trechos em que Frege apresenta e defende a tese segundo a qual a referência de uma sentença é seu valor de verdade.

Texto do mini-curso - Lógica Intuicionista - 6/5/2009

Abaixo, link para o texto Sobre a lógica intuicionista, que será utilizado no mini-curso do dia 6/5.
http://filosofiaetc.sites.uol.com.br/intuicionismo.pdf
Esse texto será possivelmente publicado em um número especial sobre lógica da revista Filosofia, Ciência e Vida.

Frege em alemão

Para quem se interessar, abaixo link para Função e Conceito, Sobre o Sentido e a Referência e Sobre o Conceito e o Objeto, textos em alemão.
http://filosofiaetc.sites.uol.com.br/frege_german.pdf

FLAMENGO PENTA-TRICAMPEÃO!!!!!

SAUDAÇÕES RUBRO-NEGRAS!

Eu teria um desgosto profundo
Se faltasse o FLAMENGO no mundo

Fazedores-de-verdade e lógica intuicionista

No link abaixo
http://filosofiaetc.sites.uol.com.br/philosophos_truthmakers.pdf
está o preprint do artigo
Fazedores-de-verdade, a tese da disjunção e o princípio do terceiro excluído
que será publicado na revista Philósophos.

Texto - Mostra das Profissões UFMG

Abaixo, links para a comunicação apresentada na Mostra das Profissões da UFMG (2009)
Considerações sobre o caráter crítico da filosofia
http://filosofiaetc.sites.uol.com.br/filosofia.html
http://filosofiaetc.sites.uol.com.br/filosofia.pdf

Sobre as noções de intensão e extensão

http://users.bestweb.net/~sowa/logic/alonzo.htm
http://criticanarede.com/docs/etlf_intensao.pdf

Textos de Frege disponíveis

Olá para todos.
Estão disponíveis na xerox os textos
Função e Conceito
Sobre o Conceito e o Objeto
Sobre o Sentido e a Referência
traduzidos pelo P. Alcoforado na coletânea Lógica e Filosofia e Linguagem.
Lembro que versões em inglês desses textos estão disponíveis na página do curso.
Abraços

Seminário Frege: texto Fundamentos da Aritmética e avaliação

Olá para todos.

O pdf da Introdução e seções 1-17 dos Fundamentos da Aritmética está no link

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

Fiz também modificações na avaliação:

Dois trabalhos escritos com as seguintes características. O primeiro pode ser feito em grupos de até 3 alunos. Prazo de entrega: 30 de maio. Deverá ser um texto expositivo com mínimo de 3 e máximo de 5 páginas em Times 12 espaço 1,5. Esse primeiro texto deve apenas apresentar e comentar os conceitos vistos em sala de aula e também situar historicamente o trabalho de Frege. O segundo texto, sobre qualquer tema relacionado ao curso mas previamente aprovado pelo professor, deverá ser entregue até a última semana de aula. Deve ser um texto de no máximo 10 páginas, incluindo bibliografia, de preferência (mas não obrigatoriamente) de caráter argumentativo. Lembrem-se que clareza e concisão são duas características desejáveis.

Textos sobre Frege

Frege: bibliografia auxiliar

Margutti - A Conceitografia de Frege
http://filosofiaetc.sites.uol.com.br/margutti_conceitografia.pdf

Heck - Frege's Contribution to Philosophy of Language
http://frege.brown.edu/heck/pdf/published/FregeContribution.pdf

Weiner - Has Frege a Philosophy of Language?
http://www.indiana.edu/%7Ejcw1/has%20frege.pdf

Weiner - Frege and the Linguistic Turn
http://www.indiana.edu/%7Ejcw1/frege%20and%20the%20linguistic%20turn.pdf

Novo blog para turmas de lógica

Olá para todos.
Material didático e avisos referentes às turmas de lógica agora estão no endereço
http://logicaetc.blogspot.com/
Abraços
A.

Um argumento slingshot em Frege

Considerando:
(i) o critério de substitutividade do §8 da Conceitografia e
(ii) que 'b = suc(a)' e 'a = pred(b)' têm o mesmo conteúdo conceitual,
todas as sentenças abaixo têm o mesmo conteúdo conceitual:
0 = 0 + 0
0 = pred(1)
1 = suc(0)
1 = 1 + 0
1 = pred(2)
2 = suc(1)
2 = 2 + 0
(...)

Material disponível - Lógica I

Olá para todos.
Já temos quatro listas de exercícios disponíveis:
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf
http://filosofiaetc.sites.uol.com.br/exercicios4.pdf.
A lista 3 está na xerox.
A lista 4 tem exercícios muito simples sobre operadores sentenciais.
Lembrem-se que:
(i) Se A, então B é equivalente a não A ou B,
(ii) Se A, então B é equivalente a A somente se B.
Leiam também o texto sobre vagueza:
http://filosofiaetc.sites.uol.com.br/vagueza.pdf
Abraços

Texto sobre vagueza traduzido

Olá para todos.
No link abaixo
http://filosofiaetc.sites.uol.com.br/vagueza.pdf
está uma primeira versão da tradução do capítulo sobre vagueza do livro do Greg Restall.
A tradução foi feita pelo Eduardo, monitor de lógica.
Esse texto será estudado e discutido em aula.
Abraços

Alguns links úteis – Frege na Internet

Stanford:
http://plato.stanford.edu/entries/frege/
http://plato.stanford.edu/entries/frege-logic/
http://plato.stanford.edu/entries/russell-paradox/

IEP:
http://www.iep.utm.edu/f/frege.htm
http://www.iep.utm.edu/f/freg-lan.htm  

Joan Weiner – Homepage:
http://www.indiana.edu/~jcw1/

Richard Heck – Online papers:
http://frege.brown.edu/heck/philosophy/index.php

Seminário Frege

Informações sobre a disciplina
Seminário de Filosofia Contemporânea I: Frege e a Filosofia da Linguagem
estão no link
http://filosofiaetc.sites.uol.com.br/seminario_frege.html

Lógica I - material disponível

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

Verdade e validade
http://sites.google.com/site/filosofiaetc/Home/verdade_validade.pdf

Exercícios
http://sites.google.com/site/filosofiaetc/Home/exercicios1.pdf
http://sites.google.com/site/filosofiaetc/Home/exercicios2.pdf

Introdução à lógica sentencial
http://sites.google.com/site/filosofiaetc/Home/intro_log_sentencial.pdf

Seminário Frege - Textos - parte I da Begriffsschrift (Conceitografia)

Inglês: http://filosofiaetc.sites.uol.com.br/begriffsschrift_eng_I.pdf
Espanhol: http://filosofiaetc.sites.uol.com.br/begriffsschrift_spa_I.pdf
Alemão: http://filosofiaetc.sites.uol.com.br/begriffsschrift_ger_I.pdf

Provador de teoremas por tablôs

http://www.umsu.de/logik/trees/

Filosofia

Um texto muito bom sobre a filosofia e o ensino da filosofia:

http://criticanarede.com/naturfilosofia.html

Sobre o lançamento das notas de lógica

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

Notas lançadas

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

Luísa 1998

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

             

Artigo - Lógica Intuicionista

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

Disciplina eletiva de lógica para 2009.1

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

Nome da unidade curricular eletiva: Lógica II

Professor: Abílio Rodrigues Filho

Carga horária: 36 horas

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

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

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

Bibliografia:

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

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

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

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

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

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

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

Material sobre lógica

http://www.ltn.lv/~podnieks/mlog/ml.htm

Apostila complementar - Lógica

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

Flamengo: o time mais brasileiro dos brasileiros.

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

Blog do Juca Kfouri, 17/11/2008

Programação final - Lógica

Olá para todos.

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

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


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

Dias 10/11 de dezembro
Prova de segunda chamada.

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

Abraços Rubro-Negros

MENGÃO 5 X 2 - SENSACIONAL!!!

http://video.globo.com/Videos/Player/Esportes/0,,GIM912167-7824-OS+GOLS+DE+FLAMENGO+X+PALMEIRAS+PELA+RODADA+DO+BRASILEIRAO,00.html

Notas da prova de lógica

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

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

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

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

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

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

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

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

Links úteis

http://pt.wikipedia.org/wiki/C%C3%A1lculo_proposicional
http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem
http://pt.wikipedia.org/wiki/L%C3%B3gica_de_segunda_ordem

Prova de Lógica

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

Atividades - Metodologia

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

Textos - Lógica

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

Apostilas de Lógica

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

Falácia

Há uma falácia no argumento abaixo?

Cogito, ergo...

Descartes walks into a bar.

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

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

Metodologia 2008.2

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

Links para:

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

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

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

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

Fichamentos: entrega dia 3 de outubro.

Apostilas de lógica disponíveis

Olá para todos.
As apostilas para as próximas aulas de lógica estão disponíveis nos links abaixo:
http://filosofiaetc.sites.uol.com.br/logica_1.pdf
http://filosofiaetc.sites.uol.com.br/logica_2.pdf
Abraços

Material de apoio: lógica sentencial e de predicados

http://publish.uwo.ca/~jbell/LNOTES.pdf
http://filosofiaetc.sites.uol.com.br/LNOTES.pdf
http://filosofiaetc.sites.uol.com.br/c03_3-99.pdf
http://en.wikipedia.org/wiki/Parse_tree
http://www.nyu.edu/gsas/dept/philo/courses/advlogic/
http://filosofiaetc.sites.uol.com.br/chapter1.pdf
http://filosofiaetc.sites.uol.com.br/Novo4.pdf
http://www.iep.utm.edu/p/prop-log.htm
http://plato.stanford.edu/entries/logic-classical/

Material sobre lógica etc.

http://people.umass.edu/klement/courses.html

Turmas de Lógica - 2008.2

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

Material para Metodologia - 2008.2

Objetividade
http://filosofiaetc.sites.uol.com.br/objectividade.pdf

Teorias da verdade
http://filosofiaetc.sites.uol.com.br/teorias_da_verdade.pdf

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

Aula 12/08 - Teorias de Truthmakers

Slides:

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

Tese completa:
http://criticanarede.com/tes_funda.html

Capítulo sobre truthmakers:
http://filosofiaetc.sites.uol.com.br/0311033_07_cap_04.pdf

Textos - Tarski e truthmakers

Tarski

Sobre a definição de verdade de Tarski
http://filosofiaetc.sites.uol.com.br/tarski_abstracta.pdf

Handout - aula Tarski
http://filosofiaetc.sites.uol.com.br/tarski_handout_ufg.pdf


Truthmakers

Começar por estes aqui:
http://filosofiaetc.sites.uol.com.br/rodriguez_truthmakers.pdf
http://filosofiaetc.sites.uol.com.br/mulligan_truth_makers.pdf
http://filosofiaetc.sites.uol.com.br/whytruthmakers.pdf

Depois, ler estes:
http://filosofiaetc.sites.uol.com.br/restall_truthmakers.pdf
http://filosofiaetc.sites.uol.com.br/read_truthmakers.pdf
http://filosofiaetc.sites.uol.com.br/heathcote_truthmaker.pdf

Slides da apresentação no Colóquio:
http://filosofiaetc.sites.uol.com.br/coloquio_2008.pdf

Teorias de Truthmakers (fazedores-de-verdade)

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

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

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

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

Lançamento de notas

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

Lançamento de notas - turma B

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

Notas - turma A

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

Edital da bolsa PIBIC

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

Resultado da seleção – Bolsa PIBIC/UFSJ

1º: Rina Mariane Dutra

2º: Bruno Andrade

3º: Katialaine Corrêa de Araújo

Processo de seleção – Bolsa PIBIC/UFSJ

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

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

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

Abraços

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

Olá para todos.

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

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

Abraços

Exercícios de Lógica

No link abaixo

Representação do Conhecimento

alguns exercícios de lógica.

Abraços

Provas, seleção PIBIC, etc.

Olá para todos.

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

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

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

Abraços

Regras de inferência da lógica proposicional

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

Apostilas de lógica e argumentação

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

Manifestos

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

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

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

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

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

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

Slides - Indução

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

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

Material de lógica e argumentação

Abaixo, links para:

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

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

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

Saudações Rubro-Negras!

Flamengo Sessentão

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

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

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

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

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

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

Dicionário de Filosofia

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

Metodologia & o problema da indução

Olá para todos.

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

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

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

Metodologia - UFSJ

Olá para todos.

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

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

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

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

Abraços.

UEPB - Filosofia

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

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

Abraços para todos

Texto Filosofia

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

Alunos de metodologia - modelo de projeto de pesquisa

Olá para todos.
No link
http://filosofiaetc.sites.uol.com.br/Projeto_pesq.pdf
há um modelo de projeto de pesquisa que será utilizado na avaliação final de
metodologia.
Abraços
A.

Seminários - computação - fil. da educação

Olá para todos.

Abaixo, o calendário dos seminários do mês de novembro.

14 nov - grupos 1 e 3
Tema: O sistema de cotas nas universidades públicas
Material disponível nos links abaixo:
http://filosofiaetc.sites.uol.com.br/carvalho_acao_afirmativa.pdf
http://filosofiaetc.sites.uol.com.br/argumentos_cotas.htm
http://filosofiaetc.sites.uol.com.br/cotas.html
http://filosofiaetc.sites.uol.com.br/cotas_1.pdf
http://filosofiaetc.sites.uol.com.br/cotas_2.pdf
http://filosofiaetc.sites.uol.com.br/cotas_magnoli.html
http://filosofiaetc.sites.uol.com.br/cotas_matilde.html
http://filosofiaetc.sites.uol.com.br/lobbyanticotas.html

21 nov - grupos 2 e 4
Tema: Ética ambiental
Material disponível na xerox

28 nov - grupos 5 e 6
Tema: Filosofia e educação
Material disponível na xerox

Abraços

Material para turmas de metodologia

Olá para todos.

Os textos abaixo são indispensáveis para qualquer aluno de graduação.
Eles contêm (quase) todas as informações necessárias para a redação de
trabalhos, elaboração de resumos, fichamentos, resenhas, etc.

Todos os alunos devem baixá-los e guardá-los para futuras consultas.

Manual para elaboração de trabalhos acadêmicos:
http://filosofiaetc.sites.uol.com.br/manual.pdf

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

Turma de metodologia - computação

Texto disponível: validade e correção

http://abilioazambuja.sites.uol.com.br/1c.pdf

Exercícios de lógica e argumentação

Listas de exercícios disponíveis:
http://abilioazambuja.sites.uol.com.br/texto10.html
http://abilioazambuja.sites.uol.com.br/TEXTO10B.html
http://abilioazambuja.sites.uol.com.br/Tipos.html
Abraços

Texto disponível - metodologia

Está disponível, no blog e na xerox, o texto 1A.
http://abilioazambuja.sites.uol.com.br/fil309a.pdf
Abraços

Texto disponível - administração

Texto no. 6 - Relativismo moral
http://criticanarede.com/fil_relatcultural.html

Filosofia - Computação e administração

Textos disponíveis no site
http://abilioazambuja.sites.uol.com.br/1_periodos.html
http://abilioazambuja.sites.uol.com.br/TEXTO4_carater_critico.html

Na xerox, pedir pasta filosofia.
Textos 1, 4 (acima) e tbem texto 60 (As origens da filosofia).

Abraços

Filosofia - administração

Textos disponíveis:

http://abilioazambuja.sites.uol.com.br/1_periodos.html
http://abilioazambuja.sites.uol.com.br/TEXTO4_carater_critico.html

Abraços

Metodologia

Turmas de metodologia - texto disponível
http://abilioazambuja.sites.uol.com.br/em.html
Abraços

Exercícios - unidade III

Além do texto da Unidade III, que estará online em breve, os alunos de
FIL309 devem baixar também o texto 53, que tem exercícios de lógica
proposicional.
O link direto está abaixo:
http://abilioazambuja.sites.uol.com.br/53logprop1.html
Abraços e saudações RUBRO-NEGRAS.

Notas GQ1

As notas da GQ1 das turmas 105, 601 e 603 já estão lançadas.
Abraços.

Respostas dos exercícios

As respostas dos exercícios 10, 10B e 10C já estão no site.
Abraços.

Flamengo Sessentão

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

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

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

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

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

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

Texto para análise - 1B

O texto 1B, sobre o acordo Brasil-Bolívia, já está no site.
Abraços.

Textos disponíveis

Os textos 10, 10B e 10C já estão disponíveis no site.
Abraços e um bom carnaval.

Argumento para análise

"Este livro procura mostrar que todo teatro é necessariamente
político, porque políticas são todas as atividades do homem, e o
teatro é uma delas." (Augusto Boal, Teatro do Oprimido, 1980)

No pequeno texto acima temos um argumento.
1. Identifique as premissas e a conclusão.
2. O argumento é bom ou ruim?
3. Se alguém não concorda com a conclusão do argumento acima, o que deve fazer?

Plano de curso - FIL 309

LÓGICA E ARGUMENTAÇÃO

1 - Conceitos preliminares
1.1 - O que é um argumento
1.2 - O que é uma sentença declarativa
1.3 - Valores de verdade
1.4 - Tipos de argumentos

2 - Elementos de lógica sentencial
2.1 - Verdade de sentenças atômicas
2.2 - Os operadores 'ou', 'e', 'se...então', 'se, e somente se'
2.3 - Verdade de sentenças moleculares
2.4 - Negação de condicionais, conjunções e disjunções
2.5 - Verdade e validade (I)
2.6 - Equivalências e formas válidas da lógica sentencial
2.7 - Falácias formais (I)

3 - Elementos de lógica de predicados
3.1 - Os quantificadores 'todo', 'nenhum' e 'algum'
3.2 - Verdade de sentenças universais e existenciais
3.3 - Negação de universais (o quadrado das oposições)
3.4 - Verdade e validade (II)
3.5 - Equivalências e formas válidas da lógica de predicados
(silogismos categóricos)
3.6 - Falácias formais (II)

4 - Argumentos não dedutivos
3.1 - Argumentos indutivos
3.2 - Argumentos de autoridade
3.3 - Falácias informais

5 - Lógica e retórica
5.1 - O que a lógica
5.2 - O que é a retórica
5.3 - A complementaridade entre lógica e retórica

Bibliografia:
Nolt, J., Rohatyn, D. Lógica. McGraw-Hill, São Paulo, 1991.
Newton-Smith, W.H. Lógica - um curso introdutório. Gradiva, Lisboa, 1998.
Mortari, C.A. Introdução à Lógica. São Paulo: Editora Unesp, 2001.
Copi, I.M. Introdução à Lógica. São Paulo: Editora Mestre Jou, 1974.
Murcho, D. O lugar da lógica na filosofia. Lisboa: Plátano Edições
Técnicas, 2002.
Abreu, A.S. A Arte de Argumentar. Ateliê Editorial, São Paulo, 2003.
Almeida, A., et alii. A Arte de Pensar. Didáctica Editora, Lisboa, 2003.

Mais um argumento

03/01/2007 - 15h05 Trabalho do governo é para que Aldo ou Chinaglia renuncie à candidatura na Câmara

Veja a entrevista em vídeo

Da redação

O assunto em Brasília é a eleição para a presidência da Câmara. Aldo Rebelo, do PC do B de SP, tenta a reeleição, e Arlindo Chinaglia, do PT paulista, também disputa a vaga. Cortejadíssimo por ambos, o PMDB é quem pode sinalizar qual dos dois leva a melhor. "Não tem a menor chance de alguém hoje saber quem ganharia a eleição", afirma Fernando Rodrigues. "Usando uma metáfora a gente pode dizer que a disputa está na fase de apresentação de armas, cada um apresentando aquilo que, em tese, vai ser usado a seu favor, se ambos permanecerem candidatos."

O colunista do UOL News informa que ambos estão fazendo o mesmo trabalho ao chamarem para si o apoio que precisam, com a diferença que Aldo, além de pedir ajuda à base aliada do governo também circula entre os partidos da oposição.

Sobre a existência de dois nomes disputando o cargo, o jornalista explica porque isso não é bom para o presidente Lula. "É péssimo porque se o líder do governo Lula na Câmara dos Deputados perder, o governo tem o seu líder desautorizado pela maioria dos deputados. Na outra hipótese, se Aldo sai derrotado, aliado fiel ao presidente, Lula já trabalhou a favor da candidatura dele, inclusive, é derrota para o próprio presidente", pontua o jornalista, que informa que em Brasília o trabalho do governo é para que Aldo ou Chinaglia renuncie à presidência da Casa até 1º de fevereiro e apóie a candidatura do outro.

O argumento principal do texto abaixo é indutivo ou dedutivo? Por quê?

15/10/2006 - 09h23

Urna premia ação assistencialista de Lula

FERNANDO CANZIAN da Folha de S.Paulo Colaborou MÁRIO KANNO da Folha de S.Paulo

O resultado das urnas no 1º turno é um retrato do governo assistencialista e pró-pobre de Luiz Inácio Lula da Silva (PT). Quanto maior a concentração de programas sociais e assistenciais nos Estados, maior foi a votação do presidente. O mapa do Brasil com a incidência por Estado do atendimento do Bolsa Família, por exemplo, é um "decalque" da votação obtida por Lula na maioria das unidades do país.

O mesmo vale para o peso do salário mínimo por região e os votos válidos obtidos no 1º turno. Reajustado em quase 25% em termos reais (acima da inflação) no atual governo, o mínimo é o indexador de aposentadorias e benefícios assistenciais pagos pela Previdência.

Os efeitos dessa maior transferência de renda pública para os indivíduos mais pobres teve reflexos importantes na economia de cada região. A evolução das vendas nos últimos 12 meses, por exemplo, revela que onde o comércio cresceu mais, a votação de Lula também avançou mais na comparação com seu desempenho no 1º turno em 2002.

Na mesma comparação com 2002, o desempenho de Lula em 2006 nas regiões Norte e Nordeste foi muito superior em 1º de outubro último.

Nos Estados do Nordeste, entre 42,1% e 50% da população vive em famílias atendidas pelo Bolsa Família. Na região, 46% dos trabalhadores e beneficiários da Previdência recebem salário mínimo.

Lula teve de 56,1% a 80% dos votos válidos no Nordeste, seus recordes. Na região Norte, onde o Bolsa Família atinge entre 26,1% e 42% da população e o salário mínimo, 31% dos trabalhadores e beneficiários da Previdência, Lula teve entre 44,1% e 68% dos votos válidos.

Norte e Nordeste também foram as regiões onde o comércio teve um desempenho superior à média nacional. No Nordeste, cresce quatro vezes mais. Nas demais regiões (Centro-Oeste, Sudeste e Sul), a votação de Lula seguiu a mesma tendência. Nelas, o Bolsa Família atinge entre 10% e 26% dos habitantes e o salário mínimo entre 18% e 23%. Lula teve entre 20% e 44% dos votos válidos.

O desempenho de Geraldo Alckmin (PSDB) seguiu exatamente o mesmo padrão, mas de modo inverso. Onde há menos programas sociais e pessoas recebendo salário mínimo, o tucano teve mais votos. "Tirando o aspecto da corrupção, é impressionante como Lula cumpriu o que prometeu, que era governar para os mais pobres. E o dividendo eleitoral é claro", afirma Celso Toledo, economista-chefe da MCM Consultores.

Toledo afirma que, para transferir renda, qualquer governo precisa tirar dinheiro de quem produz para dar a quem não produz, o que explicaria a tendência de crescimento baixo dos últimos anos.

"Como a desigualdade no Brasil é grande, isso até faz sentido. O problema é que o setor produtivo já está absolutamente estrangulado, e o sacrifício em termos de crescimento acaba sendo bem maior", afirma.

O cientista político Leôncio Martins Rodrigues diz que o resultado da votação vinculado às transferências de renda revela que o eleitor brasileiro ainda não consegue ter "um comportamento político autônomo".

"Como essa grande população é paupérrima, ela continua propensa ao voto clientelístico e a manter sempre a expectativa de receber algo do Estado." Para o sociólogo Antônio Flávio Pierucci, os programas sociais são importantes, mas precisam ser relativizados. "Esse dinheiro vai direto para o bolso, mas toda a encenação do governo Lula é um longo minueto pró-pobres", afirma.

* * *

Texto para análise - FIL309

As razões para Lula não ir ao debate

Escrito por Fernando Rodrigues às 08h41

29/09/2006

http://uolpolitica.blog.uol.com.br/index.html

Lula não compareceu aos debates nesta fase da eleição. Para o Brasil e para a democracia pode ter sido ruim. Para o petista, do ponto de vista tático-eleitoral, não havia alternativa.

Sejamos francos: político quer ganhar eleição. O que Lula poderia ganhar se fosse? Muito pouco. Só que o risco de perder seria sempre enorme.

Numa visão edulcorada da realidade, poetas e "luas-pretas" ao lado de Lula começaram a argumentar há uma semana que o presidente deveria ir ao debate para debelar a sangria de votos que poderia se dar por causa do escabroso "dossiêgate". Por essa teoria, Lula se daria muito bem na discussão, garantiria os votos que já tem e ainda teria até como conquistar alguns outros. A tese é polêmica.

Digamos que num momento ruim Lula se irritasse com a pancadaria. Quando Heloísa Helena o chamasse de covarde ou algo mais. O petista poderia soltar uma palavra mal colocada ou até um palavrão. Pronto. Perderia a eleição. Como bem se sabe, debate não se ganha, apenas não se perde. E Lula estava marcado mais para perder.

Se perdesse, viria o segundo turno e o petista entraria na parada já fragilizado pela derrota na TV. Péssimo cenário para ele.

É claro que a eleição está apertada –ao que parece– e pode ainda dar um segundo turno. Mas nesse caso, como Lula não foi ao debate, não se expôs e vai "fresh" para essa eventual nova fase da disputa.

Para completar, as pesquisas mostram uma certa estabilidade no quadro. Há chance mais do que real também de Lula vencer no primeiro turno.

Esse foi o raciocínio por trás da não-ida de Lula ao debate da TV Globo, na quinta-feira (28/set) à noite.

Ruim para a população, certamente, que não teve a chance de assistir a Lula sob pressão. Mas seguramente uma opção clara do petista pelo caminho mais apropriado para tentar ganhar um segundo mandato.

* * *

Textos - Lógica e Argumentação

Na próxima semana, q começa dia 21/08, serão usados os seguintes textos: 10, 10B, 10C - exercícios 13 - Lógica Formal Estes textos estão no link 'Textos - Filosofia', no lado direito. Além disso, no link 'Textos para análise de argumentos', leiam para discussão em sala: Cotas 1 Cotas 2 Israel 1 Israel 2 Abraços

Contrafactuais

21/07/2006 18:26 Discussão por causa do "se" no plenário

Nacif faz uma pergunta aos jurados: "Se Suzane nunca tivesse conhecido Daniel, os pais dela seriam mortos?". Ele mesmo responde que não. "Então isso significa que ela queria matar os pais desde os 15 anos, quando conheceu Daniel? Ela procurou um namorado que a agasalhasse e lançou a idéia? Isso é um absurdo!", ressalta o promotor. Isso provoca a revolta de Roberto Tardelli que alerta que o "se" não pode ser considerado. E Nadir de Campos Jr rebate, dizendo que se os Cravinhos não tivessem conhecido Suzane, não estariam presos agora.

The Status of Logic in Philosophy II

The Status of Logic in Philosophy II

As a follow-up to my previous post, I took it upon myself to survey graduate program logic requirements. Of the top 50 US PhD programs (according to the Gourmet Report), every one has a logic requirement of some form or another. 15 require only an introductory course in formal logic (propositional and predicate logic, formalization, and proofs). I was surprised that Harvard and MIT are among them. The others require at least some metatheory: 17 programs want their students to do completeness, Löwenheim-Skolem and compactness proofs. At some schools (Rutgers, Pitt, Texas, Wisconsin, Washington), the advanced logic requirement is satisfied by a one-semester course covering completeness, undecidability and incompleteness. (I suppose it's possible to do that, but I have a hard time getting all that covered in an entire year.) Only at Arizona you can get away without taking logic.

Very few programs seem to make their students learn logic that's specifically interesting for philosophy. At CUNY, Rohit Parikh teaches the Logic Core course that covers propositional and predicate logic, Kripke semantics, Lewis's and Stalnaker's theory of conditionals, and incompleteness. That is the only program, as far as I can tell, that requires a specifically philosophical logic course. Several others have a requirement that stipulates that students take "an approved logic course," and I assume a course in modal logic or formal semantics would count there (Irvine, Davis, UMass, Syracuse, UConn, UVa, and Miami).

At the undergraduate level, logic requirements are also still common in the US. Only Arizona, Cornell, Duke, Johns Hopkins, UConn, and USC don't seem to have a required logic course in their BA programs. Almost all the top 30 require formal logic; however, almost none of the programs between 30 and 50 require more than informal logic.

Of the five ranked Canadian programs, Toronto and Western require formal logic; McGill requires a course in metalogic; UBC doesn't have a logic requirement; and I couldn't tell from their website if Alberta does or not. Outside North America, I had a hard time figuring out program requirements. It seems that UK and Australasian departments don't have formal breadth/depth/etc. requirements. I found reference to a logic requirement only on LSE's website.

So: The consensus still seems to be that it's important to a philosophy graduate education to learn logical metatheory (at least model theory). That's good, I think. It gives students an appreciation for what logic is about. I don't know what to think of the one-semester course on everything (completeness, incompleteness, undecidability, etc.). That seems to me to be way too much to cover in one term; at least, too much to cover well and in depth in one term. But maybe someone can tell me how to do it? Is that a more useful course to have than just a basic metalogic course? And is it better to have a course like that, or like Parikh's?

UPDATE: I started putting up the results of that survey here.

posted by Richard Zach @ 1:28 AM 10 comments | Trackback (0)

The Status of Logic in Philosophy

Friday, May 28, 2004 The Status of Logic in Philosophy http://www.ucalgary.ca/~rzach/logblog/2004/05/status-of-logic-in-philosophy.html

It is a commonly accepted view (among logicians working in philosophy [departments]) that while logic was considered central to philosophy in the mid-20th century, it has since moved closer and closer to the margins. It is said, e.g., that while in the 1950s and 60s it was common to find "pure" logicians working in philosophy departments (and consequently, that as a pure logician you could find a job in a philosophy department), this is no longer the case to a similar extent. It is also believed that while a few decades ago logicians enjoyed a reputation (among philosophers) as people who were doing important (and hard) work, now much of logic is just not considered philosophy anymore. I wonder how accurate this cluster of suspicions (henceforth "the belief") actually is .

Anecdotal evidence certainly suggests that it's difficult to find a job as a logician. But is it more difficult than finding a job, period? And is it more difficult now than it was 30 or 40 years ago?

Anecdotal evidence also suggests that logic is not held in particularly high regard among some (many?) philosophers. But is this more true now than it was 30 or 40 years ago?

These are difficult questions to answer; difficult to answer, that is, other than by adducing more anecdotal evidence. One would think that if the belief is correct, then the number of logic jobs advertised should have declined over the last 30 years (as a percentage of all philosophy jobs). One would also think that the philosophy curriculum would have changed reflecting the changing status of logic in philosophy as a whole. Thirdly, it would likely be the case that as fewer logicians were trained and hired by philosophy departments, there should be fewer logic papers published by logicians in philosophy departments.

I have no idea of how to come up with hard data on the first two cases, but I'd be interested to hear anecdotal evidence, especially on the second point. Does your department offer fewer advanced logic courses now than it did 20 or 30 years ago? Did your department use to require a graduate logic course of its grad students but no longer does?

There is some hard data on the third issue, thanks to the Web of Science. I've done some searches on logic papers in the past three decades. The data is a little skewed, I'm sure, since they don't have extensive coverage of the period 1975-1984, but the results are nevertheless interesting. I tried to compare output by people working in philosophy departments (in the US, Canada, the UK, Ireland, Australia, and New Zealand) in logic journals (The Journal and Bulletin of Symbolic Logic, and the Journal of Philosophical Logic). The results are interesting:

1975-1984 1985-1994 1995-2004 Journal of Symbolic Logic + Bulletin of Symbolc Logic 10/1473 0.6% 50/1579 3% 53/1040 5% Journal of Philosophical Logic 32/252 12% 89/196 45% 79/243 40% Total logic papers 52/3,406 1.5% 202/8,963 2% 385/10,156 3%

In the first two lines, I gave the ratio of papers by authors in US/ Canadian/ British/ Irish/ Australian/ New Zealand philosophy departments to the total number of papers in the respective journals. In the last line, you have the ratio of logic papers to all papers in the index (by authors in US/Canadian etc. departments). It looks like the output of logicians in English-speaking philosophy departments has increased since the 1970s.

I conjecture that what happened in philosophy vis-à-vis logic is not that logic has become (seen as) less central, but that as philosophical logic has matured over the last 50 years, it has been integrated into the appropriate areas of philosophy. So perhaps it isn't logic per se that's seen as less central to philosophy, but the kind of logic you could still commonly find being done in philosophy departments in the 50s and 60s, which wasn't that much different from the logic done in math departments.

UPDATE: Updated the table to include New Zealand, as well as Ireland, Scotland, and Wales.

UPDATE: Followup posted here.

UPDATE: More followups: Thoughts on logic in philosophy grad programs Survey of logic in US grad programs Brian Weatherson's JfP analysis and logic jobs Session on logic in graduate philosophy programs at the ASL Spring Meeting/APA Pacific Logic in America vs Logic in Europe

posted by Richard Zach @ 11:16 AM 16 comments | Trackback (0)