Workshop: Advanced Reasoning Forum at UFMG

Richard Epstein (ARF, Advanced Reasoning Forum), autor de vários
livros nas áreas de filosofia, lógica e linguística, visitará a UFMG
nas próximas duas semanas.
Abaixo, a programação. As palestras serão todas em português.

Dia 23 de setembro, terça-feira, 14h, auditório Baesse
Palestra: Pensamento Crítico
Richard Epstein

Dia 24 de setembro, quarta-feira, 15h30
Sala 4094
Mesa: Teoria de Conjuntos
Richard Epstein, Antonio Coelho, Abílio Rodrigues

Dia 26 de setembro, sexta-feira, auditório Bicalho, 14h
Palestra: O Mundo como Processo
Richard Epstein
https://www.dropbox.com/s/st2s199hqg6nsds/Epstein.WP.pdf

Dia 29 de setembro, segunda-feira, sala 4094, das 9h às 12h e das 14h às 17h
Mesa:: Paraconsistência, Modalidades e a Natureza da Lógica

Dia 1º de outubro, quarta-feira, sala da Congregação, 15h
Palestra: Linguagem, Pensamento e Significado
Richard Epstein
https://www.dropbox.com/s/xmhc3fp7u7uq1yg/Epstein.LTM.pdf

Apoio: CNPq, Programa de Pós Graduação em Filosofia da UFMG

Prática de pesquisa IV - ementa e bibliografia

Prática de pesquisa IV

Tema: Lógicas não clássicas: intuicionismo e paraconsistência.

 

Ementa: Consequência lógica: o que se segue de quê. A lógica clássica. Os princípios do terceiro excluído e da não-contradição. O princípio da explosão. Lógicas não clássicas: primeira abordagem. Intuicionismo de Brouwer e Heyting: existência, infinito e verdade. Lógica intuicionista. A contradição na história da filosofia: Heráclito, Aristóteles, Kant, Hegel. Paraconsistência e dialeteísmo. Contradições nas ciências empíricas. Lógicas paraconsistentes.

 

Bibliografia básica:

Aristóteles. Metafísica.

Haack, S. Filosofia das Lógicas. Ed. UNESP.

Chateaubriand, O. Logical Forms. CLE-UNICAMP. 

da Costa, N. Ensaio sobre os fundamentos da lógica. Hucitec.

da Silva, J.J. Filosofias da Matemática. Ed. UNESP.

Hegel, G.W.F. Enciclopédia das Ciências Filosóficas – vol. I. Loyola.

Heyting, A. Intuitionism: an introduction. North-Holland.

Kant, I. Crítica da Razão Pura. Ed. Calouste.

Kirk, G. S. Os Filosofos Pré-socraticos.  Ed. Calouste.

Priest, G. An introduction to non classical logic. Cambridge.

________. Doubt Truth to be a Liar. Clarendon Press.

Rodrigues, A. Lógica - Coleção O Prazer de Pensar. Martins Fontes.

Monitoria próxima segunda

Olá para todos.

As duas horas de atendimento do monitor Edgar que estavam programadas para acontecer segunda e terça, das 18:00 às 19:00, serão oferecidas na segunda-feira, na própria sala 3049, das 19:00 às 21:00, visando encerrar a revisão para prova, que não foi concluída na última semana.

Abraços

Próximas aulas e prova

Olá para todos.

Hoje, terça dia 27, haverá monitoria no horário da aula.

E na próxima quinta, dia 29, aula de revisão.

Prova e entrega do trabalho sobre identidade na terça dia 3 de junho.

Abraços

Hitler against Godel - sensacional

"Let's fire all the logicians we have not fired before. Heidegger
warned me against them."

https://www.youtube.com/watch?v=mHD08tI0T30

Superior Tribunal Federal

Caríssimos
Isso é tão grave, mas tão grave, que não pode passar despercebido.
Nem pode ser facilmente esquecido.
Abraços.

"Diante da reação temperamental de um colega, o ministro suscitou a
hipótese de que o abandono da técnica judicial, para agravar mais as
penas, visasse um destes dois objetivos: evitar o reconhecimento de
que o crime estava prescrito ou impedir que os réus gozassem do
direito ao regime semiaberto de prisão, em vez do regime fechado a que
foram condenados.

Hipótese de gritante insensatez. Imaginar a mais alta corte do país a
fraudar os princípios básicos de aplicação de justiça, com a
concordância da maioria de seus integrantes, é admitir a ruína do
sistema de Justiça do país. A função do Supremo na democracia é
sustentar esse sistema, viga mestra do Estado de Direito.

