[Logica-l] Problemas no webmail da UFBA

[samuel]

Prezados colegas,

Espero que este email chegue até vocês !

Pelo visto houve problemas em emails endereçados a mim, o email
institucional da UFBA anda "não conversando bem" com emails como yahoo
e gmail, peço mil desculpas. Enviei duas respostas a uma estudante
colombiana e aparentemente essas respostas não chegaram. Peço  
desculpas pelo ocorrido.

Por favor, quaisquer informações sobre a Semana de Teoria dos
Conjuntos e Topologia Geral da Ufba podem ser obtidos, também, em meu
email particular


 samuca_...@yahoo.com.br


Novamente, peço mil desculpas pelos transtornos.

[]s  Samuel Gomes da Silva - UFBA


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Próximo EBL ?

[samuel]

Prezados colegas,

Gostaria de saber se alguém pode me informar se existe a previsão de  
realização de EBL em 2010.

Grato,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Concurso na Ufba - Lógica e Teoria do s Conjuntos

[samuel]

Prezados colegas,

Teremos novamente concurso aqui na Ufba em diferentes áreas da  
matemática (19 vagas ao todo !), com 3 vagas para Lógica e Teoria dos  
Conjuntos.

As exigências para inscrição são:

- graduação em matemática ou áreas afins;
- doutorado em matemática, ou doutorado em lógica (com trabalho de  
tese em lógica matemática) ou doutorado em filosofia (com trabalho de  
tese em lógica matemática).

Observo que para quem tiver doutorado em filosofia mas deseja  
trabalhar em um departamento de matemática, é uma boa oportunidade !

O edital está disponível em:


http://www.concursos.ufba.br/docentes/2009/editais/minuta_edital_docente_01_2010_salvador.pdf



(se este link der problema, consultar diretamente www.concursos.ufba.br)



Candidatos estrangeiros deverão apresentar currículo e memorial em português.

Inscrições até 28 de abril, o concurso deve ocorrer em meados de maio.

Qualquer outra dúvida, escrevam para mim, à parte da lista.

Até breve,

[]s  Samuel - Ufba








Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Prorrogação de Prazo para Inscriç ão - Concurso UFBA

[samuel]

Caros colegas,

Por uma minúcia qualquer no edital original, o concurso de Lógica e  
Teoria dos Conjuntos da UFBA (3 vagas para Professor Doutor, doutorado  
em matemática ou doutorado em filosofia com trabalho de tese em lógica  
matemática) teve prazo de inscrição prorrogado para o dia 12 de maio.

Conferir em:

http://www.concursos.ufba.br/docentes/2009/editais/1retificacao_edital01_2010.pdf


A previsão de data para a realização de concurso permanece a mesma, a  
princípio na segunda quinzena de maio.

Abraços a todos, aproveito para me despedir dos colegas antes de  
ausentar-me para dez meses de pós-doutorado no México, a partir da  
semana que vem.

[]s  Samuel - Ufba






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Sentencas de Godel e Modelos nao-Standard de PA

[samuel]

Olá colegas,

Estou preparando uma apresentacao (que se propoe básica) sobre alguns  
aspectos de inconsistência e independência em matemática, e, como  
alguém da Teoria dos Conjuntos, sou muito mais "usuário" do que  
"estudioso" dos Teoremas de Incompletude.

Entao "topei" com algo que nao deve (mesmo !) entrar na apresentacao,  
mas que me despertou curiosidade.

No verbete sobre Gödel da Stanford Encyclopedia, é citado que ele,  
numa resenha (1934) de um artigo de Skolem (sobre ultraprodutos),  
teria observado que a existência de modelos nao-standard de PA  
seguiria do Teorema da Incompletude. Algumas pessoas até estranham que  
ele nao teria citado o "caminho mais fácil", que seria o Teorema da  
Compacidade...

Nao achei essa resenha. Mas achei em alguns textos este argumento (no  
que segue, G é a - ou, talvez melhor, uma - sentenca de Godel, sendo  
assim equivalente à sua nao-demonstrabilidade):

**

"Suponha PA consistente. Entao, pelo Primeiro Teorema de Incompletude,  
PA nao prova a sentenca de Godel G.

Segue que PA + ~G é consistente, logo, pelo Teorema da Completude para  
teorias de primeira ordem, tem modelo.

Nesse modelo vale ~G. Entao esse modelo difere do modelo standard, no  
qual a sentenca de Godel G é verdadeira".

**

Apresento algumas questoes, nao sei se elas sao "bobagem" ou nao...

1) Alguém sabe se este é o argumento de Gödel na tal resenha, ou se  
ele usou esse argumento depois ?

2) Usualmente se diz que "G é verdadeira e nao pode ser demonstrada".  
Bem, G é (facilmente) equivalente à consistência de PA (o que  
inclusive já prova o Segundo Teorema de Incompletude).

Muitas vezes se diz que "G é verdadeira no modelo standard" (isso  
aparece inclusive no argumento que eu destaquei acima). Essa afirmacao é
intuitiva ou pode ser mesmo formalizada ?

(sobre esse problema eu vi que se tem uma discussao filosófica  
interessante, "saber" (ou "ser capaz de deduzir que") que a sentenca G  
é verdadeira seria uma prova de que a mente humana supera os  
computadores, isso seria um tal argumento de Lucas/Penrose...)

3)(e aqui uma pergunta que se alguém me fizer hoje eu nao sei responder)

A sentenca de Godel G é equivalente a Con(PA). Assim, se eu assumo
Con(PA), estou assumindo que G é verdadeira. Ela nao deveria entao ser  
verdadeira em todos os modelos de PA ? Como fica o argumento acima  
para modelos nao-standard ?

É isso, espero que os especialistas possam me ajudar...

Grato,

[]s  Samuel




Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

[samuel]

Olá a todos,

Agradeco pelas respostas. A universidade aqui (estou no México) está  
em seu (extenso) recesso de verao, nao tinha ninguém pra bater bola,  
foi bom bater bola com voces.

Walter: obrigado pelos comentários e pelo material. Seu aluno Anderson  
também me mandou alguma coisa, já o agradeci também. Vou comentar algo  
da sua resposta:


Quoting Walter Carnielli :

> Caro Samuel:
>
> o que você  levanta  são  questões  profundamente  interessantes.
>
> Envio  a voce em separado (parece que a  Lista não aceita o arquivo)
> um prefácio de  Robert Vaught sobre  o "review" que Gödel publicou
> sobre os trabalhos de  Skolem de 1933 e 1934 (dos quais
> Gödel  diz que "são  praticamente os mesmos"). Isso aparece nos
> "Collected Works" vol I, editado  S. Fefermann, pp. 376-379, que são
> as  páginas que envio.
>
> O texto contem a resenha que você   procura, e ainda a importante
> opinião  de  Vaught.
>
> Aparentemente Gödel  não viu que a existência dos modelos não standard
> segue do Teorema da Compacidade (que ele mesmo  demonstrou em 1930!).
> Como Vaught nota na  pag. 377, Gödel afirma que  tais modelos
> não-standard seguiriam do seu Teorema de Incompletude (o que não é
> incorreto da maneira que Gödel coloca, mas  não revela a  razão
> principal).
>
> Dou aí abaixo algumas   opiniões  sobre  o que você pergunta   (mas
> não são  mais que opiniões-  não me  considero nenhum "especialista"
> sobre o assunto--de resto, parece que nem Gödel, nem Skolem o
> eram...).
>  **
>

--> Pois é, é um assunto derrapante mesmo, como vc disse depois.

>> "Suponha PA consistente. Entao, pelo Primeiro Teorema de Incompletude,
>> PA nao prova a sentenca de Godel G.
>>
>> Segue que PA + ~G é consistente, logo, pelo Teorema da Completude para
>> teorias de primeira ordem, tem modelo.
>>
>> Nesse modelo vale ~G. Entao esse modelo difere do modelo standard, no
>> qual a sentenca de Godel G é verdadeira".
>>
>
>
> Sim, os modelos não- standard suportam  essa situação perfeitamente bem.
>
> **
>>
>> Apresento algumas questoes, nao sei se elas sao "bobagem" ou nao...
>>
>> 1) Alguém sabe se este é o argumento de Gödel na tal resenha, ou se
>> ele usou esse argumento depois ?
>
>
> Não usou, e  acho  (mas  não  tenho certeza) que   Gödel  nunca  usou
> este argumento. Mas  nos trabalhos contemporâneos  acredito  que isso
> já  seja "folclore".
>

> Estou sem o meu Kleene aqui, mas na página 377 do Review  
que vc me mandou o Vaught diz que na página 430 do Kleene tem um  
comentário sobre o argumento de Gödel, e penso que deve ser algo  
parecido mesmo, pegar uma A nao provável, olhar para consistencia de  
PA + ~A e aplicar completude.

Mesmo pensando em termos do modelo standard, o Francicleber me mandou  
uma mensagem (a qual também agradeco) lembrando que nao há porque se  
preocupar só com a sentenca de Gödel, pois para qualquer A que nao  
seja demonstrável, teremos uma entre A, ~A será válida no modelo  
standard, e assim teremos uma fórmula válida no modelo standard que  
nao será consequencia sintática de PA e que portanto nao vale em todos  
os modelos, garantindo a existencia dos modelos nao-standard (mas  
passando pelo Teorema da Completude...).




>>
>> 2) Usualmente se diz que "G é verdadeira e nao pode ser demonstrada".
>> Bem, G é (facilmente) equivalente à consistência de PA (o que
>> inclusive já prova o Segundo Teorema de Incompletude).
>>
>> Muitas vezes se diz que "G é verdadeira no modelo standard" (isso
>> aparece inclusive no argumento que eu destaquei acima). Essa afirmacao é
>> intuitiva ou pode ser mesmo formalizada ?
>
> Sim,  pode  ser verificada no modelo standard.



> Nao achei nenhuma boa referencia sobre isso, mas deu pra  
entender que a argumentacao usa a nocao de "truth-in-a-model"...  
Essencialmente, a codificacao de Gödel é em cima dos naturais  
standard, e depois de feita a prova, olhamos para as codificacoes e  
checamos que uma certa fórmula com quantificador vale no modelo  
standard (como é semântico, "basta olhar", se fosse sintático teria  
que aparecer algo como \omega-consistência). Essa fórmula é G. OK.



>
>> (sobre esse problema eu vi que se tem uma discussao filosófica
>> interessante, "saber" (ou "ser capaz de deduzir que") que a sentenca G
>> é verdadeira seria uma prova de que a mente humana supera os
>> computadores, isso seria um tal argumento de Lucas/Penrose...)
>
>
> Mas essa  é outra

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

[samuel]

Oi Dória,

É verdade que Gentzen 36 é equivalente a G que é equivalente a  
Con(PA), o que acho que Smorynski e outros querem dizer com "verdade  
aritmética nao-Godeliana", ou algo assim, é que nao se trata de uma  
sentenca baseada em algo do tipo "afirmar que ela própria é  
nao-demonstrável", obtida por diagonalizacao e etc.

Achei os comentários do Paul Smith sobre o review do Smorynskï, ele  
praticamente se desculpa pelo escorregao histórico:


Finally, on p. 210 (p. 211 in the current printing), I write “The  
first example of a more natural, non-Gödelian, arithmetical statement  
which is true, statable in the language of basic arithmetic, yet  
demonstrably not provable in PA, was found by Jeff Paris and Leo  
Harrington in 1977.” I’m more than a bit embarrassed that this  
survives into the fourth printing, for Smorynski isn’t the first to  
point out to me that, as in a sense I knew perfectly well, “This is  
simply false. … The first ‘natural, non-Gödelian arithmetical  
statement’ unprovable in PA was induction up to ε0, shown  
underivable
by Gentzen in his Habilitationschrift in 1939. Following that, there was the
unprovability of the totality of certain recursive functions as  
emphasized by Kreisel circa 1958.” Indeed.


Até,

[]s  Samuel

Quoting Francisco Antonio Doria :

> Gentzen 36 equivale à sentença de Gödel, Samuel. Tem Kleene 36. Dá pra fazer
> infinidades.
>
> 2010/8/2 
>
>> Olá Dória,
>>
>> Grato pela respostas também !
>>
>> Eu já tinha percebido isso. Alguns autores chegam a chamar de "sentencas
>> nao-godelianas" as sentencas aritméticas verdadeiras (no modelo standard)
>> que nao podem ser demonstradas, indo pela ordem no tempo:
>>
>> - Gentzen 36 (Con(PA) por inducao sobre epsilon_zero)
>>
>> - Paris Harrington
>>
>> - Goodstein
>>
>> Tem um review do Smorynski sobre um livro de Smith (nao li o review inteiro
>> mas li uns comentários do próprio Smith) no qual o Smorynski critica
>> duramente o Smith por uma imprecisao histórica, pois o Smith no livro dele
>> (Introduction to Godel Theorems) teria dito que o primeiro exemplo de uma
>> "nao-Godeliana" seria Paris-Harrington, tendo se esquecido de Gentzen 36 (e
>> de mais algumas coisas dos anos 50, nao me recordo agora).
>>
>> Até,
>>
>> []s  Samuel
>>
>>
>>
>>
>>
>> Quoting Francisco Antonio Doria :
>>
>>  Cuidado que a sentença de Paris-Harrington ***não é*** equivalente a
>>> Consis
>>> PA.
>>>
>>> 2010/8/2 
>>>
>>>  Olá a todos,
>>>>
>>>> Agradeco pelas respostas. A universidade aqui (estou no México) está
>>>> em seu (extenso) recesso de verao, nao tinha ninguém pra bater bola,
>>>> foi bom bater bola com voces.
>>>>
>>>> Walter: obrigado pelos comentários e pelo material. Seu aluno Anderson
>>>> também me mandou alguma coisa, já o agradeci também. Vou comentar algo
>>>> da sua resposta:
>>>>
>>>>
>>>> Quoting Walter Carnielli :
>>>>
>>>> > Caro Samuel:
>>>> >
>>>> > o que você  levanta  são  questões  profundamente  interessantes.
>>>> >
>>>> > Envio  a voce em separado (parece que a  Lista não aceita o arquivo)
>>>> > um prefácio de  Robert Vaught sobre  o "review" que Gödel publicou
>>>> > sobre os trabalhos de  Skolem de 1933 e 1934 (dos quais
>>>> > Gödel  diz que "são  praticamente os mesmos"). Isso aparece nos
>>>> > "Collected Works" vol I, editado  S. Fefermann, pp. 376-379, que são
>>>> > as  páginas que envio.
>>>> >
>>>> > O texto contem a resenha que você   procura, e ainda a importante
>>>> > opinião  de  Vaught.
>>>> >
>>>> > Aparentemente Gödel  não viu que a existência dos modelos não standard
>>>> > segue do Teorema da Compacidade (que ele mesmo  demonstrou em 1930!).
>>>> > Como Vaught nota na  pag. 377, Gödel afirma que  tais modelos
>>>> > não-standard seguiriam do seu Teorema de Incompletude (o que não é
>>>> > incorreto da maneira que Gödel coloca, mas  não revela a  razão
>>>> > principal).
>>>> >
>>>> > Dou aí abaixo algumas   opiniões  sobre  o que você pergunta   (mas
>>>> > não são  mais que opiniões-  não me  considero nenhum "especialista"
>>>> > sobre o assunto--de resto, parece que nem Gödel, nem Skolem o
>>>> > eram...).
>>>> &g

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

[samuel]

Olá Carlos e colegas,

Também gosto dos cardinais inacessíveis, uma boa maneira de convencer  
alguém a gostar deles também é usar o argumento de "transcendência"...

Esse argumento é mais ou menos o seguinte: se tiramos o Axioma do  
Infinito de ZFC, podemos até mesmo incluir um Axioma do tipo "Todos os  
conjuntos sao finitos" e essa teoria fica consistente - basta cortar o  
universo no nível \omega da "Hierarquia Cumulativa" e temos lá um  
modelo disso.

O argumento de transcendência é, sendo absurdamente reducionista,  
dizer que "assumir a existencia de inacessíveis é um ato de  
transcendência análogo ao de assumir a existência de conjuntos  
infinitos". Tipo - se já fizemos uma vez, qual o problema em se fazer  
de novo ? Para alguns teoristas de conjuntos, é uma maneira de  
estender ZFC "mais natural" que o forcing...

Na verdade, o meu interesse maior é em trabalhar com fatos topológicos  
que nao podem ser discutidos sem incluir a presenca de inacessíveis na  
jogada, escrevi algo sobre isso nos Proceedings de Itatiaia 2006.

http://jigpal.oxfordjournals.org/cgi/content/short/15/5-6/433

No entanto, acho que mais relacionado ao que estamos discutindo sao  
alguns resultados de Harvey Friedman nos quais "assercoes sobre  
conjuntos finitos" acabam sendo associados a grandes cardinais. Nunca  
pesquisei isso, mas me parece bem interessante. Lembremos também que a  
própria nocao de finitude nao fica suficientemente clara se retirarmos  
o Axioma da Escolha ! Perde-se a equivalência com a nocao de  
infinitude de Dedekind.

Até mais,

[]s  Samuel






Quoting Carlos Gonzalez :

> Olá Samuel,
>
> Além de Con(PA) poder ser provada em ZF, podemos trabalhar com teorias
> mais fortes, como ZF + "existe um cardinal inacessível"=ZFI.
> Trivialmente, Con(ZFI) implica Con(ZF).
>
> Em ZFI pode ser demonstrada Con(ZF), que é um enunciado aritmético
> (com a numeração de Gödel) e que implica Con(PA).
>
> Se ZF é consistente, então Con(ZF) não implica Con(ZFI), de modo que a
> consistência de ZFI é mais duvidosa  que as outras mencionadas.
>
> Gödel tinha muitas esperanças nos grandes cardinais, mas depois de
> muita pesquisa não se chegou a nenhum resultado amplamente aceito.
> (Ver o trabalho de Gödel sobre a Hipótese do Contínuo.)
>
> Carlos
>
> Em 2 de agosto de 2010 20:58, Francisco Antonio Doria
>  escreveu:
>> Por exemplo: posso escrever explicitamente um conjunto de máquinas de Turing
>> P tal que:
>>
>> ``as máquinas P são polinomiais''
>> é indecidível em ZFC, e não equivale à sentença de Gödel.
>> 2010/8/2 Francisco Antonio Doria 
>>>
>>> Gentzen 36 equivale à sentença de Gödel, Samuel. Tem Kleene 36. Dá pra
>>> fazer infinidades.
>>>
>>> 2010/8/2 
>>>>
>>>> Olá Dória,
>>>>
>>>> Grato pela respostas também !
>>>>
>>>> Eu já tinha percebido isso. Alguns autores chegam a chamar de "sentencas
>>>> nao-godelianas" as sentencas aritméticas verdadeiras (no modelo standard)
>>>> que nao podem ser demonstradas, indo pela ordem no tempo:
>>>>
>>>> - Gentzen 36 (Con(PA) por inducao sobre epsilon_zero)
>>>>
>>>> - Paris Harrington
>>>>
>>>> - Goodstein
>>>>
>>>> Tem um review do Smorynski sobre um livro de Smith (nao li o review
>>>> inteiro mas li uns comentários do próprio Smith) no qual o  
>>>> Smorynski critica
>>>> duramente o Smith por uma imprecisao histórica, pois o Smith no livro dele
>>>> (Introduction to Godel Theorems) teria dito que o primeiro exemplo de uma
>>>> "nao-Godeliana" seria Paris-Harrington, tendo se esquecido de   
>>>> Gentzen 36 (e
>>>> de mais algumas coisas dos anos 50, nao me recordo agora).
>>>>
>>>> Até,
>>>>
>>>> []s  Samuel
>>>>
>>>>
>>>>
>>>>
>>>> Quoting Francisco Antonio Doria :
>>>>
>>>>> Cuidado que a sentença de Paris-Harrington ***não é*** equivalente a
>>>>> Consis
>>>>> PA.
>>>>>
>>>>> 2010/8/2 
>>>>>
>>>>>> Olá a todos,
>>>>>>
>>>>>> Agradeco pelas respostas. A universidade aqui (estou no México) está
>>>>>> em seu (extenso) recesso de verao, nao tinha ninguém pra bater bola,
>>>>>> foi bom bater bola com voces.
>>>>>>
>>>>>> Walter: obrigado pelos comentários e pelo material. Seu aluno Anderson
>>>&g

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

[samuel]

Olá,

Doria: de fato, o tal conceito de "sentenca nao-Godeliana" está  
confuso, mas acho que é um termo nao-técnico que o pessoal usa em  
apresentacoes históricas, nao deve ter uma definicao formal disso  
mesmo. Acho que convém evitar essa expressao e dar nomes aos bois,  
Gentzen, Paris-Harrington, Goodstein...

Finger: nao conheco estudos em computacao dessa teoria dos conjuntos  
finitos. Observo que, assim como na teoria dos conjuntos usual existem  
as "classes próprias", objetos que nao fazem formalmente parte da  
teoria mas sobre os quais podemos falar, "abreviando fórmulas" (x  
pertence a ON sse x é um ordinal sse ...(fórmula que define um  
ordinal)...) numa teoria de conjuntos finitos quem faria esse papel  
seriam exatamente os objetos infinitos ("ilimitados no universo").
O exemplo mais simples do que estou falando é o próprio conjunto  
V_omega da teoria dos conjuntos usual: nao seria um conjunto nessa  
outra teoria dos conjuntos, já que seria o universo.

Até,

[]s  Samuel



Quoting Francisco Antonio Doria :

> Sempre tem um algoritmo pa resolver instâncias finitas e número do problema
> da parada; não tem é ***um só** algoritmo.
>
> 2010/8/3 Marcelo Finger 
>
>> Oi Samuel.
>>
>> Taí um tópico que sempre me interessou, pois eu me considero um
>> "anti-infinitista"
>>
>> > Esse argumento é mais ou menos o seguinte: se tiramos o Axioma do
>> > Infinito de ZFC, podemos até mesmo incluir um Axioma do tipo "Todos os
>> > conjuntos sao finitos" e essa teoria fica consistente - basta cortar o
>> > universo no nível \omega da "Hierarquia Cumulativa" e temos lá um
>> > modelo disso.
>>
>> Então, será que alguém já estudou estes modelos e uma teoria dos
>> conjuntos com este axioma: "todos os cjs são finitos"?  Como seria uma
>> matemática não-transcendental, totalmente baseada em conjuntos
>> finitos.  O Problema da Parada seria trivialmente resolvível, pois as
>> máquinas de Turing sempre parariam (um conjunto de estados de uma
>> execução infinita não existiria).  Existe algo sobre isso?
>>
>> []s
>>
>> Marcelo
>>
>>
>> >
>> > O argumento de transcendência é, sendo absurdamente reducionista,
>> > dizer que "assumir a existencia de inacessíveis é um ato de
>> > transcendência análogo ao de assumir a existência de conjuntos
>> > infinitos". Tipo - se já fizemos uma vez, qual o problema em se fazer
>> > de novo ? Para alguns teoristas de conjuntos, é uma maneira de
>> > estender ZFC "mais natural" que o forcing...
>> >
>> > Na verdade, o meu interesse maior é em trabalhar com fatos topológicos
>> > que nao podem ser discutidos sem incluir a presenca de inacessíveis na
>> > jogada, escrevi algo sobre isso nos Proceedings de Itatiaia 2006.
>> >
>> > http://jigpal.oxfordjournals.org/cgi/content/short/15/5-6/433
>> >
>> > No entanto, acho que mais relacionado ao que estamos discutindo sao
>> > alguns resultados de Harvey Friedman nos quais "assercoes sobre
>> > conjuntos finitos" acabam sendo associados a grandes cardinais. Nunca
>> > pesquisei isso, mas me parece bem interessante. Lembremos também que a
>> > própria nocao de finitude nao fica suficientemente clara se retirarmos
>> > o Axioma da Escolha ! Perde-se a equivalência com a nocao de
>> > infinitude de Dedekind.
>> >
>> > Até mais,
>> >
>> > []s  Samuel
>> >
>> >
>> >
>> >
>> >
>> >
>> > Quoting Carlos Gonzalez :
>> >
>> >> Olá Samuel,
>> >>
>> >> Além de Con(PA) poder ser provada em ZF, podemos trabalhar com teorias
>> >> mais fortes, como ZF + "existe um cardinal inacessível"=ZFI.
>> >> Trivialmente, Con(ZFI) implica Con(ZF).
>> >>
>> >> Em ZFI pode ser demonstrada Con(ZF), que é um enunciado aritmético
>> >> (com a numeração de Gödel) e que implica Con(PA).
>> >>
>> >> Se ZF é consistente, então Con(ZF) não implica Con(ZFI), de modo que a
>> >> consistência de ZFI é mais duvidosa  que as outras mencionadas.
>> >>
>> >> Gödel tinha muitas esperanças nos grandes cardinais, mas depois de
>> >> muita pesquisa não se chegou a nenhum resultado amplamente aceito.
>> >> (Ver o trabalho de Gödel sobre a Hipótese do Contínuo.)
>> >>
>> >> Carlos
>> >>
>> >> Em 2 de agosto de 2010 20:58, Francisco Antonio Doria
>> >>  escreveu:
>&g

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

[samuel]

Olá Valeria,

Seguem alguns links. Surgem relacoes com modelos nao-standards de PA,  
e também com uma certa AST - Alternative Set Theory. Mas nao pesquisei  
diretamente sobre nada disso, meus comentários sobre "cortar o  
universo" no nível /omega sao folkore. Mais ou menos como cortar o  
universo no nível do menor cardinal inacessível para obter um modelo  
sem inacessíveis...


http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint266.pdf

http://www3.interscience.wiley.com/journal/113463088/abstract

http://www3.interscience.wiley.com/journal/113463761/abstract?CRETRY=1&SRETRY=0

http://www.emis.de/journals/CMUC/pdf/cmuc9301/sochor.pdf


Até,

[]s  Samuel



Quoting Valeria de Paiva :

