Visita de Richard Epstein a 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
Workshop sobre 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
Workshop: 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

Sobre a filosofia das lógicas da inconsistência formal

Olá para todos

No link abaixo estao referências e os slides do minicurso apresentado na Escola de Lógica da EBL 2014.

https://www.dropbox.com/sh/p1rflnx56vkmp9j/V0anZbklY6

Abraços

Abilio

Grupo de Lógica - 2013.2

Lendo o Shoenfield - Lógica Matemática

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

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. 

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

Cronograma - 2013.1

https://dl.dropbox.com/u/5959592/cronograma.grupo.pdf

Material disponível

Forma normal prenexa
https://dl.dropbox.com/u/5959592/prenexa.pdf

Completude - Henkin
https://dl.dropbox.com/u/5959592/completude_QS.pdf

Completude com identidade
https://dl.dropbox.com/u/5959592/completude_identidade.pdf

Ver também: Mortari, tablôs com identidade e símbolos funcionais

Grupo de estudos de lógica - 2013.1

Grupo de Estudos de Lógica: Teoremas de limitação e outros temas

FIL049 J – Tópicos em Filosofia II

Profs. Abílio Rodrigues e Antônio Coelho

Ementa: Os teoremas da correção, da completude e da compacidade; o teorema de Löwenheim - Skolem (descendente), o chamado paradoxo de Skolem e certas questões filosóficas a eles associadas; funções recursivas e sua representabilidade na aritmética de Robinson; os teoremas de indecidibilidade de Church e de indefinibilidade de Tarski; o primeiro teorema de incompletude de Gödel e alguns de seus desdobramentos filosóficos.
A principal referência bibliográfica será: Boolos, G. S. & Jeffrey, R. C. (1989), Computability and Logic (3rd ed.), Cambridge University Press.

Conversor - forma normal prenexa

http://www.xamuel.com/prenex/

Material disponível

Olá para todos.
Além das apostilas sobre lógica de predicados que já usamos semana
passada, estão disponíveis no Dropbox alguns resultados que serão
vistos: correção, consistência, completude para lógica de primeira
ordem.
Abraços

Aula 22/10

Olá para todos.
Esta semana entraremos na parte do curso sobre lógica de primeira ordem.
Na aula do dia 22/10, segunda-feira, faremos uma revisão da sintaxe e
semântica. Além disso, veremos tablôs e dedução natural para LPO.
As apostilas estão na pasta do Dropbox. Vejam também os respectivos
capítulos do Hunter.
Abraços

Calendário acadêmico 2012/2

Abaixo, calendário acadêmico 2012.2.

https://dl.dropbox.com/u/5959592/Calendario_Academico_12.pdf

Aula 24/9

Na aula do dia 24/9 veremos provas de independência e alguns resultados metateóricos da lógica intuicionista.

As respectivas apostilas estão no dropbox.

Aula dia 17/9

Olá para todos.

Na aula do dia 17 veremos a prova da completude da lógica sentencial com o método de Henkin. Há duas apostilas no dropbox. Veremos também o teorema da compacidade (Hunter 32.20) e a seção 34 (decidibilidade da lógica sentencial).

Além disso, pretendo ver alguns resultados metateóricos da lógica intuicionista (apostila 'traducoes.glivenko' no dropbox).

Sugiro a leitura de textos sobre aspectos filosóficos da lógica intuicionista, por exemplo:

Verbete da Stanford,
http://plato.stanford.edu/entries/logic-intuitionistic/
Excerto do livro do Heyting, Intuitionism, com apresentação de um sistema axiomático para a lógica intuicionista
http://dl.dropbox.com/u/5959592/heyting_itcn.pdf
Troelstra, História do Construtivismo no séc. XX
http://dl.dropbox.com/u/5959592/Troelstra.History.constructivism.20th.century.pdf

Aula 10/9

Olá para todos
Na aula de hoje veremos a prova da completude de Kalmar - seção 31 do Hunter.
No link
https://sites.google.com/site/textoslogica/arquivos/lema_6.2.pdf
há uma prova de um lema importante para a prova.
Veremos na segunda parte da aula sistemas axiomáticos e de dedução
natural para a lógica setencial.
Material disponível no dropbox, pasta 'dn.sis.ax'
Abraços
Abílio

Aula extra 27/8 cancelada

Olá 

Considerando que não consegui sala disponível, fica cancelada a aula extra do dia 27.

Marcarei para o dia 3 e avisarei o local com antecedência.

Abílio

Tópicos em Lógica

Olá para todos.

Este será o blog da disciplina Tópicos em Lógica da pós-graduação 2012.2.

Abaixo, o programa do curso:

https://dl.dropbox.com/u/5959592/topicos.2012.2.pgm.pdf 

