Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

[Tony Marmo]

Caro João Marcos,

Obrigado pela sua resposta e pela referência.

Mas, quanto à sua objeção, eu precisaria de mais argumentos, principalmente
filosóficos, para dizer que consistência é contingência e para dizer que
consistência não possa ser necessidade ou que seja confusão. Conhecimento
ou saber podem sê-lo, obrigação idem, tempo ibidem, etc. Enfim, não há essa
identificação de consistência com contingência, que eu saiba. Aliás, existe
já pelo menos uma lógica em que um dos operadores modais é interpretado
como "provável" (provable) e o seu dual como "consistente". Vide Gödel 1933
e Löb 1955, para uma discussão.

A questão que estou propondo é o caminho inverso: pessoas que interpretam o
operador de consistência como um dos modais primitivos e saber que
semântica (topológica de preferência) se poderia usar.

Em 23 de abril de 2012 21:44, Joao Marcos  escreveu:

> Olá, Tony:
>
> > I write to inquire on the issue of interpreting the consistency operator
> °
> > as a modal one, either necessity or possibility.
>
> Parece que há uma confusão aqui.  O operador de consistência não é
> aparentado da necessidade ou da possibilidade, mas está mais próximo
> da noção de contingência.
>
> > 1. Are there any works which, from the perspective of neighbourhood
> > semantics, treat it as necessity operator, i.e., °A means that [[A]]
> belongs
> > to N(w)?
>
> Não se trata de um operador de necessidade.  De todo modo, a
> interpretação em termos de uma semântica de vizinhança necessita
> apenas de um operador com a propriedade de "replacement", então tudo
> bem.
>
> > 2. Are there any works which, by another topological approach, treat °A
> as
> > necessity operator defined as the interior, i.e., [[°A]]= int[[A]]?
>
> Não se trata de um operador de necessidade.
>
> > 3. 2. Are there any works which, by another topological approach, treat
> °A
> > means the closure of [[A]]?
>
> Para uma interpretação topológica, confira os trabalhos de Chris
> Steinsvold, sobre "logics of ignorance and borders".
>
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

[Joao Marcos]

Olá, Tony:

> I write to inquire on the issue of interpreting the consistency operator °
> as a modal one, either necessity or possibility.

Parece que há uma confusão aqui.  O operador de consistência não é
aparentado da necessidade ou da possibilidade, mas está mais próximo
da noção de contingência.

> 1. Are there any works which, from the perspective of neighbourhood
> semantics, treat it as necessity operator, i.e., °A means that [[A]] belongs
> to N(w)?

Não se trata de um operador de necessidade.  De todo modo, a
interpretação em termos de uma semântica de vizinhança necessita
apenas de um operador com a propriedade de "replacement", então tudo
bem.

> 2. Are there any works which, by another topological approach, treat °A as
> necessity operator defined as the interior, i.e., [[°A]]= int[[A]]?

Não se trata de um operador de necessidade.

> 3. 2. Are there any works which, by another topological approach, treat °A
> means the closure of [[A]]?

Para uma interpretação topológica, confira os trabalhos de Chris
Steinsvold, sobre "logics of ignorance and borders".

Joao Marcos

-- 
http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] CA-CC

[Valeria de Paiva]

Excelente noticia Joao Marcos!
Obrigada Marcelo por se prontificar a defender logica no CA da Computacao!
abs
Valeria