> oi Marcelo, Samuel,
>
> Achei interessante a ideia de uma `teoria de conjuntos finitos'.
> Seria parecida com a teoria de modelos finitos,
> http://en.wikipedia.org/wiki/Finite_model_theory?
> nunca ouvi ninguem falar de 'finite set theory', mas teoria de
> conjuntos nao 'e exatamente a minha praia. existe uma "teoria de
> conjuntos finitos"  com um conjunto interessante  de resultados?
>
> obrigada,
> Valeria
>
> 2010/8/3 Marcelo Finger :
>> Oi Samuel.
>>
>> Taí um tópico que sempre me interessou, pois eu me considero um
>> "anti-infinitista"
>>
>>> Esse argumento é mais ou menos o seguinte: se tiramos o Axioma do
>>> Infinito de ZFC, podemos até mesmo incluir um Axioma do tipo "Todos os
>>> conjuntos sao finitos" e essa teoria fica consistente - basta cortar o
>>> universo no nível \omega da "Hierarquia Cumulativa" e temos lá um
>>> modelo disso.
>>
>> Então, será que alguém já estudou estes modelos e uma teoria dos
>> conjuntos com este axioma: "todos os cjs são finitos"?  Como seria uma
>> matemática não-transcendental, totalmente baseada em conjuntos
>> finitos.  O Problema da Parada seria trivialmente resolvível, pois as
>> máquinas de Turing sempre parariam (um conjunto de estados de uma
>> execução infinita não existiria).  Existe algo sobre isso?
>>
>> []s
>>
>> Marcelo
>>
>>
>>>
>>> O argumento de transcendência é, sendo absurdamente reducionista,
>>> dizer que "assumir a existencia de inacessíveis é um ato de
>>> transcendência análogo ao de assumir a existência de conjuntos
>>> infinitos". Tipo - se já fizemos uma vez, qual o problema em se fazer
>>> de novo ? Para alguns teoristas de conjuntos, é uma maneira de
>>> estender ZFC "mais natural" que o forcing...
>>>
>>> Na verdade, o meu interesse maior é em trabalhar com fatos topológicos
>>> que nao podem ser discutidos sem incluir a presenca de inacessíveis na
>>> jogada, escrevi algo sobre isso nos Proceedings de Itatiaia 2006.
>>>
>>> http://jigpal.oxfordjournals.org/cgi/content/short/15/5-6/433
>>>
>>> No entanto, acho que mais relacionado ao que estamos discutindo sao
>>> alguns resultados de Harvey Friedman nos quais "assercoes sobre
>>> conjuntos finitos" acabam sendo associados a grandes cardinais. Nunca
>>> pesquisei isso, mas me parece bem interessante. Lembremos também que a
>>> própria nocao de finitude nao fica suficientemente clara se retirarmos
>>> o Axioma da Escolha ! Perde-se a equivalência com a nocao de
>>> infinitude de Dedekind.
>>>
>>> Até mais,
>>>
>>> []s  Samuel
>>>
>
>
>
> --
> Valeria de Paiva
> http://www.cs.bham.ac.uk/~vdp/
> http://valeriadepaiva.org/www/
>




Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

[samuel]

Oi Valéria,

Nao conheco um tal "resumo executivo" nao...

O que acho que esse exercício do Kunen diz e que o Décio lembrou é que  
PA e a Teoria dos Conjuntos Finitos sao equiconsistentes. Deve ser  
algo como interpretar divisibilidade como pertinência ou algo assim.  
Nao conheco essa tal
"bi-interpretacao"...

[]s  Samuel



Quoting Valeria de Paiva :

> Decio,
> obrigada, eu nao sabia. Mas tem resultado equivalent pra teorias
> intuitionisticas, isto e', IZF sem axioma do infinito= HA (Heyting
> arithmetic)?
> Samuel, obrigada pelos links. tem "resumo executivo" do folklore?
> []s
> valeria
> ps a ultima frase do abstract do primeiro link que o Samuel mandou
> "parece" contradizer o Decio, a frase e':
> "We also establish that PA (Peano arithmetic) and ZF?n are not bi-
> interpretable by showing that they differ even for a much coarser
> notion of equivalence, to wit sentential equivalence."
>
>
> 2010/8/4 Decio Krause :
>> Pessoal
>> Lembrem que se eliminarmos o axioma do infinito de ZF, fica equivalente a
>> PA. Isso tá no livro do Kunen mais recente.
>> Doria, sabe disso, não?
>> D.
>>
>> 
>> Decio Krause
>> Departamento de Filosofia
>> Universidade Federal de Santa Catarina
>> 88040-990 Florianópolis, SC -- Brasil
>> deciokra...@gmail.com
>> www.cfh.ufsc.br/~dkrause
>> 
>> Doctor Bell say we?re connected,
>> He called me on the phone,
>> But if we?re really together baby,
>> How can I feel so all alone?
>> (Bell's Theorem Blues)
>> Em 03/08/2010, às 22:38, sam...@ufba.br escreveu:
>>
>> Olá Valeria,
>>
>> Seguem alguns links. Surgem relacoes com modelos nao-standards de PA,
>> e também com uma certa AST - Alternative Set Theory. Mas nao pesquisei
>> diretamente sobre nada disso, meus comentários sobre "cortar o
>> universo" no nível /omega sao folkore. Mais ou menos como cortar o
>> universo no nível do menor cardinal inacessível para obter um modelo
>> sem inacessíveis...
>>
>>
>> http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint266.pdf
>>
>> http://www3.interscience.wiley.com/journal/113463088/abstract
>>
>> http://www3.interscience.wiley.com/journal/113463761/abstract?CRETRY=1&SRETRY=0
>>
>> http://www.emis.de/journals/CMUC/pdf/cmuc9301/sochor.pdf
>>
>>
>> Até,
>>
>> []s  Samuel
>>
>>
>>
>> Quoting Valeria de Paiva :
>>
>> oi Marcelo, Samuel,
>>
>> Achei interessante a ideia de uma `teoria de conjuntos finitos'.
>>
>> Seria parecida com a teoria de modelos finitos,
>>
>> http://en.wikipedia.org/wiki/Finite_model_theory?
>>
>> nunca ouvi ninguem falar de 'finite set theory', mas teoria de
>>
>> conjuntos nao 'e exatamente a minha praia. existe uma "teoria de
>>
>> conjuntos finitos"  com um conjunto interessante  de resultados?
>>
>> obrigada,
>>
>> Valeria
>>
>> 2010/8/3 Marcelo Finger :
>>
>> Oi Samuel.
>>
>> Taí um tópico que sempre me interessou, pois eu me considero um
>>
>> "anti-infinitista"
>>
>> Esse argumento é mais ou menos o seguinte: se tiramos o Axioma do
>>
>> Infinito de ZFC, podemos até mesmo incluir um Axioma do tipo "Todos os
>>
>> conjuntos sao finitos" e essa teoria fica consistente - basta cortar o
>>
>> universo no nível \omega da "Hierarquia Cumulativa" e temos lá um
>>
>> modelo disso.
>>
>> Então, será que alguém já estudou estes modelos e uma teoria dos
>>
>> conjuntos com este axioma: "todos os cjs são finitos"?  Como seria uma
>>
>> matemática não-transcendental, totalmente baseada em conjuntos
>>
>> finitos.  O Problema da Parada seria trivialmente resolvível, pois as
>>
>> máquinas de Turing sempre parariam (um conjunto de estados de uma
>>
>> execução infinita não existiria).  Existe algo sobre isso?
>>
>> []s
>>
>> Marcelo
>>
>>
>>
>> O argumento de transcendência é, sendo absurdamente reducionista,
>>
>> dizer que "assumir a existencia de inacessíveis é um ato de
>>
>> transcendência análogo ao de assumir a existência de conjuntos
>>
>> infinitos". Tipo - se já fizemos uma vez, qual o problema em se fazer
>>
>> de novo ? Para alguns teoristas de conjuntos, é uma maneira de
>>
>> estender ZFC "mais natural" 

[Logica-l] "Ladeira abaixo na lista da Qualis"

[samuel]

... Caros,

Nao participei da última discussao sobre "peer review", nao li o link  
sugerido por Joao Marcos.

Estou mandando um video para "entretenimento":

http://www.youtube.com/watch?v=dUAqnBxaHIA

A traducao livre que dou é a do subject, "Ladeira abaixo na lista da  
Qualis"...

Se bem que a questao maior aqui, na minha opiniao, nao é a prática do  
peer review, mas sim a prática de avaliacao científica ("cientometria"  
???) a qual estamos submetidos... Assim como na ginástica artística  
existe a tal "nota de saída", para os lógicos que pretendam publicar  
em revistas de matemática a "nota de saída" dentro da Lista Qualis é  
complicada.

Por exemplo, o "Journal of Symbolic Logic" nao está no Qualis de  
Matemática, atualmente !!! O que é isso ???

Atualmente o Logic Journal of IGPL é B1, e imagino que atualmente o  
seja por, muitas vezes, ter publicado os proceedings dos EBL´s. Mas  
isso pode mudar de uma hora para outra.

Por exemplo, quando a lista Qualis ainda era A,B,C, o IGPL era... "A"  
para Computacao, "B" para Filosofia e "C" para Matemática (talvez eu  
tenha trocado a ordem dos dois primeiros, mas o "C" para Matemática eu  
tenho certeza). E normalmente as revistas de lógica, hoje, sao B3 pra  
baixo (para os estudantes que nao conhecem a Lista Qualis, sao sete  
classificacoes: A1, A2, B1 até B5).

E, até onde eu saiba, nao existe nenhuma revista de lógica matemática acima da
classificacao B1.

Se isso for verdade, o que acredito que seja mesmo, é impossível para  
um lógico matemático realizar uma publicacao "top" no Brasil...

Até mais,

[]s  Samuel

PS1: A situacao anda feia até para uma área nobre como a Álgebra...  
Atualmente, a política declarada é que "A1 é só para grandes revistas  
que publicam em todas as áreas, como uma Inventiones Mathematicae da  
vida, ou... Uma grande revista por área". Pois bem. Hoje a revista A1  
de álgebra é a... Journal of Algebraic Geometry !!! A revista Journal  
of Algebra (generalista em álgebra, digamos) é só A2 

Ou seja, até para o pessoal de álgebra que nao seja de geometria  
algébrica ou de álgebra comutativa está difícil para publicar A1.

PS2: Acho, pessoalmente, isso tudo de cientometria uma grande bobagem,  
mas infelizmente é assim que somos avaliados, e agora que trabalho  
fora de um grande centro como Sao Paulo ou Rio me vejo obrigado a  
sempre pensar na Lista Qualis antes de submeter qualquer trabalho...  
Sao esses os argumentos que serao utilizados para negar projetos e  
viagens a congressos...





Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Digest Logica-l, volume 54, assunto 30

[samuel]

Olá a todos,

Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do  
Brasil espera que vc mantenha atualizacoes dessa lista nos próximos  
anos, conforme forem sendo mudadas as listas Qualis a cada triênio...  
Arrumaste um trabalhinho para o resto da carreira !!! 8-)

E claro, vc tem razao, o meu comentário sobre "publicacoes top" é  
*segundo a avaliacao da CAPES*... O dia que eu publicar algo na  
Fundamenta Mathematicae, terei certeza de que é uma "publicacao top",  
mesmo sendo B1 na lista...

Até,

[]s  Samuel



Quoting logica-l-requ...@dimap.ufrn.br:

> Enviar submissões para a lista de discussão Logica-l para
>   logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
>   http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
>   logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
>   logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>1. Seminarios do LOLITA nesta Segunda (Regivan Santiago)
>2. Qualis 2010: *conferências internacionais* na área de Lógica
>   em Computação (Joao Marcos)
>3. Qualis 2010: *periódicos* que publicam artigos na área de
>   Lógica (Joao Marcos)
>4. Re: Qualis 2010: *periódicos* que publicam artigos na área de
>   Lógica (Valeria de Paiva)
>5. Re: "Ladeira abaixo na lista da Qualis" (Joao Marcos)
>6. Pedido de artigos sobre revisão de crenças (Gärdenfors)
>   (Diego Fernandes)
>7. [OFF topic] ainda sobre divulgação de matemática (Joao Marcos)
>
>
> --
>
> Message: 1
> Date: Fri, 27 Aug 2010 12:15:20 -0300
> From: Regivan Santiago 
> Subject: [Logica-l] Seminarios do LOLITA nesta Segunda
> To: Regivan Santiago 
> Cc: Alunos Doutorado DIMAp ,  Daniel
>   Durante , ma...@cos.ufrj.br, Usuários LCC
>   , STAFF ,"Soc Bras Mat.
>   Aplic. e Comp- Regional 03" ,
>   alu...@engcomp.ufrn.br, Maria da Paz ,  Alunos Mestrado
>   Dimap ,  logica-l@dimap.ufrn.br
> Message-ID: <9b5f7a1e-bbd6-4972-beae-592c71ae2...@gmail.com>
> Content-Type: text/plain; charset=iso-8859-1
>
> Caríssimos,
>
> mais uma palestra no LoLITA, desta vez:
>
> Lógica Dinâmica e Álgebras de Processo
>
> Prof. Mario Benevides (COPPE-UFRJ)
>
> Local: Sala de Reuniões do DIMAp
> Data: Segunda 30/08/2010 às 10:00hs
>
> Resumo: CSS (Calculus of Communication Systems) é uma linguagem  
> algébrica de especificação de comunicação e sincronização em  
> sistemas concorrentes proposta por Robin Milner. Ela trata da  
> interação entre processos através de ações de comunicação. Uma  
> especificação em CCS é uma descrição do comportamento do sistema em  
> função dos eventos de comunicação que ocorrem.
>
> Lógica Dinâmica Proposicional PDL tem um papel importante na  
> especificação de propriedades de programas. Várias propostas têm  
> sido feitas de se ter uma contrapartida lógica para CCS. As mais  
> conhecidas são: Lógica de Hennessy-Milner, a Lógica Dinâmica  
> Concorrente CPDL e channel-CPDL de David Peleg. A primeira é  
> simplesmente uma lógica multi-modal com
> uma modalidade para cada porta (ação) de comunicação. A segunda e a  
> terceira são lógicas dinâmicas proposicionais para programas   
> regulares estendida  com um operador de sincronização. CPDL e  
> channel-CPDL são bem próxima da Lógica de Jogos e elas são bem  
> apropriadas para representar propriedades de sistemas concorrentes e  
> jogos. A semântica de channel-CPDL é baseada em super-estados  
> (composição de estados) e super-processos e o problema de  
> satisfabilidade nesta lógica é indecidível ($\Pi_{1}^{1}$-hard). Ela  
> também não tem uma axiomatização completa.
>
> Neste trabalho nós gostaríamos de investigar uma lógica dinâmica  
> cujas ações fossem programas CCS. Nossas fórmulas teriam a forma  
> $[\pi] \varphi$, cujo significado seria: após a execução do programa  
> $\pi$, é sempre o caso que $\varphi$ vale. Gostaríamos de ter nos  
> programas CCS os operadores de prefixo, composição paralela, escolha  
> não-determinística, restrição e renomeação. Com
>  esta linguagem seríamos capazes raciocinar sobre especificações CCS  
> tanto no nível das ações como no de comunicações e sincronizações.  
> Por outro lado, devido ao mecanismo de comunicação simples de CCS  
> temos fortes indícios de que a lógica

Re: [Logica-l] Digest Logica-l, volume 54, assunto 30

[samuel]

Olá Petrucio e demais,

A situacao é mais complicada do que "fingir que nao se lê": ignora-se  
mesmo esse princípio de que o Qualis nao deve ser utilizado em  
avaliacoes individuais...

Coordenadores do meu programa de mestrado, por exemplo, me pressionam  
aberta e diretamente para que só publique em revistas "qualisficadas"  
!!!

E até a coordenacao de iniciacao científica da UFBA, órgao  
institucional da pró-reitoria e tudo, ao julgar pedidos de bolsa de  
iniciacao científica, pede para se avaliar se a publicacao do  
orientador é Qualis ou nao... Entao os pesquisadores estao, sim,  
pressionados a publicar em revistas que *já* estao na lista.

E o discurso do "revistas que nao estao na lista podem entrar, desde  
que algum pesquisador brasileiro publique nelas" nao funciona bem  
assim: os coordenadores de programa que têm mais acesso ao pessoal da  
CAPES, de quando em quando, pedem aos seus pesquisadores sugestoes de  
revistas para entrar no Qualis, o que às vezes dá certo, sim.

Agora, imaginar que eu vá, "quietinho quietinho", publicar algo por  
exemplo no Mathematical Logic Quarterly e, sem conversar com ninguém,  
sem fazer nenhuma política, a revista acaba entrando no Qualis...  
Infelizmente, nao é assim que funciona nao.

Abracos a todos !

[]s  Samuel

PS: Como existem listagens diferentes para Computacao, Filosofia,  
Matemática, etc., uma lista unificada dá uma ajuda, sim.

Quoting Jorge Petrucio Viana :

> Caros filolistas,
>
> uma tabela como esta, embora bem vinda, pois poupa o tempo de quem   
> esta procurando a classificacao de um periodico eh, de uma certa   
> forma, desnecessaria (o Qualis ja tem uma tabela com mecanismo de   
> busca) e, o que talvez seja ainda pior, trai os proprios ideais do   
> Qualis (Sim, eles existem, e nao sao tao ruins assim. O que e ruim e  
>  o uso que a propria academica faz do Qualis).
>
> O objetivo nao e, de forma nenhuma, que as pessoas so publiquem nos   
> periodicos/congressos que estao listados.
> Pelas diretrizes, quando um brasileiro publica nos ultimos anos em   
> um periodico/congresso que nao esta listado, ele passa a ser   
> considerado para a confeccao da proxima tabela e os periodicos que   
> nao aceitaram publicacoes de brasileiros saem da tabela.
> ]
> Pelo que me informaram, a tabela eh elaborada desta forma para ser   
> usada no julgamento de instituicoes/programas e nao no julgamento   
> individual de pesquisadores.
>
> Mas, como sempre, ninguem le (ou finge que nao le) as letrinhas   
> miudas do contrato...
>
> abracos,
> P.
>
> -- Original Message ---
> From: sam...@ufba.br
> To: logica-l@dimap.ufrn.br
> Sent: Sat, 28 Aug 2010 13:15:33 -0300
> Subject: Re: [Logica-l] Digest Logica-l, volume 54, assunto 30
>
>> Olá a todos,
>>
>> Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do  
>> Brasil espera que vc mantenha atualizacoes dessa lista nos próximos  
>> anos, conforme forem sendo mudadas as listas Qualis a cada triênio...  
>> Arrumaste um trabalhinho para o resto da carreira !!! 8-)
>>
>> E claro, vc tem razao, o meu comentário sobre "publicacoes top" é  
>> *segundo a avaliacao da CAPES*... O dia que eu publicar algo na  
>> Fundamenta Mathematicae, terei certeza de que é uma "publicacao top",  
>> mesmo sendo B1 na lista...
>>
>> Até,
>>
>> []s  Samuel
>>
>> Quoting logica-l-requ...@dimap.ufrn.br:
>>
>> > Enviar submissões para a lista de discussão Logica-l para
>> > logic...@dimap.ufrn.br
>> >
>> > Para se cadastrar ou descadastrar via WWW, visite o endereço
>> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
>> > corpo da mensagem para
>> > logica-l-requ...@dimap.ufrn.br
>> >
>> > Você poderá entrar em contato com a pessoa que gerencia a lista pelo
>> > endereço
>> > logica-l-ow...@dimap.ufrn.br
>> >
>> > Quando responder, por favor edite sua linha Assunto assim ela será
>> > mais específica que "Re: Contents of Logica-l digest..."
>> >
>> >
>> > Tópicos de Hoje:
>> >
>> >    1. Seminarios do LOLITA nesta Segunda (Regivan Santiago)
>> >    2. Qualis 2010: *conferências internacionais* na área de Lógica
>> >       em Computação (Joao Marcos)
>> >    3. Qualis 2010: *periódicos* que publicam artigos na área de
>> >       Lógica (Joao Marcos)
>> >    4. Re: Qualis 2010: *periódicos* que publicam artigos na área de
>> >       Lógica (Valeria de Paiva)
>> > 

Re: [Logica-l] Digest Logica-l, volume 54, assunto 31

[samuel]

Olá a todos,

Sobre ordinais:

A solucao que tem no livro do Kunen de Teoria dos Conjuntos sempre me  
satisfez: ele trabalha no primeiro capítulo em ZF-, sem regularidade,  
regularidade vai entrar bem depois no livro...

Arthur, dá uma olhada no desenvolvimento de ordinais do livro do  
Kunen. Ele consegue mostrar que "a classe dos ordinais é bem-ordenada"  
(coloquei isso entre parênteses porque nao é uma sentenca oficial da  
teoria, como é sabido).

Ou seja, em particular vale tricotomia entre ordinais. Entre dois  
ordinais quaisquer, ou sao iguais ou um é menor que o outro ou "o  
outro é menor que o um". Como a ordem é por pertinência, em particular  
um ordinal nao pode pertencer a si mesmo.

Eu faco um desenvolvimento bem rápido de ordinais, baseado nesse do  
livro do Kunen, no meu artigo da RMU (em coautoria com um aluno) sobre  
Axioma da Escolha (RMU 42), o teorema que tem mais informacoes é o  
Teo.2.2 desse artigo, mas eu
nao apresento demonstracao, tem lá no Kunen.

Agora, notar que, com isso, NOS ORDINAIS eu tenho os teoremas de  
inducao e recursao transfinita, porque a partir daí estou trabalhando  
em uma estrutura bem-ordenada... É claro que para fazer inducao ou  
recursao num conjunto qualquer, aí sim é necessário o Axioma da Escolha.

Até,

[]s  Samuel



Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Digest Logica-l, volume 54, assunto 33

[samuel]

Olá Arthur,

É o "Set Theory - An Introduction to Independence Proofs".

A parte de ordinais está bem feitinha, aliás toda a parte de conjuntos  
bem ordenados e de isomorfismos de boas ordens.

Até,

[]s  Samuel


Quoting logica-l-requ...@dimap.ufrn.br:

> Enviar submissões para a lista de discussão Logica-l para
>   logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
>   http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
>   logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
>   logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>1. Re: construção dos ordinais de John von Neumann sem o axioma
>   da regularidade ou da boa fundação (Arthur Buchsbaum)
>2. Re: construção dos ordinais de John von Neumann sem o axioma
>   da regularidade ou da boa fundação (Arthur Buchsbaum)
>3. Re: Qualis 2010: *periódicos* que publicam artigos na área de
>   Lógica (Joao Marcos)
>
>
> --
>
> Message: 1
> Date: Tue, 31 Aug 2010 00:14:41 -0300
> From: "Arthur Buchsbaum" 
> Subject: Re: [Logica-l] construção dos ordinais de John von Neumann
>   sem o axioma da regularidade ou da boa fundação
> To: 
> Message-ID: <094401cb48ba$a7ee99a0$f7cbcc...@com.br>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Oi, Samuel:
>
> De qual livro do Kunen estás falando?
> Conheço dois deste autor sobre Teoria dos Conjuntos (além de outro sobre
> Topologia):
> # Set Theory – An Introduction to Independence Proofs . 1980 . Kenneth
> Kunen;
> # The Foundations of Mathematics . 2009 . Kenneth Kunen.
>
> a) Arthur Buchsbaum
>
> -Mensagem original-
> De: logica-l-boun...@dimap.ufrn.br [mailto:logica-l-boun...@dimap.ufrn.br]
> Em nome de sam...@ufba.br
> Enviada em: domingo, 29 de agosto de 2010 15:37
> Para: logica-l@dimap.ufrn.br
> Assunto: Re: [Logica-l] Digest Logica-l, volume 54, assunto 31
>
> Olá a todos,
>
> Sobre ordinais:
>
> A solucao que tem no livro do Kunen de Teoria dos Conjuntos sempre me
> satisfez: ele trabalha no primeiro capítulo em ZF-, sem regularidade,
> regularidade vai entrar bem depois no livro...
>
> Arthur, dá uma olhada no desenvolvimento de ordinais do livro do
> Kunen. Ele consegue mostrar que "a classe dos ordinais é bem-ordenada"
> (coloquei isso entre parênteses porque nao é uma sentenca oficial da
> teoria, como é sabido).
>
> Ou seja, em particular vale tricotomia entre ordinais. Entre dois
> ordinais quaisquer, ou sao iguais ou um é menor que o outro ou "o
> outro é menor que o um". Como a ordem é por pertinência, em particular
> um ordinal nao pode pertencer a si mesmo.
>
> Eu faco um desenvolvimento bem rápido de ordinais, baseado nesse do
> livro do Kunen, no meu artigo da RMU (em coautoria com um aluno) sobre
> Axioma da Escolha (RMU 42), o teorema que tem mais informacoes é o
> Teo.2.2 desse artigo, mas eu
> nao apresento demonstracao, tem lá no Kunen.
>
> Agora, notar que, com isso, NOS ORDINAIS eu tenho os teoremas de
> inducao e recursao transfinita, porque a partir daí estou trabalhando
> em uma estrutura bem-ordenada... É claro que para fazer inducao ou
> recursao num conjunto qualquer, aí sim é necessário o Axioma da Escolha.
>
> Até,
>
> []s  Samuel
>
>
> 
> Universidade Federal da Bahia - http://www.portal.ufba.br
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
>
>
> --
>
> Message: 2
> Date: Tue, 31 Aug 2010 00:15:36 -0300
> From: "Arthur Buchsbaum" 
> Subject: Re: [Logica-l] construção dos ordinais de John von Neumann
>   sem o axioma da regularidade ou da boa fundação
> To: 
> Message-ID: <094601cb48ba$c8830de0$598929...@com.br>
> Content-Type: text/plain; charset="utf-8"
>
> Oi, João Marcos.
> O axioma da escolha e seus equivalentes estão disponíveis em todos  
> os sistemas que o adotam, em particular o do livro que citei.
> Segundo este, todo conjunto pode ser bem ordenado. Daí estão  
> disponíveis uma boa ordem e as induções fraca e forte dentro desta  
> boa ordem, 

[Logica-l] Nova equivalência para o Axioma da Es colha

[samuel]

Caros,

Tenho o prazer de anunciar que o número de matemáticos brasileiros com  
equivalências originais para o Axioma da Escolha acaba de subir de  
dois para quatro*...

Acabo de receber o aceite de um artigo no periódico Acta Mathematica  
Hungarica,
em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de  
mestrado na
UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao  
de mestrado continha uma nova equivalência para o Axioma da Escolha.

A nova proposicao equivalente ao Axioma da Escolha é:

Se um produto cartesiano de uma família de conjuntos é fechado num  
produto topológico (de Tychonoff), entao pelo menos um dos fatores é  
fechado.


* Os dois matemáticos brasileiros a que me refiro sao Edison Farah e  
Ofélia Teresa Alas, da USP.

Abracos a todos,

[]s  Samuel







Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Digest Logica-l, volume 55, assunto 22

[samuel]

Oi Claus e demais,

Na verdade eu gosto muito de escolhas dependentes também, apresentei  
um trabalho sobre isso em Paraty, lembra ?

Uma primeira versao do artigo foi rejeitada, dei uma melhorada e  
submeti de novo para outra revista, vamos ver.

Carlos González também tem algumas coisas com escolhas enumeráveis, se  
nao me engano.

Até mais,

[]s  Samuel


Quoting logica-l-requ...@dimap.ufrn.br:

> Enviar submissões para a lista de discussão Logica-l para
>   logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
>   http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
>   logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
>   logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>1. Nova equivalência para o Axioma da Escolha (sam...@ufba.br)
>2. Re: Nova equivalência para o Axioma da Escolha
>   (Claus Akira Horodynski Matsushigue)
>
>
> --
>
> Message: 1
> Date: Wed, 29 Sep 2010 01:53:01 -0300
> From: sam...@ufba.br
> Subject: [Logica-l] Nova equivalência para o Axioma da Escolha
> To: logica-l@dimap.ufrn.br
> Message-ID: <20100929015301.sw6lz318zjwg8...@webmail.ufba.br>
> Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
>   format="flowed"
>
> Caros,
>
> Tenho o prazer de anunciar que o número de matemáticos brasileiros com
> equivalências originais para o Axioma da Escolha acaba de subir de
> dois para quatro*...
>
> Acabo de receber o aceite de um artigo no periódico Acta Mathematica
> Hungarica,
> em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de
> mestrado na
> UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao
> de mestrado continha uma nova equivalência para o Axioma da Escolha.
>
> A nova proposicao equivalente ao Axioma da Escolha é:
>
> Se um produto cartesiano de uma família de conjuntos é fechado num
> produto topológico (de Tychonoff), entao pelo menos um dos fatores é
> fechado.
>
>
> * Os dois matemáticos brasileiros a que me refiro sao Edison Farah e
> Ofélia Teresa Alas, da USP.
>
> Abracos a todos,
>
> []s  Samuel
>
>
>
>
>
>
> 
> Universidade Federal da Bahia - http://www.portal.ufba.br
>
>
>
> --
>
> Message: 2
> Date: Wed, 29 Sep 2010 10:51:33 -0300
> From: Claus Akira Horodynski Matsushigue 
> Subject: Re: [Logica-l] Nova equivalência para o Axioma da Escolha
> To: sam...@ufba.br
> Cc: logica-l@dimap.ufrn.br
> Message-ID:
>   
> Content-Type: text/plain; charset=ISO-8859-1
>
> Parabéns Samuel...
>
> Interessante o resultado.
>
> Talvez fosse interessante pensar um tantinho
> no Axioma das escolhas dependentes, que
> alguns neo-bourbakistas pensam ser melhor
> que o Axioma da escolha puro.  O que acha??
>
>
> Agraços, Claus
>
>
> 2010/9/29  :
>> Caros,
>>
>> Tenho o prazer de anunciar que o número de matemáticos brasileiros com
>> equivalências originais para o Axioma da Escolha acaba de subir de
>> dois para quatro*...
>>
>> Acabo de receber o aceite de um artigo no periódico Acta Mathematica
>> Hungarica,
>> em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de
>> mestrado na
>> UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao
>> de mestrado continha uma nova equivalência para o Axioma da Escolha.
>>
>> A nova proposicao equivalente ao Axioma da Escolha é:
>>
>> Se um produto cartesiano de uma família de conjuntos é fechado num
>> produto topológico (de Tychonoff), entao pelo menos um dos fatores é
>> fechado.
>>
>>
>> * Os dois matemáticos brasileiros a que me refiro sao Edison Farah e
>> Ofélia Teresa Alas, da USP.
>>
>> Abracos a todos,
>>
>> []s  Samuel
>>
>>
>>
>>
>>
>>
>> 
>> Universidade Federal da Bahia - http://www.portal.ufba.br
>>
>> ___
>> 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
>
>
> Fim da Digest Logica-l, volume 55, assunto 22
> *
>




Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Nova equivalência para o Axioma da Escolha

[samuel]

Olá Carlos e demais,

Sim, o enunciado é para "produto de uma família nao-vazia",  
informalmente eu estou omitindo isso nos anúncios mas no artigo está  
com essa hipótese.

Ainda informalmente, também é verdade que o Axioma da Escolha é  
equivalente a "Se um produto cartesiano é fechado, entao todo fator é  
fechado", mas dá pra relaxar para "pelo menos um é fechado". É uma  
equivalência do tipo (i) implica (ii) implica (iii) implica (i), onde  
(ii) é "todo fator é fechado" e (iii) é "pelo menos um fator é  
fechado". Depois te mando um .pdf do artigo, estou num computador  
público agora.

É importante lembrar algo que nao é muito citado por aí: é possível  
indexar uma família com o conjunto vazio: nesse caso, a família  
indexada é vazia, o produto cartesiano é o unitário do vazio e nao há,  
obviamente, como definir projecoes.

Até,

[]s  Samuel



Quoting Carlos Gonzalez :

> Parabéns para vc e o Joao Paulo.
>
> Pressupõe a existência do fator? Ou seja, supõe que o produto
> cartesiano é não vazio?
>
> Em Argentina, Gregorio Klimovsky, falecido o ano passado, demonstrou
> várias equivalências.
> Entre elas, que a existência de ideais maximais em reticulados
> distributivos é equivalente:
> El teorema de Zorn y la existencia de filtros e ideales maximales en
> los reticulados distributivos (1958) en Rev. Un. Mat. Argentina, 18,
> pp. 160?164
>
> []'s
>
> Carlos
>
> Em 29 de setembro de 2010 01:53,   escreveu:
>> Caros,
>>
>> Tenho o prazer de anunciar que o número de matemáticos brasileiros com
>> equivalências originais para o Axioma da Escolha acaba de subir de
>> dois para quatro*...
>>
>> Acabo de receber o aceite de um artigo no periódico Acta Mathematica
>> Hungarica,
>> em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de
>> mestrado na
>> UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao
>> de mestrado continha uma nova equivalência para o Axioma da Escolha.
>>
>> A nova proposicao equivalente ao Axioma da Escolha é:
>>
>> Se um produto cartesiano de uma família de conjuntos é fechado num
>> produto topológico (de Tychonoff), entao pelo menos um dos fatores é
>> fechado.
>>
>>
>> * Os dois matemáticos brasileiros a que me refiro sao Edison Farah e
>> Ofélia Teresa Alas, da USP.
>>
>> Abracos a todos,
>>
>> []s  Samuel
>>
>>
>>
>>
>>
>>
>> 
>> Universidade Federal da Bahia - http://www.portal.ufba.br
>>
>> ___
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>
>




Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Só vale as publicadas ? Talvez. ..