Para a aula extra de 27/8, 9h30, usaremos os capítulos do Mortari sobre sintaxe e semântica da lógica de primeira ordem (especialmente a semântica, valorações e estruturas) e também as apostilas disponíveis no site

https://sites.google.com/site/textoslogica/ 

Na aula de 27/8, 14h, veremos as seções 15 a 28 do Hunter.

Abraços

Editais - bolsas de monitoria e PET

http://dl.dropbox.com/u/6116169/Edital.PMG.PET.pdf

Palestras Professora Andrea Loparic

Olá para todos.

O grupo de estudos de lógica da FAFICH, com o apoio do Programa de Pós-graduação em Filosofia, retoma suas atividades neste semestre com duas palestras da professora Andrea Loparic (USP): 

Teoria das valorações
Dia 22 de março, 15h, sala 3019.

Identidade, negação e universos de discurso

Dia 23 de março, 15h, sala 3019.

Referências:

Teoria das valorações:

LOPARIC, A. M. A. C. ; da COSTA, N.C.A. Paraconsistency,
paracompleteness and valuations. Logique et Analyse, v. 106, p.
119-131, 1984
Disponível em http://dl.dropbox.com/u/5959592/al/loparic.parac.pdf
LOPARIC, A. M. A. C. . A semantical study of some propositional
calculi. THE JOURNAL OF NON-CLASSICAL LOGIC, v. III, p. 74-95, 1986.

LOPARIC, A. M. A. C. . The method of valuations in modal logic. In:
First Brazilian Conference, 1977, New York. Proceedings First
Brazilian Conference. New York : Marcel Dekker Inc., 1977.
Disponível em http://dl.dropbox.com/u/5959592/al/met.valuations.pdf
LOPARIC, A. M. A. C. 'Valuation semantics for intuitionistic
propositional calculus and some of its subcalculi' in Principia,
http://www.cfh.ufsc.br/~principi/p141-8.pdf

Identidade, negação e universos de discurso

LOPARIC, A. M. A. C.. 'Lacan avec les Philosophes' in "Bibliotheque du
College International de Philosophie" ed. Alban Michel,
Disponível em http://dl.dropbox.com/u/5959592/al/A.Loparic.Identite.negation.pdf

Abraços

Projeto de lei que ‘regulamenta a profissão de filósofo'

Olá para todos.

Abaixo uma pequena amostra do projeto que está no congresso que
pretende 'regulamentar a profissão de filósofo'.

Art. 1º - O exercício, no País, da profissão de Filósofo, observadas
as condições de habilitação e as demais exigências legais, é
assegurado:
(...)
f) aos membros titulares da Academia Brasileira de Filosofia e aos por
ela diplomados em cursos de graduação bacharelado e licenciatura,
mestrado e doutorado.

Art. 3º - Os órgãos públicos da administração direta ou indireta ou as
entidades privadas, quando encarregados da elaboração e execução de
planos, estudos, programas e projetos socioeconômicos ao nível global,
regional ou setorial, manterão, em caráter permanente, ou enquanto
perdurar a referida atividade, Filósofos legalmente habilitados, em
seu quadro de pessoal, ou em regime de contrato para prestação de
serviços.

Art. 7º - A Academia Brasileira de Filosofia, com sede na cidade do
Rio de Janeiro, é a representante da filosofia e língua filosófica
nacionais.

O texto completo pode ser acessado a partir da página abaixo.
http://www.camara.gov.br/proposicoesWeb/fichadetramitacao?idProposicao=523870

No link
http://www.change.org/petitions/abaixo-assinado-contra-a-regulamentao-de-filsofo-como-profisso-contra-a-regulamentao-de-filsofo-como-profisso
há um abaixo assinado de repúdio.

Abraços

Abílio

Seminário Teoria de Conjuntos

Olá para todos.

O programa do seminário sobre teoria de conjuntos que será apresentado pelo Henrique e pelo Guilherme está no link
http://dl.dropbox.com/u/5959592/seminario_set_theory.htm.

O seminário terá início no dia 31/8, quarta-feira, 16h na sala 4094.

Na terça, 30/8, 16h, veremos alguns resultados metateóricos:

Correção SL:
http://dl.dropbox.com/u/5959592/correcao_hunter28.4.pdf

Completude Henkin SL:
http://dl.dropbox.com/u/5959592/henkin_prop_1.pdf
http://dl.dropbox.com/u/5959592/henkin_prop_2.pdf

Consistência FOL
http://dl.dropbox.com/u/5959592/consistencia_fol.pdf

Correção FOL (usando quantificação objetual)
http://dl.dropbox.com/u/5959592/correcao_obj.pdf

Completude Henkin
http://dl.dropbox.com/u/5959592/completude_QS.pdf

