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)

Aula 27/04 - Prova de Henkin

Olá para todos. 

Veremos na aula de amanhã, 27/04, os teoremas 32.2 até 32.10 da prova de Henkin (Hunter seção 32).

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

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

Abraços

Prova de Henkin - lógica sentencial

Olá para todos.

Para fechar a prova da completude de Kalmar que vimos nas últimas aulas, tentem explicar em detalhe por que lemos no Hunter, no fim da p. 104, que qualquer sistema de lógica sentencial que tenha os teoremas 1 a 7 da p. 105 é completo.

Para a aula do dia 20/4, leiam o início da seção 32 do Hunter, sobre a prova da completude de Henkin (pp. 105-109). Hunter apresenta nas subseções (a), (b), (c) e (d) resultados preliminares que serão usados na prova da completude de Henkin.

Na seção (a) estão provas dos teoremas 1-7, listados nas pp. 105 e 106. Tentem prová-los usando um sistema de dedução natural que vocês estejam familiarizados e, depois, no sistema axiomático PS apresentado no Hunter. Lembrem-se de usar o teorema da dedução. Para provar o teorema 6 da p. 106 lancem A como hipótese para chegar a B e ØB. Usem ØB ® (B ® (Ø(A ® A))) para obter, com TD, A ®  Ø(A ® A). Agora usem dupla negação e o axioma 3. Notem que o teorema 6 simula em PS a regra de introdução da negação, ou redução ao absurdo.

Depois, leiam com atenção as seções (b) e (c). Deixem de lado por enquanto a seção (d).

Lembrem-se que em 25/4 não haverá aula. Aproveitem o dia livre para estudar as seções (b) e (c). Dia 27/4, quarta, faremos uma revisão dessas seções e começaremos a seção (d).

Abraços