[samuel]

Olá Hiury e demais,

Hiury me perguntou se, caso o artigo nao fosse aceito, nao seriam  
quatro os brasileiros com equivalências para o Axioma da Escolha...  
Bem, estou tentando contar só as que "valeram três pontos" ! 8-) (É  
uma pena a gente se ver dominado por esse viés produtivista, eu sei...)

Nao sei se existem outras equivalências nao-publicadas, mesmo porque,  
se nao publicadas, nao dá pra saber mesmo - por definicao !

A do Farah mesmo, parece que nao foi, "originalmente", publicada em  
revista internacional... Aproveitando que estou com Ofelia Alas por  
aqui, num congresso do México, confirmei a história com ela. Edison  
Farah, muitas vezes, nao publicava os seus resultados. A equivalência  
dele (que é uma distributividade da uniao com relacao à interseccao)  
consta em seu concurso para cátedra, dos anos 50, e depois foi  
incluída na célebre obra de Rubin e Rubin de equivalências do Axioma  
da Escolha (e, segundo Ofelia, foi ela mesmo quem mandou pra eles).

Eu e Joao Paulo já tinhamos mais ou menos contado essa história numa  
carta, para a Revista Matemática Universitária (número 44, se nao me  
engano).

Até mais,

[]s  Samuel

PS: Carlos Gonzalez me avisou que existe um argentino com
equivalências do Axioma da Escolha (Gregorio Klimovsky). Como disse a
ele, como a Argentina tem mais prêmios Nobel que o Brasil, eles podem ficar
tranquilos ! 8-)... Vou tentar descobrir se algum mexicano tem  
equivalênciaspara o axioma da escolha... O Axioma da Escolha  
na América Latina ! Que legal.





Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Concurso na UFBA - Vagas em Lógica Ma temática

[samuel]

Olá a todos,

Mais uma vez estao abertas inscricoes para 3 vagas em Lógica e Teoria  
dos Conjuntos na Universidade Federal da Bahia, inscricoes até 26 de  
outubro.

O edital está disponível em

http://www.concursos.ufba.br/docentes/2010/editais/edital-04-2010_ssa-vc.pdf

Sempre existe a possibilidade de alguma mudancinha no edital acarretar  
prorrogacao das inscricoes, acompanhar em www.concursos.ufba.br.

Acredito que o concurso deva ocorrer entre dezembro e janeiro.

Três observacoes:

- o diploma de doutorado só é exigido na posse, entao quem estiver em  
final de doutoramento e próximo da defesa pode se inscrever e fazer o  
concurso.

- candidatos estrangeiros devem apresentar curricumum e memorial em português.
Existem várias coisas burocráticas envolvendo candidatos estrangeiros,  
quem quiser pode me escrever à parte da lista.

- O edital (que é para o Departamento de Matemática) admite a  
inscricao de Doutores em Filosofia, desde que o trabalho de tese seja  
em Lógica Matemática.

Observo ainda que é a quarta vez que esse edital é lancado, e ainda  
nao houve inscritos. Acredito que ainda existam lógicos procurando  
emprego por aí, entao, dêem uma chance a Salvador ! Venham fazer o  
concurso e conhecam a cidade. A universidade é central e de facílimo  
acesso. Morando próximo da universidade, vc estará no centro da  
cidade, próximo dos circuitos de carnaval (já estou apelando...) e nao  
perderá tempo com trânsito. Temos já três pesquisadores na área e  
gostaríamos de contar com mais gente para trabalhar.

Até mais,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] [TACL 2011] First call for papers

[samuel]

===
>TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011)
> ===
>
>   26-30 July 2011
>  Universités Aix-Marseille I-II-III, France
>   http://www.lif.univ-mrs.fr/tacl2011/
>
>
>
> Scope
> -
> Studying logics via semantics is a well-established and very active
> branch of mathematical logic, with many applications, in computer
> science and elsewhere. The area is characterized by results, tools
> and techniques stemming from various fields, including universal
> algebra, topology, category theory, order, and model theory. The
> program of the conference TACL 2011 will focus on three
> interconnecting mathematical themes central to the semantical study
> of logics and their applications: algebraic, categorical, and
> topological methods. This is the fifth conference in the series
> Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
> Earlier installments of this conference have been organized in
> Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009).
>
>
> Featured topics
> ---
>
> Contributed talks can deal with any topic dealing with the use of
> algebraic, categorical or topological methods in either logic or
> computer science. This includes, but is not limited to, the following
> areas:
>
> * Algebraic structures in CS
> * Algebraic logic
> * Coalgebra
> * Categorical methods in logic
> * Domain theory
> * Fuzzy and many-valued logics
> * Lattice theory
> * Lattices with operators
> * Modal logics
> * Non-classical logics
> * Ordered topological spaces
> * Ordered algebraic structures
> * Pointfree topology
> * Proofs and Types
> * Residuated structures
> * Semantics
> * Stone-type dualities
> * Substructural logics
> * Topological semantics of modal logic
>
> Submissions
> ---
> Contributed presentations will be of two types: 20 minutes long
> presentations in parallel sessions and featured, 30 minutes long,
> plenary presentations. The submission of an abstract of 1-4 pages is
> required to be selected for a contributed presentation of either
> kind. While preference will be given to new work, results that have
> already been published or presented elsewhere will also be
> considered. More information on the submission procedure is
> available on the conference website.
>
>
> Important dates
> ---
> April 18, 2011: Abstract submission deadline
> May 20, 2011:   Notification to authors
> July 26-30, 2011:  Conference
>
>
>
> Program Committee
> -
> Guram Bezhanishvili, New Mexico State University
> Petr Cintula, Academy of Sciences of the Czech Republic
> Thierry Coquand, University of Gothenburg
> Mai Gehrke, Radboud University, Nijmegen
> Silvio Ghilardi, Università degli Studi di Milano
> Rob Goldblatt, Victoria University, Wellington
> Martin Hyland, King's College, Cambridge
> Ramon Jansana, Universitat de Barcelona
> Achim Jung (PC co-chair), University of Birmingham
> Alexander Kurz, University of Leicester
> Yves Lafont, Université Aix-Marseille II
> Tadeusz Litak, University of Leicester
> Paul-André Melliès, CNRS Paris Diderot
> George Metcalfe, Universität Bern
> Nicola Olivetti, Université Aix-Marseille III
> Hiroakira Ono, Japan Advanced Institute of Science and Technology
> Luigi Santocanale, Université Aix-Marseille I
> Kazushige Terui, Kyoto University
> Costantine Tsinakis, Vanderbilt University
> Yde Venema (PC co-chair), University of Amsterdam
> Friedrich Wehrung, Université de Caen
> Michael Zakharyaschev, University of London
>
> More Information
> 
> If you have any queries please send them to the conference email address:
>   tacl2...@lif.univ-mrs.fr
> ===
>
>
>




Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Sobre concursos

[samuel]

Caros colegas,

Tenho participado bastante das reunioes do meu departamento sobre  
concursos, e posso dar algumas contribuicoes à discussao atual na lista:

- Carol: em geral, quem determina "o que sai no edital" nao sao nem os  
departamentos, e sim as reitorias das universidades. Em particular,  
pelo usual "ritmo de correria" com que as coisas sao feitas no Brasil,  
é comum que o edital necessite apenas, num primeiro momento, dos  
pontos do concurso, e nao das bancas.

Com isso, também é comum que as bancas só sejam mesmo formadas "num  
segundo momento" (e com o edital já lancado). Isso também envolve  
checar disponibilidades de várias pessoas em vários estados do país,  
entao também o que ocorre é se formar uma "grande lista de nomes" da  
qual vai sair a banca depois. Imaginar que a banca já saia no edital,  
acho complicado.

Algumas universidades divulgam as bancas em seus sites antes dos  
concursos, mas nao é uma prática corrente.

- Rodrigo e Carlos: essa questao de bibliografia é interessante, mas,  
de novo, quem decide em geral é a reitoria. Mesmo dentro dos  
institutos, pode ser que o diretor tenha muito mais voz ativa sobre  
concursos que o próprio chefe de departamento, que dirá um grupo de  
pesquisa. Entao um movimento "exigir que saia bibliografia" pode ser  
muito desgastante para se fazer.

Em 99% dos casos, saber qual o departamento que está promovendo o  
concurso (filosofia, computacao, matemática) já dá uma "dica" de como  
deveria ser preparada uma aula sobre Teorema da Completude, digamos.  
Isso funciona para as aulas didáticas "técnicas de matemática", mas  
concordo que, no caso de questoes de filosofia, um encaminhamento  
poderia ajudar.

Por outro lado, ter liberdade para preparar uma aula "mais ao seu  
estilo" também é importante, como Rodrigo comentou, e na verdade pode  
ser algo muito interessante para avaliacao de uma banca. Nesse  
sentido, eu particularmente acho mais interessante que um concurso de  
lógica *matemática* nao tenha bibliografia.

Carlos caiu no 1% complementar do meu comentário anterior: essa  
informacao "pense numa aula para filosofia, porque VAI ABRIR o curso"  
é de quebrar a perna. Mas eu também questiono esse presidente de  
banca: uma recomendacao dessas nunca deveria ser feita imediatamente  
ANTES do início da aula. No mínimo, deveria ter sido feita no momento  
do sorteio do ponto.

Aliás, uma dica a todos que vao participar de concursos: o momento em  
que a banca e o candidato estao todos presentes para o sorteio do  
ponto é a hora certa para, na presenca de todos os candidatos, fazer  
esse tipo de pergunta, num concurso "sem bibliografia". É bom evitar  
perguntar esse tipo de coisa sozinho pois pode "pegar mal".


- em resumo: essas questoes de edital sao complicadas de se lidar,  
pois envolvem
em geral chefia de departamento, direcao de instituto e reitoria, nao  
é fácil conseguir que os editais fiquem "do jeitinho que gostaríamos".  
Mas com um pouco de "bom senso" e muito cuidado no rito, dá pra se  
contornar os problemas.

Até,

[]s  Samuel


PS: Outra dica: em pontos teóricos de filosofia, "sem bibliografia",  
dê uma olhada na producao dos pesquisadores que já trabalham na  
instituicao que vc vai se candidatar e tente descobrir qual é a linha  
que eles trabalham. Isso pode ajudar a "imaginar" qual é o enfoque que  
se deseja para algum ponto específico.










Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] LNCC - Petrópolis

[samuel]

Caros,

Vou fazer uma pergunta bem desagradável.

Alguém sabe se o LNCC em Petrópolis teve algum dano devido às chuvas ?

Pergunto porque estaremos lá daqui a quatro meses.

Aproveito a oportunidade para apresentar minha solidariedade a todos  
os colegas do Rio.

Abraco,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Qualis de Matemática - Revistas de Lógica

[samuel]

Caros colegas,

Escrevo devido a uma sugestão que recebi da coordenação do meu  
programa de pós-graduação. (Sugestão e um pouco de pressão também, mas  
o jogo é assim mesmo, jogado duro, hehe).


Desde já, aconselho que o colega interessado abra a famosa "planilha  
do João Marcos" (ver mensagem de 27 de agosto de 2010)


http://tinyurl.com/27t7tq2

Nessa planilha, está uma lista bastante compreensiva de periódicos que  
publicam artigos na área de Lógica.


Uma rápida verificação, e uma checagem em paralelo na página do Qualis  
da CAPES, pode nos dar o "resumo da ópera" que eu gostaria de discutir  
com vcs:


- Não existem periódicos de Lógica que sejam A1 (ou A2) no Qualis de  
Matemática.


O máximo que um lógico brasileiro, que esteja trabalhando num programa  
de pós-graduação em matemática, obtém em uma publicação é B1.


Revistas B1 no Qualis de Matemática, que encontrei:

Logic Journal of IGPL
Fundamenta Mathematicae
Fuzzy Sets and Systems
Journal of Logic and Computation

Essas revistas (menos a Fundamenta) têm avaliação melhor em outros Qualis:

IGPL - A2 para Filosofia (no entanto é B2 para Computação)
Fuzzy - A2 para Filosofia, A1 para Computação
L and C - A2 para Filosofia (também é B1 para Computação)

Além dessa estranheza que vem das diferentes avaliações (por exemplo,  
a Studia Logica é A2 para Filosofia, A2 para Interdisciplinar (?), B2  
para Matemática e B4 para Computação), temos esse problema (pelo menos  
eu acho que seja um problema), de *não* *haver* revistas A de Lógica  
no Qualis de Matemática.


(Na analogia que costumo fazer para meus alunos, é como se a "nota de  
saída" de um Lógico Matemático fosse menor, por mais duplos twists  
carpados que façamos !)


Então a sugestão/pressão que estou recebendo é:

**
Procurar o Comitê Assessor de Matemática com algum abaixo-assinado, ou  
se fosse uma posição da Sociedade Brasileira de Lógica, melhor ainda,  
solicitando que houvesse(m) revista(s) de Lógica com Qualis A(1 ou 2)  
dentre os periódicos "qualisficados" em Matemática.

**

Pela informação que tenho, esse tipo de argumento ("toda área da  
matemática deve ter pelo menos uma revista A") é algo corrente entre  
os membros do comitê assessor, e talvez uma comunicação nesses termos  
com esse pessoal emplacasse algo.


Talvez pudéssemos também levantar outros problemas que ocorram nas  
áreas de Filosofia e Computação e apresentar um pedido mais geral.


De todo modo, coloco a questão para discussão dos colegas, e também  
estarei querendo discutir isso durante o EBL...


Abraços,

[]s  Samuel

PS: Já apresento uma sugestão: nos últimos anos os proceedings do EBL  
foram publicados algumas vezes no Logic Journal of IGPL. Não sei se  
existe o plano de continuar publicando esses proceedings ali, mas se  
fosse o caso seria uma boa opção para ser sugerido que esse periódico  
fosse, pelo menos, A2.


Também poderia ser sugerida a inclusão, nesse caso não sei com qual  
Qualis (seria um outro pedido, nao relacionado ao anterior), a  
inclusão da revista Manuscrito (CLE) no Qualis de Matemática. A  
Revista Manuscrito está representada em cinco comitês: A2 Filosofia,  
B1 Interdisciplinar, B3 Engenharia, B3 Psicologia e B4 Saúde Coletiva.  
No entanto, um artigo escrito por um Lógico Matemático, que esteja num  
programa de pós-graduação em Matemática, "não conta nada para ele nem  
para o programa"  (esse é o tipo de pressão que as coordenações de pós  
fazem...).


Claro que alguns colegas podem achar que toda essa cienciometria é  
bobagem e que não deveríamos perder tempo com isso, mas, como disse no  
começo, o jogo é jogado, temos que pelo menos decidir se (e como)  
vamos jogar ou não.










Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Qualis de Matemática - Revistas de Lógica

[samuel]

Olá Joao e demais,

Valeu pelas sugestoes !

Hum, acho que um abaixo-assinado por email, enviado para um dos  
membros da comissao, seria melhor... Ou um documento com os nomes no  
final.


Nao sei, a discutir no EBL.

Até,

[]s  Samuel


Citando Joao Marcos :


De todo modo, coloco a questão para discussão dos colegas, e também estarei
querendo discutir isso durante o EBL...


Olá, Samuel, acho ótima a ideia de discutir isto no EBL --- embora não
tenha certeza de quantos profissionais desta área específica estarão
presentes lá.  Bom, mas quando a lista fez 1 ano de idade quase 30%
dos membros disseram encaixar seu trabalho/estudo na área de
Matemática:
  http://www.dimap.ufrn.br/pipermail/logica-l/2007-April/001143.html

Aproveito para recordar que teremos também uma reunião, no EBL, para
discutir a criação da *Comissão Especial de Lógica & Computação* no
contexto da Sociedade Brasileira de Computação:
  http://www.dimap.ufrn.br/pipermail/logica-l/2011-January/005367.html

Sim, e aqui algumas alternativas de ferramentas para você construir
seu abaixo-assinado on-line:
  http://www.peticaopublica.com.br/
  http://www.euconcordo.com/
  http://abaixoassinado.org/

Abraços,
Joao Marcos

--
http://sequiturquodlibet.googlepages.com/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Qualis de Matemática - Revistas de Lógica

[samuel]

Olás,

Eu nao tinha achado ainda o Annals of Pure and Applied Logic mas está  
lá no Qualis de Matemática sim - mas é B1 ! E é B1 para Computacao  
também.


TCS seria o Theoretical Computer Science ? Uau, contra-exemplo para  
minha afirmacao inicial, é uma revista que está com A1 no Qualis de  
Matemática... Também é A1 no de Computacao. Ainda assim me parece  
muito específica para Matemática, nao ? Supondo que seja o único A1,  
nao me parece uma revista "geral", representativa. Um paper sobre  
ordens, reticulados, dualidades, categorias ou coisa assim que nao  
tenha aplicacao imediata em "computacao científica" nao me parece no  
escopo dessa revista...


(Abri aqui o site da revista. Três secoes: 1) Algoritmos, complexidade  
e jogos; 2) Lógica, Semântica e Teoria da Programacao; 3) Computacao  
natural - no sentido de computacao ocorrendo na natureza, ou sendo  
inspirada por ela !. Nao me parece

representativo para toda a Lógica com orientacao matemática.)

O mesmo problema ocorreu recentemente com Álgebra, a única revista A1  
era uma revista de geometria algébrica, isso deu motivos para outras  
"subáreas" da álgebra reclamarem, e com razao.


Mais alguma observacao ? Se continuar o interesse, podemos mesmo  
tentar marcar alguma sessao, seguindo a sugestao de Joao Marcos.


[]s  Samuel

PS: Também tem o problema de revistas que nao estao na lista, o mais  
gritante é mesmo o Journal of Symbolic Logic. Mathematical Logic  
Quarterly também nao está.





Quoting Elaine Pimentel :


Tem o TCS...

Enviado via iPhone

Em 11/04/2011, às 20:35, Valeria de Paiva  
 escreveu:



Excelente ideia Samuel!
talvez voce devesse sugerir alguns jornais tambem que achamos que seja
otimos pra Logica Matematica, tipo APAL (Annals of Pure and Applied Logic),
pra mim "Mathematical Structures in Computer Science", LMCS (Logical Methods
in Computer Science), o ``Universal Logic" que 'e novinho, mas  bom...

De qq forma o fato de que nao ha' um unico jornal considerado A pra
matematicos trabalhando em logica parece bem ruim mesmo...

abracos,
Valeria
2011/4/11 


Caros colegas,

Escrevo devido a uma sugestão que recebi da coordenação do meu programa de
pós-graduação. (Sugestão e um pouco de pressão também, mas o jogo é assim
mesmo, jogado duro, hehe).

Desde já, aconselho que o colega interessado abra a famosa "planilha do
João Marcos" (ver mensagem de 27 de agosto de 2010)

http://tinyurl.com/27t7tq2

Nessa planilha, está uma lista bastante compreensiva de periódicos que
publicam artigos na área de Lógica.

Uma rápida verificação, e uma checagem em paralelo na página do Qualis da
CAPES, pode nos dar o "resumo da ópera" que eu gostaria de  
discutir com vcs:


- Não existem periódicos de Lógica que sejam A1 (ou A2) no Qualis de
Matemática.

O máximo que um lógico brasileiro, que esteja trabalhando num programa de
pós-graduação em matemática, obtém em uma publicação é B1.

Revistas B1 no Qualis de Matemática, que encontrei:

Logic Journal of IGPL
Fundamenta Mathematicae
Fuzzy Sets and Systems
Journal of Logic and Computation

Essas revistas (menos a Fundamenta) têm avaliação melhor em outros Qualis:

IGPL - A2 para Filosofia (no entanto é B2 para Computação)
Fuzzy - A2 para Filosofia, A1 para Computação
L and C - A2 para Filosofia (também é B1 para Computação)

Além dessa estranheza que vem das diferentes avaliações (por exemplo, a
Studia Logica é A2 para Filosofia, A2 para Interdisciplinar (?), B2 para
Matemática e B4 para Computação), temos esse problema (pelo menos eu acho
que seja um problema), de *não* *haver* revistas A de Lógica no Qualis de
Matemática.

(Na analogia que costumo fazer para meus alunos, é como se a "nota de
saída" de um Lógico Matemático fosse menor, por mais duplos twists carpados
que façamos !)

Então a sugestão/pressão que estou recebendo é:


**
Procurar o Comitê Assessor de Matemática com algum abaixo-assinado, ou se
fosse uma posição da Sociedade Brasileira de Lógica, melhor ainda,
solicitando que houvesse(m) revista(s) de Lógica com Qualis A(1 ou  
2) dentre

os periódicos "qualisficados" em Matemática.

**