Löwenheim-Skolem
http://dl.dropbox.com/u/5959592/low_sk.pdf

Completude com identidade
http://dl.dropbox.com/u/5959592/completude_identidade.pdf

2nd Colloquium on Metaphysical Logic

2nd Colloquium on Metaphysical Logic

Local: Sala F1052, FAFICH, UFMG
Data: 18 e 19 de agosto de 2011

P R O G R A M A Ç Ã O

Quinta-feira, 18 de agosto de 2011
Manhã – Moderador: Prof. Abílio Rodrigues – UFMG
9h30 às 10h30
Palestrante: Prof. Túlio Aguiar – UFMG
Título: Causation and Physics: is there possibility of reconciliation?
10h45 às 11h45
Palestrante: Prof. Alessandro Bandeira – UFRRJ
Título: The formal role of the truth-values in Frege's Logic
Tarde – Moderador: Prof. Mauro Engelmann – UFMG
14h às 15h
Palestrante: Prof. Guido Imaguire – UFRJ
Título:  Some Remarks on Nominalism
15h15 às 16h15
Palestrante: Prof. Ernesto Perini – UFMG
Título: How not to build an ontological dispute - some remarks on the
relationship between truth-conditional semantics and ontology
16h30 às 17h30
Palestrante: Prof. Pedro Santos – UNIFESP
Título: Grounding Mereology

Sexta-feira, 19 de agosto de 2011
Manhã – Moderador: Prof. Pedro Santos – UNIFESP
9h30 às 10h30
Palestrante: Prof. Rodrigo Bacellar – USP
Título: The elimination of sets
Palestrante: Prof. André Porto – UFG
Título: A new theory of space
10h45 às 11h45
Tarde – Moderador: Prof. Rodrigo Bacellar – USP
14h às 15h
Palestrante: Prof. Desidério Murcho – UFOP
Título: There is no Logic
15h15 às 16h15
Palestrante: Prof. Gonzalo Rodriguez-Pereyra – University of Oxford
Título: Resemblance Nominalism, conjunctions and truthmakers

Comissão Organizadora:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Rodrigo Bacellar – USP
Prof. Túlio Aguiar – UFMG

Comitê científico:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Guido Imaguire – UFRJ
Prof. Mauro Engelmann – UFMG
Prof. Rodrigo Bacellar – USP

Primeiro Simpósio Internacional de Filosofia da Linguagem na UFF

Primeiro Simpósio Internacional de Filosofia da Linguagem na UFF
Workshop sobre Frege com Joan Weiner

Data:   8-10 de agosto de 2011
Local: Universidade Federal Fluminense
Campus do Gragoatá
Instituto de Ciências Humanas e Filosofia
Departamento de Filosofia
Rua Professor Marcos Waldemar de Freitas Reis, Bloco O, sala 516
São Domingos – Niterói
CEP 24210-350 - RJ - Brasil

Palestrantes:
Joan Weiner (Indiana University Bloomington)
Oswaldo Chateaubriand (PUC-Rio)
Marco Ruffino (UFRJ)
Guido Imaguire (UFRJ)
Ludovic Soutif (PUC-Rio)
Alessandro Bandeira Duarte (Rio-Rural)
Abílio Rodrigues (UFMG)
Pedro de Moraes Rego e Freitas Santos (UNIFESP)
Dirk Greimann (UFF)

Programação:
Segunda-feira, 08/08/2010
14:30  - 16:00   Joan Weiner, "Why does Frege care whether Julius
Caesar is a number?"
16:15 – 17:15   Dirk Greimann, "Frege and Tarski on truth"
17:30 – 18:30   Guido Imaguire, "A fresh look at Russell's criticism
of Frege's conception of                        Sinn"

Terça-feira, 09/08/2010
10:30 – 11:30    Pedro Santos, "What is a (Fregean) function?"
11:45 – 12:45   Ludovic Soutif, "How epistemic is cognitive value?"
15:00 – 16:00   Alessandro Duarte, "Frege may have been a neo-Fregean"
16:15 – 17:15   Abílio Rodrigues, "Semantic value, reference and
conceptual content"

Quarta-feira, 10/08/2010
11:00 – 12:30   Joan Weiner, "Frege and the beast of reality: the
logical and metaphysical
notions of  objecthood"
15:00 -  16:00   Marco Ruffino, "The sense of proper names"
16:15 – 17:15   Oswaldo Chateaubriand, "Truth-values"

Verbetes da Wikipédia em português

Abaixo, uma relação de verbetes da Wikipédia em português produzidos
e/ou ampliados por alunos do Centro de Informática da UFPE.