2012/4/23 Joao Marcos :
> Aos colegas lógicos ligados a Programas de Pós-Graduação na área de 
> Computação:
>
> Em conversa com alguns dos nossos "pesquisadores mais produtivos",
> acabamos convergindo com relação a um candidato preferencial para
> integrar o CA-CC do CNPq.  Escrevo aqui para fazer sugerir fortemente
> que vocês *façam lobby junto a seus programas de pós-graduação* para
> que o nome deste candidato conste da lista tríplice que cada programa
> de pós em CC deverá enviar estes dias para a coordenação de área (o
> meu programa, por exemplo, está construindo esta lista para envio
> *esta semana*).
>
> * * *
>
> Eis o candidato que eu gostaria de sugerir aos colegas:
>
>  Marcelo Finger
>  http://lattes.cnpq.br/0620986273710878
>
> O texto abaixo pode ser usado para que vocês tentem convencer os
> colegas que se trata de um representante adequado.
>
> * * *
>
> Marcelo Finger é professor titular e livre-docente pelo IME/USP, onde
> trabalha desde 95.  Estudou no Imperial College com Dov Gabbay, com
> quem co-autorou diversos trabalhos.  Tem carreira científica
> consolidada internacionalmente (nas áreas de linguística
> computacional, lógica computacional e demonstração automática de
> teoremas, bancos de dados, e inteligência artificial).  Marcelo conta
> também com razoável experiência administrativa e organizacional: ele
> é, por exemplo, o principal responsável pela criação do exame POSCOMP
> e participa ativamente e regularmente da organização de eventos
> nacionais importantes, como o SBIA deste ano.  Além disso, ele
> acumula, de um lado, vários prêmios de empreendedorismo com, por outro
> lado, prêmios como o Jabuti por obra didática publicada.  É importante
> mencionar ainda que Marcelo é assessor da pró-reitoria de
> pós-graduação da USP e é o gerente do sistema Janus de Administração
> da Pós-Graduação USP (o SIGAA de lá, com cerca de 32 mil usuários).
>
> O único defeito do Marcelo é o fato de que ele estará fazendo seu
> pós-doc em Cornell até os primeiros meses do próximo ano, e por isso
> só poderá atuar de forma remota neste período inicial do mandato junto
> ao CA-CC.  Mas para este tipo de situação é que existem 2 suplentes às
> 6 vagas no CA-CC.
>
> Acho que não preciso acrescentar mais nada, além do fato de que já
> conversamos com Marcelo estes dias e ele nos disse que aceitaria a
> indicação para ir representar a comunidade junto ao CNPq. :-)
>
> * * *
>
> Abraços,
> Joao Marcos
>
>
> 2012/4/20 Joao Marcos :
>> PessoALL:
>>
>> O vice-coordenador do programa de pós-graduação na área de Computação
>> do qual participo acabou de nos chamar a atenção para o fato de que o
>> mandato de três titulares do CA-CC do CNPq vai terminar dentro de
>> alguns dias.  São eles: Alberto Laender, Luigi Carro, Clarisse
>> Sieckenius.
>>
>> Como de costume, três novos pesquisadores de produtividade de nível 1
>> deverão ser indicados por cada um dos programas brasileiros de
>> pós-graduação "na área".  A lista completa de nomes pode ser
>> encontrada abaixo, tal como compilada pelo nosso vice-coordenador:
>> Infelizmente, a votação dos três nomes não é direta, feita pelos
>> próprios pesquisadores interessados, mas é feita ao invés pelos
>> programas de pós "em nome de todos os seus membros".  Assim sendo, o
>> melhor que podemos tentar conseguir, se quisermos que a área de Lógica
>> seja vista com bons olhos pelo CA-CC é:
>>
>> (1) tentar influenciar os programas de pós dos quais participamos para
>> eleger membros que tenham simpatia por e compreendam os anseios da
>> nossa área de pesquisa
>>
>> (2) escolher estes nomes inteligentemente na lista abaixo --- assim
>> sendo, antes de propor alguém como candidato :-) gostaria de saber se
>> algum dos colegas que ali estão se interessaria em concorrer!
>>
>> Abraços,
>> Joao Marcos
>>
>>
>> Abilio Pereira de Lucena Filho PQ-1C UFRJ
>> Agma Juci Machado Traina PQ-1C USP
>> Alba Cristina Magalhães Alves de Melo PQ-1D UNB
>> *Alberto Henrique Frade Laender PQ-1A UFMG
>> Alejandro César Frery Orgambide PQ-1C UFAL
>> Alexandre Xavier Falcão PQ-1C UNICAMP
>> Altigran Soares da Silva PQ-1D UFAM
>> Aluizio Fausto Ribeiro Araújo PQ-1D UFPE
>> Ana Lucia Cetertich Bazzan PQ-1D UFRGS
>> Andre Carlos Ponce de Leon Ferreira de Carvalho PQ-1B USP
>> Antonio Alberto Fernandes de Oliveira PQ-1D UFRJ
>> Antonio de Padua Braga PQ-1D UFMG
>> Arnaldo de Albuquerque Araújo PQ-1D UFMG
>> Artur Ziviani PQ-1D LNCC
>> Augusto Cezar Alves Sampaio PQ-1C UFPE
>> Bruno Feijo PQ-1C PUC-Rio
>> Bruno Richard Schulze PQ-1D LNCC
>> =Caetano Traina Junior PQ-1C USP
>> Carla Maria Dal Sasso Freitas PQ-1C UFRGS
>> Carlile Campos Lavor PQ-1D UNICAMP
>> Carlos Becker Westphall PQ-1C UFSC
>> Carlos Eduardo Ferreira PQ-1D USP
>> Carlos Eduardo Pereira PQ-1C UFRGS
>> Carlos José Pereira de Lucena PQ-1A PUC-Rio
>> Cecília Mary Fischer Rubira PQ-1D UNICAMP
>> Célia Aparec