Pela informação que tenho, esse tipo de argumento ("toda área da matemática
deve ter pelo menos uma revista A") é algo corrente entre os membros do
comitê assessor, e talvez uma comunicação nesses termos com esse pessoal
emplacasse algo.

Talvez pudéssemos também levantar outros problemas que ocorram nas áreas de
Filosofia e Computação e apresentar um pedido mais geral.

De todo modo, coloco a questão para discussão dos colegas, e também estarei
querendo discutir isso durante o EBL...

Abraços,

[]s  Samuel

PS: Já apresento uma sugestão: nos últimos anos os proceedings do EBL foram
publicados algumas vezes no Logic Journa

[Logica-l] Equivalência com AC

[samuel]

Olás a todos, Rodrigo e João Marcos em particular,

Interessante, o Teorema da Completude é equivalente ao Teorema do  
Ultrafiltro, e aí o que aparece "a mais" (na formulação do  
Bell-Slomson), chega na equivalência com Axioma da Escolha...


Isso realmente tem a haver com ultraprodutos, lembro de ter visto  
durante a iniciação científica com um aluno daqui da Ufba que o axioma  
da escolha é, também, equivalente à conjunção do Teorema do  
Ultrafiltro com o Teorema de Lós.


(BPI + LT equivalente a AC, isso é um resultado de Howard dos anos 70,
onde BPI é o Teorema do Ideal Booleano Primo (que é equivalente ao  
Teorema do Ultrafiltro) e LT é o Teorema de Lós, segue o link do  
artigo...


http://www.jstor.org/stable/2040659)

É como se o LT fosse "a parte de existir(em) o(s) modelo(s)" no  
primeiro parágrafo acima, seria o "a mais"...


Até,

[]s  Samuel

PS: Só pra quem for ler o artigo: dentro da discussão do último  
parágrafo, algum tempo depois Blass construiu um modelo *sem*  
ultrafiltros livres. Daí não tem mesmo como excluir BPI da  
equivalência AC <--> BPI + LT, já que o Teorema de Lós é "óbvio" se só  
existirem ultrafiltros principais...




Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Equivalência com AC

[samuel]

Oi Rodrigo,

Sim, o argumento original de Tarski pelo que sei era em cima desse k.k  
= k mesmo, já tinha ouvido falar disso... As sutilezas aí, têm aos  
montes !


Por exemplo, sei que se vc enuncia de uma determinada maneira o  
Lowenhein-Skolem, "só ele sozinho" já fica equivalente ao Axioma da  
Escolha.


(Achei aqui uma referência para isso, é o verbete de Bell na  
enciclopédia de Stanford:


http://plato.stanford.edu/entries/axiom-choice/#AxiChoLog

Tem uma lista de equivalências aí.

No caso, seria o Downward Lowenhein-Skolem que seria equivalente, pelo  
visto...)


Assim, quando se juntam "coisas para formar uma equivalência com o  
Axioma da Escolha", fica mais interessante juntar coisas que são  
sabidamente mais fracas, como BPI e LT, BPI mais algo muito próximo do  
Lowenhein-Skolem eu já começo a não perceber onde entrou "o a mais"...


Até,

[]s  Samuel






Citando Rodrigo Freire :


Olá Samuel


Interessante seu comentário.
A "parte a mais" no enunciado pode ser identificada com a informação de
cardinalidade adicional. Com esse enuciado você prova que para qualquer
cardinal infinito k, k.k = k e isso é equivalente ao axioma da escolha
(Tarski).

Abraço
Rodrigo







2011/6/29 


Olás a todos, Rodrigo e João Marcos em particular,

Interessante, o Teorema da Completude é equivalente ao Teorema do
Ultrafiltro, e aí o que aparece "a mais" (na formulação do Bell-Slomson),
chega na equivalência com Axioma da Escolha...

Isso realmente tem a haver com ultraprodutos, lembro de ter visto durante a
iniciação científica com um aluno daqui da Ufba que o axioma da escolha é,
também, equivalente à conjunção do Teorema do Ultrafiltro com o Teorema de
Lós.

(BPI + LT equivalente a AC, isso é um resultado de Howard dos anos 70,
onde BPI é o Teorema do Ideal Booleano Primo (que é equivalente ao Teorema
do Ultrafiltro) e LT é o Teorema de Lós, segue o link do artigo...

http://www.jstor.org/stable/**2040659<http://www.jstor.org/stable/2040659>   
  )


É como se o LT fosse "a parte de existir(em) o(s) modelo(s)" no primeiro
parágrafo acima, seria o "a mais"...

Até,

[]s  Samuel

PS: Só pra quem for ler o artigo: dentro da discussão do último parágrafo,
algum tempo depois Blass construiu um modelo *sem* ultrafiltros livres. Daí
não tem mesmo como excluir BPI da equivalência AC <--> BPI + LT, já que o
Teorema de Lós é "óbvio" se só existirem ultrafiltros principais...


--**--**
Universidade Federal da Bahia - http://www.portal.ufba.br

__**_
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l>








Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Equivalência com AC

[samuel]

Olás,

Sim, esses cardinais em ZF (os do truque de Scott) sao bm  
estranhos. Eu prefiro trabalhar só com dominacao, Teorema de  
Schroder-Bernstein-Cantor e equipotência... Na dissertacao que eu  
orientei do Joao Paulo, decidimos nao "mexer" com esses "cardinais que  
nao sao alephs". Eu olho para os enunciados com esses caras e prefiro  
traduzir para uma informacao de equipotência entre conjuntos...


Até,

[]s  Samuel


Quoting Rodrigo Freire :


Pois é, esses resultados são mais interessantes quando a conjunção de dois
enunciados mais fracos implica escolha. O Lowenheim-Skolem para cima e para
baixo (que é o que ocorre no enunciado acima) já vai implicar escolha. Aí é
da informação de cardinal mesmo. E é fácil a prova. Agora vi a mensagem do
Hugo com o esboço da prova e é isso mesmo. Você pode montar uma linguagem
com um símbolo de predicado ternário e escrever axiomas para esse predicado
dizendo que ele é um gráfico de uma bijeção de k.k em k.

A principal sutileza é que para falar de cardinais sem usar escolha (sem
usar o teorema da boa ordem) você precisa ser cuidadoso. Nesse caso você
define os cardinais bem ordenáveis (os alephs), mas tem também os outros
definidos a partir do truque de Scott (como o conjunto dos conjuntos
equipotentes ao conjunto dado de menor rank).

Abraço
Rodrigo





2011/6/29 


Oi Rodrigo,

Sim, o argumento original de Tarski pelo que sei era em cima desse k.k = k
mesmo, já tinha ouvido falar disso... As sutilezas aí, têm aos montes !

Por exemplo, sei que se vc enuncia de uma determinada maneira o
Lowenhein-Skolem, "só ele sozinho" já fica equivalente ao Axioma da Escolha.

(Achei aqui uma referência para isso, é o verbete de Bell na enciclopédia
de Stanford:

http://plato.stanford.edu/**entries/axiom-choice/#**AxiChoLog<http://plato.stanford.edu/entries/axiom-choice/#AxiChoLog>

Tem uma lista de equivalências aí.

No caso, seria o Downward Lowenhein-Skolem que seria equivalente, pelo
visto...)

Assim, quando se juntam "coisas para formar uma equivalência com o Axioma
da Escolha", fica mais interessante juntar coisas que são sabidamente mais
fracas, como BPI e LT, BPI mais algo muito próximo do Lowenhein-Skolem eu já
começo a não perceber onde entrou "o a mais"...

Até,

[]s  Samuel






Citando Rodrigo Freire :

 Olá Samuel



Interessante seu comentário.
A "parte a mais" no enunciado pode ser identificada com a informação de
cardinalidade adicional. Com esse enuciado você prova que para qualquer
cardinal infinito k, k.k = k e isso é equivalente ao axioma da escolha
(Tarski).

Abraço
Rodrigo







2011/6/29 

 Olás a todos, Rodrigo e João Marcos em particular,


Interessante, o Teorema da Completude é equivalente ao Teorema do
Ultrafiltro, e aí o que aparece "a mais" (na formulação do Bell-Slomson),
chega na equivalência com Axioma da Escolha...

Isso realmente tem a haver com ultraprodutos, lembro de ter visto durante
a
iniciação científica com um aluno daqui da Ufba que o axioma da escolha
é,
também, equivalente à conjunção do Teorema do Ultrafiltro com o Teorema
de
Lós.

(BPI + LT equivalente a AC, isso é um resultado de Howard dos anos 70,
onde BPI é o Teorema do Ideal Booleano Primo (que é equivalente ao
Teorema
do Ultrafiltro) e LT é o Teorema de Lós, segue o link do artigo...

http://www.jstor.org/stable/2040659<http://www.jstor.org/stable/**2040659>
<http://www.jstor.org/**stable/2040659<http://www.jstor.org/stable/2040659>>
   )


É como se o LT fosse "a parte de existir(em) o(s) modelo(s)" no primeiro
parágrafo acima, seria o "a mais"...

Até,

[]s  Samuel

PS: Só pra quem for ler o artigo: dentro da discussão do último
parágrafo,
algum tempo depois Blass construiu um modelo *sem* ultrafiltros livres.
Daí
não tem mesmo como excluir BPI da equivalência AC <--> BPI + LT, já que o
Teorema de Lós é "óbvio" se só existirem ultrafiltros principais...


--**--**
Universidade Federal da Bahia - http://www.portal.ufba.br

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







--**--**
Universidade Federal da Bahia - http://www.portal.ufba.br









Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Equivalência com AC

[samuel]

Oi Rodrigo,

Exatamente por conta disso de seu comentário é que "nao gosto" desses  
cardinais de ZF, ter um representante de um certo tamanho que nao  
tenha esse tamanho nao me agrada hehe. Prefiro ficar lidando com o  
tamanho, falando dos objetos diretamente (os conjuntos), sem falar do  
representante (o cardinal do "truque de Scott"). Até agora, tenho  
conseguido fazer isso, nao sei se haverá um momento no qual nao  
poderei escapar de tratar desses cardinais nao-alephs.


[]s   Samuel



Quoting Rodrigo Freire :


Legal Samuel, esse é um bom jeito de pensar nesses cardinais estranhos:
são invariantes para a relação de equipotência, vale o teorema de Schroder
et al., e são dominados por alephs já que esses formam uma classe própria
(pelo Hartogs). Além disso é bom lembrar que, em geral, não vale que x é
equipotente ao cardinal de x por causa desses cardinais estranhos.

Abraço
Rodrigo






2011/6/30 


Olás,

Sim, esses cardinais em ZF (os do truque de Scott) sao bm estranhos. Eu
prefiro trabalhar só com dominacao, Teorema de Schroder-Bernstein-Cantor e
equipotência... Na dissertacao que eu orientei do Joao Paulo, decidimos nao
"mexer" com esses "cardinais que nao sao alephs". Eu olho para os enunciados
com esses caras e prefiro traduzir para uma informacao de equipotência entre
conjuntos...

Até,

[]s  Samuel



Quoting Rodrigo Freire :

 Pois é, esses resultados são mais interessantes quando a conjunção de dois

enunciados mais fracos implica escolha. O Lowenheim-Skolem para cima e
para
baixo (que é o que ocorre no enunciado acima) já vai implicar escolha. Aí
é
da informação de cardinal mesmo. E é fácil a prova. Agora vi a mensagem do
Hugo com o esboço da prova e é isso mesmo. Você pode montar uma linguagem
com um símbolo de predicado ternário e escrever axiomas para esse
predicado
dizendo que ele é um gráfico de uma bijeção de k.k em k.

A principal sutileza é que para falar de cardinais sem usar escolha (sem
usar o teorema da boa ordem) você precisa ser cuidadoso. Nesse caso você
define os cardinais bem ordenáveis (os alephs), mas tem também os outros
definidos a partir do truque de Scott (como o conjunto dos conjuntos
equipotentes ao conjunto dado de menor rank).

Abraço
Rodrigo





2011/6/29 

 Oi Rodrigo,


Sim, o argumento original de Tarski pelo que sei era em cima desse k.k =
k
mesmo, já tinha ouvido falar disso... As sutilezas aí, têm aos montes !

Por exemplo, sei que se vc enuncia de uma determinada maneira o
Lowenhein-Skolem, "só ele sozinho" já fica equivalente ao Axioma da
Escolha.

(Achei aqui uma referência para isso, é o verbete de Bell na enciclopédia
de Stanford:

http://plato.stanford.edu/entries/axiom-choice/#AxiChoLog<http://plato.stanford.edu/**entries/axiom-choice/#**AxiChoLog>
<http://plato.**stanford.edu/entries/axiom-**choice/#AxiChoLog<http://plato.stanford.edu/entries/axiom-choice/#AxiChoLog>
>


Tem uma lista de equivalências aí.

No caso, seria o Downward Lowenhein-Skolem que seria equivalente, pelo
visto...)

Assim, quando se juntam "coisas para formar uma equivalência com o Axioma
da Escolha", fica mais interessante juntar coisas que são sabidamente
mais
fracas, como BPI e LT, BPI mais algo muito próximo do Lowenhein-Skolem eu
já
começo a não perceber onde entrou "o a mais"...

Até,

[]s  Samuel






Citando Rodrigo Freire :

 Olá Samuel




Interessante seu comentário.
A "parte a mais" no enunciado pode ser identificada com a informação de
cardinalidade adicional. Com esse enuciado você prova que para qualquer
cardinal infinito k, k.k = k e isso é equivalente ao axioma da escolha
(Tarski).

Abraço
Rodrigo







2011/6/29 

 Olás a todos, Rodrigo e João Marcos em particular,



Interessante, o Teorema da Completude é equivalente ao Teorema do
Ultrafiltro, e aí o que aparece "a mais" (na formulação do
Bell-Slomson),
chega na equivalência com Axioma da Escolha...

Isso realmente tem a haver com ultraprodutos, lembro de ter visto
durante
a
iniciação científica com um aluno daqui da Ufba que o axioma da escolha
é,
também, equivalente à conjunção do Teorema do Ultrafiltro com o Teorema
de
Lós.

(BPI + LT equivalente a AC, isso é um resultado de Howard dos anos 70,
onde BPI é o Teorema do Ideal Booleano Primo (que é equivalente ao
Teorema
do Ultrafiltro) e LT é o Teorema de Lós, segue o link do artigo...

http://www.jstor.org/stable/**2040659<http://www.jstor.org/stable/2040659>
<http://www.jstor.**org/stable/**2040659<http://www.jstor.org/stable/**2040659>
>
<http://www.jstor.org/stable/2040659<http://www.jstor.org/**stable/2040659>
<http://www.**jstor.org/stable/2040659<http://www.jstor.org/stable/2040659>
>>
  )


É como se o LT fosse "a parte de existir(em) o(s) modelo(s)" no
primeiro
parágrafo acima, seria o "a mais"...

Até,

[]s  Samuel

PS: Só pra que

[Logica-l] Complementando...

[samuel]

... Sobre o concurso da Ufba: candidatos estrangeiros devem apresentar  
o memorial e o curriculum em português.


Quem estiver com defesa de doutorado marcada, pode se inscrever. O  
diploma de doutor só é exigido na posse, podem confirmar isso no edital.


[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Concurso para Lógica e Teoria dos Conjuntos - UFBA

[samuel]

Olás,

Escrevo para informar que estão abertas as inscrições para um concurso  
de Lógica e Teoria dos Conjuntos aqui na Ufba, no departamento de  
Matemática.


Ver edital e retificação em:

http://www.concursos.ufba.br/docentes/2011/editais/edital_docente_03_2011.pdf

http://www.concursos.ufba.br/docentes/2011/editais/retifica_08_edital_032011.pdf

(Os prazos de inscrição seguem o edital de retificação, atenção para isso.)

As titulações para esse concurso são: Doutorado em Matemática,  
Doutorado em Filosofia (Lógica Matemática) ou Doutorado em Lógica  
(Lógica Matemática).


Conforme destaquei nos emails dos concursos anteriores, ainda somos um  
grupo pequeno mas pretendemos crescer. A cidade de Salvador é bastante  
agradável de se morar, então acredito que valha a pena fazer o  
concurso para conhecer a cidade e a universidade !


Também se trata de uma oportunidade para ter uma posição num  
departamento de matemática, o que pode ser atraente para algumas  
pessoas, de acordo com sua formação e interesses.


Os interessados podem se sentir livres para me escrever, à parte da  
lista, para maiores informações.


Até,

[]s  Samuel

PS: No mesmo edital, estão abertas três vagas para assistente (com  
titulação de mestrado em matemática), com pontos gerais de matemática.



Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Kiselev

[samuel]

Olás a todos,

Essa questão do Kiselev ("ZF provar que não existem inacessíveis") é  
complicada mesmo e concordo com as colocações do Rodrigo,  
principalmente no que se refere à analogia com o axioma do infinito.


Além das discussões no FOM, há algo também no MathOverFlow:

http://mathoverflow.net/questions/73121/recent-claim-that-inaccessibles-are-inconsistent-with-zf

No MathOverFlow, Andreas Blass (que é um pesquisador respeitável -  
olha o argumento de autoridade de novo, hehe...) diz o que mais ou  
menos todos estão dizendo pelo que vi, o texto é difícil de ler, está  
meio rebuscado e repetitivo, não está claro qual é a parte crucial do  
argumento. Aí, para ler as 250 páginas, fica complicado.


Também li que o problema é que o Kiselev está tratando de certas  
afirmações ao mesmo tempo "no sistema e também metamatematicamente", o  
que complica um pouco a coisa.


Ou seja: como disse Dana Scott no FOM, alguém vai ter que ler e expor  
o erro, caso ele exista. Só críticas superficiais (está mal escrito,  
monótono, etc.) não vão resolver.


E, como Andreas Blass, eu também estou sem tempo para ler as 250  
páginas, vou deixar para algum pesquisador mais experiente do que eu  
fazer isso, hehe...


Até,

[]s  Samuel

PS: Há alguns anos atrás eu vi algo de um russo em um congresso  
dizendo que inacessíveis nao existiam, deve ser o mesmo Kiselev...  
Seria bom se um cara como o Kanamori, ou o próprio Solovay, viesse a  
público e desse uma opinião rápida sobre esse trabalho, que acabou de  
entrar no ArXiv. O cara deve ser um desses rebeldes que não gostam de  
críticas ao próprio trabalho, por isso não submete num formato padrão  
como artigo ou livro, e aí nós temos que todos procurar o erro no  
trabalho do cidadão, enfim (se é que existe, eu particularmente aposto  
que tem algum erro em algum lugar).







Citando logica-l-requ...@dimap.ufrn.br:


Send Logica-l mailing list submissions to
logica-l@dimap.ufrn.br

To subscribe or unsubscribe via the World Wide Web, visit
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
or, via email, send a message with subject or body 'help' to
logica-l-requ...@dimap.ufrn.br

You can reach the person managing the list at
logica-l-ow...@dimap.ufrn.br

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Logica-l digest..."






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Logica-l Digest, Vol 67, Issue 26

[samuel]

Caros,

Se no mesmo mês os inacessíveis ficarem inconsistentes e a  
Relatividade ir por terra, vou começar a acreditar que o mundo acaba  
em 2012 !!!


[]s  Samuel


Citando logica-l-requ...@dimap.ufrn.br:


Send Logica-l mailing list submissions to
logica-l@dimap.ufrn.br

To subscribe or unsubscribe via the World Wide Web, visit
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
or, via email, send a message with subject or body 'help' to
logica-l-requ...@dimap.ufrn.br

You can reach the person managing the list at
logica-l-ow...@dimap.ufrn.br

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Logica-l digest..."






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Evento em Salvador - 2012

[samuel]

... Ainda hoje mando em português, abraços a todos, podem divulgar.


  FIRST ANNOUNCEMENT 


2nd SET THEORY AND GENERAL TOPOLOGY WEEK - STW 2012

In honour of Prof. Frank Tall, on the occasion of his retirement.

February 27 - March 02, 2012

Federal University of Bahia (UFBA)
Salvador, Bahia, Brazil


This week will be hosted by Universidade Federal da Bahia (Federal  
University of Bahia), and held at Institute of Mathematics, UFBA,  
Campus Ondina, Salvador, as a satellite event of the Institute's  
Summer Programme.


The meeting aims to bring together a number of researchers to discuss  
the latest advances in the area, in order to facilitate future  
collaborations and partnerships.


Guided tutorials, concerning recent developments in the field, will  
also be presented.


Contributed talks are welcome. The conference also aims to provide  
(for a general audience) an up to date picture of research topics in  
Set Theory and Set Theoretic Topology.



The official languages of the conference are: Portuguese, Spanish and English.


Scientific Committee:

Ofelia Teresa Alas (USP Sao Paulo, Brazil) (President)
Ruy Exel (UFSC, Brazil)
Charles Morgan (UCL, UEA, UK; CMAF, Portugal)

Invited Speakers:

Ofelia Alas (USP, Brazil)
Leandro Aurichi (USP Sao Carlos, Brazil)
Irene Castro-Pereira (UFPA, Brazil)
Ruy Exel (UFSC, Brazil)
Lucia Junqueira (USP, Brazil)
Charles Morgan (UCL, UEA, UK; CMAF, Portugal)
Carlos di Prisco (IVIC, Venezuela)
Frank Tall (University of Toronto, Canada)
Ramiro de la Vega (UniAndes, Colombia)
Daniel Vendrúscolo (UFScar, Brazil)
Andrés Villaveces (Unal, Colombia)


Organizing Committee:

Samuel Gomes da Silva (UFBA, Brazil) (Chair)
Leandro Aurichi (USP Sao Carlos, Brazil)
Joao Paulo Cirineu de Jesus (PhD Student, USP, Brazil)
Dimi Rangel (MSc Student, UFBA, Brazil)
Raiana Gouveia (Undergrad Student, UFBA, Brazil)

Registration fee: US$ 30,00 or R$ 50,00. To be paid at the Registration Desk.

If you'd like to participate (or even give a talk), please contact the  
organizer, Samuel Gomes da Silva: sam...@ufba.br (alternative email  
samuca_...@yahoo.com.br)


Further details will be provided and regularly updated at the  
conference website:


www.veraomat.ufba.br/Topologia.htm

Salvador - "Brazil's capital of happiness" - is one of the most  
important cities in Brazil's NorthEast, with a friendly, warm and  
easygoing population. During summer, beaches and street parties  
(including Carnival) ensure lots of fun for everyone.


(Hotels can be hard to book during summer; if you intend to come, feel  
free to contact us for advice.)


Direct flights from Europe are available with Condor (via Frankfurt)  
and Air Europa (via Madrid), both twice weekly, and with TAP Air  
Portugal (via Lisbon), daily.


From USA: direct flights with American Airlines (via Miami) daily.

From South America: connection flights with LAN and TACA (via  
Santiago and Lima) daily, connection flights with Gol (via Caracas)  
daily.


**







Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Evento em Salvador - 2012 - Primeiro anúncio (em português)

[samuel]

  Primeiro Anúncio  

2a. SEMANA DE TEORIA DOS CONJUNTOS E TOPOLOGIA GERAL - STW 2012

Em homenagem ao Prof. Frank Tall, na ocasião de sua aposentadoria.

27 de Fevereiro - 02 de Março, 2012

Universidade Federal da Bahia (UFBA)
Salvador, Bahia, Brasil

Este evento terá como sede a Universidade Federal da Bahia, e será realizada
no Instituto de Matemática, Campus Ondina, como evento-satélite do  
programa de verão do IM/UFBA.


Este encontro tem por objetivo reunir vários pesquisadores para  
discutir os últimos avanços na área, com o intuito de facilitar  
futuras colaborações e parcerias.


Tutoriais guiados, relacionados a desenvolvimentos recentes na área,  
serão apresentados também.


Submissões de comunicações e palestras são bem vindas. A conferência  
também tem como meta apresentar (para uma audiência geral) um quadro  
bastante atualizado dos tópicos de pesquisa em Teoria dos Conjuntos e  
Topologia Conjuntística.


As linguagens oficiais do evento são: Português, Espanhol, Inglês.

Comitê Científico:

Ofelia Teresa Alas (USP São Paulo, Brasil) (Presidente)
Ruy Exel (UFSC, Brasil)
Charles Morgan (UCL, UEA, UK; CMAF, Portugal)

Conferencistas convidados:

Ofelia Alas (USP, Brasil)
Leandro Aurichi (USP Sao Carlos, Brasil)
Irene Castro-Pereira (UFPA, Brasil)
Ruy Exel (UFSC, Brasil)
Lucia Junqueira (USP, Brasil)
Charles Morgan (UCL, UEA, UK; CMAF, Portugal)
Carlos di Prisco (IVIC, Venezuela)
Frank Tall (University of Toronto, Canadá)
Ramiro de la Vega (UniAndes, Colômbia)
Daniel Vendrúscolo (UFScar, Brasil)
Andrés Villaveces (Unal, Colômbia)

Comissão Organizadora

Samuel Gomes da Silva (UFBA, Brasil) (Coordenador)
Leandro Aurichi (USP Sao Carlos, Brasil)
Joao Paulo Cirineu de Jesus (Estudante de Doutorado, USP, Brasil)
Dimi Rangel (Estudante de Mestrado, UFBA, Brasil)
Raiana Gouveia (Estudante de Graduação, UFBA, Brasil)

Taxa de inscrição: US$ 30,00 ou R$ 50,00. A ser paga na mesa
de credenciamento.

Se você quer participar (ou mesmo dar uma palestra ou fazer uma
comunicação), favor contatar o organizador, Samuel Gomes da Silva:  
sam...@ufba.br (email alternativo samuca_...@yahoo.com.br)


Mais detalhes serão atualizados periodicamente no site do evento:

www.veraomat.ufba.br/Topologia.htm

**









Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] XV SLALM - First Announcement

[samuel]

---
FIRST ANNOUNCEMENT

The 15th Latin American Symposium on Mathematical Logic,SLALM2012,  
will be held in Bogota, Colombia, during the week of June 4 to 8, 2012.


The first SLALM (Simposio Latinoamericano de Lógica Matemática) was  
held in 1970 in Santiago de Chile and subsequent meetings have taken  
place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica,and  
Mexico.
In addition to plenary talks, this meeting will include four special  
sessions on Algebraic and Non-classical logics, Model Theory,  
Recursion and Computer Science Logic, and Set Theory. Four tutorial  
courses are planned during the week previous to the meeting.

Invited speakers include:

* Deirdre Haskell (McMasterUniversity, Canada)
* Denis Hirschfeldt (Chicago, USA)
* Ulrich Kohlenbach(Darmstad, Germany)
* Benedikt Löwe (ILLC,Netherlands)
* Antonio Montalbán (Chicago, USA)
* Justin Moore (Cornell,USA)
* Daniele Mundici (Florence,Italy)
* Alf Onshuus (U. de losAndes, Colombia)
* Valeria de Paiva (PaloAlto Research, USA)
* Tom Scanlon (Berkeley,USA)
* Simon Thomas (Rutgers,USA)
* Jouko Väänänen (Helsinki,Finland)

Contributions are invited in all the areas of mathematical logic.  
Abstracts of talks must be submitted, indicating the session closest  
totheir topic, by March 4th, 2012, to the e-mail address:  
sl...@uniandes.edu.co
The SLALM2012 is sponsored by the Association for SymbolicLogic (ASL),  
the Universidad de los Andes, the Universidad Nacional de Colombia,  
and Colciencias.


The ASL offers modest travel support to graduate studentmembers  
interested in attending the symposium. Applications and  
recommendations should be received at the latest by March 4th, 2012.  
Further information can befound at  
http://www.aslonline.org/studenttravelawards.html.


PROGRAM COMMITTEE: Xavier Caicedo (U. de los Andes,Colombia), Walter  
Carnielli (U. de Campinas, Brasil), Roberto Cignoli (U. deBuenos  
Aires, Argentina), Carlos Di Prisco (IVIC, Venezuela), Rod Downey  
(Victoria University, New Zealand), Angus Macintyre (Queen Mary  
College,England), Menachem Magidor (U. of Jerusalem, Israel),  
Francisco Miraglia (U. deSao Paulo, Brasil), and Charles Steinhorn  
(Vassar College, USA).


ORGANIZING COMMITTE: Alexander Berenstein, Xavier Caicedo,Luis Jaime  
Corredor, Carlos Di Prisco, Ramiro de la Vega, José Iovino, John  
Goodrick, Alf Onshuus, Andrés Villaveces, and Fernando Zalamea.


CONTACT INFORMATION: For additional information please visit the  
meeting's website:

http://matematicas.uniandes.edu.co/eventos/SLALM2012/
or write to the the contact address: sl...@uniandes.edu.co


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Como modificar as listas Qualis ?

[samuel]

Olá João Marcos, Valeria e demais,

O discurso "oficial" da CAPES, pelo menos na área de matemática, para  
"commo incluir uma revista na lista Qualis" é:


- Ao final de cada triênio de avaliação, a partir da Coleta de Dados  
dos programas de pós-graduação, se verifica quais foram as revistas  
ainda não "qualisficadas" que tiveram publicações de pesquisadores  
brasileiros vinculados a programas de pós cadastrados e,  
*eventualmente*, a partir disso se dá uma avaliação pela comissão e a  
revista é incluída.


(Obs.: Coleta de Dados, na frase anterior, não é um termo abstrato, e  
sim um procedimento formal (e um aplicativo da CAPES) que todos os  
programas de pós têm que fazer, e neste ano de 2012 se fecha um  
triênio, 2010/2011/2012).


Agora, obviamente esse discurso oficial é claramente "furado"...

Primeiro, que diabo de critério é esse, uma revista para ser avaliada  
tem que ter publicações de brasileiros ??? Quer dizer que se uma  
revista nunca publicou artigos de brasileiros nem sequer merece ser  
avaliada ? Maluquice, né.


Segundo, o que eu percebo é que, na prática, os programas que têm  
contatos dentro do comitê avaliador acabam sugerindo inclusões aqui e  
ali, ou, coisa que já tentei levar adiante em um ou outro EBL, uma  
determinada área se mobiliza e faz um abaixo assinado ou alguma coisa  
parecida para (i) incluir revistas não "qualisficadas", ou (ii) mudar  
a avaliação ("pra cima") de revistas que já estejam na lista - para,  
*eventualmente*, conseguir alguma coisa. Eu me lembro de algum  
movimento que foi feito há alguns anos atrás para que o Logic Journal  
IGPL ("a revista dos proceedings do EBL" na época) fosse incluído como  
B1 para matemática (ou Qualis B, na classificação anterior...).


Em resumo, como João Marcos já disse, se não houver um movimento  
contra a inércia toda da coisa, nada muda ou mudará...


O jogo é jogado e o lambari é pescado !

Até,

[]s  Samuel




Quoting logica-l-requ...@dimap.ufrn.br:


Send Logica-l mailing list submissions to
logica-l@dimap.ufrn.br

To subscribe or unsubscribe via the World Wide Web, visit
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
or, via email, send a message with subject or body 'help' to
logica-l-requ...@dimap.ufrn.br

You can reach the person managing the list at
logica-l-ow...@dimap.ufrn.br

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Logica-l digest..."






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Como modificar as listas Qualis ?

[samuel]

Oi,

Assino também, claro !

[]s  Samuel

PS: Acho que um "subgrupo" da lista poderia se comunicar diretamente  
para fazer isso, para nao ficar enchendo a logica-l de mensagens, eu  
me candidato a participar do subgrupo, hehe...


Quoting Valeria de Paiva :


Legal. Valeu, Decio!

2012/2/24 Décio Krause 


Onde eu assino?
D



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--

Em 24/02/2012, às 23:06, Valeria de Paiva 
escreveu:

> Pois e' Samuel, obrigada pela explicacao!!
>
> Vamos nessa entao?
>
> Criamos um site com umas planilhas um pouco masi faceis de entender
> (do que a do Joao Marcos, pois ela 'e completa) e a gente quer uma
> so' com o que a  gente acha que devia ser. Boas revistas que estao
> faltando na lista da CAPES pra logica da computacao, pra logica
> matematica e pra logica filosofica.
> e quem  concordar assina embaixo.
>
> e ai, quem providencia o site? Eduardo, se habilita?
>
> deve dar tb pra pedir o software do cara do costofknowledge, se
necessario...
>
> o problema 'e que, como sempre, estamos todos super ocupados, mas se o
> final do trienio 'e 2012, ta' na hora, ne?
>
> Que e' o comite avaliador no momento? Tem alguem de logica?
>
> Abracos jornalisticos or revisteiros,
>
> Valeria
>
> 2012/2/24  :
>> Olá João Marcos, Valeria e demais,
>>
>> O discurso "oficial" da CAPES, pelo menos na área de matemática, para
"commo
>> incluir uma revista na lista Qualis" é:
>>
>> - Ao final de cada triênio de avaliação, a partir da Coleta de Dados dos
>> programas de pós-graduação, se verifica quais foram as revistas ainda
não
>> "qualisficadas" que tiveram publicações de pesquisadores brasileiros
>> vinculados a programas de pós cadastrados e, *eventualmente*, a partir
disso
>> se dá uma avaliação pela comissão e a revista é incluída.
>>
>> (Obs.: Coleta de Dados, na frase anterior, não é um termo abstrato, e
sim um
>> procedimento formal (e um aplicativo da CAPES) que todos os programas
de pós
>> têm que fazer, e neste ano de 2012 se fecha um triênio, 2010/2011/2012).
>>
>> Agora, obviamente esse discurso oficial é claramente "furado"...
>>
>> Primeiro, que diabo de critério é esse, uma revista para ser avaliada
tem
>> que ter publicações de brasileiros ??? Quer dizer que se uma revista
nunca
>> publicou artigos de brasileiros nem sequer merece ser avaliada ?
Maluquice,
>> né.
>>
>> Segundo, o que eu percebo é que, na prática, os programas que têm
contatos
>> dentro do comitê avaliador acabam sugerindo inclusões aqui e ali, ou,
coisa
>> que já tentei levar adiante em um ou outro EBL, uma determinada área se
>> mobiliza e faz um abaixo assinado ou alguma coisa parecida para (i)
incluir
>> revistas não "qualisficadas", ou (ii) mudar a avaliação ("pra cima") de
>> revistas que já estejam na lista - para, *eventualmente*, conseguir
alguma
>> coisa. Eu me lembro de algum movimento que foi feito há alguns anos
atrás
>> para que o Logic Journal IGPL ("a revista dos proceedings do EBL" na
época)
>> fosse incluído como B1 para matemática (ou Qualis B, na classificação
>> anterior...).
>>
>> Em resumo, como João Marcos já disse, se não houver um movimento contra
a
>> inércia toda da coisa, nada muda ou mudará...
>>
>> O jogo é jogado e o lambari é pescado !
>>
>> Até,
>>
>> []s  Samuel
>>
>>
>>
>>
>> Quoting logica-l-requ...@dimap.ufrn.br:
>>
>>> Send Logica-l mailing list submissions to
>>>logica-l@dimap.ufrn.br
>>>
>>> To subscribe or unsubscribe via the World Wide Web, visit
>>>http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>> or, via email, send a message with subject or body 'help' to
>>>logica-l-requ...@dimap.ufrn.br
>>>
>>> You can reach the person managing the list at
>>>logica-l-ow...@dimap.ufrn.br
>>>
>>> When replying, please edit your Subject line so it is more specific
>>> than "Re: Contents of Logica-l digest..."
>>>
>>
>>
>>
>> 
>> Universidade Federal da Bahia - http://www.portal.ufba.br
>>
>> ___
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
>
> --
> Valeria de Paiva
> http://www.cs.bham.ac.uk/~vdp/
> http://valeriadepaiva.org/www/
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Como modificar as listas Qualis ?

[samuel]

... Pois é,

Eu também estou enrolado este final de semana e na outra semana  
inteirinha (com o tal encontro não sei de quem, hehe), mas, o que vc  
quer dizer com "quem mantém o documento", seria quem faz a página ?  
Não seria o Eduardo Ochs ?


Até,

[]s Samuel

Quoting Valeria de Paiva :


oi Samuel,
Excelente ideia a de formar um subgrupo pra discutir o documento.
Topas ser o que mantem o documento?

Eu estou mais enrolada que bobina, pq disse que ia fazer cousas e lousas
num encontro na semana que vem, nao sei de quem, he, he..

Valeria

2012/2/25 


Oi,

Assino também, claro !

[]s  Samuel

PS: Acho que um "subgrupo" da lista poderia se comunicar diretamente para
fazer isso, para nao ficar enchendo a logica-l de mensagens, eu me
candidato a participar do subgrupo, hehe...


Quoting Valeria de Paiva :

 Legal. Valeu, Decio!


2012/2/24 Décio Krause 

 Onde eu assino?

D



--**
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~**dkrause <http://www.cfh.ufsc.br/%7Edkrause>
--**

Em 24/02/2012, às 23:06, Valeria de Paiva 
escreveu:

> Pois e' Samuel, obrigada pela explicacao!!
>
> Vamos nessa entao?
>
> Criamos um site com umas planilhas um pouco masi faceis de entender
> (do que a do Joao Marcos, pois ela 'e completa) e a gente quer uma
> so' com o que a  gente acha que devia ser. Boas revistas que estao
> faltando na lista da CAPES pra logica da computacao, pra logica
> matematica e pra logica filosofica.
> e quem  concordar assina embaixo.
>
> e ai, quem providencia o site? Eduardo, se habilita?
>
> deve dar tb pra pedir o software do cara do costofknowledge, se
necessario...
>
> o problema 'e que, como sempre, estamos todos super ocupados, mas se o
> final do trienio 'e 2012, ta' na hora, ne?
>
> Que e' o comite avaliador no momento? Tem alguem de logica?
>
> Abracos jornalisticos or revisteiros,
>
> Valeria
>
> 2012/2/24  :
>> Olá João Marcos, Valeria e demais,
>>
>> O discurso "oficial" da CAPES, pelo menos na área de matemática, para
"commo
>> incluir uma revista na lista Qualis" é:
>>
>> - Ao final de cada triênio de avaliação, a partir da Coleta de Dados
dos
>> programas de pós-graduação, se verifica quais foram as revistas ainda
não
>> "qualisficadas" que tiveram publicações de pesquisadores brasileiros
>> vinculados a programas de pós cadastrados e, *eventualmente*, a partir
disso
>> se dá uma avaliação pela comissão e a revista é incluída.
>>
>> (Obs.: Coleta de Dados, na frase anterior, não é um termo abstrato, e
sim um
>> procedimento formal (e um aplicativo da CAPES) que todos os programas
de pós
>> têm que fazer, e neste ano de 2012 se fecha um triênio,
2010/2011/2012).
>>
>> Agora, obviamente esse discurso oficial é claramente "furado"...
>>
>> Primeiro, que diabo de critério é esse, uma revista para ser avaliada
tem
>> que ter publicações de brasileiros ??? Quer dizer que se uma revista
nunca
>> publicou artigos de brasileiros nem sequer merece ser avaliada ?
Maluquice,
>> né.
>>
>> Segundo, o que eu percebo é que, na prática, os programas que têm
contatos
>> dentro do comitê avaliador acabam sugerindo inclusões aqui e ali, ou,
coisa
>> que já tentei levar adiante em um ou outro EBL, uma determinada área
se
>> mobiliza e faz um abaixo assinado ou alguma coisa parecida para (i)
incluir
>> revistas não "qualisficadas", ou (ii) mudar a avaliação ("pra cima")
de
>> revistas que já estejam na lista - para, *eventualmente*, conseguir
alguma
>> coisa. Eu me lembro de algum movimento que foi feito há alguns anos
atrás
>> para que o Logic Journal IGPL ("a revista dos proceedings do EBL" na
época)
>> fosse incluído como B1 para matemática (ou Qualis B, na classificação
>> anterior...).
>>
>> Em resumo, como João Marcos já disse, se não houver um movimento
contra
a
>> inércia toda da coisa, nada muda ou mudará...
>>
>> O jogo é jogado e o lambari é pescado !
>>
>> Até,
>>
>> []s  Samuel
>>
>>
>>
>>
>> Quoting logica-l-requ...@dimap.ufrn.br**:
>>
>>> Send Logica-l mailing list submissions to
>>>logica-l@dimap.ufrn.br
>>>
>>> To subscribe or unsubscribe via the World Wide Web, visit
>>>  
http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l>

>>> or, via email, send a message with

Re: [Logica-l] Como modificar as listas Qualis ?

[samuel]

Olás,

Outra lista boa de revistas de lógica matemática que me indicaram uma  
vez é a que consta na página do Casanovas, de Barcelona  
(http://www.ub.edu/modeltheory/casanovas/e.html)


As revistas de lógica matemática dessa lista sao:


The Journal of Symbolic Logic
The Bulletin of Symbolic Logic
Annals of Pure and Applied Logic
Journal of Mathematical Logic
Archive for Mathematical Logic
Fundamenta Mathematicae
The Journal of Philosophical Logic
Notre Dame Journal of Formal Logic
Mathematical Logic Quarterly

Até onde me lembro, nem o Notre Dame nem o MLQ estao no Qualis de matemática.

E entao, vamos fazer um subgrupo separado para discutir/preparar isso  
? Depois de feito o trabalho a gente divulga na lista e pega mais  
assinaturas, claro...


[]s  Samuel

PS: Rodrigo e Valeria, que bom que vcs vao estar aqui em Salvador  
semana que vem, poderemos conversar a respeito disto também !





Quoting Rodrigo Freire :


Olá Décio

Pensei em agrupar as revistas  filosofia da ciência separado das de
lógica e depois juntar tudo. Tem a Synthese, Erkenntnis, Philosophia
mathematica, Theoria, enfim. Você sabe bem mais do que eu para
organizar essa parte.

Abraço
Rodrigo


On 2/25/12, Rodrigo Freire  wrote:

Olá

A idéia não era pegar toda a lista do Colyvan, mas apenas a parte
específica que diz respeito a lógica/filosofia. As revistas
específicas de lógica que estão na lista do Colyvan são:

1- journal of philosophical logic
2- journal of symbolic logic
3- notre dame journal of formal logic
4- review of symbolic logic
5- studia logica

Acho que essas deveriam ser A1 ou, no mínimo, A2 na filosofia.

Para lógica/matemática estou um pouco por fora, mas me parece que as
melhores revistas são:

1- annals of pure and applied logic
2- fundamentae mathematicae
3- journal of symbolic logic

Não sei qual deveria ser a classificação na matemática. Arriscaria A2 ou
B1.

Para lógica/computação não tenho palpites.

Respondendo em parte a pergunta do Edgar, eu não acho absurdo que o
journal of symbolic logic seja A2 na filosofia. Acredito que deveria
ser A1 (mais pela história do journal do que pelo que ele é hoje).
Acho que o pior é não ter classificação na matemática dado que *hoje*
(depois da criação do review of symbolic logic) não tenho dúvida que o
jsl é muito mais um journal de matemática do que de filosofia.  Sobre
o que faz um journal melhor do que outros, bom, não há uma fórmula.
Claro que a qualidade dos trabalhos publicados é o que faz um journal
ser bom ou ruim, mas isso depende da percepção de uma comunidade.

Abraço
Rodrigo







Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] documento para a capes

[samuel]

Olá Itala e demais da lista,

Se não me engano, Studia Logica nao foi incluída na tabela porque já  
está no Qualis, com boa qualificação em Filosofia (A2) e uma  
qualificação "não ruim" em Matemática (B2).


(Foi isso mesmo, não é, Rodrigo e Valeria ?)

Se é o caso de melhorar em computação, alguém poderia nos dar um feedback...

Até,

[]s  Samuel

Quoting "Itala M. L. D'Ottaviano" :


Caro Rodrigo:

Concordo com os termos do documento.
Entretanto, como não está mencionada Studia Logica?

Itala

Caros colegas

Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
para o qualis que deverá ser encaminhada a capes. O documento contém dois
componentes: uma carta e uma tabela com revistas e propostas de
classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
tabela.

A idéia é ouvir as opiniões da lista e depois preparar um documento
contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
no jornal da ciência.

Lembro que a atualização do qualis está em processo, por isso temos *pouco
tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
Manifestem-se.

Abraço
Rodrigo



[Aos comitês relevantes da Capes para o Qualis]

O presente documento tem por finalidades: (i) diagnosticar e avaliar a
situação
das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
responsáveis
da Capes uma proposta da comunidade acadêmica para a atualização em curso
(2012)
do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
notamos que as
publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
da
Computação e constatamos que nas respectivas listas Qualis a situação da
Lógica é
insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
melhores
revistas de Lógica sequer possuem uma classificação em pelo menos uma
dessas áreas.
Em segundo lugar, nas listas correspondentes às três áreas acima, as
revistas de Lógica
não apresentam uma classificação coerente nem com a qualidade das mesmas,
nem com
a percepção da comunidade internacional a respeito delas. Por último,
notamos que, em
duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
desvalorizada com relação às demais subáreas, não sendo contemplada com
nenhuma
revista especializada nos estratos A.

A presente proposta elabora em detalhes os pontos de insatisfação levantados
acima, considerando a partir de agora a situação da Lógica separadamente em
cada uma
das três áreas destacadas, começando pela Matemática. Há, em grande medida,
consenso na comunidade internacional de lógicos matemáticos sobre quais são
as
melhores entre as revistas especializadas que publicam pesquisa original em
Lógica
Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
Logic,
Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
Mathematical
Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
The
Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
revistas
listadas acima possuem uma classificação segundo Qualis na área de
Matemática
(ambas B1). No documento anexo segue uma proposta de classificação para
cada uma
dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
que julgamos
ter qualidade compatível com o estrato A1 e um grupo com as quatro revistas
restantes,
que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
encontramse
Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
Journal of
Symbolic Logic, conforme indicado no documento anexo. Lembramos que a Lógica
Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
contemplada por revistas especializadas em outras áreas. Ao contrário,
trata-se de uma
disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
Teoria de
Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
Matemática
apresenta conexões substanciais com Álgebra Universal, Análise não-Standard,
Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
Medida,
Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
para
estabelecer outras relações e para aprofundar as relações já existentes. A
Lógica
Matemática é comparável, em extensão e profundidade de seus resultados, a
outras
disciplinas matemáticas atualmente contempladas com vários periódicos nos
estratos A.

Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
corrigiu
algumas distorções relativas à Lógica. Contudo, há ainda ausências
notáveis: as revistas
The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
possuem
classificação. Essa situação é compreensível no caso da primeira, pois a
mesma foi
criada em 2008 e a última lista Qualis foi produzida já em 2009, mas é
totalmente
incompreensível no caso da segunda. O Notre Dam

[Logica-l] A noção de "meia-vida"

[samuel]

Olá a todos,

Acrescento mais um detalhe na resposta de Valeria para Jean-Yves:

Além do medo da "auto-promoção" (Rodrigo Freire, que está entre os que  
escrevem a carta, é um dos autores desse artigo com recorde de  
downloads), também tem uma coisa muito estranha que eu já li nos  
documentos da CAPES, que é a noção de "meia-vida" (que eu pensei que  
só se aplicasse a pneus de carro, mas enfim). Em resumo, quanto mais  
antiga é a revista, maior é a sua "meia-vida"...


Achei em um blog a definição formal de meia-vida:

**

Em termos técnicos, a meia-vida de um periódico corresponde ao número  
de anos de sua publicação, contados a partir do ano corrente, que  
compreenda 50% do total de citações recebidas pelo periódico no ano  
corrente.


**

Como a Logica Universalis começou em 2007, fica difícil tentar puxar  
muito pra cima porque é uma revista ainda sem "meia-vida".


Observo também, como Rodrigo já fez há poucos dias, que o estrato A2  
de Matemática para a CAPES é bastante exigente ! A Proceedings AMS é  
uma revista "apenas" A2... Não seria fácil uma revista nova pular para  
o A2.


Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Blog para recolher assinaturas - Documento para a CAPES

[samuel]

Caros,

Depois de ouvir a comunidade nesta semana, e considerar boa parte das  
sugestoes, eu, Rodrigo e Valeria estamos disponibilizando um blog para  
recolher as assinaturas para o abaixo assinado a ser enviado à CAPES  
(juntamente com a "carta" da proposta e a "tabela"...).


Por favor acessem


http://qualisabaixoassinado.blogspot.com.br/


e deixem um comentário com seu nome e afiliacao, como forma de  
participar do abaixo-assinado.


Esperamos enviar esse documento para os comitês assessores das três  
áreas nos próximos dias (já que a atualizacao do Qualis está em curso  
e o tempo urge). Também pretendemos seguir algumas sugestoes que  
recebemos no que se refere a divulgar essa nossa mobilizacao, em breve  
trataremos disso também.


Abracos a todos,

[]s  Samuel








Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Um trabalho urgente (e pragmático...)

[samuel]

Olás,

Com relacao ao trabalho que eu, Valeria e Rodrigo fizemos recentemente  
sobre a classificacao das revistas pelo Qualis e que está disponível  
para assinaturas no blog


http://qualisabaixoassinado.blogspot.com.br/

gostaria de chamar a atencao para o seguinte aspecto:

- Todos nós (eu, Valeria, Rodrigo) concordamos que o sistema de  
avaliacao Qualis pela CAPES é falho em mais ou menos um milhao de  
aspectos. No entanto, nos dispusemos a fazer uma sugestao bastante  
"realista" (pragmática ?) e "dentro das regras atuais do jogo" para  
nos posicionarmos melhor (como comunidade) dentro do sistema de  
avaliacao da Qualis.


Acreditamos que apenas seremos capazes de discutir questoes mais  
complicadas (ou seja, tomar seriamente a idéia de tentar mudar as  
regras do jogo) quando estivermos numa posicao mais privilegiada -  
i.e., quando nos posicionarmos melhor na disposicao *atual* do jogo.


Nao pensem que estamos "dando respaldo ao sistem"a, queremos estar  
melhor no sistema antes de eventualmente tentar mudar o sistema... E  
com a atualizacao do Qualis em curso, a coisa fica um pouco urgente.


Seguimos esperando as assinaturas de todos no blog !

Abracos a todos,

[]s  Samuel




Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Já entrei com a adesao do Walter

[samuel]

Olás,

Acabo de entrar com a adesao do Walter no blog.

Quem tiver com problemas para publicar no tal perfil "anonymous", por  
favor dê seus dados publicamente aqui na lista, nos autorizando a  
entrar com a adesao no blog.


Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] A RSL

[samuel]

Caros,

Valeria já comentou sobre isso, mas se o contra-exemplo para a  
preocupacao que tivemos com a nocao de meia-vida é uma revista da  
*ASL* que sempre chega no meu instituto no mesmo envelope plástico que  
traz a JSL, entao acredito que mantenho minha coerencia também.


Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Um trabalho urgente (e pragmático...)

[samuel]

Olá Decio, olá Doria,

Grato pelo apoio.

Lembramos aos colegas que esperamos as assinaturas no blog:

http://qualisabaixoassinado.blogspot.com.br/

Mesmo que nao "seja tao efetivo quanto se deseja", ou "que se espera",  
acreditamos que estamos no caminho certo.


Até,

[]s  Samuel


Quoting FAD 2 :


Foi muito bom, e um belo esforço.

Sent from my iPhone

On 25/03/2012, at 17:13, Décio Krause  wrote:


Pessoal
Apesar se sempre haver alguns senões, e certamente haverá, o  
trabalho dos nossos colegas foi brilhante e constitui um avanço no  
que temos no momento. Isso não impede que continuemos "  
mobilizados"  ( eu falando um jargão desses!)

Parabéns
D



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--

Em 25/03/2012, às 00:27, sam...@ufba.br escreveu:


Olás,

Com relacao ao trabalho que eu, Valeria e Rodrigo fizemos  
recentemente sobre a classificacao das revistas pelo Qualis e que  
está disponível para assinaturas no blog


http://qualisabaixoassinado.blogspot.com.br/

gostaria de chamar a atencao para o seguinte aspecto:

- Todos nós (eu, Valeria, Rodrigo) concordamos que o sistema de  
avaliacao Qualis pela CAPES é falho em mais ou menos um milhao de  
aspectos. No entanto, nos dispusemos a fazer uma sugestao bastante  
"realista" (pragmática ?) e "dentro das regras atuais do jogo"  
para nos posicionarmos melhor (como comunidade) dentro do sistema  
de avaliacao da Qualis.


Acreditamos que apenas seremos capazes de discutir questoes mais  
complicadas (ou seja, tomar seriamente a idéia de tentar mudar as  
regras do jogo) quando estivermos numa posicao mais privilegiada -  
i.e., quando nos posicionarmos melhor na disposicao *atual* do jogo.


Nao pensem que estamos "dando respaldo ao sistem"a, queremos estar  
 melhor no sistema antes de eventualmente tentar mudar o  
sistema...  E com a atualizacao do Qualis em curso, a coisa fica  
um pouco  urgente.


Seguimos esperando as assinaturas de todos no blog !

Abracos a todos,

[]s  Samuel




Universidade Federal da Bahia - http://www.portal.ufba.br

___
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






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Sim, a discussao deve ser contínua

[samuel]

Olás a todos,

Sim, concordo que devemos continuar a discussao até chegar num nível  
sensato. No entanto, com a atualizacao em curso, acreditamos, eu,  
Valeria e Rodrigo, e acho que quase todos os demais que estao  
assinando no blog, que é interessante sim a comunidade ser ouvida  
neste momento, para melhorar um pouquinho que seja a nossa situacao,  
mas mantendo as antenas ligadas para as próximas atualizacoes. Essa  
nossa discussao deve ser contínua...


Mas a atualizacao em curso nos deu esse sentimento de urgência. E  
também estamos demonstrando interesse em "participar do jogo" no  
momento, achamos isso importante. Para pedir para mudar o jogo, tem  
que sentar pra jogar primeiro.


E observo que o exemplo citado pelo JY (a revista francesa Comptes  
Rendus) mostra como é difícil lidar com o Qualis: olhando agora pelo  
nosso trabalho pelo lado bom, vejam que estamos propondo um indicativo  
de B2 para Logica Universalis em Matemática, a *igualando* aí à  
Comptes Rendus, com toda a meia-vida e as medalhas Fields envolvidas !!!


Se existem erros, creio que estao mais do lado da CAPES do que "na  
lista preparada pelos colegas".


Até, e quem ainda nao assinou pedimos a assinatura...

[]s  Samuel






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Estamos sim ouvindo a comunidade !

[samuel]

Caros,

Vou responder por mim, ainda nao sei o que Rodrigo e Valeria  
responderiam aqui neste momento...


Quando nos foram apresentadas propostas, nesses últimos cinco ou seis  
dias, respondemos sim: respondemos sobre a Studia Logica e incluímos a  
Studia Logica, respondemos sobre a Theoretical Computer Science que já  
é A1 em Matemática e Computacao, assim nao necessitaríamos incluí-la  
na tabela, discutimos algumas coisas, sim. Nao estamos de ouvidos  
fechados. Também dissemos claramente que tivemos dificuldade para  
fazer a tabela para os periódicos da área de Computacao: Valeria está  
fora do Brasil há muito tempo e com certeza existem pessoas mais  
atualizadas do que ela no que se refere à producao nacional, e essas  
pessoas poderiam ter nos ajudado a fazer a parte específica da  
Computacao, mas alguns preferem criticar depois a participar, enfim.


(Nas primeiras mensagens separadas sobre Qualis, nao estávamos apenas  
eu, Rodrigo e Valeria, outras pessoas estavam claramente convidadas a  
colaborar... Sobraram apenas nós três e fomos até o fim.)


O que nós nao nos propusemos a discutir, e isso é verdade, seria  
entrar numa postura de confronto com a CAPES: desde o início dissemos,  
esta é uma proposta "dentro do jogo", "sem querer mudar as regras do  
jogo". Se a proposta for outra, entao nosso trabalho tem que ser  
abandonado, de fato. Se a idéia é convencer a CAPES a mudar a  
sistemática de avaliacao, nao é isso que estamos querendo fazer, pelo  
menos nao *agora*.


O problema é quando alguém chega e fala: nao gostei da sua tabela,  
prefiro a minha. "Acatar a sugestao", nesse caso, seria simplesmente  
jogar fora todo o nosso trabalho de semanas.


Jean Yves em nenhum momento aceitou a existência de nossa tabela, e  
sim apenas, aparentemente, ele queria que substituíssemos a nossa  
tabela pela tabela dele. Se isso faz parte da maneira idiossincrática  
ou divertida dele trabalhar ou apresentar as coisas, garanto a vocês  
que nao nos divertimos nada com isso.


Também, ele nao nos convenceu que a Logica Universalis deva ser A2 em  
Matemática, enquanto a própria Comptes Rendus que ele citou depois é  
B2 !!!
No CA de Matemática o pessoal olha para essa coisa da meia-vida, por  
mais absurda que essa coisa seja, e nao estamos numa estratégia de  
enfrentamento... Estratégia parece coisa de homens maus por aqui.  
Fazer escolhas pontuais em situacao de desvantagem também.


Ou seja, nao fomos convencidos (eu, Valeria e Rodrigo) de que,  
estrategicamente, seja o momento de discutir as regras do jogo (o que  
aparentemente também é o que Joao Marcos deseja, "discutir as regras  
do jogo", "nao podemos mudar nada profundamente sem mudar as regras do  
jogo" ou algo assim). Proponho entao aos dois, Joao Marcos e Jean  
Yves, que tentem entao convencer outras pessoas que nós somos os  
"ditadores do abaixo assinado": nós nao estamos convencidos disso. A  
maioria das pessoas que nos escrevem estao escrevendo na linha do que  
o Décio acabou de escrever, reconhecendo que estamos tentando fazer um  
pequeno avanco numa situacao que nao nos é favorável. Talvez isso nos  
faca também "descendentes dos patafísicos primitivos"...


Destaco também a mensagem de Hugo Mariano, com um plano claro a médio  
prazo, muito bem !!! E observo que para fazer mudancas nos comitês,  
necessitaríamos do auxílio de outras comunidades... Para mudar o  
Qualis de Matemática, por exemplo, necessitaríamos conversar com  
geômetras, analistas, algebristas... Isso nao pode ser feito antes da  
próxima atualizacao do Qualis. Será assim tao criminoso ou ditatorial  
tentar um pequeno avanco agora ? Eu nao me envergonho de tentar fazer  
isso.


Eu lanco um compromisso público:

Se houver um pedido claro *da* *comunidade* no sentido de: "nao vale a  
pena fazer o que se está fazendo, vamos fazer tudo com calma, discutir  
tudo como lógicos que somos e tentar mudar o Qualis, mudar toda a  
sistemática da CAPES, acabar com o Qualis ou seja lá o que for", bem,  
aí sim nós pensaremos em mudar *a* *estratégia*. Mas vamos esperar que  
isso venha *da* *comunidade*.


Se tentar fazer um pequeno avanco numa situacao que nao nos é  
favorável, e ter um pouco de urgência nisso, nos torna "ditadores do  
abaixo assinado", gostaria de que houvesse mais gente nos dizendo  
isso, nao apenas Jean Yves (e talvez Joao Marcos).


Por enquanto, acho que está tudo bem. Mas, se a comunidade assim o  
desejar, tudo o que fizemos pode ser engavetado para se comecar do  
zero com *outra* *estratégia*. Que *a* *comunidade* nos peca isso  
claramente.


Até,

[]s  Samuel



Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] A BSL (Lodz)

[samuel]

Olás,

Dei uma rápida olhada nos últimos números da BSL (Lodz) no MathSciNet  
da AMS, percebi vários trabalhos de lógica modal publicados nos  
últimos tempos, além de outras subáreas da lógica também  
(substrutural, equacional, lambda-cálculo...). E é uma revista que vem  
dos anos 70 (que bom !). Porém...


Algum brasileiro já publicou por lá ? Esse é outro dos aspectos  
monstruosos do Qualis... "Se nenhum brasileiro nunca publicou lá, não  
precisa entrar na lista"... Absurdo, sim, mas é a atual regra do  
jogo... Então não sei se é justificável propormos algo no momento.  
Temos coisas mais urgentes pra tratar,

possivelmente...

Até,

[]s  Samuel

PS: Lembrei de uma historinha: foi lembrado aqui que, a princípio, o  
Qualis foi feito para avaliar "programas" de pós-graduação. Pois bem:  
quem quiser checar, veja as regras de credenciamento do mestrado em  
matemática da Ufba em:


http://www.pgmat.ufba.br/PG-MAT-UFBA/Ensino_Mestrado_files/Regimento_Mestrado_em_Matematica_VersaoFinal.pdf

No artigo 8o., página 3, está lá bem claro: se o cidadão não tem  
nenhuma publicação maior ou igual a B2 no último triênio, não poderá  
se credenciar.


Já tivemos aqui caso de descredenciamento de docente com publicação  
atualíssima, porém B5.


Então para alguns casos o Qualis está sim associado à "sobrevivência"  
do pesquisador institucionalmente, termos muitas revistas de Lógica de  
B3 para baixo no Qualis de Matemática é um grande complicador.






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] A BSL (Lodz)

[samuel]

Olá Walter, Doria e Jean Yves,

Já estou convencido de que essa revista deva entrar numa proposta em  
Matemática sim, OK. Grato pelo retorno.


Até,

[]s  Samuel


Quoting Walter Carnielli :


Caro Samuel:  pelo menos que eu me lembre, publicaram  no BSL:

Paulo Veloso
Juliana Bueno-Soler
Walter Carnielli

abs

Walter

Em 29 de março de 2012 12:42,   escreveu:

Olás,

Dei uma rápida olhada nos últimos números da BSL (Lodz) no MathSciNet da
AMS, percebi vários trabalhos de lógica modal publicados nos últimos tempos,
além de outras subáreas da lógica também (substrutural, equacional,
lambda-cálculo...). E é uma revista que vem dos anos 70 (que bom !).
Porém...

Algum brasileiro já publicou por lá ? Esse é outro dos aspectos monstruosos
do Qualis... "Se nenhum brasileiro nunca publicou lá, não precisa entrar na
lista"... Absurdo, sim, mas é a atual regra do jogo... Então não sei se é
justificável propormos algo no momento. Temos coisas mais urgentes pra
tratar,
possivelmente...

Até,

[]s  Samuel

PS: Lembrei de uma historinha: foi lembrado aqui que, a princípio, o Qualis
foi feito para avaliar "programas" de pós-graduação. Pois bem: quem quiser
checar, veja as regras de credenciamento do mestrado em matemática da Ufba
em:

http://www.pgmat.ufba.br/PG-MAT-UFBA/Ensino_Mestrado_files/Regimento_Mestrado_em_Matematica_VersaoFinal.pdf

No artigo 8o., página 3, está lá bem claro: se o cidadão não tem nenhuma
publicação maior ou igual a B2 no último triênio, não poderá se credenciar.

Já tivemos aqui caso de descredenciamento de docente com publicação
atualíssima, porém B5.

Então para alguns casos o Qualis está sim associado à "sobrevivência" do
pesquisador institucionalmente, termos muitas revistas de Lógica de B3 para
baixo no Qualis de Matemática é um grande complicador.





Universidade Federal da Bahia - http://www.portal.ufba.br

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




--
---
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science ? CLE
State University of Campinas ?UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Fax: (+55) (19) 3289-3269
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Documento de Área - Matemática

[samuel]

Olás,

João Marcos sempre levanta a coisa da consistência com os documentos  
de área, peguei aqui para ler o de Matemática.


http://www.capes.gov.br/images/stories/download/avaliacao/MATEM_19jun10.pdf

Na página 2, tem uma descrição do processo de avaliação dos  
periódicos: vou dar uma resumida nas primeiras partes.


1 - indicadores numéricos (índices de impacto, meia vida a partir do  
Journal of Citation Reports de 2006)


2 - análise subjetiva, para corrigir distorções ("já entrou a  
subjetividade, hehe")


3 - definição de matrizes (uma tabelona) com sugestões a partir dos  
índices (ver página 3).


A partir daí tem umas partes interessantes que eu vou pôr aqui ipsis literis:

"Um bom número de periódicos relevantes não possui indicadores de  
impacto e/ou meia vida. Nesses casos a Comissão utilizou outros  
indicadores, como composição do corpo editorial, objetivos expressos  
na linha editorial, público alvo do periódicos, sumários dos artigos  
nas revistas e amostras de artigos do periódicos. Estas informações  
foram também utilizadas para corrigir algumas distorções percebidas na  
qualificação obtida dos índices numéricos. Na maior parte dos casos  
estas distorções estavam associadas a indicadores numéricos não  
consolidados, por exemplo, índice de meia vida de periódicos jovens  
(ou que mudaram de nome ou lançaram nova série recentemente."


(Comentário meu: Ou seja: para além dos índices numéricos, existe um  
trabalho de procurar "eliminar distorções"... Será que isto é  
"arbitrário" ? Eu prefiro pensar que as nossas sugestões já estão  
nessa etapa "depois da tabelona", já que por questões estatísticas  
nossas revistas vão ter sempre *menos* citações do que as de outras  
áreas maiores da Matemática ! Segue o texto...)


"Posteriormente, na sequência da Reunião Nacional de Coordenadores de  
pós-graduação, realizada na CAPES em junho de 2009, a Comissão  
procedeu a ajustes no Qualis, a partir de sugestões recebidas de  
pesquisadores, programas e sociedades científicas da área..." (o texto  
continua).


... E eu destaco principalmente este último parágrafo, é costume do  
pessoal de Matemática "pedir sugestões" (pelo menos eles têm esse  
discurso), eu mesmo estou sempre sendo cobrado pelos coordenadores da  
minha pós aqui (tudo gente que tem o telefone direto do Marcelo Viana  
no celular...) para tentar "dar uma arrumada nos Qualis das revistas  
de Lógica"... E vejam que na época de ajustes isso *já* foi feito (em  
2009), eles declaradamente receberam sugestões de pesquisadores, ou de  
sociedades científicas (alguém aí sugeriu que fosse a SBL que fizesse  
uma carta...). Não acho que seja casuísmo, é uma interação com o  
pessoal da CAPES, isso é "apresentar sugestões", isso não é nada de  
outro mundo. Atitude política: "quem se desloca recebe, quem pede tem  
preferência"... Isso tudo na minha opinião, claro. No momento, não  
tenho clareza dos desejos da comunidade (e o abaixo-assinado se  
encontra parado, obviamente, estamos sem perspectivas de encaminhá-lo  
a curto prazo, depois de tantas críticas e polêmicas).


Até,

[]s Samuel



Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Voltou a discussao, que bom !

[samuel]

Olás,

Voltou a discussao, que ótimo ! A lista ficou muito parada na sexta.

Comentários gerais:

- Como Rodrigo já explicou, estamos revendo algumas classificacoes, em  
particular à última proposta feita aqui mesmo para LU.


Espero do colega Jean Yves um pouco de compreensao de que um pedido  
para uma revista subir *diretamente* do B5 para A2 (em Matemática)  
teria pouca chance de ser considerado, um pedido para "B1 ou B2" é  
bastante mais realista e tem melhores chances de ser bem considerado.  
Na minha opiniao, o que eu acabo de dizer é um argumento... Pode nao  
ser o melhor dos argumentos, mas é um argumento. É complicado lidar  
com "revistas jovens", e o nosso indicativo de B5 para B1 já chama a  
atencao para a revista. As sugestoes apresentadas no documento para  
estrato A sao para revistas "já mais consagradas". Isso é um critério:  
pode nao ser o melhor dos critérios, mas é um critério.


- O "custo para sermos convencidos", para se incluir uma revista,  
gente, estávamos só sendo cuidadosos. Uma proposta jogando tudo de B1  
pra cima nao seria sequer considerada, oras.


- Nosso principal critério para classificacao da lista foi o de  
"tentar captar uma sensacao da comunidade internacional", presente em  
algumas listas de periódicos que constavam em selecoes de lógicos  
relevantes. Esse foi o comeco da discussao, aqui na Lógica-L mesmo.  
Nao usamos números, a princípio, nem índices nem nada, portanto nao  
temos muito como apresentar "o nosso critério", além de voltar no  
tempo e pensar nessa coisa abstrata de "sensacao da comunidade  
internacional". Concordo que isso possa parecer "falta de critérios",  
mas uma comissao independente de três pessoas, com urgência de  
apresentar uma proposta (o Qualis de Matemática, em particular, está  
lá marcando EM ATUALIZACAO), e ainda mais tendo clareza que iríamos  
pedir o apoio da comunidade, e sugestoes, acho que nao necessitaríamos  
apresentar uma tabela como na página 2 do documento de área de  
Matemática, contávamos mais com a compreensao e o apoio dos colegas...  
What whould you do when I sing out of tune e essas coisas. Acho que  
seríamos pessoas sem ética ou critérios se passássemos por cima da  
comunidade, mas, como deixamos tudo às claras, nao creio que seja o  
caso.


- Já fiz muito lobby e já marquei muita presenca na vida, pessoas de  
áreas menos
apoiadas têm mesmo que se movimentar, na minha opiniao. Nunca veremos  
um movimento de "pesquisadores de sistemas dinâmicos querendo melhorar  
o Qualis", pois as revistas deles sao todas de B1 pra cima e a maioria  
no estrato A. Que mundo terrível esse que vivemos, mas nao me  
envergonho de fazer lobby, nao, meus caros.


- A propósito, voto na proposta 1, tentar convergir para apresentar  
esse documento nos próximos dias, sempre tendo em vista que temos que  
discutir isso mais continuamente neste e nos próximos anos.


Será que fazer uma discussao mais longa agora e perder a avaliacao  
*em* *curso* vale mesmo a pena ? Será que o nosso documento é mesmo  
tao ruim como "primeira aproximacao" do desejo da comunidade ?


Problemas pontuais, por favor apontem, sugiram, comentem. Esses  
verbos, "apontar", "sugerir", "comentar", podem ser conjugados num  
clima nao-acusatório.


Até,

[]s  Samuel









Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Só uma lembranca sobre fator de impacto

[samuel]

Olás,

Sim, voltamos à discussao, que ótimo.

Uma observacaozinha sobre fator de impacto, Rodrigo já falou isso  
nestes últimos dias mas só pra frisar:


- Uma complicacao que temos em tentar "ordenar por fator de impacto" é  
que nao temos como saber "de onde veio esse impacto" - no caso, as  
citacoes foram feitas em Matemática, Computacao ou Filosofia ?


No limite, se apresentássemos uma proposta baseada prioritariamente em  
fator de impacto, teríamos que apresentar "a mesma ordem para as três  
áreas", e acho que nao é o caso. Creio que todos estamos de acordo,  
por exemplo, que a Studia Logica deve estar melhor "qualisficada" na  
Filosofia do que em Matemática.


Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Texto da IMU sobre fator de impacto

[samuel]

Olás,

Surgiu para nós um texto da Uniao Matemática Internacional sobre fator  
de impacto:


http://www.mathunion.org/fileadmin/IMU/Report/CitationStatistics.pdf

Minha citacao preferida é:

"Using the impact factor alone to judge a journal is like using weight  
alone to judge a person's health."


Isso vai mais ou menos no caminho do que eu, Rodrigo e Valeria  
pensamos quando preparamos a tabela e a carta.


Até,

[]S  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Reflexões sobre este domingo !

[samuel]

Olás,

Tive uma folga da lista no domingo, li as mensagens hoje... Alguns  
comentários.

E acreditem, estou de bom humor !

- Talvez tiremos de nossa lista o JML por não ter publicações de  
brasileiros, isso pode ser feito... Por ser uma revista nova,  
poderíamos apresentar (seria cabível apresentar) uma sugestão de que  
"pelo menos entrasse no Qualis", mas aí se fizermos isso não pode ser  
na frente da LU para que o Jean Yves não brigue com a gente. 8-)


- Na seção "melhores momentos", vamos ao "inclua-me fora dessa" do  
João Marcos, confiram aqui no replay:


Eu: > No limite, se apresentássemos uma proposta baseada  
prioritariamente em fator

de impacto, teríamos que apresentar "a mesma ordem para as três áreas", e
acho que nao é o caso. Creio que todos estamos de acordo, por exemplo, que a
Studia Logica deve estar melhor "qualisficada" na Filosofia do que em
Matemática.


JM: "Inclua-me fora desta", Samuel!  Definitivamente não estou "de acordo"
com o pressuposto de que a produtividade de um pesquisador individual
tenha sua _qualidade_ medida de forma diferente, de acordo com a régua
do medidor.  O "valor científico" de uma certa pesquisa deveria ser
algo um pouco mais objetivo.
Agora, se a preocupação toda de vocês diz respeito apenas à
qualis-ficação de programas de pós-graduação, e de candidatos a
credenciamento por parte destes programas, confesso que meu interesse
no assunto é reduzido.

Sim, vamos trocar o "todos estamos de acordo que a Studia Logica DEVE  
ESTAR melhor qualisficada etc." por "todos devem acreditar que, PELAS  
ATUAIS REGRAS DA CAPES, a Studia Logica deveria estar melhor  
qualisficada etc."  Claro, não posso cobrar que todos tenham chegado  
no meu nível de "aceite das regras do jogo"...


Pois é, desde o início dissemos: não queremos propor mudanças na regra  
do jogo.


 Eu me lembro que há uns três anos atrás eu também dizia isso aos  
quatro cantos, "é um absurdo que tal revista seja A1 aqui, B1 ali e B3  
acolá"... Com o tempo me acostumei com a idéia de que "as coisas são  
assim", e as opções são:


-> fazer um esforço hercúleo envolvendo não só os lógicos, mas  
algebristas, geômetras, analistas, matemáticos aplicados, etc., para  
mudar isso, ou...


-> tentar se adaptar para ver como sobreviver a esse absurdo.  
(Adaptação e sobrevivência, esse tipo de coisa existe, não ???)


Tudo o que fizemos, sim, foi no sentido de se adaptar (em resposta  
também ao "O que me intriga: por que tanto desejo de simplesmente nos  
_ajustarmos ao sistema_?"). Adaptar para sobreviver.


Bem, a tentativa de se ajustar ao sistema também tem a haver com  
"interesses", onde a pessoa tenha interesses reduzidos ou não. Eu  
tenho grande interesse em:


- não ver colegas tendo pedidos de viagens e apoios negados por "não  
ter boas publicações Qualis";


- não ver colegas não conseguindo se credenciar em programas de pós,  
também devido a questões de Qualis;


- não ver colegas com dificuldades para orientar alunos que lapidaram  
desde a iniciação científica, exatamente por não estarem credenciados;


- não ver colegas sendo considerados "matemáticos de segunda divisão"  
em seus departamentos, não podendo participar oficialmente da  
pós-graduação...


(isso tudo eu vi acontecer pelo Brasilzão de meus Deus ultimamente)

... etc. etc. etc. Nisso eu tenho grande interesse !

A questão é: eu não preciso de mãos limpas para ter a minha  
consciência tranquila. Se o Qualis é uma m* mas afeta a mim e aos meus  
colegas, eu vou lá e sujo as minhas mãos... No fundo, no fundo eu  
continuo com a minha opinião de alguns anos atrás, "que é um absurdo  
que aconteça isso, isso e isso". Mas ir por esse lado apenas me  
deixaria com a consciência tranquila e as mãos limpas. Prefiro sujar  
um pouco as minhas mãos e melhorar a situação para mim e para muitos  
colegas.


(PS: Nós apenas aceitamos as regras do jogo, NUNCA DEFENDEMOS AS  
REGRAS DO JOGO, sempre deixamos bem claro que achamos o Qualis uma  
grandesíssima porcaria, por isso que eu entendo quase como uma  
acusação uma afirmação do tipo "Parece-me quase incompreensível que  
vocês defendam a ideia de que, por exemplo,...(complete com seu um  
absurdo qualístico preferido aqui)". Será que todo peão de fábrica que  
senta para negociar com o patrão é pelego ? Eu estou querendo sentar  
pra negociar, só isso...)


- Por conta desse lado prático e pragmático que eu destaquei várias  
vezes aqui, acho no momento indefensável que apresentemos uma sugestão  
em que a avaliação seja a *mesma* nas três áreas. Muito possivelmente  
é o certo ! Muito possivelmente é a opção que merece ser defendida a  
longo prazo ! Muito possivelmente é o mais justo ! Mas no momento é  
indefensável. Pelo menos no curto prazo. Se decidirmos brigar co

Re: [Logica-l] Reflexões sobre este domingo !

[samuel]

Olás,

Não sei haverá outro turno ou o segundo turno do segundo turno, mas lá  
vai uma resposta para a pergunta:




Uma curiosidade: em que a classificação justificada e única que propus
lhe prejudica, ou prejudica os seus colegas lógico-matemáticos?



Não me prejudica em nada, prejudica a proposta, faz com que ela seja  
posta de lado automaticamente. Uma área (ou melhor, subárea, somos  
subárea de MA, CC e FI) individualmente nunca mudaria a sistemática do  
Qualis, se queremos fazer isso temos que fazer um trabalho de longo  
prazo sem perspectivas de conseguir alguma coisa nem no médio prazo.  
Lembrando que revistas de Engenharia também tem Qualis diferenciados  
em Física e vice-versa, e essas todas tem Qualis diferente no  
inacreditável Qualis Interdisciplinar (!!!???!!!), essa coisa da mesma  
revista ter Qualis diferentes em várias áreas está nas entranhas do  
sistema, eu acho que não dá pra ir contra isso, não agora, com o  
Coleta de Dados fechando em duas semanas. Mesmo que eles estejam  
errados e nós (no fundo no fundo eu também adoraria que a lista fosse  
única...) estejamos certos, não estou nem entrando nessa discussão.


Por adaptação e sobrevivência, estou jogando o jogo dos caras e não me  
envergonho disso.


(Claro que também não me orgulho, hehe, cheguei já na fase do "assim  
que as coisas são".)


Até,

[]s  Samuel




Quoting Joao Marcos :


 Claro, não posso cobrar que todos tenham chegado no meu nível de "aceite
das regras do jogo"...

Pois é, desde o início dissemos: não queremos propor mudanças na regra do
jogo.


Não vejo em quê a proposta de uma qualis-ficação única e bem
fundamentada/justificada vá contra as "regras do jogo" (da CAPES, não
de vocês).


Com o tempo me acostumei com a idéia de que "as coisas são assim",


Talvez eu me acostume também, dentro de mais uns 100 anos. :-)


Bem, a tentativa de se ajustar ao sistema também tem a haver com
"interesses", onde a pessoa tenha interesses reduzidos ou não. Eu tenho
grande interesse em:

- não ver colegas tendo pedidos de viagens e apoios negados por "não ter
boas publicações Qualis";

- não ver colegas não conseguindo se credenciar em programas de pós, também
devido a questões de Qualis;

- não ver colegas com dificuldades para orientar alunos que lapidaram desde
a iniciação científica, exatamente por não estarem credenciados;

- não ver colegas sendo considerados "matemáticos de segunda divisão" em
seus departamentos, não podendo participar oficialmente da pós-graduação...


Se a defesa dos seus interesses exigem a valorização injustificada de
alguns periódicos (tal como foi feito na área da Filosofia, que agora
supostamente "não pode mais voltar atrás"), então seus interesses
provavelmente se chocarão com o interesse de outros que serão
prejudicados com o seu lobby (não tenho em princípio nada contra
lobby, desde que feito de uma forma profissional, como no sistema
político estadunidense).

Uma curiosidade: em que a classificação justificada e única que propus
lhe prejudica, ou prejudica os seus colegas lógico-matemáticos?

Como já disse antes, minha opinião sobre o Qualis como iniciativa não
é tão negativa quanto a de vocês.  E agora estou jogando as regras do
jogo CAPES, classificando as coisas segundo as regras propostas em um
documento de área que leva em consideração exclusivamente medidas de
relevância e fator de impacto.  O que está errado?

Joao Marcos

--
http://sequiturquodlibet.googlepages.com/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Lista única não vai funcionar

[samuel]

Olás,

A proposta de uma lista só é como João Marcos disse:


... Proponho um *modelo
padrão estendido a partir do qual outros podem se diferenciar
caso-a-caso, de forma justificada*.  Que bom que você também gosta da
ideia de uma lista única !



Achar que os três comitês da CAPES vão adotar uma idéia de "modelo  
padrão estendido para diferenciar caso a caso" é ingênua. Os comitês  
vão preferir lidar com uma proposta que reconheça a sistemática atual,  
de avaliações diferentes por área. Vão querer "sentar pra conversar  
com peões que não querem mudar totalmente o acordo coletivo de  
trabalho".


Sem contar que passar o trabalho para outras pessoas ("por favor,  
diferencie aí caso a caso") me soa bastante antipático.


Vamos lá... Proposta 1 ! Vou ter que começar a pedir voto aqui.

Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Escrevi para um dos coordenadores de MA

[samuel]

Olá Ana Teresa e demais,

Eu escrevi hoje uma mensagem mais pessoal para um dos coordenadores de  
MA, Lorenzo Diaz (PUC-Rio), podem ficar tranquilos... Ele tem contato  
com o pessoal da pós em Matemática aqui da Ufba, entao com ele temos  
algum canal de diálogo.


Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Beamer

[samuel]

Caros,

Minha experiência com o Beamer do Latex foi: um aluno meu aprendeu, me  
passou o arquivo .tex para eu ficar comparando o que se digita com o  
que sai na tela e... Pronto, não precisei ler as 250 páginas do  
manual, é só ter paciência na primeira vez e depois se acostuma.


Quem não tiver um aluno que já saiba, hehe, pode pedir arquivos para  
alguém, por exemplo pra mim, é só ter o pacote beamer instalado e  
analisar direitinho algum que já esteja pronto e sair fazendo.


Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] "Saldo" positivo no Qualis (?)

[samuel]

Olás,

Pensando no Qualis de *Matemática*, no qual algumas revistas subiram e  
outras caíram (conforme já comentado em mensagens anteriores), na  
minha visão o *saldo* foi positivo.


Não é agradável que a Studia Logica e o Logic Journal IGPL tenham  
descido, nem que o TCS tenha caído tanto, claro. Mas, "conhecendo o  
pessoal do Qualis de Matemática", uma revista com "Computer Science"  
no nome não ia ficar muito tempo como A1 mesmo; e acho que a subida de  
algumas tantas revistas para o extrato A, no caso as tais cinco para  
A2(Fuzzy, JSL, APAL, J. Algorithms, J. Symb. Computation - e essa é  
uma que pode cair no futuro por ter computação no nome...-), foi algo  
bastante bom para a gente. Então, acho que o saldo foi positivo. Não é  
algo de se sair comemorando (claro, JM !), mas a minha sensação é que  
a coisa melhorou.


E isso no geral para o Qualis de Matemática: parece que a lista está  
mais palatável. Algumas revistas generalistas que não eram A2 viraram  
A2 (Canadian Journal of Mathematics, por exemplo...).


Tem um vetor baixando e um vetor subindo, mas eu gostei desse vetor  
subindo aí.

Devem ter lido o documento, pelo menos !

Até,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Proceedings do EBL ?

[samuel]

Olás,

Sem querer incomodar mas já incomodando - algumas notícias dos  
resultados dos proceedings do EBL ? A data dos resultados, após o  
"very comfortably extended deadline", era hoje...


Atés,

[]s Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Atracao de visitantes do exterior - "Ciência sem Fronteiras"

[samuel]

Caros colegas,

Chamo a atencao para o seguinte link do CNPq, acho que é uma boa  
oportunidade para atrair colaboradores do exterior para passar algum  
tempo no Brasil:


http://www.cienciasemfronteiras.gov.br/web/csf/atracao-de-cientistas-para-o-brasil

O que achei mais interessante é a possibilidade de fazer projetos  
prevendo que o
colaborador estrangeiro se comprometa a passar, "apenas", pelo menos  
um mês no Brasil por ano, por dois ou três anos. Como o problema quase  
sempre é a agenda do colaborador, essa flexibilidade (de poder ir e  
voltar em visitas mais curtas) me parece ótima.


Deadline para submissao: 01 de outubro.

Até,

[]s  Samuel


PS-1: O link em inglês para mandar para seus colaboradores:

http://www.cienciasemfronteiras.gov.br/web/csf-eng/opportunities-for-individuals-from-abroad

PS-2: Nao li nada do projeto, nao sei os detalhes... Tem aí também a  
possibilidade de atrair jovens talentos...


PS-3: Acho o Ciências sem Fronteiras bastante polêmico, mas nao estou  
propondo nenhuma discussao a respeito do projeto, só estou avisando de  
um deadline... Quem quiser discutir, no entanto, fique à vontade ! 8-)






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Concurso para Lógica e Teoria dos Conjuntos na UFBA

[samuel]

Olás,

Escrevo para divulgar que estão abertas inscrições para mais um  
concurso do Departamento de Matemática da UFBA, para as áreas de  
Lógica e Teoria dos Conjuntos (na verdade, o concurso desta vez será  
feito juntamente com a área de Álgebra (02 vagas no total), mas os  
pontos das provas sempre vão ter coisas específicas de Lógica e Teoria  
dos Conjuntos...).


Também estão abertas vagas para outras áreas da Matemática, divulguem  
aos amigos.


A titulação é: Doutorado em Matemática, ou Doutorado em Filosofia  
(Lógica Matemática). Ainda estamos conseguindo manter no nosso  
departamento essa titulação de doutoramento em filosofia pensando em  
candidatos que eventualmente tenham essa titulação, interessados  
aproveitem porque isso mais dia menos dia vai cair e só vai ficar o  
título de Doutor em Matemática.


Inscrições: De 20 de setembro a 19 de outubro

O concurso deve ocorrer em meados de novembro.

Mais detalhes e link para o edital completo em:

http://www.dmat.ufba.br/noticias/publicado-edital-para-concurso

Interessados podem se sentir livres para escrever para mim para  
maiores informações também (à parte da lista, sam...@ufba.br).


Até mais,

[]s  Samuel



Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Concurso para Lógica e Teoria dos Conjuntos na UFBA

[samuel]

Olá João,

O pessoal de departamentos de matemática, em geral, não gosta muito  
que físicos tentem entrar, e também não simpatizam muito com  
engenheiros, então eles evitam o "áreas afins". Sei disso de vários  
departamentos de matemática.


Além do preconceito com outras áreas, eles acham que se deixar o áreas  
afins "se inscreve muita gente" e fica difícil fazer o concurso.


(Obviamente que eu não teria problema nenhum com nenhuma dessas  
coisas, isso aí é tudo do pessoal de velha guarda)


Por isso que eu digo: ter essa titulação de Doutorado em Filosofia foi  
uma luta hercúlea !


Até,

[]s  Samuel


Quoting Joao Marcos :


A titulação é: Doutorado em Matemática, ou Doutorado em Filosofia (Lógica
Matemática). Ainda estamos conseguindo manter no nosso departamento essa
titulação de doutoramento em filosofia pensando em candidatos que
eventualmente tenham essa titulação, interessados aproveitem porque isso
mais dia menos dia vai cair e só vai ficar o título de Doutor em Matemática.


Uma solução é escrever "ou área afim", que é vago o suficiente para
servir em todas as circunstâncias.

JM

--
http://sequiturquodlibet.googlepages.com/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Concurso para Lógica e Teoria dos Conjuntos na UFBA

[samuel]

Olás,

Pois é, concordo que a prova escrita já poderia filtrar tudo, mas as  
pessoas têm visões arraigadas de décadas e etc... Mas anoto os seus  
argumentos para levantá-los numa próxima reunião aqui. Só pra ver o  
pessoal mais velho espumando. 8-)


