[Logica-l] Fwd: 2nd Call for Abstracts: The 8th Workshop on Combining Logic and Probability (POGIC 2017), March 29-31, 2017 at LMU Munich

[Joao Marcos]

-- Forwarded message --

*

The Munich Center for Mathematical Philosophy invites abstracts for the
following event:

The 8th Workshop on Combining Logic and Probability (PROGIC 2017)

MCMP, LMU Munich

March 29-31, 2017
*http://www.progic2017.philosophie.uni-muenchen.de/index.html
*
*

Progic 2017 is the 8th Workshop in the series of workshops focusing on the
combination of logic and probability. Progic 2017 will focus on *sever
uncertainity.*
Scholars who combine probability and logic to elaborate new solutions to
problems involving severe uncertainty are invited to submit an extended
abstract (~1000 words) for presentation at the workshop. Topics include but
are not restricted to

   - ambiguity aversion
   - argument strength
   - belief revision
   - causal modeling
   - conditional judgments
   - conditionalization
   - decision making under severe uncertainty
   - descriptive modeling of severe uncertainty
   - desirability (sets of desirable gambles)
   - group decision making & pooling
   - independence concepts
   - elicitation and scoring
   - formal epistemology & severe uncertainty
   - lexicographic probabilities
   - probability logic
   - machine learning and severe uncertainty
   - Markov series & severe uncertainty

*Easychair Submission Instructions* Please submit a short abstract (max.
100 words) and an extended abstract (max. 1000 words) through the easychair
automatic submission system by *20th of December, 2016*. Prepare both of
your abstracts for blind review and save your extended abstract as a PDF
file. Then follow the link to our easychair site
. If you have never
used easychair before you will need to create an account. When logged in,
go to the new submission page. Include your 100 word abstract and upload
the PDF file of your extended abstract.

Consult the call for papers for further details:
*http://www.progic2017.philosophie.uni-muenchen.de/call_for_papers/index.html
*
Program Chair

   - Gregory Wheeler
   

(LMU
   Munich/MCMP)

PROGIC Steering Committee

   - Niki Pfeifer
   

(LMU
   Munich/MCMP)
   - Jan-Willem Romeijn
  (University
   of Groningen)
   - Gregory Wheeler
   

(LMU
   Munich/MCMP)
   - Jon Williamson  (University of Kent)

-- 
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_Lg4bmmT3SWdvZ3TRgsn9sQdxR7LEBmLNBJ547cQmSfodg%40mail.gmail.com.

[Logica-l] Heyting

[bruna souza]

Ol?, meu nome ? Bruna sou aluna da gradua??o na UFSC,  estava olhando o seu 
trabalho sobre o que creio eu ? a aritm?tica de Heyting (j? que pelo que 
pesquisei tamb?m h? o c?lculo de Heyting), por?m n?o tenho muito conhecimento 
do assunto, voc? poderia me sugerir algum livro introdut?rio para que eu possa 
me interar desse modo de fazer aritm?tica?

Boa noite,
Bruna

-- 
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/BLUPR15MB0513E7385B683630F3E2B185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com.

[Logica-l] Vaga Prof. Substituto - Filosofia Geral - UFRN

[Daniel Durante]

Colegas,

Informo que está aberto processo seletivo para professor substituto do 
Departamento de Filosofia da UFRN, na área Filosofia Geral. As inscrições 
começaram dia 13/12 e vão apenas até o dia 23/12. O edital e demais informações 
podem ser encontradas aqui:

https://progesp.ufrn.br/concurso.php?id=207897669 

Há uma “suave” concentração em lógica e teoria do conhecimento.
Abaixo o programa e a bibliografia. Não há prova escrita neste processo, apenas 
prova didáitica (aula) em que os temas devem ser tratados com um nível de 
profundidade adequado à disciplinas de graduação. Então, mesmo havendo temas 
não-lógicos, a situação não é tão assustadora, mesmo para lógicos mais 
disciplinares.

Peço ajuda na divulgação.

Abraço,
Daniel.
-
Departamento de Filosofia - (UFRN)
http://danieldurante.weebly.com

 
Programa:

