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

Conceitografia - segunda 20/5

Olá para todos.
Na aula de amanhã, segunda, vamos fazer uma leitura rápida da parte 1
da Conceitografia, §§ 1 a 12.
Sugiro que antes da aula todos façam uma nova leitura, identificando
eventuais trechos relevantes ou problemáticos.
Leiam também o texto do Margutti
https://dl.dropboxusercontent.com/u/5959592/margutti_conceitografia.pdf
Se houver tempo, passamos para o Prefácio das LBA.
Abraços

Palestra - Sobre o caráter definicional dos axiomas de ZFC

O Grupo de Estudos de Lógica da FAFICH convida para a palestra do professor Antonio Coelho (UFMG): 

Sobre o caráter definicional dos axiomas de ZFC

Dia 22 de maio, quarta-feira, às 16h na sala 3036.

ZFC é, em certo sentido, a teoria de conjuntos padrão. O estudo das consequências de seus axiomas e o estudo de seus modelos, isto é, de
estruturas que satisfazem esses axiomas, são tópicos relacionados, mas distintos. Uma visão definicional dos axiomas de ZFC conduz, naturalmente, a
uma ênfase no estudo dos modelos de ZFC. O objetivo desta exposição é explicar, segundo linhas propostas por Kenneth Kunen, alguns aspectos dessa
visão definicional.

Informações úteis

Olá para todos.

Nossa avaliação será na segunda-feira, dia 13 de maio.

Levem para consulta os textos da Conceitografia, SSR e Prefácio das Leis Básicas.

Os §§ da Conceitografia que devem ser lidos estudados para a prova são 1 a 12.

https://dl.dropboxusercontent.com/u/5959592/frege.conceitografia.1.12.pdf

Não haverá aula no dia 15 de maio, quarta-feira. A tarefa de quarta dia 15 será estudar todo o prefácio das Leis Básicas, para a semana que começa dia 20 de maio. O link está abaixo:

https://dl.dropboxusercontent.com/u/5959592/frege_intro_lba.pdf

Na leitura das Leis Básicas procurem identificar os argumentos de Frege contra o psicologismo.  

Abraços

   

Frege

Dois textos úteis para a disciplina
Marco Ruffino, O verdadeiro, o bom e o belo em Frege
http://www.oquenosfazpensar.com/adm/uploads/artigo/o_verdadeiro,_o_bom_e_o_belo_em_frege/marcoruffino.pdf
Dirk Greimann, A caracterização da lógica pela força assertórica em Frege - Resposta a Marco Ruffino
http://www.cle.unicamp.br/manuscrito/public/abstract.php?id=331&edicao=34

Programa para ler arquivos .djvu

http://djvu.org/resources/
ou instalador no link
https://dl.dropboxusercontent.com/u/5959592/WinDjView-2.0.2-Setup.exe

Frege - SSR parte II

https://dl.dropboxusercontent.com/u/5959592/Frege_SSR_parte_2.pdf

Conceitografia, Leis Básicas da Aritmética, Função e Conceito

Material para próximas aulas enviado pela minhaUFMG

Frege - contextos intensionais - II

No link
https://dl.dropboxusercontent.com/u/5959592/Frege_SSR_parte_2_B.pdf
está a segunda parte do roteiro para a leitura da segunda parte de SSR.
O link da primeira parte do roteiro é
http://dl.dropbox.com/u/5959592/Frege_SSR_parte_2.pdf.

Frege - contextos intensionais etc.

No link
http://dl.dropbox.com/u/5959592/Frege_SSR_parte_2.pdf
está um roteiro para a leitura da segunda parte de SSR, que veremos na
aula do dia 24/4.

Avaliação - Prática de pesquisa - 2013.1

Olá para todos.
Na próxima quarta-feira, dia 17 de abril, haverá uma avaliação na aula das 21h.
Essa avaliação irá compor a nota final do curso.
Portanto, estejam todos presentes.
Abraços

Livros no Google

http://problemasfilosoficos.blogspot.com.br/2010/08/google-livros.html

Notem que Basic Laws, do Frege, está na lista

Palestra sobre Frege

Analiticidade, Lei Lógica e Axioma V

Prof. Alessandro Duarte (UFRRJ)

Dia 8 de abril, 14h
Fafich - Sala 4094

Sobre o Sentido e a Referência

Tradução de Sobre o Sentido e a Referência de Frege

Sérgio R. N. Miranda

Universidade Federal de Ouro Preto

http://www.revistafundamento.ufop.br/pdf/vol1n3-2.pdf

UNILOG 2013

4th World Congress and School on Universal Logic

Rio de Janeiro, 29 de março a 7 de abril de 2013

http://www.uni-log.org/start4.html

Programa: http://www.uni-log.org/handbook2013/unilog2013-handbook.pdf

Edital Monitoria

Edital - vagas disponíveis para monitores

1st CLE4Science

1st CLE Colloquium for Philosophy and History of Formal Sciences

21 a 23 de março de 2013

UNICAMP  

http://bertato.wix.com/1stcle4science

Programa do evento: http://bertato.wix.com/1stcle4science#!program 

Impure mathematics

http://abstrusegoose.com/504

Comentário do meu amigo João Marcos: "Substitua "geometria não-euclidiana" por "lógica não-clássica", e a piada se adapta facilmente.  Ou não."

Edital Pronoturno

Olá para todos.
Abaixo, edital para 1 vaga de bolsa do Pronoturno - prazo até 19/3.
https://dl.dropbox.com/u/5959592/EDITALPRONOTURNO.pdf
E abaixo, resolução da UFMG referente ao Pronoturno.
https://dl.dropbox.com/u/5959592/ResolucaoPronoturnoUFMG.pdf
Abraços

Arquivos .djvu

http://djvu.org/resources/

Textos sobre Frege

Heck - Frege's Contribution to Philosophy of Language
http://frege.brown.edu/heck/pdf/published/FregesContribution.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

Reconstrução do argumento de Frege - valor de verdade como referência
https://dl.dropbox.com/u/5959592/argumento_frege.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

Excerto livro Claudio Costa - Filosofia da Linguagem
https://dl.dropbox.com/u/5959592/costa_fl.pdf