(Sobre o número de candidatos: concursos de física têm mesmo muito  
mais candidatos do que matemática, para quem quer enxugar "logo de  
saída" esse argumento sempre é levantado)


Sobre a coisa de estrangeiros: eu coleciono histórias ridículas a esse
respeito 

1) Um colega nosso que se inscreveu num concurso aqui há um tempo atrás teve a
sua inscrição não-homologada, porque... Seu curriculum estava em espanhol.

Apesar de perfeitamente legível para quem quisesse ler, a  
justificativa que me deram foi: "o currículo faz parte da prova de  
títulos, e a prova tem que ser feita em português".


Pelo menos o Ciência sem Fronteiras aceita currículos e projetos em inglês.

2) Uma colega nossa que fez concurso aqui tinha o seu doutorado numa  
renomada universidade britânica, fundada em 1200 e alguma coisa. No  
processo para revalidação do diploma, veio a seguinte pérola do setor  
jurídico da universidade:


"O Instituto e a Universidade devem realizar esforços para contatar o  
consulado britânico para verificar se a Universidade de (...uma das  
duas tops que vocês estão pensando mesmo...) está credenciada a dar  
diplomas de doutorado"


... Depois quando veio a tese para que eu desse o parecer (o processo  
veio pra minha mão, por isso li a pérola acima), pediam que se falasse  
das "credenciais acadêmicas" da tal universidade, e eu comecei  
falando: eles formam doutores desde 1220...