*Teoria dos Conjuntos*:
http://pt.wikipedia.org/wiki/N%C3%BAmero_de_Hartogs
http://pt.wikipedia.org/wiki/Axioma_do_conjunto_vazio
http://pt.wikipedia.org/wiki/Diagrama_de_Hasse
http://pt.wikipedia.org/wiki/For%C3%A7amento
http://pt.wikipedia.org/wiki/Cardinalidade
http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos

*Lógica*:
http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem
http://pt.wikipedia.org/wiki/Subestrutura
http://pt.wikipedia.org/wiki/Decidibilidade

Verdade

Abaixo, primeira versão da tradução do capítulo 1 de Thinking About Logic, de Stephen Read  
http://dl.dropbox.com/u/5959592/cap_1.htm

Completude com identidade e paradoxo de Skolem

Abaixo, apostila sobre a prova da completude com identidade
http://dl.dropbox.com/u/5959592/completude_identidade.pdf

Além dos textos já postados, mais dois sobre o paradoxo de Skolem
http://dl.dropbox.com/u/5959592/The_Mathematics_Skolem_Paradox_Timothy_Bays.pdf
http://dl.dropbox.com/u/5959592/skolem_bays.pdf

Provas correção e completude - aulas 30/5 e 1/6

Olá para todos.

A apostila com a prova da completude foi modificada para se adequar ao sistema dedutivo QS' e está abaixo

http://dl.dropbox.com/u/5959592/completude_QS.pdf

A prova da correção, que concluiremos segunda 30/5, está em 

http://dl.dropbox.com/u/5959592/correcao_obj.pdf

A previsão é que na semana das aulas 30/5 e 1/6 iremos concluir as provas da correção e completude para QS'.

Abraços 

Material disponível

Olá para todos.

Abaixo, material disponível.

Capítulo do livro do Theodore Sider, Logic for Philosophy, com alguns comentários sobre os resultados que estamos estudando

http://dl.dropbox.com/u/5959592/Sider_4.5.pdf

Prova da consistência   

http://dl.dropbox.com/u/5959592/consistencia_fol.pdf

Prova da correção (usando quantificação objetual)

http://dl.dropbox.com/u/5959592/correcao_obj.pdf

Prova da completude 

http://dl.dropbox.com/u/5959592/completude.pdf

Texto do Peter Subers sobre o teorema de Löwenheim-Skolem e o paradoxo de Skolem

http://www.earlham.edu/~peters/courses/logsys/low-skol.htm

Prova do teorema de Löwenheim-Skolem

http://dl.dropbox.com/u/5959592/low_sk.pdf

Capítulo de Boolos & Jeffrey sobre o teorema de Löwenheim-Skolem

http://dl.dropbox.com/u/5959592/boolos_lsk_cap13.pdf

Próximas aulas

Olá para todos.

Após a revisão da sintaxe e semântica da lógica de primeira ordem, veremos provas do teorema da dedução e da consistência.

Usaremos um sistema axiomático ligeiramente diferente do utilizado pelo Hunter, retirado de Robbin (Mathematical Logic, New York: Dover). 

A prova do teorema da dedução está no link  

http://dl.dropbox.com/u/5959592/teorema_da_deducao.pdf

Uma primeira versão da apostila com a prova da consistência está no link 

http://dl.dropbox.com/u/5959592/consistencia_fol.pdf

Abraços

Lógica de primeira ordem

Olá para todos.

Vamos começar a segunda parte do curso com a sintaxe e a semântica da lógica de primeira ordem.

Para relembrar os conceitos vistos em Lógica 1 e 2, estudaremos as apostilas abaixo:

http://dl.dropbox.com/u/5959592/stx_log_pred.pdf

http://dl.dropbox.com/u/5959592/sem_log_pred.pdf 

Lista de exercícios e próximas aulas

Olá para todos.

Na aula do dia 4/5 vimos a prova da completude de Henkin para a lógica sentencial. Esse foi o resultado mais importante da primeira parte do curso, que foi concluída nesta semana. 

Abaixo, a segunda lista de exercícios. A data de entrega, improrrogável, é 18/5/2011.

http://dl.dropbox.com/u/5959592/meta_lista_2.pdf

Dia 9/5 não haverá aula, pois estarei no Encontro Brasileiro de Lógica.

Dia 11/5 o monitor de lógica, Henrique, vai apresentar a sintaxe de uma linguagem da lógica de primeira ordem (seção 38 do Hunter) e tirar dúvidas sobre a lista de exercícios acima.

Abraços

Prova de Henkin II

Olá para todos. 

Veremos na aula de amanhã, 04/05, a prova de Henkin da completude.

Abaixo, com algum atraso, uma apostila com o passo a passo das provas e alguns comentários,

http://dl.dropbox.com/u/5959592/henkin_prop_2.pdf

Abraços

F L A M E N G O

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

Nélson Rodrigues (1955)