1) Definição de lógica, argumento e argumento válido
2) Silogismo e lógica proposicional
3) As três definições de conhecimento no Teeteto, de Platão
4) Descartes: a questão do método e o problema da certeza
5) O problema do tempo em Agostinho de Hipona
6) Ética kantiana e o imperativo categórico

Bibliografia:

- Introdução à lógica, de Irving Copy
- Teeteto, de Platão
- Meditações metafísicas(I e III), de René Descartes
- Confissões, de Santo Agostinho
- Fundamentação da metafísica dos costumes -seções 1ª e 2ª-, de Immanuel Kant

-- 
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/822F8EC8-DFD8-4DC2-9826-F16D805A14C3%40ufrnet.br.

Re: [Logica-l] Heyting

[Marcelo Finger]

Oi Bruna.

Definitivamente exitem outras pessoas que entendem muito mais do que eu
sobre esse assunto, por exemplo, a profa Itala D'Ottavianno da Unicamp.
Mas se v me disser o que v conhece sobre algebra de Heyting, Teorema de
Godel e semântica de lógica intuicionista, eu poderia guiar você à
literatura.

[]s

Marcelo


2016-12-15 22:21 GMT-02:00 bruna souza :

> Olá, meu nome é Bruna sou aluna da graduação na UFSC,  estava olhando o
> seu trabalho sobre o que creio eu é a aritmética de Heyting (já que pelo
> que pesquisei também há o cálculo de Heyting), porém não tenho muito
> conhecimento do assunto, você poderia me sugerir algum livro introdutório
> para que eu possa me interar desse modo de fazer aritmética?
>
> Boa noite,
> Bruna
>
> --
> 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/BLUPR15MB0513E7385B683630F3E2B
> 185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com
> 
> .
>



-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

-- 
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/CABqmzx3mE5RFJc4K%2B9WgGqEeCBWxnEZrAyHN48d--0XVmbJFgw%40mail.gmail.com.

Re: [Logica-l] Heyting

[Antonio Marmo]

Cara Bruna, caro Marcelo,

Isso é fácil responder: no próprio livro do Heyting, "Intuitionism: an 
Introduction", você confere o capítulo 2.

Mas, enfim, estou escrevendo excepcionalmente apenas para desejar Feliz Natal e 
Feliz Chanukah (que neste ano coincidem) aos lógicos, matemáticos e filósofos 
de todo Brasil, América Latina e CPLP!

Feliz é o homem que acha a sabedoria, o homem que obtém entendimento, pois a 
sabedoria é mais proveitosa do que a prata e rende mais do que o ouro. 
Provérbios 3:13-14

> On 16 Dec 2016, at 14:15, Marcelo Finger  wrote:
> 
> Oi Bruna.
> 
> Definitivamente exitem outras pessoas que entendem muito mais do que eu sobre 
> esse assunto, por exemplo, a profa Itala D'Ottavianno da Unicamp.  Mas se v 
> me disser o que v conhece sobre algebra de Heyting, Teorema de Godel e 
> semântica de lógica intuicionista, eu poderia guiar você à literatura.
> 
> []s
> 
> Marcelo
> 
> 
> 2016-12-15 22:21 GMT-02:00 bruna souza :
>> Olá, meu nome é Bruna sou aluna da graduação na UFSC,  estava olhando o seu 
>> trabalho sobre o que creio eu é a aritmética de Heyting (já que pelo que 
>> pesquisei também há o cálculo de Heyting), porém não tenho muito 
>> conhecimento do assunto, você poderia me sugerir algum livro introdutório 
>> para que eu possa me interar desse modo de fazer aritmética?
>> 
>> Boa noite,
>> Bruna
>> 
>> -- 
>> 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/BLUPR15MB0513E7385B683630F3E2B185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com.
> 
> 
> 
> -- 
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
> -- 
> 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/CABqmzx3mE5RFJc4K%2B9WgGqEeCBWxnEZrAyHN48d--0XVmbJFgw%40mail.gmail.com.

-- 
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/A817DD6B-B446-4133-AE44-D88818684A7C%40gmail.com.