3) A FAPESB, que é a FAP local aqui da Bahia, teve recentemente aberto  
um edital para pesquisador visitante. Eu fiquei sabendo três semanas  
antes do deadline e já era impossível se inscrever. Falta de tempo  
para fazer um

projeto ? Não, projeto a gente faz em uma semana...

A FAPESB pedia que O PESQUISADOR CANDIDATO *assinasse* pelo menos uma  
das duas vias do projeto (em PAPEL, percebem ?) a ser protocolado  
(como se fizesse diferença eu mandar uma ou duas folhas de formulário  
para a Europa para ser assinado e voltar, sem nenhuma garantia que os  
correios dessem conta do processo em três semanas).


4) Outra da FAPESB: normalmente queremos trazer candidatos  
estrangeiros para que eles aprendam a língua e já vão adiantando toda  
a documentação para lá na frente fazer um concurso, certo ? Pois é,  
para o pós-doutorado da FAPESB, se pede, para candidatos estrangeiros,  
REVALIDAÇÃO DO DIPLOMA NO BRASIL - antes mesmo do cara vir pra cá !!!  
É mole ?


... E se eu parar pra pensar eu lembro de outras histórias, essas  
acima são as mais recentes.


Estamos muito distantes da tal "internacionalização da ciência  
brasileira", porque para fazer isso já deveríamos ter avançado do  
"provincianismo da ciência brasileira" (e dos órgãos públicos em  
geral) para uma situação pelo menos razoável para a partir daí melhorar.


Até,

[]s  Samuel


Quoting Joao Marcos :


Olá, Samuel:


O pessoal de departamentos de matemática, em geral, não gosta muito que
físicos tentem entrar, e também não simpatizam muito com engenheiros, então
eles evitam o "áreas afins". Sei disso de vários departamentos de
matemática.

Além do preconceito com outras áreas, eles acham que se deixar o áreas afins
"se inscreve muita gente" e fica difícil fazer o concurso.


Se vocês forem "suficientemente" rigorosos na correção da prova
escrita, que é eliminatória, podem deixar passar para a etapa que toma
mais tempo da banca (apresentação de aulas, defesa de memorial etc)
apenas uma quantidade de candidatos "razoável".  Não é necessário
filtrá-los ANTES do concurso... (em Filosofia a filtragem costuma ser
ainda mais absurda, e é frequente a exigência de "graduação em
Filosofia", ou algo parecido)

Não me parece que os vários concursos que vocês abriram nos últimos
tempos (e que, de forma geral, têm sido abertos prodigamente Brasil
afora!) tenham sofrido exatamente com "excesso de candidatos", não é?
Seria muito bom, aliás, que pudéssemos travar lutas mais
significativas e permitir que candidatos estrangeiros (há alguns nesta
própria lista) pudessem prestar estes concursos no Brasil com mais
facilidade (editais e provas em língua inglesa, ou mesmo à distância).
 Recordo que o requisito de "demonstrar proficiência" (prova CELPE, ou
equivalente), assim como o de "comprovação de título", legalmente são
exigidos apenas no momento da contratação.

Enfim, a Lei Nacional (e o grupo de Matemática da UFBA) certamente já
é simpática a candidatos estrangeiros --- falta agora realmente
facilitar a participação deles, para sermos capazes de "importar
cérebros" sem impor qualquer tipo de protecionismo besta.

* * *

Uma ilustração engraçada (trágica?): vocês n

[Logica-l] Esclarecendo alguns pontos do "caso particular"

[samuel]

Olá João Marcos,

Concordo com praticamente tudo o que você levantou, só observo que as  
decisões em departamentos em geral simplesmente *não* seguem o bom  
senso e são tomadas por votações onde a "velha guarda" tem muitos  
votos e tende a ganhar, até por inércia muitas vezes.


Para nós conseguirmos deixar esse título de doutorado em filosofia,  
foi MUITO difícil. Na reunião que foi aprovado isso, eu tive que fazer  
uma estratégia ferrenha de deixar para me inscrever por último na  
discussão e fazer o discurso da minha vida, pergunte para Andreas...


Esclarecendo:

1) Não só a área de Lógica não está conseguindo contratar gente aqui,  
de 2009 para cá temos sempre coisa de 18 vagas em concurso (para  
diversas áreas, esse número elevado é por conta do REUNI), e a cada  
concurso contratamos no máximo 4 ou 5 pessoas, nesse meio tempo chegam  
mais umas 4 ou 5 vagas, aí reabrimos um concurso para 18 vagas e o  
ciclo se repete, tendo já se repetido umas cinco ou seis vezes. O bom  
é que, nos 3 anos, acabam entrando umas 15 pessoas, mas demora 3 anos  
pra isso.


2) O título de "Doutorado em Lógica" é, até onde descobrimos na época,  
o título que doutores do CLE obtinham nos anos 80 e 90, algo assim.


3) A idéia do (Lógica Matemática) assim, entre parênteses, é pra  
congregação julgar se a tese do candidato foi na área, na hora de  
homologar, essas coisas.


4) O pessoal da velha guarda daqui simplesmente não topa muito o  
pessoal local de computação (por bobagens do tipo "quem vai ganhar ou  
quem ganhou a eleição para diretor do instituto"), então se nós  
tentássemos incluir doutorado em computação, íamos perder tudo,  
inclusive o doutorado em filosofia. Preferimos ir ganhando aos poucos  
do que perder tudo ao insistir levar tudo. Mas claro que se vários  
colegas com esse títulos nos procurarem demonstrando interesse,  
podemos voltar à carga numa próxima reunião aqui e tentar incluir  
isso...



... E sim, os editais deveriam ser muito mais tranquilos, em geral, e  
- por falar em internacionalização - por quê é tão polêmico essa coisa  
de "não pode haver ...(coloque o que você quiser aqui)...em inglês"...  
Aula em inglês não pode, curriculo em inglês não pode, tese em inglês  
não pode, defesa em inglês não pode, concurso em inglês não pode...  
Até onde eu saiba, na maioria absoluta das universidades é assim.


Até,

[]s  Samuel






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] STW 2013 - In honour of Prof. Ofelia Alas (Pre-announcement)

[samuel]

Please, feel free to duplicate.


**PRE-ANNOUNCEMENT**

STW 2013 - Brazilian Conference on General Topology and Set Theory
In honour of Prof. Ofelia Alas on the occasion of her 70th birthday.

Date: 12-16 August, 2013
Beach Hotel Maresias, Sao Sebastiao, Sao Paulo, Brazil
www.maresiashotel.com.br


Homepage of the event: Will be available soon.
E-mail: stw2013saopa...@gmail.com


Organizing Committee:

Lucia R. Junqueira, chair (USP, Brazil)
Leandro F. Aurichi (USP, Brazil)
Rodrigo R. Dias (USP, Brazil)
Marcelo D. Passos (UFBA, Brazil)
Samuel G. da Silva (UFBA, Brazil)

Deadline for registration and abstracts: July 1st, 2013


This conference, dedicated to Ofelia Alas on the occasion of her 70th  
birthday, is a special edition of the Set Theory and General Topology  
Week (STW 2013) and will take place at the Beach Hotel Maresias on the  
coast of the state of Sao Paulo. We hope to bring together topologists  
and set-theorists from around the world. The conference will consist  
of 6 to 8 plenary talks and contributed talks of 25 minutes. The  
official language of the conference is English.