O ministro mal concluiu a hipótese, porém, quando alguém bradou no
Supremo Tribunal Federal: "Foi feito para isso sim!". Alguém, não. O
próprio presidente do Supremo Tribunal Federal e presidente do
Conselho Nacional de Justiça."

http://www1.folha.uol.com.br/fsp/poder/154602-uma-frase-imensa.shtml

Um vídeo está aqui: http://www.youtube.com/watch?v=HNoQJ4f1mJY, (50:20
até 50:43)

V Colóquio Temático em Filosofia Analítica

A grande divisão entre duas tradições na filosofia contemporânea, entre a tradição analítica e a tradição continental, é ao mesmo tempo conceitualmente vaga e explicativa do modo como se organiza a atividade filosófica hoje. De fato, mesmo se não é simples definir o que é próprio de cada tradição, porque provavelmente uma tal definição não existe, dada multiplicidade de práticas filosóficas, filósofos tendem a discutir com colegas, ler textos, participar de congressos etc., que se encontram do seu lado desta divisão. Mas será este o caso? Esta tendência de separação apresenta algumas brechas que este seminário pretende explorar, tanto para mostrar uma capilaridade maior do que talvez se suspeitasse, quanto para sugerir outros caminhos a serem trilhados. Num primeiro momento, podemos pensar no papel de Hegel no dialeteísmo e lógicas paraconsistentes, na importância de Merleau-Ponty para a filosofia da mente mais contemporânea, ou ainda no papel do interesse no conhecimento, em versões do contextualismo epistêmico.

PROGRAMA
Dia 12 de março de 2014, quarta-feira

9h30 Palestra 

Em torno dos analíticos  e continentais - Desavenças e
aproximações
Ivan Domingues (UFMG)

10h30 Mesa: Psicologismo em Frege e Husserl
Marco Ruffino (UNICAMP), Celso Braida (UFSC), Mario Porta (PUC-SP)

Dia 13 de março de 2014, quinta-feira

10h30 Mesa: Percepção
Alice Serra (UFMG), André Abath (UFMG), Ernesto Perini (UFMG)

14h30 Mesa: Hegel e a lógica paraconsistente
Abilio Rodrigues (UFMG), Leonardo Vieira (UFMG), Michela Bordignon (PUCRS)

16h30 Palestra: Wittgenstein sobre 'instantes' e 'pontos' - Andre Porto (UFG)


Organização: Abilio Rodrigues e Ernesto Perini

Linha de Pesquisa Lógica e Filosofia da Ciência

Apoio: Programa de Pós-graduação em Filosofia da UFMG

Teoria da Argumentação

Muito bom!

Atividades - Filosofia da Lógica

Para entrega dia 15/10

1. Explique a posição filosófica denominada dialeteísmo.

2. 'Acatar o dialeteísmo implica em acatar algum tipo de lógica
paraconsistente, mas a conversa não é o caso'. Você concorda?
Justifique sua resposta.

3. Explique a formulação do paradoxo do mentiroso na linguagem
natural. Explique por que é inútil adotar uma lógica de três (ou mais)
valores de verdade para evitar o paradoxo.

4. Explique informalmente o que são os paradoxos de Cantor e Russell.

5. Ler o livro Gama da Metafísica de Aristóteles localizando e
analisando os argumentos em defesa do princípio de não contradição.
Link: https://dl.dropboxusercontent.com/u/5959592/Metafisica.Gamma.txt

Palestra - Lema Diagonal e Autorreferência

Seminários de Filosofia Analítica
Lema Diagonal e Autorreferência
Guilherme Araújo (UFMG)

Sexta-feira, 27 de setembro, 14h30
FAFICH, Sala 4094 (a confirmar)

Prova - Filosofia da Lógica

Enviar respostas em arquivo .doc por email até o dia 22 de setembro.
Abraços

1. Explique cada um dos diferentes aspectos da lógica que são
apresentados por Tugendhat no capítulo 1 do livro Propedêutica
Lógico-semântica.

2. Por que Chateaubriand considera que o caráter primordial da lógica
é metafísico e não linguístico? Justifique sua resposta apresentando e
analisando argumentos de Chateaubriand.

3. Responda:

(i) O que é um sistema lógico contraditório?

(ii) O que é um sistema lógico trivial?

(iii) O que é um sistema lógico explosivo?

4. Explique, do ponto de vista das lógicas da inconsistência formal a
equação abaixo:

Contradictions + Consistency = Triviality

5. Por que as duas noções de inconsistência abaixo são equivalentes do
ponto de vista da lógica clássica, mas não para lógicas
paraconsistentes?

(i) S é consistente sse não existe A tal que A e não A são teoremas de S.

(ii) S é consistente sse existe B tal que B não é teorema de S

