[Logica-l] Bolsa de PNPD no PPgMAE/UFRN

2016-11-01 Por tôpico Elaine Pimentel 
Prezados colegas,



O Programa de Pós-Graduação em Matemática Aplicada e
Estatística (PPGMAE) da Universidade Federal do Rio Grande do Norte (UFRN)
está procurando candidatos com potencial de pesquisa para uma bolsa de
pós-doutorado (PNPD-CAPES). Busca-se um candidato com interesse em
interagir com os docentes e discentes do programa.



A bolsa tem valor mensal de R$ 4.100,00 e conta com um auxílio
anual para custeio. A duração inicial é de até 12 meses, podendo ser
prorrogada por até 48 meses. Para candidatos com vínculo empregatício, o
prazo limite de concessão da bolsa é de 12 meses. O bolsista poderá ser
solicitado a contribuir com a carga didática, na graduação e na
pós-graduação, conforme as necessidades dos Departamentos de Estatística e
Matemática.



As propostas devem conter um plano de trabalho e os candidatos
devem ter o curriculum vitae atualizado na Plataforma Lattes do CNPq (se
estrangeiro, incluir curriculum vitae na proposta). O processo de revisão
das propostas inicia-se em 01 de Novembro de 2016 e termina em 02 de
Dezembro de 2016. Os interessados em se candidatar  a esta oportunidade
devem encaminhar a proposta para o professor Marcelo Bourguignon Pereira
 no endereço m.p.bourguig...@gmail.com

Saudações,
-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BV-LpUvohjyd%3Dmyzp-irRFM4LF5dfonOwZuYW2Q2zRJQw%40mail.gmail.com.

[Logica-l] logical pluralism (Leipzig, nov 7, 2016)

2016-11-01 Por tôpico Marcos Silva 
Caros, para aqueles que  estiverem por aquelas bandas da saxônia.

http://www.sozphil.uni-leipzig.de/cm/philosophie/veran/games-rules-and-agreements-to-understand-logical-pluralism/



Eu tenho os slides da apresentação para aqueles interessados em me ajudar
com um par de observações críticas legais para eu desenvolver melhor alguns
pontos.

basta me escrever em privado.



Sou muito grato pelas conversas seminais com Walter Carnielli, Abílio
Rodrigues, Diogo Dias, Luiz Carlos Pereria, JY Beziau e João Marcos, nos
últimos dois anos, sobre este tópico do pluralismo lógico (fora e dentro
desta lista).

Abraços,
Marcos

-- 
Marcos Silva
https://sites.google.com/site/marcossilvarj/
Philosophie macht Spaß!

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzKEJR%2B1VWJOm1HAcPxi7AVjtxpvHgRR8D%2BCNXoO2kj-7w%40mail.gmail.com.

Re: [Logica-l] logical pluralism (Leipzig, nov 7, 2016)

2016-11-01 Por tôpico Carol Blasio 
Caro Marcos e lista,

Parabéns e obrigada pela divulgação!
(Por favor me mande os slides.)

Aproveito também para divulgar algumas palestras minhas e de João Marcos
para quem estiver pelas bandas da Vestfália e de Francoforte.

- 03.11.2016
* João Marcos: "Can classical reasoning be recovered through the
combination of logics?"
Research Colloquium “Logic and Epistemology”
room GABF 04/358 17:00-18:00
Ruhr-Universität Bochum

- 10.11.2016
* João Marcos: "The mystery of duality unraveled: dualizing rules,
operators, and logics"
* Carolina Blasio, "When the Square meets the Cross: Towards a
generalized notion of entailment"
room GABF 04/358 16:00-18:00
Ruhr-Universität Bochum

- 15.11.2016
** João Marcos & Carolina Blasio: "Do not be afraid of the Unknown -
Logical consequence explicated in terms of cognitive attitudes"
Raum IG 2.501, Institut für Philosophie 18:00-20:00
Philosophisches Kolloquium
Goethe Universität Frankfurt

- 23.11.2016
* João Marcos: "Breaking the Proof Code - Einführung in die
Maschinengestütztes Beweisen"
(Auditorium and exact time yet to be announced)
Philosophisches Kolloquium
Ruhr-Universität Bochum