**


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Lógicos na STW

[samuel]

Caros,

Sobre a mensagem do Miraglia sobre a homenagem à Ofelia Alas: não é  
verdade que lógicos não possam participar...


- Na STW passada, em Salvador (agora, no início de 2012), tivemos a  
presença do Andrés Villaveces, da Colombia, que deu uma palestra muito  
interessante sobre, digamos, forcing sobre espaços topológicos (uma  
generalização, portanto, do forcing sobre ordens parciais, que no  
final trabalhamos com abertos regulares da topologia natural definida  
nessas ordens), relação disso com feixes e etc... Ou seja, é Lógica  
mas com aplicações diretas em Topologia e Teoria dos Conjuntos.


Depois desse evento em Salvador, e tendo conhecido mais a fundo o  
pessoal da Colômbia - além do Andrés Villaveces, Ramiro de la Vega  
também esteve aqui -, e além de outros contatos com o pessoal de  
Lógica de Bogotá (sempre converso muito com o Pedro Zambrano), temos  
muito contato com di Prisco na Venezuela, então acredito que sempre  
haverá um espaço para a Lógica fortemente ligada a conjuntos e  
topologia no nosso evento, e obviamente, não só para lógicos  
colombianos e venezuelanos - lógicos brasileiros serão muito bem  
vindos !!!


Perguntem a Valeria de Paiva: ela esteve aqui também na STW 2012, e  
estamos trabalhando com algumas relações entre combinatória  
infinitária e certas categorias.


(Inclusive, Miraglia, se você encontrar a Lucia Junqueira aí pelo  
IME/USP vocês podem conversar mais sobre colaborações suas ao evento !)


... De modo que trabalhos de Lógica que tenham grande intersecção com  
(ou aplicações em) Teoria dos Conjuntos e Topologia Geral fazem parte  
do escopo do evento.


Até mais,

[]s  Samuel







Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Sobre o IMPA - e filhos do IMPA...

[samuel]

Olás,

Sem entrar nos méritos desse vídeo para professores do ensino  
fundamental, gostaria de contar algumas historinhas, algumas com  
nomes, outras sem nomes, envolvendo a opinião de pessoas do IMPA (que  
estão lá ou que estudaram lá) sobre Lógica e Teoria dos Conjuntos.


---> A primeira pode ter nome, já que todos aqui estamos falando do Elon Lima.

No livro de "Topologia Geral" dele, tem uma passagem sensacional antes  
da prova do Teorema de Tychonoff, é algo assim (vou citar de memória,  
quem tiver o livro pode conferir):


"Para provar o próximo teorema, vamos usar, uma única vez neste livro,  
o Axioma da Escolha, na forma do seu equivalente mais famoso, o Lema  
de Zorn. Enquanto o Lema de Zorn sim, parece um teorema, o Axioma da  
Escolha tem um aspecto mais filosófico".


Primeiro comentário: tecnicamente, dizer que só foi usado lá é um  
grande erro, todas as vezes em que se constróem sequências convergindo  
para pontos no fecho de um conjunto estamos usando ou o Axioma da  
Escolha ou o Axioma da Escolha Enumerável, pelo menos. Em modelos sem  
Axioma da Escolha, existem pontos em fechos que não são limites de  
sequências...


Também o próprio Teorema de Baire para espaços métricos completos  
necessita do Princípio das Escolhas Dependentes - sendo, na verdade,  
*equivalente* a ele !


Então dizer que só vai estar usando ali é um grande erro; é  
simplesmente dizer algo profundamente errado. Nessa parte em  
específico, ocorreu um grande desserviço à formação matemática de quem  
estiver lendo.


Segundo comentário: sobre dizer que o Lema de Zorn é um teorema e o  
Axioma da Escolha é filosofia, o meu comentário é: "sem comentários".  
8-)


---> Outra historinha: um amigo meu que foi pra Álgebra depois esteve,  
quando muito jovem, passando uma temporada no IMPA.


Ele pegou alguns dos livros de lógica da biblioteca do IMPA - que já  
foram citados aqui serem todos muito bons -, e os pegou por ter  
curiosidade com lógica, por achar lógica interessante, etc. Como  
disse, era um cara novo e sempre foi interessado por todas as áreas.


Pois é. O cara que estava recebendo ele - e esse eu não sei mesmo o  
nome, o meu amigo quando me contou a história não disse quem era -, um  
professor do IMPA, chegou pra ele e perguntou:


- Por quê você pegou livros de Lógica na biblioteca ?

(Vamos fazer de conta que não é um absurdo alguém ficar bisbilhotando  
a ficha de biblioteca do aluno visitante só pra seguir na historinha...)


- Peguei por achar interessante bla bla bla...

A resposta do cara foi:

- Não leia sobre lógica agora. Isso é perda de tempo. Deixa pra ler  
quando você estiver velho e aposentado.



... ... ...

---> Um colega aqui do departamento, que estudou no IMPA, já respondeu  
para um aluno que a "Hipótese do Contínuo" era filosofia.


... Outro colega nosso aqui, ao fazer o concurso para ingresso,  
verificou-se que ele tinha pós-doc no CLE, então, isso lá pra 2003  
quando ainda não havia um grupo estabelecido de Lógica aqui, um outro  
colega (também filho do IMPA) perguntou durante a arguição de memorial  
da banca:


- Então você é filósofo ?

Ou seja: além de não saberem o que é matemática e o que é filosofia,  
falam de filosofia como se fosse depreciativo.



---> E um outro colega aqui do departamento, também filho do IMPA,  
adora falar mal das outras áreas durante a aula. Não só contra Lógica:  
como ele sabe provar o Teorema Fundamental da Álgebra usando variáveis  
complexas (ou o que ele acha que seja esse teorema), ele já disse em  
aula que "Álgebra não é uma área importante, já que o teorema  
fundamental da área é provado com argumentos de Análise".


Depois dessa pérola não necessitaríamos de mais informações sobre esse  
colega, mas tudo bem. Ele já falou em sala de aula o seguinte:


- Não sei porque existem livros de Teoria dos Conjuntos. Nenhum livro  
de Teoria dos Conjuntos precisa de mais do que 20 páginas. Aliás, tudo  
o que eu preciso de Teoria dos Conjuntos cabe em uma folha  
frente-e-verso.


... É uma frase de tal maldade que é simplesmente impossível um aluno  
inventar que ouviu isso em sala de aula, por isso tenho certeza que  
essa frase foi falada exatamente assim.


--

... Então, a partir dessas histórias todas, começo a pensar que as  
pessoas do IMPA não falam nos termos já citados sobre a área de  
Fundamentos "apenas para professores do Ensino Fundamental". Quem sai  
de lá, sai com essa mentalidade, é a "filosofia" (hehe) do lugar,  
passada adiante sistematicamente... Ou seja, não é à toa que é  
difícil, uma luta inglória, fazer as revistas de Lógica Matemática  
subirem no Qualis.


Até mais,

[]s  Samuel






Universidade Federal da Bahia - http://www.portal.ufba.br

___

[Logica-l] Será que um matemático pode mesmo ignorar completamente a Lógica ?

[samuel]

Olás,

Mais uma participaçãozinha na discussão sobre "a visão dos matemáticos  
não-lógicos sobre a lógica" (acho que a coisa foi por esse caminho nos  
últimos dias, então não estou falando do vídeo do Elon, hehe...).


Vou dar um exemplo prático pra vender uma idéia que vai contra o  
"matemáticos podem ignorar de todo a Lógica no seu dia-a-dia":


Quem for dar, ou já deu, aula de Topologia Geral já deve ter visto  
este resultadinho aqui:


"Se A é um subconjunto enumerável do R^2, então R^2 - A é conexo por caminhos"

(tem até no livro do... ops, não estamos falando dele. É um argumento  
bem combinatório, no final, trace uma reta que não passe por nenhum  
dos dois pontos e vá fazendo segmentos unindo cada um dos dois pontos  
iniciais a pontos dessa reta. Alguma dessas justaposições de segmentos  
não vai intersectar nenhum ponto de A, pois sao nao-enumeráveis  
justaposições e enumeráveis pontos... Notar que podemos tirar até  
mesmo um subconjunto denso do R^2 que o complementar ainda fica conexo  
por caminhos !)


Pois bem. Para a cardinalidade de A igual a aleph_0, temos aí uma  
coisa muito simples de fazer. Aumente um pouco o tamanho de A ! O que  
ocorre se supusermos que A tem tamanho aleph_1 ? Se tem uma solução  
simples para aleph_0, deve ter solução simples para aleph_1, não ?


Pois é... Com o tamanho de A sendo aleph_1, a questão é *indecidível*  
para a Teoria dos Conjuntos, pois envolve equivalências com a Hipótese  
do Contínuo !
Não querendo fazer propaganda do próprio trabalho mas já fazendo, isso  
já está online pra quem quiser ver os detalhes:


http://mv.mi.sanu.ac.rs/Papers/MV2012_043.pdf

Moral da história: mesmo um matemático que não esteja próximo da  
Lógica ou da Teoria dos Conjuntos pode fazer uma pergunta cuja  
resposta envolve proposições indecidíveis, independentes da Teoria dos  
Conjuntos. Pelo menos ele tem que estar *ciente* de que isso pode  
acontecer !!!


"Even if one is not interested in consistency results per se, it is  
nonetheless prudent to be aware of them, lest one waste effort trying  
to prove a proposition that has a consistent negation"


A frase acima é de Frank Tall, uma das lideranças na área de "set  
theoretic topology" e está disponível num texto com vários resultados  
de consistência e independência em Topologia, obviamente todos mais  
profundos dos que eu fiz no meu trabalho acima. Disponível em:


http://www.math.toronto.edu/tall/publications/55.pdf

Ou seja: quem quiser ignorar a Lógica de todo, está correndo o risco  
de procurar respostas que serão impossíveis de serem encontradas - sem  
nem mesmo saber que isso pode acontecer. Aquele personagem fictício  
chamado "Tio Petros", do livro "Tio Petros e a Conjectura de  
Goldbach", teve uma epifania na hora que soube dos Teoremas de  
Incompletude de Gödel...


Até,

[]s  Samuel








Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Ultrafiltros

[samuel]

Olás,

A forma fraca do Axioma da Escolha que é necessária para garantir a  
existência de ultrafiltros não-principais é precisamente o Teorema do  
Ultrafiltro (que garante que todo filtro numa álgebra de Boole pode  
ser estendido a um ultrafiltro), que por sua vez é equivalente ao  
Teorema do Ideal Booleano Primo (que declara que toda álgebra de Boole  
possui um ideal maximal), conhecido na literatura de princípios de  
escolha como BPI.


Aí, pensando nos naturais, de fato: basta estender o filtro dos  
cofinitos e temos um ultrafiltro livre (não-principal).


Que BPI é estritamente mais fraco que AC, para isso Halpern e Levy  
construíram um modelo.


J. D. Halpern, A. Levy: The Boolean prime ideal theorem does not imply  
the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971,  
83–134.


Na verdade o próprio modelo original de Cohen (que mostrou a  
independência da Hipótese do Contínuo) também tinha essa propriedade  
(não vale o Axioma da Escolha, porém todo filtro pode ser estendido a  
um ultrafiltro). O modelo de Halpern e Levy é construído de modo um  
pouco diferente.


Observo que no modelo de Cohen, portanto, não vale o Axioma da Escolha  
mas ainda assim existe um subconjunto não-mensurável da reta  
(essencialmente, um ultrafiltro livre é um subconjunto não-mensurável  
da reta, identificando os caras do ultrafiltro com sequências de 0's e  
1's e isso com subconjuntos da reta).


Porém, existe um modelo da reta, devido a Solovay, no qual todo  
subconjunto da reta é mensurável. Nesse modelo, portanto, não vale nem  
o Axioma da Escolha nem o Teorema do Ultrafiltro.


Solovay, Robert M. (1970). "A model of set-theory in which every set  
of reals is Lebesgue measurable". Annals of Mathematics. Second Series  
92 (1): 1–56.


Muito curiosamente, no modelo de Solovay vale o Princípio das Escolhas  
Dependentes e portanto o Axioma da Escolha Enumerável !!!


Até,

[]s  Samuel

P.S. Um outro modelo sem ultrafiltros livres é o seguinte:

 Andreas Blass, A model without ultrafilters, Bull. Acad. Polon. Sci.  
25 (1977), 329–331.









Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Ultrafiltros

[samuel]

Olás,

Bons exemplos esses ! Gostei. Casos particulares que não precisa da  
força toda dos princípios AC e BPI.


O interessante é que o filtro de Frechet, na álgebra de Boole "toda",  
partes de X, não é ultrafiltro. Mas na álgebra dos finitos e  
cofinitos, é... Legal.


Com meus alunos de iniciação, o que eu uso sempre é o Bell Slomsom  
mesmo, mas não tem exemplos detalhados assim não, de fato.


Até,

[]s  Samuel




Quoting Carlos Gonzalez :


Caros,

Nas pp. 110-111 do livro de Felgner tem um resumo de equivalentes do
BPI. Do equivalente (f)
(f) In every Boolean Algebra, there exists a 2-valued measure.
segue-se que BPI é equivalente a:

"Toda álgebra de Boole contém um ultrafiltro".

Consideremos uma álgebra de Boole sem átomos. Pelo Teorema de Stone,
suponhamos que é uma álgebra de subconjuntos (field of subsets)  (não
vai ser da forma P(a), porque vão faltar subconjuntos ). Seja F um
filtro principal nessa álgebra, com gerador g. Se g for finito, então
ou g é um átomo ou existe um átomo menor que g. Portanto g é infinito.
Tiremos um elemento de  g: h = g - {x}, e seja H o filtro gerado por
h. F está propriamente contido no filtro H e F não é ultrafiltro.
Portanto, qualquer ultrafiltro nessa álgebra é não-principal. (Pode
ser usado o Corolário 2 da p. 172 do livro de Givant e Halmos)

Sem o AC nem BPI: Consideremos a álgebra de Boole dos conjuntos
finitos e cofinitos de números naturais. O conjunto dos cofinitos F, o
filtro de Frechet, é um filtro maximal nessa álgebra, pois se
acrescentamos qualquer conjunto finito deixa de ser um filtro próprio.
Portanto F é um ultrafiltro não principal.

Eu não encontro uma bibliografia que trabalhe exaustivamente todos
esses exemplos simples em álgebras de Boole. As apostilas das
disciplinas de Roberto Cignoli estavam cheias desses exemplos. Tanto
os livros introdutórios de álgebras de Boole, como de teoria dos
conjuntos, como também os livros mais avançados e o Handbook de
álgebras de Boole têm muito poucos exemplos desse tipo. Alguém conhece
bibliografia nesse sentido?

Carlos

O livro de Givant e Halmos:

@BOOK{halmosgivantboolalgebras,
   author = "Steven Givant and Paul R. Halmos",
   title = "Introduction to {B}oolean Algebras",
   publisher = "Springer",
   address = "New York",
   year = 2009,
}


O livro de Felgner:

@book{felgnerlnm,
 author = "Ulrich Felgner",
 title = "Models of ZF-Set Theory",
 number = 223,
 series = "Lecture Notes in Mathematics",
 publisher = "Springer",
 address = "Heidelberg",
 year = 1971,
}

2012/11/20  :

Olás,

A forma fraca do Axioma da Escolha que é necessária para garantir a
existência de ultrafiltros não-principais é precisamente o Teorema do
Ultrafiltro (que garante que todo filtro numa álgebra de Boole pode ser
estendido a um ultrafiltro), que por sua vez é equivalente ao Teorema do
Ideal Booleano Primo (que declara que toda álgebra de Boole possui um ideal
maximal), conhecido na literatura de princípios de escolha como BPI.

Aí, pensando nos naturais, de fato: basta estender o filtro dos cofinitos e
temos um ultrafiltro livre (não-principal).

Que BPI é estritamente mais fraco que AC, para isso Halpern e Levy
construíram um modelo.

J. D. Halpern, A. Levy: The Boolean prime ideal theorem does not imply the
axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83?134.

Na verdade o próprio modelo original de Cohen (que mostrou a independência
da Hipótese do Contínuo) também tinha essa propriedade (não vale o Axioma da
Escolha, porém todo filtro pode ser estendido a um ultrafiltro). O modelo de
Halpern e Levy é construído de modo um pouco diferente.

Observo que no modelo de Cohen, portanto, não vale o Axioma da Escolha mas
ainda assim existe um subconjunto não-mensurável da reta (essencialmente, um
ultrafiltro livre é um subconjunto não-mensurável da reta, identificando os
caras do ultrafiltro com sequências de 0's e 1's e isso com subconjuntos da
reta).

Porém, existe um modelo da reta, devido a Solovay, no qual todo subconjunto
da reta é mensurável. Nesse modelo, portanto, não vale nem o Axioma da
Escolha nem o Teorema do Ultrafiltro.

Solovay, Robert M. (1970). "A model of set-theory in which every set of
reals is Lebesgue measurable". Annals of Mathematics. Second Series 92 (1):
1?56.

Muito curiosamente, no modelo de Solovay vale o Princípio das Escolhas
Dependentes e portanto o Axioma da Escolha Enumerável !!!

Até,

[]s  Samuel

P.S. Um outro modelo sem ultrafiltros livres é o seguinte:

 Andreas Blass, A model without ultrafilters, Bull. Acad. Polon. Sci. 25
(1977), 329?331.








Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Comutatividade e operações com ordinais

[samuel]

Olá Tony e demais,

Bem, uma forçação de barra para conseguir algo comutativo seria  
exatamente fazer o

produto das cardinalidades dos ordinais, ou mesmo a soma.

Assim, a soma e o produto ficariam comutativos, mas de maneira não  
natural, porque aí a operação que estaria sendo feita, no fundo no  
fundo, seria a cardinal, não a ordinal...


(Observo ainda que, dados cardinais kappa e lambda, o produto cardinal  
de kappa por lambda nada mais é do que a cardinalidade do produto  
ordinal de kappa por lambda... Analogamente para soma.)


Até,

[]s  Samuel






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Fred Flintstone

[samuel]

Olás,

Alguém pode explicar o que foi esse tal email do Badoo ??? Acheio meio  
invasivo e perigoso. Posso estar exagerando.


[]s  Samuel


Quoting logica-l-requ...@dimap.ufrn.br:


Enviar submissões para a lista de discussão Logica-l para
logica-l@dimap.ufrn.br

Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
corpo da mensagem para
logica-l-requ...@dimap.ufrn.br

Você poderá entrar em contato com a pessoa que gerencia a lista pelo
endereço
logica-l-ow...@dimap.ufrn.br

Quando responder, por favor edite sua linha Assunto assim ela será
mais específica que "Re: Contents of Logica-l digest..."






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Digest Logica-l, volume 86, assunto 17

[samuel]

Olás,

Eu ia escrever aqui essencialmente o que o Walter já disse sobre a  
"definição" de distância, em todo o caso resta uma historinha  
engraçada: um (bom) aluno de Geometria Euclidiana (axiomática,  
disciplina que para um Lógico é uma delícia de ministrar) uma vez me  
perguntou:


- Como eu provo que o comprimento do segmento de reta é a menor  
distância entre dois pontos ?


- Pois é... Não se prova. ISSO É DEFINIDO ASSIM.

O menino arregalou os olhos em desespero e desilusão... Depois eu  
ainda tentei salvar o dia do menino, falar em cálculo variacional,  
pensar em comprimentos de curvas e pensar na curva que minimiza lá a  
tal da integral e tudo, mas não teve jeito, o menino continou com o  
desespero e a desilusão por todo o dia, hehe.


Atés,

[]s  Samuel

PS: Claro que no contexto de Geometria Euclidiana elementar, não  
existe "a menor distância", porque a distância é uma só, e definida de  
modo consistente com o Teorema de Pitágoras, como Walter já observou.




Quoting logica-l-requ...@dimap.ufrn.br:


Enviar submissões para a lista de discussão Logica-l para
logica-l@dimap.ufrn.br

Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
corpo da mensagem para
logica-l-requ...@dimap.ufrn.br

Você poderá entrar em contato com a pessoa que gerencia a lista pelo
endereço
logica-l-ow...@dimap.ufrn.br

Quando responder, por favor edite sua linha Assunto assim ela será
mais específica que "Re: Contents of Logica-l digest..."






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Digest Logica-l, volume 86, assunto 17

[samuel]

Oi Petrucio,

Em geometria euclidiana plana "à la Birkhoff" (usando números reais, digamos),
não existem "coordenadas do plano" e tal: isso é uma particularidade  
do modelo euclidiano do R2.


Colocamos como axiomas:  (i) que a todo segmento podemos associar um  
número real positivo, chamado comprimento; e (ii) que esse comprimento  
coincide com a tal distância entre dois pontos, a qual deve concordar  
com o chamado Axioma da Régua, que é o Axioma que diz que toda régua  
possui um sistema de coordenadas (bijeção com a reta real preservando  
distâncias...).


De modo que não faz sentido

- calcular a distância de um ponto a si mesmo, já que um ponto só não  
configura um segmento (podemos convencionar que é zero, mas não segue  
da definição).


- dizer "a menor distância possível entre dois pontos", porque a  
distância é uma só - o comprimento do segmento.


Tem umas sutilezas bravas aí. Por exemplo, poderia acontecer, a  
princípio, que duas retas diferentes tivessem "distâncias diferentes",  
no sentido das escalas serem diferentes - nada a princípio garante que  
não exista uma reta com o sistema dado por centímetros e outra reta  
com o sistema dado por polegadas, ou quilômetros... O axioma que faz o  
papel de colocar tudo numa única escala é - talvez surpreendentemente  
- o axioma Lado, Ângulo, Lado de Congruência de Triângulos. É esse  
axioma que traz rigidez ao sistema: a partir desse axioma, sabemos que  
todas as retas estão em mesma escala, assim como em todos os pontos  
podemos colocar o transferidor e medir ângulos de modo consistente com  
o outro Axioma de medidas, o Axioma do Transferidor.


Quando chega no R2, é modelo de tudo e fica sem graça.

Até,

[]s  Samuel






Quoting Jorge Petrucio Viana :


humm

algo esta me escapando

nos meus livros de geometria euclidiana
pontos nao tem coordenadas
distancia nao e "definida" por uma formula

e se fosse
a "explicacao" que eu enviei numa msg anterior
nao explicaria por que razao a distancia de um ponto a si mesmo e 0
e nem explicaria como calcular a distancia entre dois pontos que   
estao sobre uma mesma reta

(e nao sobre a hipotenusa de um triangulo retangulo
que pode so pode ser construido quando a reta que passa pelos dois   
pontos "genericos"

nao e paralela ao eixo 0x)

abracos
P

-- Original Message ---
From: sam...@ufba.br
To: logica-l@dimap.ufrn.br
Sent: Sat, 20 Apr 2013 12:32:26 -0300
Subject: Re: [Logica-l] Digest Logica-l, volume 86, assunto 17


Olás,

Eu ia escrever aqui essencialmente o que o Walter já disse sobre a  
"definição" de distância, em todo o caso resta uma historinha  
engraçada: um (bom) aluno de Geometria Euclidiana (axiomática,  
disciplina que para um Lógico é uma delícia de ministrar) uma vez me  
perguntou:

- Como eu provo que o comprimento do segmento de reta é a menor  
distância entre dois pontos ?

- Pois é... Não se prova. ISSO É DEFINIDO ASSIM.

O menino arregalou os olhos em desespero e desilusão... Depois eu  
ainda tentei salvar o dia do menino, falar em cálculo variacional,  
pensar em comprimentos de curvas e pensar na curva que minimiza lá a  
tal da integral e tudo, mas não teve jeito, o menino continou com o  
desespero e a desilusão por todo o dia, hehe.

Atés,

[]s  Samuel

PS: Claro que no contexto de Geometria Euclidiana elementar, não  
existe "a menor distância", porque a distância é uma só, e definida de  
modo consistente com o Teorema de Pitágoras, como Walter já observou.

Quoting logica-l-requ...@dimap.ufrn.br:

> Enviar submissões para a lista de discussão Logica-l para
> logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
> logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
> logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>


Universidade Federal da Bahia - http://www.portal.ufba.br

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

--- End of Original Message ---







Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Oportunidade de Pós-doutorado em Turim/Teoria dos Conjuntos

[samuel]

TWO YEARS POSTDOC POSITION IN SET THEORY IN TORINO (UPDATED)

There is an opening for a two year post doc position in set theory in
the department of mathematics of Torino university starting july 1st
2013 and finishing june the 30th 2015. Applicants are required to be
less than 35 and must have earned their Ph.D. title. It is also
required to the applicants to have at least one publication in a peer
reviewed journal in the last five years. The net salary is slightly
more than 1400 euros per month. The post doc will join the logic group
of the department which consists of Matteo Viale, Alessandro Andretta,
Raphael Carroy (set theory), Domenico Zambella (model theory). The
selection of applicants will be based on an evaluation of the CV, of
the publication records, and of their interests of research which must
be in set theory. It is possible to file online the applications
creating an account on the italian ministry of education website. If
you intend to apply write to matteo.vi...@unito.it in order to get
detailed information on the filing procedure.
Applicants can deposit their online registration forms up to the 28th
of may 2013. Those passing a first selection will be admitted to a
(skype) interview which will take place
between the 5th and the 7th of june 2013.


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Grupo = Modelo de ZF ?

[samuel]

Olás,

Minha resposta à pergunta do Decio, de sopetão, seria: um grupo  
deveria ser um conjunto que satisfaz uma fórmula (de primeira ordem,  
com apenas uma variável livre, etc.) que diz


"x é grupo"

(os três axiomas de grupos; se preferirmos, pensamos numa terna  
(x,.,e) e dizemos que a terna é o grupo, etc.)


portanto seria apenas um conjunto, não um modelo de ZF.

(Como conjunto, portanto "membro do universo", os axiomas de ZF atuam  
nele, obviamente, mas dizer que ele é um grupo é mais ou menos como  
dizer que um número natural é par ou ímpar, seria uma propriedade de  
um objeto da teoria)


Ou seja: modelos de grupos seriam "apenas" tipos especiais de conjuntos.

Mas essa é só uma visão "prática", inclusive acredito que seja assim  
que os "set theorists" pensam (eu pelo menos penso assim), mas não  
tenho bagagem filosófica para defendê-la. 8-)


Atés,

[]s  Samuel




Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Grupo = Modelo de ZF ?

[samuel]

Olás,

Sim, existem grupos para cada cardinalidade (basta pensar no grupo de  
kappa palavras, para cada cardinal kappa).


... Entao, a colecao de todos os grupos é uma classe (assim como para  
os espacos topológicos, já que todo cardinal pode receber a topologia  
discreta também).


Ou seja, G = {x: x satisfaz a formulinha do meu primeiro email} é uma  
classe própria, sendo portanto um objeto nao oficial de ZFC, embora o  
seja em NBG !


Classes que modelam ZF, ou ZFC, os chamados inner models, aí entram  
cardinais inacessíveis e a coisa fica bem divertida.


(Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo,  
valha o Axioma da Substituicao com os quantificadores restritos a G,  
mas é algo a se pensar, claro)


Concordo que nada dessa discussao está nos livros ou nos artigos por aí.

Atés,

[]s  Samuel


Quoting Joao Marcos :


13/5/25 Decio Krause :

Sim, mas o que tem L-S com isso?
O fato é que uma estrutura de grupo não pode  modelar ZF, senão daria o
maior angú.
D


Bem, você protestou a respeito do tamanho do modelo...

Não conheço a Teoria dos Angus, então não vou opinar a respeito. :-b

Olha, os matemáticos (ou os filósofos) normalmente falam em
"conjuntos" de maneira inteiramente informal, quando de fato se
referem a *classes*.  E mesmo em Lógica o abuso ocorre: fala-se por
exemplo às vezes no "conjunto" de todas as estruturas de
interpretação.  Não sei de onde sairia que isso é um conjunto.  Mas é
certamente uma classe, sobre a qual aliás as operações básicas usuais
se aplicam.

JM





Em 25/05/2013, às 12:24, Joao Marcos escreveu:

O predicado ao qual você se refere é uma fórmula da linguagem de ZF

e as estruturas que o satisfazem são conjuntos de ZF. A pegadinha é que

seriam modelos de ZF. Não são: em ZF podemos provar que, dado um

cardinal $\alpha$ qualquer, há sempre um cardinal estritamente maior do

que $\alpha$. E nos grupos, não podemos ultrapassar o cardinal do

domínio...assim, a estrutura não pode modelar ZF.


Mas Décio, não sabemos por Löwenheim-Skolem na forma descendente que
há modelos enumeráveis para ZF?

Essas coisas são interessantes e não estão nos livros, infelizmente.


Bem, ao menos o Paradoxo de Skolem já foi bem debatido:
 http://en.wikipedia.org/wiki/Skolem's_paradox
É de fato muito interessante.

Abraços, JM


--
http://sequiturquodlibet.googlepages.com/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Grupo = Modelo de ZF ?

[samuel]

Olás,

Sim, creio que um upward LS resolve também. Mas o grupo das palavras  
nas kappa letras é mais palpável para os matemáticos mainstream, que  
nem sabem de LS, para baixo ou para cima... Como eu vivo entre  
matemáticos mainstream, acabo de me acostumando com esses exemplos.


Outra coisa engracada pra se discutir é que boa parte dos resultados  
de consistência que se faz por aí (por forcing ou submodelos  
elementares ou combinacoes de coisas assim) sao feitos com CONJUNTOS  
que sao modelos de ZF - claaro que na verdade sao modelos de um  
fragmento conveniente dele, no caso, etc.


