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