Também disponibilizamos os slides para os interessados!

Abraços,

Carol




Em 1 de novembro de 2016 21:25, Marcos Silva 
escreveu:

> Caros, para aqueles que  estiverem por aquelas bandas da saxônia.
>
> http://www.sozphil.uni-leipzig.de/cm/philosophie/veran/games-rules-and-
> agreements-to-understand-logical-pluralism/
>
> 
>
> Eu tenho os slides da apresentação para aqueles interessados em me ajudar
> com um par de observações críticas legais para eu desenvolver melhor alguns
> pontos.
>
> basta me escrever em privado.
>
> 
>
> Sou muito grato pelas conversas seminais com Walter Carnielli, Abílio
> Rodrigues, Diogo Dias, Luiz Carlos Pereria, JY Beziau e João Marcos, nos
> últimos dois anos, sobre este tópico do pluralismo lógico (fora e dentro
> desta lista).
>
> Abraços,
> Marcos
>
> --
> Marcos Silva
> https://sites.google.com/site/marcossilvarj/
> Philosophie macht Spaß!
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzKEJR%2B1VWJOm1HAcPxi7AVjtxpvHgRR8D%
> 2BCNXoO2kj-7w%40mail.gmail.com
> 
> .
>



-- 
*Carolina Blasio*
PhD student in Philosophy
State University of Campinas (Unicamp)
*"Most if not all choices in life are not binary"*
M. Dunn, 2010. Too much of a good thing.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD335O4HbQCVxxb5wNadeeNFY-B_w0OfhfjiiR2NnRrg7F1c5w%40mail.gmail.com.

[Logica-l] Fwd: Seminario LIAMF 3/11

2016-11-01 Por tôpico Joao Marcos 
Aproveito para divulgar uma palestra interessantíssima que será
oferecida pelo Marcelo Finger no IME/USP nesta próxima 5a-feira.

Joao Marcos

PS: Infelizmente estarei oferecendo uma palestra exatamente no mesmo
horário a 9.847 km dali, então esta do Marcelo eu vou perder, mas quem
puder estar lá pode nos contar depois como correu!


-- Forwarded message --

---
Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF
Registrado na CPG do IME/USP   http://www.ime.usp.br/~liamf/seminarios/
---

Date: 3/11/2016
Time: 14hs
Duration: 1h
Location: Auditório do CCSL (IME, USP)

Title: Quantitative Logic Reasoning

Speaker: Marcelo Finger

Abstract: We present a research program which investigates the
intersection of deductive reasoning with explicit quantitative
capabilities.  These quantitative capabilities encompass probabilistic
reasoning, counting and counting quantifiers, and similar systems.

The need to have a combined reasoning system that enables a unified
way to reason with quantities has always been recognized in modern
logic, as proposals of logic probabilistic reasoning are present in
the work of Boole [1854]. Equally ubiquitous is the need to deal with
cardinality restrictions on finite sets.

We actually show that there is a common way to deal with these several
deductive quantitative capabilities, involving a framework based on
Linear Algebras and Linear Programming, and the distinction between
probabilistic and cardinality reasoning arising from the different
family of algebras employed.

The quantitative logic systems are particularly amenable to the
introduction of inconsistency measurements, which quantify the degree
of inconsistency of a given quantitative logic theory, following some
basic principles of inconsistency measurements.

Thus, Paraconsistent Quantitative Reasoning is presented as a
non-explosive reasoning method that provides a reasoning tool in the
presence of quantitative logic inconsistencies, based on the principle
that inference can be obtained by minimizing the inconsistency
measurement.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjA-SRUdGrv8JnguDAZgFJ-F%2BcTv%2B4wYos8kK0tA6PyDg%40mail.gmail.com.

Re: [Logica-l] logical pluralism (Leipzig, nov 7, 2016)

2016-11-01 Por tôpico Walter Carnielli 
Ola Carol e Marcos,

o projeto do Marcos é bem bacana, e  eu fico contente de ter
contribuido de alguma forma.

Carol, eu gostaria (em PVT se  preferir) dos slides de  "Breaking the
Proof Code - Einführung in die Maschinengestütztes Beweisen"