A idéia é que se um teorema tivesse contra-exemplo, esse caso  
particular estaria contido num fragmento de ZF. Portanto, se mostramos  
que um dado teorema é sempre verdadeiro em fragmentos convenientes de  
ZF, ou de ZFC, estamos provando sua consistência, por impedir a  
existência dos tais contra-exemplos.


Atés,

[]s  Samuel




Quoting Joao Marcos :


(Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo, valha
o Axioma da Substituicao com os quantificadores restritos a G, mas é algo a
se pensar, claro)


Queria acrescentar que eu acho que não é um candidato.  Eu só achei
que o "argumento da cardinalidade" formulado antes não era
convincente, pois os modelos de ZF afinal não precisam ser
"grandes"...  E, claro, você tem razão em dizer que "existem grupos
para cada cardinalidade" (Löwenheim-Skolem na forma *ascendente*
poderia ser invocado, neste caso, mesmo se não conhecêssemos os
exemplos que você sugeriu?).

Abraços, JM

--
http://sequiturquodlibet.googlepages.com/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Grupo = Modelo de ZF ?

[samuel]

Olás,

Só pontuando algumas coisinhas;

- resultados de consistência em modelos de ZFA, esses tais modelos de  
permutacoes com átomos, podem ser, em geral, transferidos para ZF por  
resultados de Pincus; quem quiser eu corro atrás da referência. Carlos  
devia saber disso já, é meio padrao no contexto de versoes fracas do  
Axioma da Escolha.


- apesar desses Boolean Valued Models serem eventualmente meio  
misteriosos mesmos, modelos para fragmentos de ZFC nao sao tao  
difíceis de encontrar: tomamos o conjunto dos conjuntos  
hereditariamente menor do que kappa, para
kappa regular e nao-enumerável (é o tal H(kappa)), e já temos um  
modelo de ZFC - Partes, tomando kappa suficientemente grande temos  
versoes restritas de Partes para o que precisarmos, usando LS pra  
baixo conseguimos um submodelo enumerável - ou elementar para  
trabalhar como submodelo elementar, ou transitivo se quiser fazer  
forcing - e... Pronto. Claro que no fundo no fundo é um modelo  
enumerável, mas a brincadeira de "o que se vê por dentro e o que se vê  
por fora" está no nosso meio desde o Paradoxo de Skolem e vai  
continuar né ?


- eu tenho um aluno que é louco para fazer tudo em segunda ordem,  
impressionado por exemplo com a coisa da reta ser categórica em  
segunda ordem... Ganha-se algumas coisas, perde-se outras (LS é a  
primeira perda que eu sempre me lembro), mas é sim uma discussao  
fascinante e que quase nao se faz.


Eu no final fico meio que "tranquilo" com a coisa de primeira ordem e  
segunda ordem porque, quando se vive dentro de ZFC sem nem ir na  
esquina (que é o que eu faco), como os subconjuntos de um conjunto sao  
também conjuntos os quantificadores de primeira ordem, para conjuntos,  
meio que descrevem tudo o que eu preciso (e aqueles papos do tipo  
"dizer que todo subconjunto é bem ordenado" é de segunda ordem, ou  
"dizer que todo subconjunto da reta limitado superiormente tem  
supremo" é de segunda ordem - pra mim nao incomodam, porque os meus  
quantificadores percorrem conjuntos e, em Teoria dos Conjuntos, tudo é  
conjunto - incluindo os subconjuntos de um conjunto - e "tudo bem").


Mas é claro que eu só digo isso porque eu nao vou nem na esquina, fico  
ali em ZFC tranquilinho. A(s) diferenca(s) entre primeira e segunda  
ordem está(ao) aí para ser(em) estudada(s), investigada(s) e  
discutida(s).


Atés,

[]s  Samuel




Quoting Carlos Gonzalez :


Não estou compreendendo muito bem qual é o direcionamento que estão
querendo dar a esta discussão.

Em primeiro lugar, já que nomearam L-S, entram em pauta as questões de
relativização, pois se não considerarmos essas questões a coisa passa
de confusa para contraditória. Eu gosto da linguagem metafórica na
qual é comum falar de relativização. Uma pessoa pode viver num modelo
de ZFC que tem grandes cardinais: inaccessíveis, mensuráveis,
compactos, etc., e ele tem o maior orgulho dos seus grandes cardinais.
Mas ele está enganado, pois vive num modelo enumerável, de modo que o
que ele vê como grandes cardinais são, vistos desde fora, conjuntos
enumeráveis. Analogamente, uma pessoa poderia viver num modelo de ZFC
que é um grupo, sem poder saber nunca desde dentro do modelo, que ele
é um grupo.

Para piorar a coisa, foram inventados um monte de truques lógicos para
evitar o sistema provar a sua própria consistência, contradizendo o
Teorema de Gödel. Consequentemente, como não pode demonstrar um ZFC a
existência de um conjunto que seja modelo de ZFC, então recorre a
coisas como "classes próprias virtuais", fundadas em relativização de
quantificadores, etc., etc., etc. Assim, é pensado intuitivamente como
um modelo, mas não é um modelo na demonstração formal, no sentido
estrito de "modelo". Por exemplo, nos Boolean Valued Models de ZFC,
uma álgebra de Boole é o modelo, intuitivamente falando, mas nunca é
demonstrado formalmente e no sentido estrito que existe uma tal
álgebra.

Na minha primeira prova de consistência em teoria de conjuntos, usei
uma técnica denominada "modelos de permutação", modelos baseados em
grupos de permutações: as permutações de um grupo específico, permutam
todo o universo do modelo da teoria de conjuntos, falando
intuitivamente. É uma técnica antiga, inventada por Fraenkel nos
1920's, melhorada por Mostowski e que está explicada muito bem no
livro de Felgner nas LNM. Alguma das provas originais de Cohen com
forcing usa esse sentido intuitivo de permutação para provar a
independência do Axioma da Escolha.

Quando começa a definir determinados grupos, pode encontrar surpresas.
Por exemplo, parece que quase ninguém esperava que os grupos
reticulados "ocultassem" uma aritmética, de modo que podem ser
aplicados resultados de Gödel. Não sou a pessoa certa para falar de
"grupos especiais" (no sentido técnico das palavras, os grupos usados
por Miraglia e Dickmann), mas é um outro uso de grupos com ferramentas
da teoria de 

[Logica-l] 2nd Announcement: Conference in honour of Ofelia Alas - Brazilian Conference on General Topology and Set Theory - STW 2013

[samuel]

 Sorry for duplicate messages **


Dear Colleagues,

This is the second announcement for the Brazilian Conference on
General Topology and Set Theory – STW 2013, in honour of Ofelia Alas
on the occasion of her 70th birthday.

The conference will take place from 12th to 16th August 2013 at the
Beach Hotel Maresias, Sao Sebastiao, Brazil
(http://www.maresiashotel.com./br), on the coast of the state of Sao
Paulo, about 200 km from the city of Sao Paulo.

The conference will be dedicated to all branches of General Topology,
Set Theory and their applications and will consist of 9 plenary talks,
2 minicourses, contributed talks of 25 minutes and poster sessions.

A special issue of Topology and its Applications will be dedicated to
the proceedings of the conference.

Invited speakers:

- Angelo Bella
- Carlos Di Prisco
- Salvador Garcia-Ferreira
- Istvan Juhasz
- Manuel Sanchis
- Franklin D. Tall
- Angel Tamariz-Mascarua
- Mikhail Tkachenko
- Richard G. Wilson

Minicourses:

- Christina Brech
- Ramiro de la Vega

A list of accepted talks can be seen at
http://at.yorku.ca/cgi-bin/abstract/cbgl-01

Conference webpage: http://www.ime.usp.br/~lucia/stw2013

E-mail: stw2013saopa...@gmail.com

Organizers:
- Lucia R. Junqueira, chair (Universidade de Sao Paulo, USP)
- Leandro F. Aurichi (USP)
- Rodrigo R. Dias (USP)
- Marcelo D. Passos (Universidade Federal da Bahia, UFBA)
- Samuel G. da Silva (UFBA)

Deadline for pre-registration and abstracts: July 1, 2013.

Please check website for further information.

*


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Concurso na Ufba - Lógica Matemática

[samuel]

Caros colegas,

Temos aberto aqui em Salvador um edital de concurso aberto com vagas  
para Lógica Matemática, vejam o edital (e um adendo onde está o  
concurso de Matemática) nos endereços:


http://www.concursos.ufba.br/docentes/2013/editais/edital_docente-ufba_012013.pdf

http://www.concursos.ufba.br/docentes/2013/editais/edital_de_inclusao_ufba-02_edital012013.pdf

Na prática, são sete concursos agrupados em três - portanto Lógica  
Matemática está junto com Álgebra. Para Lógica e Álgebra, são duas  
vagas, então é razoável supor que temos aí uma vaga para Lógica.  
Detalhes de como o concurso é operacionalizado, podem me escrever à  
parte da Lista.


Algumas coisas que posso adiantar:

- candidatos estrangeiros devem apresentar curriculum e memorial em português

- candidatos que estejam em fase final de doutorado podem prestar o  
concurso, pois o título só é exigido na posse; assim, o candidato pode  
até fazer o concurso antes da defesa. Isso só vai causar uma  
reprovação quase certa no exame de títulos, a qual deve ser compensada  
no desempenho nas outras provas.


- candidatos que sejam aprovados (nota maior ou igual a sete), mesmo  
no terceiro ou quarto lugares, têm grande chance de serem chamados.


E o comentário que faço sempre: ainda estamos conseguindo manter os  
títulos de Doutorado em Filosofia (Lógica Matemática) e Doutorado em  
Lógica (Lógica Matemática) para a inscrição no concurso, o que não é  
nem um pouco fácil de ocorrer em departamentos de Matemática (que às  
vezes não querem colocar nem o famoso "e áreas afins" para evitar a  
inscrição de "engenheiros e físicos", que dirá "filósofos"). Assim,  
pessoas que tenham o título da Unicamp mas que por questão de  
perfil/história de vida/gosto pessoal/etc. desejam trabalhar em  
departamentos de matemática, cumprindo carga horária com disciplinas  
de matemática, esta é uma das poucas oportunidades existentes em nosso  
país.


Até mais, grato,

[]s  Samuel








Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] First CFP - XVII Brazilian Logic Conference

[samuel]

===
[ please distribute - apologies for multiple copies ]
===

First Call for Papers for the
XVII Brazilian Logic Conference
(EBL 2014)

7-11 April 2014
Laboratório Nacional de Computação Científica - Petrópolis (RJ)

www.uff.br/ebl


Deadline for submission of papers:

  *** December 15, 2013 ***


The Brazilian Logic Conference (EBL) is a traditional event on the
agenda of several prominent researchers in Brazil and Latin America
in the areas of Computer Science, Foundations and Philosophy of
Science, Informatics, Artificial Intelligence, Logic and Mathematics.

Previous editions of the EBL have been a great success, attracting
researchers from all over Latin America and elsewhere. The EBL has
become an important meeting point and discussion forum for students
and researchers interested in the interdisciplinary study of Logic.

In 2014, the EBL will be held at the National Laboratory for Scientific
Computing (LNCC), at Petrópolis, Rio de Janeiro.

The goal of the EBL is to encourage the dissemination and discussion of
research papers in the area of Logic and their interconnections with the
areas of Computer Science, Foundations and Philosophy of Science,
Informatics, Artificial Intelligence and Mathematics.

EBL 2014 also aims to be a forum for presenting and discussing
work in progress, and therefore to provide feedback to authors
on their preliminary research. The proceedings are produced
after the meeting, so that authors can incorporate this feedback
in the published papers.

Topics include:

Philosophical and Mathematical Logic, and Applications;
History and Philosophy of Logic;
Non-classical Logic and Applications;
Philosophy of Formal Sciences;
Foundations of Computer Science, Physics, and Mathematics,

among others.


Invited Speakers - TBA


The previous editions of this conference were held in Campinas (1977),
Campinas (1978), Recife (1979), Campinas (1980), Campinas (1981),
São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos
(1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia
(1999), Campinas (2003), Itatiaia (2006), Paraty (2008) and Petrópolis (2011).


Logic School

Starting with EBL 2008, the conference includes a Logic School aimed at
undergraduate and graduate students with interest in Logic and related
fields, but also open to all interested parties. The Logic School will
happen on 5-6 April 2014, at the Instituto de Matemática e Estatística of
the Universidade Federal Fluminense (UFF), at Niterói, Rio de Janeiro.

For more information on courses and registration, please check the
Logic School website at:

www.uff.br/ebl


Program committee of the Logic School

Renata de Freitas (UFF)
Petrucio Viana (UFF)


Call for Papers

We invite submissions on the general topics of Logic. Submissions
should be in Portuguese, Spanish or English, from 2 (two) to a maximum
of 10 (ten) pages including a short abstract (maximum 20 lines) and
references. The author(s) should send a .pdf file by email to
ebl2...@vm.uff.br until December 15, 2013.

Papers may be presented in Portuguese, Spanish or English, within a
time interval of 20 (exposition) + 10 (questions) minutes.

The Scientific Committee will consider the following items when
selecting the accepted papers:

1. Relevance and importance of the topic;
2. Originality;
3. Quality of work;
4. Academic relevance of the author.


The list of accepted papers will be released on January 15, 2014.
At least one author of each accepted paper must present the paper at
the meeting.


Scientific Committee - TBA


** Important Dates **

Submission of papers: December 15, 2013
Notification: January 15, 2014
Registration of authors of accepted papers: February 10, 2014
Conference: April 07-11, 2014


Registrations

http://www.uff.br/ebl/


Organization

Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Wagner Sanz (UFG)
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscila Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)


Sponsorship

Sociedade Brasileira de Lógica (SBL)

===


Universidade Federal da Bahia - http://www.portal.uf

[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for papers

[samuel]

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Wagner Sanz (UFG)
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscila Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)


Sponsorship

Sociedade Brasileira de Lógica (SBL)

===


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Vicky, Cristina, Barcelona

[samuel]

Olás,

Uma sugestão de filme com alguma lógica é o Vicky, Cristina, Barcelona  
(pausa para risos).


A personagem da Scarlet Johansson diz que não sabe o que quer, mas  
sabe perfeitamente o que não quer.


De modo que com certeza ela deve seguir alguma lógica não clássica (pausa para
um sorriso sem graça).

... Se não funcionar o filme em sala de aula, pelo menos tem a Scarlet  
Johansson !


Atés,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Vicky, Cristina, Barcelona

[samuel]

... Proof é melhor, claro ! Minha proposta nao era muito séria nao. 8-)

Até,

[]s  Samuel


Quoting Valeria de Paiva :


hmm Samuel,
ta' bom que a Scarlet Johansson e' muito linda e competente, mas eu acho
que nessa linha o Proof (com a Gweneth Paltrow)
http://en.wikipedia.org/wiki/Proof_%282005_film%29
e' bem melhor...
Valeria


2013/11/11 


Olás,

Uma sugestão de filme com alguma lógica é o Vicky, Cristina, Barcelona
(pausa para risos).

A personagem da Scarlet Johansson diz que não sabe o que quer, mas sabe
perfeitamente o que não quer.

De modo que com certeza ela deve seguir alguma lógica não clássica (pausa
para
um sorriso sem graça).

... Se não funcionar o filme em sala de aula, pelo menos tem a Scarlet
Johansson !

Atés,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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





--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] EBL 2014 - Call for papers - Deadline approaching

[samuel]

, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D’Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)

=


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Sobre injetividade e sobrejetividade

[samuel]

Olás,

Vendo essa última discussão sobre "injetividade e sobrejetividade"
mais gerais do Arthur, lembrei de ter visto algo assim no livro do
Enderton de Teoria dos Conjuntos:

Def. Um conjunto a é single-rooted (de raiz única, digamos) se para
todo y na imagem de a existe um único x no dominínio de a de modo que
(x,y) pertence a a.


(Aqui o x não precisa ser relação, dom(x) e im(x) são vazios se x não
possuir pares ordenados; e também podemos definir o x^-1 para um
conjunto qualquer, invertendo os pares ordenados que eventualmente
pertençam a x. De modo que
(x^-1)^-1 é a maior relação contida em x, digamos)

Aí temos alguns resultados bonitinhos:

- r^-1 é função se, e somente se, r é unirradicular
- para o caso de funções, ser unirradicular é equivalente a ser injetora
- como corolário das duas anteriores, as únicas funções para as quais
a relacao inversa é uma funcao sao as injetoras.

(Notar que para esse tratamento meio que nao faz sentido pensar em
"funcao de A em B ser sobrejetora ou nao", como conjunto de pares
ordenados toda funcao é uma sobrejecao na imagem, aí o importante fica
ver se é injetora ou nao)

... Eu só vi isso nesse livro do Enderton, "Elements of Set Theory".
Uso nos cursos que dou na graduação para forçar o aluno a pensar em
domínio e imagem mesmo nos casos em que o conjunto nao é relacao. Não
conheço tratamento disso em outros lugares.

Atés,

[]s  Samuel



Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] EBL 2014 - extended deadline

[samuel]

 (Brazilian Logic Society)
CLE - Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)

===


Universidade Federal da Bahia - http://www.portal.ufba.br

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

Re: [Logica-l] Digest Logica-l, volume 94, assunto 13

[samuel]

Oi Joao Marcos,

Grato pela referência a UFBA !

Na correria nao pensamos em anunciar para a comunidade, mas - para  
quem nao sabe -  tivemos três lógicos/teoristas de conjuntos aprovados  
para posicoes permanentes aqui na UFBA em nosso último concurso, que  
terminou na quarta-feira.


Sao eles:

1) Andrey Bovykin
2) Leandro Suguitani
3) Joao Paulo Cirineu

Os dois primeiros serao contratados, e possivelmente o terceiro também.

Esperamos que mais pessoas se interessem por conhecem e eventualmente  
trabalhar nesse nosso grupo de Lógica Matemática ! Estamos crescendo.


Até mais,

[]s  Samuel

PS: Por enquanto o blog está sendo um depositário de discussoes que  
ocorrem no Facebook, vamos ver se conseguimos nos organizar para  
colocar textos mais expressivos.



Quoting logica-l-requ...@dimap.ufrn.br:


Enviar submissões para a lista de discussão Logica-l para
logica-l@dimap.ufrn.br

Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
corpo da mensagem para
logica-l-requ...@dimap.ufrn.br

Você poderá entrar em contato com a pessoa que gerencia a lista pelo
endereço
logica-l-ow...@dimap.ufrn.br

Quando responder, por favor edite sua linha Assunto assim ela será
mais específica que "Re: Contents of Logica-l digest..."






Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] EBL 2014 Call for Papers - extended deadline

[samuel]

 (Brazilian Logic Society)
CLE - Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)

===


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] Sobre "Mateus e Lucas"

[samuel]

Olás,

Já aviso: este é um post sobre... Cienciometria.

Discutindo umas citacoes da Bíblia com um aluno religioso (onde eu só  
entro pela parte da análise de consistência, nao sou religioso)  
descobrimos que uma mesma passagem do Evangelho tem descricoes  
bastante diferentes, dependendo de quem escreveu !


Entao um dos meus desejos de ano novo (às vésperas do resultado do pedido da
bolsa de produtividade, hehe) é:


"Que a avaliacao da producao científica dos pesquisadores (no Brasil e  
no mundo) passe a ser menos Mateus 25:29 e passe a ser mais Lucas 12:48"



Atés,

[]s  Samuel

PS's:

Mateus 25:29 - "Pois a quem tem, mais será dado, e terá em grande  
quantidade. Mas a quem não tem, até o que tem lhe será tirado."


Lucas 12:48 - "A quem muito foi dado, muito será exigido; e a quem  
muito foi confiado, muito mais será pedido."


Links sobre o famigerado "Efeito Mateus":

http://blogs.bbsrc.ac.uk/index.php/2009/03/the-matthew-effect-in-science/

http://abecedario.blogfolha.uol.com.br/2013/09/12/efeito-mateus-no-ensino-superior/

http://cup.columbia.edu/book/978-0-231-14948-8/the-matthew-effect/excerpt

http://www.garfield.library.upenn.edu/merton/matthew1.pdf









Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for participation

[samuel]

===
[ please distribute - apologies for multiple copies ]
===

*** Call for Participation ***

XVII Brazilian Logic Conference (EBL 2014)
7-11 April 2014
Laboratório Nacional de Computação Científica - Petrópolis (RJ)

www.uff.br/ebl

*** Deadline for early payment: ***
 *** February 10, 2014 ***


The Brazilian Logic Conference (EBL) is a traditional event on the
agenda of several prominent researchers in Brazil and Latin America in
the areas of Logic, Foundations and Philosophy of Science, Mathematics,
Computer Science, Informatics, and Artificial Intelligence.

Previous editions of the EBL have been a great success, attracting
researchers from all over Latin America and elsewhere. The EBL has
become an important meeting point and discussion forum for students
and researchers interested in the interdisciplinary study of Logic.

In 2014, the EBL will be held at the National Laboratory for
Scientific Computing (LNCC), at Petrópolis, Rio de Janeiro.

The goal of the EBL is to encourage the dissemination and discussion
of research papers in the area of Logic and their interconnections
with the areas of Foundations and Philosophy of Science, Mathematics,
Computer Science, Informatics, and Artificial Intelligence.


Topics include:

Philosophical and Mathematical Logic, and Applications;
History and Philosophy of Logic;
Non-classical Logic and Applications;
Philosophy of Formal Sciences;
Foundations of Computer Science, Physics, and Mathematics,

among others.


Keynote Speakers

Xavier Caicedo (Universidad de los Andes)
José Luiz Fiadeiro (University of Leicester)
Nick Galatos (University of Denver)
Delia Kesner (Université Paris Diderot)
Tor Sandqvist (Royal Institute of Technology)
Wagner de Campos Sanz (UFG)
Jairo José da Silva (UNESP)
Gem Stapleton (University of Brighton)
Göran Sundhom (Universiteit Leiden)


The previous editions of this conference were held in Campinas (1977),
Campinas (1978), Recife (1979), Campinas (1980), Campinas (1981),
São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos
(1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia
(1999), Campinas (2003), Itatiaia (2006), Paraty (2008) and Petrópolis (2011).


Logic School

Starting with EBL 2008, the conference includes a Logic School aimed at
undergraduate and graduate students with interest in Logic and related
fields, but also open to all interested parties. The Logic School will
happen on 5-6 April 2014, at the Instituto de Matemática e Estatística of
the Universidade Federal Fluminense (UFF), at Niterói, Rio de Janeiro.

For more information on courses and registration, please check the
Logic School website at:

www.uff.br/ebl


Program committee of the Logic School

Renata de Freitas (UFF)
Petrucio Viana (UFF)


Scientific Committee

Ofelia Alas (USP)
Carlos Areces (Córdoba, Argentina)
Mauricio Ayala-Rincón (UnB)
Jean-Yves Béziau (UFRJ)
Carlos Caleiro (TU Lisbon, Portugal)
Walter Carnielli (UNICAMP)
Newton da Costa (UFSC)
Marcelo Coniglio (UNICAMP)
Richard L. Epstein (Advanced Reasoning Forum, USA)
Marcelo Finger (USP)
Lou Goble (Willamette University, USA)
Lew Gordeev (Universität Tübingen, Germany)
Edward Hermann Haeusler (PUC-Rio) - co-chair
Jose Iovino (University of Texas at San Antonio, USA)
Jean-Baptiste Joinet (Université Jean Moulin - Lyon 3, France)
Lucia Junqueira (USP)
Décio Krause (UFSC)
João Marcos (UFRN)
Maria da Paz Nunes de Medeiros (UFRN)
Francisco Miraglia (USP)
Valéria de Paiva (Nuance Communications, USA)
Elaine Pimentel (UFMG)
Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas,  
Venezuela)

Petrucio Viana (UFF) - co-chair
Andrés Villaveces (UNAL, Colombia)
Renata Wassermann (USP)


** Important Dates **

Deadline for registration with early payment (with discount):
February 10, 2014
Registration of authors of accepted papers: February 10, 2014
Logic School: April 05-06, 2014
Conference: April 07-11, 2014


Registrations

http://www.uff.br/ebl/


Organization

SBL - Sociedade Brasileira de Lógica (Brazilian Logic Society)
CLE - Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D’Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP

[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for participation

[samuel]

===
[ please distribute - apologies for multiple copies ]
===

*** Call for Participation ***

XVII Brazilian Logic Conference (EBL 2014)
7-11 April 2014
Laboratório Nacional de Computação Científica - Petrópolis (RJ)

www.uff.br/ebl

*** Deadline for early payment: ***
 *** February 10, 2014 ***


The Brazilian Logic Conference (EBL) is a traditional event on the
agenda of several prominent researchers in Brazil and Latin America in
the areas of Logic, Foundations and Philosophy of Science, Mathematics,
Computer Science, Informatics, and Artificial Intelligence.

Previous editions of the EBL have been a great success, attracting
researchers from all over Latin America and elsewhere. The EBL has
become an important meeting point and discussion forum for students
and researchers interested in the interdisciplinary study of Logic.

In 2014, the EBL will be held at the National Laboratory for
Scientific Computing (LNCC), at Petrópolis, Rio de Janeiro.

The goal of the EBL is to encourage the dissemination and discussion
of research papers in the area of Logic and their interconnections
with the areas of Foundations and Philosophy of Science, Mathematics,
Computer Science, Informatics, and Artificial Intelligence.


Topics include:

Philosophical and Mathematical Logic, and Applications;
History and Philosophy of Logic;
Non-classical Logic and Applications;
Philosophy of Formal Sciences;
Foundations of Computer Science, Physics, and Mathematics,

among others.


Keynote Speakers

Xavier Caicedo (Universidad de los Andes)
José Luiz Fiadeiro (University of Leicester)
Manuel Fidel (Universidad Nacional del Sur, Argentina)
Nick Galatos (University of Denver)
Delia Kesner (Université Paris Diderot)
Tor Sandqvist (Royal Institute of Technology)
Wagner de Campos Sanz (UFG)
Jairo José da Silva (UNESP)
Gem Stapleton (University of Brighton)
Göran Sundhom (Universiteit Leiden)


The previous editions of this conference were held in Campinas (1977),
Campinas (1978), Recife (1979), Campinas (1980), Campinas (1981),
São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos
(1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia
(1999), Campinas (2003), Itatiaia (2006), Paraty (2008) and Petrópolis (2011).


Logic School

Starting with EBL 2008, the conference includes a Logic School aimed at
undergraduate and graduate students with interest in Logic and related
fields, but also open to all interested parties. The Logic School will
happen on 5-6 April 2014, at the Instituto de Matemática e Estatística of
the Universidade Federal Fluminense (UFF), at Niterói, Rio de Janeiro.

For more information on courses and registration, please check the
Logic School website at:

www.uff.br/ebl


Program committee of the Logic School

Renata de Freitas (UFF)
Petrucio Viana (UFF)


Scientific Committee

Ofelia Alas (USP)
Carlos Areces (Córdoba, Argentina)
Mauricio Ayala-Rincón (UnB)
Jean-Yves Béziau (UFRJ)
Carlos Caleiro (TU Lisbon, Portugal)
Walter Carnielli (UNICAMP)
Marcelo Coniglio (UNICAMP)
Newton da Costa (UFSC)
Richard L. Epstein (Advanced Reasoning Forum, USA)
Marcelo Finger (USP)
Lou Goble (Willamette University, USA)
Lew Gordeev (Universität Tübingen, Germany)
Edward Hermann Haeusler (PUC-Rio) - co-chair
Jose Iovino (University of Texas at San Antonio, USA)
Jean-Baptiste Joinet (Université Jean Moulin - Lyon 3, France)
Lucia Junqueira (USP)
Décio Krause (UFSC)
João Marcos (UFRN)
Maria da Paz Nunes de Medeiros (UFRN)
Francisco Miraglia (USP)
Valéria de Paiva (Nuance Communications, USA)
Elaine Pimentel (UFRN)
Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas,  
Venezuela)

Petrucio Viana (UFF) - co-chair
Andrés Villaveces (UNAL, Colombia)
Renata Wassermann (USP)


** Important Dates **

Deadline for registration with early payment (with discount):
February 10, 2014
Registration of authors of accepted papers: February 10, 2014
Logic School: April 05-06, 2014
Conference: April 07-11, 2014


Registrations

http://www.uff.br/ebl/


Organization

SBL - Sociedade Brasileira de Lógica (Brazilian Logic Society)
CLE - Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D’Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de

[Logica-l] Atração de pesquisadores estrangeiros (Ciência sem Fronteiras)

[samuel]

Prezados colegas,

Tem duas chamadas abertas do "Ciência sem Fronteiras" para atração de  
pesquisadores do exterior (uma para "jovens talentos", outra para  
"pesquisadores senior"), com submissão até 07/04/2014.


Mais informações em

http://www.cienciasemfronteiras.gov.br/web/csf/pesquisador-visitante-especial1

http://www.cienciasemfronteiras.gov.br/web/csf/jovem-talento3

Até mais,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

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

[Logica-l] EBL 2014 - Call for participation - Extended deadline for early payment

[samuel]

-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)


Sponsors

CAPES, CNPq, FAPERJ, PAPESP, PUC-Rio, UFF

===




Universidade Federal da Bahia - http://www.portal.ufba.br

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