Re: [Logica-l] CA-CC

[Joao Marcos]

Aos colegas lógicos ligados a Programas de Pós-Graduação na área de Computação:

Em conversa com alguns dos nossos "pesquisadores mais produtivos",
acabamos convergindo com relação a um candidato preferencial para
integrar o CA-CC do CNPq.  Escrevo aqui para fazer sugerir fortemente
que vocês *façam lobby junto a seus programas de pós-graduação* para
que o nome deste candidato conste da lista tríplice que cada programa
de pós em CC deverá enviar estes dias para a coordenação de área (o
meu programa, por exemplo, está construindo esta lista para envio
*esta semana*).

* * *

Eis o candidato que eu gostaria de sugerir aos colegas:

 Marcelo Finger
 http://lattes.cnpq.br/0620986273710878

O texto abaixo pode ser usado para que vocês tentem convencer os
colegas que se trata de um representante adequado.

* * *

Marcelo Finger é professor titular e livre-docente pelo IME/USP, onde
trabalha desde 95.  Estudou no Imperial College com Dov Gabbay, com
quem co-autorou diversos trabalhos.  Tem carreira científica
consolidada internacionalmente (nas áreas de linguística
computacional, lógica computacional e demonstração automática de
teoremas, bancos de dados, e inteligência artificial).  Marcelo conta
também com razoável experiência administrativa e organizacional: ele
é, por exemplo, o principal responsável pela criação do exame POSCOMP
e participa ativamente e regularmente da organização de eventos
nacionais importantes, como o SBIA deste ano.  Além disso, ele
acumula, de um lado, vários prêmios de empreendedorismo com, por outro
lado, prêmios como o Jabuti por obra didática publicada.  É importante
mencionar ainda que Marcelo é assessor da pró-reitoria de
pós-graduação da USP e é o gerente do sistema Janus de Administração
da Pós-Graduação USP (o SIGAA de lá, com cerca de 32 mil usuários).

O único defeito do Marcelo é o fato de que ele estará fazendo seu
pós-doc em Cornell até os primeiros meses do próximo ano, e por isso
só poderá atuar de forma remota neste período inicial do mandato junto
ao CA-CC.  Mas para este tipo de situação é que existem 2 suplentes às
6 vagas no CA-CC.

Acho que não preciso acrescentar mais nada, além do fato de que já
conversamos com Marcelo estes dias e ele nos disse que aceitaria a
indicação para ir representar a comunidade junto ao CNPq. :-)

* * *

Abraços,
Joao Marcos