Abs

Walter

Em 1 de novembro de 2016 19:08, Carol Blasio  escreveu:
> Caro Marcos e lista,
>
> Parabéns e obrigada pela divulgação!
> (Por favor me mande os slides.)
>
> Aproveito também para divulgar algumas palestras minhas e de João Marcos
> para quem estiver pelas bandas da Vestfália e de Francoforte.
>
> - 03.11.2016
> * João Marcos: "Can classical reasoning be recovered through the
> combination of logics?"
> Research Colloquium “Logic and Epistemology”
> room GABF 04/358 17:00-18:00
> Ruhr-Universität Bochum
>
> - 10.11.2016
> * João Marcos: "The mystery of duality unraveled: dualizing rules,
> operators, and logics"
> * Carolina Blasio, "When the Square meets the Cross: Towards a
> generalized notion of entailment"
> room GABF 04/358 16:00-18:00
> Ruhr-Universität Bochum
>
> - 15.11.2016
> ** João Marcos & Carolina Blasio: "Do not be afraid of the Unknown -
> Logical consequence explicated in terms of cognitive attitudes"
> Raum IG 2.501, Institut für Philosophie 18:00-20:00
> Philosophisches Kolloquium
> Goethe Universität Frankfurt
>
> - 23.11.2016
> * João Marcos: "Breaking the Proof Code - Einführung in die
> Maschinengestütztes Beweisen"
> (Auditorium and exact time yet to be announced)
> Philosophisches Kolloquium
> Ruhr-Universität Bochum
>
> Também disponibilizamos os slides para os interessados!
>
> Abraços,
>
> Carol
>
>
>
>
> Em 1 de novembro de 2016 21:25, Marcos Silva 
> escreveu:
>>
>> Caros, para aqueles que  estiverem por aquelas bandas da saxônia.
>>
>>
>> http://www.sozphil.uni-leipzig.de/cm/philosophie/veran/games-rules-and-agreements-to-understand-logical-pluralism/
>>
>> 
>>
>> Eu tenho os slides da apresentação para aqueles interessados em me ajudar
>> com um par de observações críticas legais para eu desenvolver melhor alguns
>> pontos.
>>
>> basta me escrever em privado.
>>
>> 
>>
>> Sou muito grato pelas conversas seminais com Walter Carnielli, Abílio
>> Rodrigues, Diogo Dias, Luiz Carlos Pereria, JY Beziau e João Marcos, nos
>> últimos dois anos, sobre este tópico do pluralismo lógico (fora e dentro
>> desta lista).
>>
>> Abraços,
>> Marcos
>>
>> --
>> Marcos Silva
>> https://sites.google.com/site/marcossilvarj/
>> Philosophie macht Spaß!
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzKEJR%2B1VWJOm1HAcPxi7AVjtxpvHgRR8D%2BCNXoO2kj-7w%40mail.gmail.com.
>
>
>
>
> --
> Carolina Blasio
> PhD student in Philosophy
> State University of Campinas (Unicamp)
> "Most if not all choices in life are not binary"
> M. Dunn, 2010. Too much of a good thing.
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD335O4HbQCVxxb5wNadeeNFY-B_w0OfhfjiiR2NnRrg7F1c5w%40mail.gmail.com.



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

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OpkQT4-fStODKRdMGMS0zcfhFZ8j%2B1KdFGN-3NcZgOEw%40mail.gmail.com.

Re: [Logica-l] logical pluralism (Leipzig, nov 7, 2016)

2016-11-01 Por tôpico Joao Marcos 
Obrigado pelo interesse, Walter.  Há uma versão destes slides aqui:
http://logic-ufrn.weebly.com/joatildeo-marcos.html

[]s, JM

On Nov 2, 2016 12:55 AM, "Walter Carnielli" 
wrote:

