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