2012/4/20 Joao Marcos :
> PessoALL:
>
> O vice-coordenador do programa de pós-graduação na área de Computação
> do qual participo acabou de nos chamar a atenção para o fato de que o
> mandato de três titulares do CA-CC do CNPq vai terminar dentro de
> alguns dias.  São eles: Alberto Laender, Luigi Carro, Clarisse
> Sieckenius.
>
> Como de costume, três novos pesquisadores de produtividade de nível 1
> deverão ser indicados por cada um dos programas brasileiros de
> pós-graduação "na área".  A lista completa de nomes pode ser
> encontrada abaixo, tal como compilada pelo nosso vice-coordenador:
> Infelizmente, a votação dos três nomes não é direta, feita pelos
> próprios pesquisadores interessados, mas é feita ao invés pelos
> programas de pós "em nome de todos os seus membros".  Assim sendo, o
> melhor que podemos tentar conseguir, se quisermos que a área de Lógica
> seja vista com bons olhos pelo CA-CC é:
>
> (1) tentar influenciar os programas de pós dos quais participamos para
> eleger membros que tenham simpatia por e compreendam os anseios da
> nossa área de pesquisa
>
> (2) escolher estes nomes inteligentemente na lista abaixo --- assim
> sendo, antes de propor alguém como candidato :-) gostaria de saber se
> algum dos colegas que ali estão se interessaria em concorrer!
>
> Abraços,
> Joao Marcos
>
>
> Abilio Pereira de Lucena Filho PQ-1C UFRJ
> Agma Juci Machado Traina PQ-1C USP
> Alba Cristina Magalhães Alves de Melo PQ-1D UNB
> *Alberto Henrique Frade Laender PQ-1A UFMG
> Alejandro César Frery Orgambide PQ-1C UFAL
> Alexandre Xavier Falcão PQ-1C UNICAMP
> Altigran Soares da Silva PQ-1D UFAM
> Aluizio Fausto Ribeiro Araújo PQ-1D UFPE
> Ana Lucia Cetertich Bazzan PQ-1D UFRGS
> Andre Carlos Ponce de Leon Ferreira de Carvalho PQ-1B USP
> Antonio Alberto Fernandes de Oliveira PQ-1D UFRJ
> Antonio de Padua Braga PQ-1D UFMG
> Arnaldo de Albuquerque Araújo PQ-1D UFMG
> Artur Ziviani PQ-1D LNCC
> Augusto Cezar Alves Sampaio PQ-1C UFPE
> Bruno Feijo PQ-1C PUC-Rio
> Bruno Richard Schulze PQ-1D LNCC
> =Caetano Traina Junior PQ-1C USP
> Carla Maria Dal Sasso Freitas PQ-1C UFRGS
> Carlile Campos Lavor PQ-1D UNICAMP
> Carlos Becker Westphall PQ-1C UFSC
> Carlos Eduardo Ferreira PQ-1D USP
> Carlos Eduardo Pereira PQ-1C UFRGS
> Carlos José Pereira de Lucena PQ-1A PUC-Rio
> Cecília Mary Fischer Rubira PQ-1D UNICAMP
> Célia Aparecida Zorzo Barcelos PQ-1D UFU
> Celia Picinin de Mello PQ-1C UNICAMP
> Celina Miraglia Herrera de Figueiredo PQ-1A UFRJ
> Celso da Cruz Carneiro Ribeiro PQ-1A UFF
> Cid Carvalho de Souza PQ-1D UNICAMP
> *Clarisse Sieckenius de Souza PQ-1C PUC-Rio
> Claudia Maria Bauzer Medeiros PQ-1A UNICAMP
> Claudia

[Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

[Tony Marmo]

Dear friends, colleagues and Professors,



I write to inquire on the issue of interpreting the consistency operator °
as a modal one, either necessity or possibility.



1. Are there any works which, from the perspective of neighbourhood
semantics, treat it as necessity operator, i.e., °A means that [[A]]
belongs to N(w)?



2. Are there any works which, by another topological approach, treat °A as
necessity operator defined as the interior, i.e., [[°A]]= int[[A]]?



3. 2. Are there any works which, by another topological approach, treat °A
means the closure of [[A]]?


Please, feel free to write me any thoughts you might have on the issue.


Thank you very much.


Very best regards,


Tony Marmo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Vaga em Lógica na UFPE

[Rodrigo Freire]

Interessante o edital, cheio de pontuações estranhas, numerologia engraçada.

Detalhe: na parte dos artigos considera apenas aqueles que tem Qualis.
Se o candidato publicou em uma revista que nenhum brasileiro do programa
publicou no último triênio, então pelo edital a publicação dele não vale
nada. Será que a banca pode ao menos para corrigir esse absurdo?

Abraço
Rodrigo







2012/4/23 Daniel Durante 

> Colegas,
>
> Segue informação sobre concurso para Prof. de Lógica no Departamento de
> Filosofia da Federal de Pernambuco (UFPE). Mais informações no link abaixo.
> Por favor divulguem.
>
> Abraço,
> Daniel
>
> --**--**--
>
>
> Boa tarde! Por favor, peço que divulguem o seguinte edital cujas
> inscritções se encerram no início de maio. Concurso sobre lógica e
> filosofia da linguagem, mas com ênfase em lógica / Filosofia UFPE. Grande
> abraço, Érico
>
> http://www.ufpe.br/proacad/**images/Editais_concursos/**
> edital12/filosofia.pdf
>
>
> __**_
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Vaga em Lógica na UFPE

[Daniel Durante]

Colegas,

Segue informação sobre concurso para Prof. de Lógica no Departamento de 
Filosofia da Federal de Pernambuco (UFPE). Mais informações no link 
abaixo. Por favor divulguem.


Abraço,
Daniel

--


Boa tarde! Por favor, peço que divulguem o seguinte edital cujas 
inscritções se encerram no início de maio. Concurso sobre lógica e 
filosofia da linguagem, mas com ênfase em lógica / Filosofia UFPE. 
Grande abraço, Érico


http://www.ufpe.br/proacad/images/Editais_concursos/edital12/filosofia.pdf


___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l