Material para terça-feira 10/set

Seções 1.1 e 1.2 do texto no link abaixo
https://copy.com/3kCIXVLGvi0cms3W

Material sobre paraconsistência

Verbete IEP
http://www.iep.utm.edu/para-log/
Verbetes Stanford
http://plato.stanford.edu/entries/dialetheism/
http://plato.stanford.edu/entries/logic-paraconsistent/
Tese João Marcos
http://sqig.math.ist.utl.pt/pub/marcosj/05-m-phdthesis.pdf

Lógicas paraconsistentes e a natureza da lógica

Olá para todos.
Material para o curso já está disponível no Dropbox.
Corrigindo: o código da disciplina é FIL070.
Para terça dia 6, leiam o texto do Tugendhat.
Abraços

A List of Achievements of Analytic Metaphysics

http://m-phi.blogspot.co.uk/2012/07/list-of-achievements-of-analytic.html

Edital - Monitoria de Lógica

De 23 de julho a 6 de agosto estão abertas inscrições para seleção de
monitor de lógica.
Bolsa: R$400,00
A seleção será no dia 7 de agosto.
Mais detalhes no edital abaixo
https://dl.dropboxusercontent.com/u/5959592/edital.log.PDF

Calendário acadêmico 2013

https://www.ufmg.br/conheca/calendario.shtml

Disciplina de Filosofia da Lógica - 2013.2

Tópicos em Filosofia: Filosofia da Lógica

FIL048N

Terças e quintas-feiras às 21h

Título: Lógicas paraconsistentes e a natureza da lógica

Objetivo: O objetivo do curso é apresentar as noções fundamentais e discutir as

motivações filosóficas das lógicas paraconsistentes. A característica principal das

lógicas paraconsistentes não é aceitar contradições, mas sim não serem explosivas na

presença de contradições. Uma teoria contraditória, ao contrário do que ocorre na lógica

clássica, não é sempre trivial. Do ponto de vista filosófico, o problema é justificar um

sistema formal que permite contradições. A abordagem desse problema se dará a

partir de uma discussão acerca da natureza das contradições a saber, se tais contradições

tem caráter ontológico, epistêmico ou linguístico.

Ementa: Sistemas clássicos de lógica sentencial: o princípio da não-contradição e

o princípio da explosão (Ex Falso Quodlibet). Os aspectos ontológicos, linguísticos

e epistêmicos dos princípios da lógica. Lógicas paraconsistentes de da Costa (e

seus colaboradores) e suas motivações filosóficas. O dialeteísmo e as lógicas

paraconsistentes de Graham Priest.

Bibliografia:

Carnielli, W.A.: 2006. 'Sistemas de lógica paraconsistente' in Enciclopédia de termos

lógico-filosóficos. São Paulo: Martins Fontes.

da Costa, N.C.A. & French, S. (2003) Science and Partial Truth, Oxford: OUP, chapter

5, 'Inconsistency in science'.

Chateaubriand, O. (2001) Logical forms vol. 1. Campinas: UNICAMP-CLE,

Introduction.

Tugendhat, E.; Wolf, U. (1996). Propedêutica lógico-semântica (transl. Fernando

Rodrigues), Petrópolis: Editora Vozes, cap. 1.

Popper, K.R. (1963), Conjectures and Refutations, New York: Harper, pp. 206ff.

Priest, G.; Tanaka, K.; Weber, Z. (2013) 'Paraconsistent Logic' in The Stanford

Encyclopedia of Philosophy.

Priest, G.; Berto, F. (2013) 'Dialetheism' in The Stanford Encyclopedia of Philosophy.

Grupo de Lógica - 2013.2

Lendo o Shoenfield - Lógica Matemática

Horário: Quintas-feiras das 16h às 17h40

Objetivo: Apresentar uma introdução à Lógica Clássica de Primeira Ordem usando como base o livro Mathematical Logic, de Joseph Shoenfield. 

Ementa: A Natureza da Lógica Matemática. Teorias de Primeira Ordem. Teoremas em Teorias de Primeira Ordem. O Problema da Caracterização e o Teorema da Completude. 

Bibliografia: Shoenfield, J.R.: 1967 (2010). Mathematical Logic. New York, CRC Press. 

Apresentações - Frege

Olá para todos.

Abaixo, programação das apresentações dos textos do Frege.
Abraços

Otávio e Wagner - Introdução à Lógica de 1906 e Carta a Husserl de 1891 - Data: 10/06
Edgar - Fundamentos da Aritmética - Data: 12/06
Laiz e Regina - Função e Conceito - Data 19/06
Bruno e Glauber - Lógica de 1897 - Data 24/06