O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade à programação de seus Seminários de Lógica e Filosofia, com a palestra
A noção de identidade no naturalismo
Prof. Dr. Guido Imaguire -UFC
Data: 28 / 09 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia
sexta-feira, 14 de setembro de 2007
terça-feira, 21 de agosto de 2007
Vencedores do Prêmio Jabuti 2007
Saíram os vencedores do Prêmio Jabuti 2007. Na área "CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA" os vencedores foram:
http://www.cbl.org.br/news.php?recid=5633
Categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA
1º - LÓGICA PARA COMPUTAÇÃO - FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO (IME-USP)
2º - FÍSICA MODERNA - FRANCISCO CARUSO NETO E VITOR OGURI
3º - COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA - WALTER CARNIELLI (CLE-UNICAMP)
Links para as páginas dos dois livros da área de lógica e computação podem ser encontrados na seção "Sugestões de Livros" deste blog.
Parabéns aos autores.
http://www.cbl.org.br/news.php?recid=5633
Categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA
1º - LÓGICA PARA COMPUTAÇÃO - FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO (IME-USP)
2º - FÍSICA MODERNA - FRANCISCO CARUSO NETO E VITOR OGURI
3º - COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA - WALTER CARNIELLI (CLE-UNICAMP)
Links para as páginas dos dois livros da área de lógica e computação podem ser encontrados na seção "Sugestões de Livros" deste blog.
Parabéns aos autores.
segunda-feira, 6 de agosto de 2007
Platonismo em Matemática
O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia, com a palestra
Platonismo em Matemática
Prof. Dr. Giovanni Queiroz -UFPB
Data: 31 / 08 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia
Resumo
Em filosofia da matemática, há uma posição que sustenta que as entidades matemáticas: números, pontos, linhas, planos são entidades abstratas que existem. Esta posição tem sido conhecida como “Platonismo” (posição também conhecida como realista). Vamos apresentar, em primeiro lugar, como surge a posição conhecida como “platonismo” e quais as motivações para tal visão; em seguida, discutiremos se esta posição pode ser imputada à Platão. Nós mostraremos que esta posição não é a posição de Platão (McLarty defende [2005] que a posição realista foi defendida por Glauco em A República – nós discutiremos esta afirmação de McLarty) a partir do argumento da linha dividida (Republica, livro VI, 509d e seguintes); nós mostraremos que a posição platônica aproxima-se mais da postura defendida hoje em filosofia da matemática conhecida como “if-theism” (se satisfeitas as condições q e r, então segue-se que p). Algumas formulações alternativas contemporâneas do realismo (Frege, Maddy) serão examinadas. Por fim, será discutida a abordagem estruturalista da matemática, que se apresenta ora como objeção à posição realista (Benacerraf), ora como reforço à posição realista (Shapiro). Isso significa que, embora o estruturalismo – a posição que afirma que a matemática não lida com objetos mas com estruturas – surja como alternativa às posições tradicionais em filosofia da matemática, isso não elimina a posição realista (ou platônica) tal como foi inicialmente formulada.
Platonismo em Matemática
Prof. Dr. Giovanni Queiroz -UFPB
Data: 31 / 08 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia
Resumo
Em filosofia da matemática, há uma posição que sustenta que as entidades matemáticas: números, pontos, linhas, planos são entidades abstratas que existem. Esta posição tem sido conhecida como “Platonismo” (posição também conhecida como realista). Vamos apresentar, em primeiro lugar, como surge a posição conhecida como “platonismo” e quais as motivações para tal visão; em seguida, discutiremos se esta posição pode ser imputada à Platão. Nós mostraremos que esta posição não é a posição de Platão (McLarty defende [2005] que a posição realista foi defendida por Glauco em A República – nós discutiremos esta afirmação de McLarty) a partir do argumento da linha dividida (Republica, livro VI, 509d e seguintes); nós mostraremos que a posição platônica aproxima-se mais da postura defendida hoje em filosofia da matemática conhecida como “if-theism” (se satisfeitas as condições q e r, então segue-se que p). Algumas formulações alternativas contemporâneas do realismo (Frege, Maddy) serão examinadas. Por fim, será discutida a abordagem estruturalista da matemática, que se apresenta ora como objeção à posição realista (Benacerraf), ora como reforço à posição realista (Shapiro). Isso significa que, embora o estruturalismo – a posição que afirma que a matemática não lida com objetos mas com estruturas – surja como alternativa às posições tradicionais em filosofia da matemática, isso não elimina a posição realista (ou platônica) tal como foi inicialmente formulada.
segunda-feira, 2 de julho de 2007
Mestrado em Lógica na UFRN
Caros Colegas,
É com grande satisfação que anuncio a criação de uma área de
concentração em "Lógica e Filosofia Formal" no programa de pós-graduação
(mestrado) em Filosofia da UFRN. Estão abertas inscrições para seleção
já para início das aulas no segundo semestre de 2007.
Lamento a informação de última hora. De qualquer forma, esta é a penas a
primeira turma. Esperamos ter uma entrada anual e, a partir do ano que
vem, no primeiro semestre.
Segue, anexado, um arquivo HTML com mais detalhes! Se puderem, ajudem a
divulgar!
Natal, 02 de julho de 2007,
Ângela Maria Paiva Cruz,
É com grande satisfação que anuncio a criação de uma área de
concentração em "Lógica e Filosofia Formal" no programa de pós-graduação
(mestrado) em Filosofia da UFRN. Estão abertas inscrições para seleção
já para início das aulas no segundo semestre de 2007.
Lamento a informação de última hora. De qualquer forma, esta é a penas a
primeira turma. Esperamos ter uma entrada anual e, a partir do ano que
vem, no primeiro semestre.
Segue, anexado, um arquivo HTML com mais detalhes! Se puderem, ajudem a
divulgar!
Natal, 02 de julho de 2007,
Ângela Maria Paiva Cruz,
Daniel Durante Pereira Alves,
João Marcos de Almeida,
José Eduardo de Almeida Moura,
Maria da Paz Nunes de Medeiros.
João Marcos de Almeida,
José Eduardo de Almeida Moura,
Maria da Paz Nunes de Medeiros.
Mestrado em Lógica na UFRN
O Programa de Pós-Graduação em Filosofia (PPGFIL) da UFRN foi ampliado e agora tem uma nova área de concentração em Lógica e Filosofia Formal. Confira algumas Informações sobre a nova área e o processo de seleção para a primeira turma.
Principais Temas de Pesquisa
- Investigação de Sistemas Formais de Lógica em seus aspectos semânticos, sintáticos e conexões filosóficas.
- Abordagem analítica, logicamente informada, de temas filosóficos gerais.
- Aplicação de métodos formais em questões computacionais vinculadas a linguagem natural e demonstração automática.
- Abordagem de temas de teoria da argumentação e suas aplicações a discursos normativos, nas ciências e na retórica.
- Investigação de aspectos lógicos e epistemológicos das ciências.
Corpo Docente
- Ângela Maria Paiva Cruz
- Daniel Durante Pereira Alves
- João Marcos de Almeida
- José Eduardo de Almeida Moura
- Maria da Paz Nunes de Medeiros
Exame de Seleção (2007-2)
| Inscrições | |
| Período | de 25/06 a 27/07 |
| Local | Sala 706 do Departamento de Filosofia da UFRN. Tel: (84)3215-3641 |
| Documentos | |
| Não há taxa de Inscrição! | |
| Provas | |||||
| Período | de 30/07 a 02/08 | ||||
| Prova Escrita Dividida em duas partes: Conhecimentos Comuns e Conhecimentos Especícficos |
| ||||
| Análise do Projeto de Pesquisa | Avaliação sobre a correção, exeqüibilidade, adequação ao programa e disponibilidade de orientação. | ||||
| Entrevista | Sobre o projeto de pesquisa. | ||||
| Proficiência em Lingua Estrangeira | O candidato pode escolher entre as seguintes linguas: inglês, francês, italiano e alemão. | ||||
| Início das Aulas | 20 de agosto de 2007. | ||||
Estrutura Curricular
Para obtenção do grau de Mestre em Filosofia com Área de Concentração em Lógica e Filosofia Formal, o aluno terá 2 anos para integralizar 28 créditos distribuídos da seguinte forma:
- 18 créditos em disciplinas;
- 10 créditos na elaboração e defesa da dissertação.
Espera-se que o aluno cumpra 2 disciplinas de 4 créditos e 1 seminário de programa de 1 crédito em cada semestre do primeiro ano, deixando assim o segundo ano exclusivamente para o trabalho na dissertação.
Conjunto de Disciplinas
A única disciplina obrigatória é FL001-Lógica I. As demais, no entanto, compõem o conjunto de expertises do programa e serão oferecidas conforme a disponibilidade dos professores e relevância para os projetos de pesquisa dos alunos.
| FL001 | Lógica I |
| FL101 | Lógica II |
| FL102 | Demonstrações e Refutações |
| FL201 | Teoria dos Conjuntos |
| FL202 | Teoria dos Modelos |
| FL203 | Lógica Universal |
| FL301 | Teoria da Prova |
| FL302 | Teoria dos Tipos |
| FL303 | Lingüística Computacional |
| FL401,2,3,... | Tópicos de Lógicas Não-Clássicas I, II, III, ... |
| FL501 | Lógica Filosófica |
| FL502 | Epistemologia |
| FL601 | Modelagem de Sistemas Teóricos I |
| FL602 | Modelagem de Sistemas Teóricos II |
| FL701 | Teoria da Argumentação |
| FL702 | Tópicos de Lógica e Argumentação I |
| FL703 | Tópicos de Lógica e Argumentação II |
| FL801,2,3,... | Tópicos em Filosofia da Ciência I, II, III, ... |
| FL901,2,3,... | Seminários de Lógica e Filosofia Formal I, II, III, ... |
Os Seminários de Lógica e Filosofia Formal (FL901, 2, 3,...) valem 1 crédito cada. Todas as demias disciplinas valem 4 créditos.
Mais Informações...
quinta-feira, 21 de junho de 2007
SEMANA DA LÓGICA, na UFRN (2007.1)
Mais uma realização do grupo/base de pesquisa CNPq/UFRN em
"Lógica, Conhecimento e Ética".
Estão todos convidados!
Tema: Aspectos topológicos da propriedade lógica da compacidade
Palestrante: Giovani Angelo Silva da Nobrega
Data de realização: 25/06/07, 2a-feira, horário 18h30-20h10
Local: sala de reuniões do DIMAp
Tema: Especificações formais (linguagem Z)
Palestrante: Regivan Hugo Nunes Santiago
Data de realização: 26/06/07, 3a-feira, horário T34 (14h55-16h35)
Local: sala 3A2
Tema: Semântica e verificação de programas
Palestrante: Jamille Silva Madureira
Data de realização: 27/06/07, 4a-feira, horário T12 (13h-14h40)
Local: sala 3C3
Tema: Lógica Temporal aplicada à computação
Palestrante: Anderson Paiva Cruz
Data de realização: 28/06/07, 5a-feira, horário T34 (14h55-16h35)
Local: sala 3A2
Tema: Lógica Combinatória e Isomorfismo de Curry-Howard
Palestrante: Gabriel de Medeiros Galvão
Data de realização: 29/06/07, 6a-feira, horário T12 (13h-14h40)
Local: sala 3C3
"Lógica, Conhecimento e Ética".
Estão todos convidados!
Tema: Aspectos topológicos da propriedade lógica da compacidade
Palestrante: Giovani Angelo Silva da Nobrega
Data de realização: 25/06/07, 2a-feira, horário 18h30-20h10
Local: sala de reuniões do DIMAp
Tema: Especificações formais (linguagem Z)
Palestrante: Regivan Hugo Nunes Santiago
Data de realização: 26/06/07, 3a-feira, horário T34 (14h55-16h35)
Local: sala 3A2
Tema: Semântica e verificação de programas
Palestrante: Jamille Silva Madureira
Data de realização: 27/06/07, 4a-feira, horário T12 (13h-14h40)
Local: sala 3C3
Tema: Lógica Temporal aplicada à computação
Palestrante: Anderson Paiva Cruz
Data de realização: 28/06/07, 5a-feira, horário T34 (14h55-16h35)
Local: sala 3A2
Tema: Lógica Combinatória e Isomorfismo de Curry-Howard
Palestrante: Gabriel de Medeiros Galvão
Data de realização: 29/06/07, 6a-feira, horário T12 (13h-14h40)
Local: sala 3C3
segunda-feira, 18 de junho de 2007
TOULMIN: o *layout* de argumentos"
O Departamento de Filosofia da UFRN, através da base de pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia, com a palestra
TOULMIN: o *layout* de argumentos"
Prof. Dr. José Eduardo de Almeida Moura
Data: 22/ 06 /2007 às 16 h
Local: UFRN /CCHLA / Auditório de Filosofia
TOULMIN: o *layout* de argumentos"
Prof. Dr. José Eduardo de Almeida Moura
Data: 22/ 06 /2007 às 16 h
Local: UFRN /CCHLA / Auditório de Filosofia
domingo, 10 de junho de 2007
SATMS - The Simplified Assumption-based Truth Maintenance System
-----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: SATMS - The Simplified Assumption-based Truth Maintenance System
Palestrante: Tiago Motta Jorge
Data e Local: dia 11.06.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP
Resumo:
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf
------------------------------
Título: SATMS - The Simplified Assumption-based Truth Maintenance System
Palestrante: Tiago Motta Jorge
Data e Local: dia 11.06.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP
Resumo:
Truth maintenance systems (TMS) are mechanisms for keeping track of dependencies and detecting inconsistency. They are also known as a kind of belief revision systems.
Sometimes it is convenient to perform reasoning in the context of different hypothetical worlds, which may or may not resemble the way the world actually is. This strategy is particularly useful if there are a large number of hypotheses competing to account for the observations, with the possibility that a composite hypothesis may be required to cover all of them.
In an assumption-based truth maintenance system (ATMS), the program maintains a number of different contexts, referred to as environments. An environment is best thought of as a view of the world characterized by a set of assumptions.
One can think of the ATMS as being a dynamic structure that maintains dependencies among assumptions. Given a proposition, it can construct a label for that propostion telling in which environments it holds. With this structure, it is straightforward to add and retract assumptions and still be capable to check wheter or not a proposition still holds, without having to make a lot of inferences.
In this seminar, a simplified version of the ATMS will be presented. It assumes that all assumptions are fixed. Besides, it assumes that the inconsistent sets of assumptions are known a priori. The SATMS's job is just to give us one maximal consistent set of assumptions from an inconsistent set.
It will also be presented an application of the SATMS in a programming game called Guntactyx.
Sometimes it is convenient to perform reasoning in the context of different hypothetical worlds, which may or may not resemble the way the world actually is. This strategy is particularly useful if there are a large number of hypotheses competing to account for the observations, with the possibility that a composite hypothesis may be required to cover all of them.
In an assumption-based truth maintenance system (ATMS), the program maintains a number of different contexts, referred to as environments. An environment is best thought of as a view of the world characterized by a set of assumptions.
One can think of the ATMS as being a dynamic structure that maintains dependencies among assumptions. Given a proposition, it can construct a label for that propostion telling in which environments it holds. With this structure, it is straightforward to add and retract assumptions and still be capable to check wheter or not a proposition still holds, without having to make a lot of inferences.
In this seminar, a simplified version of the ATMS will be presented. It assumes that all assumptions are fixed. Besides, it assumes that the inconsistent sets of assumptions are known a priori. The SATMS's job is just to give us one maximal consistent set of assumptions from an inconsistent set.
It will also be presented an application of the SATMS in a programming game called Guntactyx.
Assinar:
Postagens (Atom)