> Ola Carol e Marcos,
>
> o projeto do Marcos é bem bacana, e  eu fico contente de ter
> contribuido de alguma forma.
>
> Carol, eu gostaria (em PVT se  preferir) dos slides de  "Breaking the
> Proof Code - Einführung in die Maschinengestütztes Beweisen"
>
> Abs
>
> Walter
>
> Em 1 de novembro de 2016 19:08, Carol Blasio 
> escreveu:
> > Caro Marcos e lista,
> >
> > Parabéns e obrigada pela divulgação!
> > (Por favor me mande os slides.)
> >
> > Aproveito também para divulgar algumas palestras minhas e de João Marcos
> > para quem estiver pelas bandas da Vestfália e de Francoforte.
> >
> > - 03.11.2016
> > * João Marcos: "Can classical reasoning be recovered through the
> > combination of logics?"
> > Research Colloquium “Logic and Epistemology”
> > room GABF 04/358 17:00-18:00
> > Ruhr-Universität Bochum
> >
> > - 10.11.2016
> > * João Marcos: "The mystery of duality unraveled: dualizing rules,
> > operators, and logics"
> > * Carolina Blasio, "When the Square meets the Cross: Towards a
> > generalized notion of entailment"
> > room GABF 04/358 16:00-18:00
> > Ruhr-Universität Bochum
> >
> > - 15.11.2016
> > ** João Marcos & Carolina Blasio: "Do not be afraid of the Unknown -
> > Logical consequence explicated in terms of cognitive attitudes"
> > Raum IG 2.501, Institut für Philosophie 18:00-20:00
> > Philosophisches Kolloquium
> > Goethe Universität Frankfurt
> >
> > - 23.11.2016
> > * João Marcos: "Breaking the Proof Code - Einführung in die
> > Maschinengestütztes Beweisen"
> > (Auditorium and exact time yet to be announced)
> > Philosophisches Kolloquium
> > Ruhr-Universität Bochum
> >
> > Também disponibilizamos os slides para os interessados!
> >
> > Abraços,
> >
> > Carol
> >
> >
> >
> >
> > Em 1 de novembro de 2016 21:25, Marcos Silva 
> > escreveu:
> >>
> >> Caros, para aqueles que  estiverem por aquelas bandas da saxônia.
> >>
> >>
> >> http://www.sozphil.uni-leipzig.de/cm/philosophie/veran/games-rules-and-
> agreements-to-understand-logical-pluralism/
> >>
> >> 
> >>
> >> Eu tenho os slides da apresentação para aqueles interessados em me
> ajudar
> >> com um par de observações críticas legais para eu desenvolver melhor
> alguns
> >> pontos.
> >>
> >> basta me escrever em privado.
> >>
> >> 
> >>
> >> Sou muito grato pelas conversas seminais com Walter Carnielli, Abílio
> >> Rodrigues, Diogo Dias, Luiz Carlos Pereria, JY Beziau e João Marcos, nos
> >> últimos dois anos, sobre este tópico do pluralismo lógico (fora e dentro
> >> desta lista).
> >>
> >> Abraços,
> >> Marcos
> >>
> >> --
> >> Marcos Silva
> >> https://sites.google.com/site/marcossilvarj/
> >> Philosophie macht Spaß!
> >>
> >> --
> >> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> >> Grupos do Google.
> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie
> >> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> >> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> >> Acesse esse grupo em
> >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> >> Para ver essa discussão na Web, acesse
> >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzKEJR%
> 2B1VWJOm1HAcPxi7AVjtxpvHgRR8D%2BCNXoO2kj-7w%40mail.gmail.com.
> >
> >
> >
> >
> > --
> > Carolina Blasio
> > PhD student in Philosophy
> > State University of Campinas (Unicamp)
> > "Most if not all choices in life are not binary"
> > M. Dunn, 2010. Too much of a good thing.
> >
> > --
> > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> > Grupos do Google.
> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie
> > um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> > Acesse esse grupo em
> > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> > Para ver essa discussão na Web, acesse
> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-
> l/CAD335O4HbQCVxxb5wNadeeNFY-B_w0OfhfjiiR2NnRrg7F1c5w%40mail.gmail.com.
>
>
>
> --
> ---
> Walter Carnielli
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> State University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
> Phone: (+55) (19) 3521-6517
> Institutional e-mail: walter.carnie...@cle.unicamp.br
> Website: http://www.cle.unicamp.br/prof/carnielli
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logic