Paper do Gentzen

45 views
Skip to first unread message

Cic...@lia.ufc.br

unread,
Jun 18, 2016, 5:22:05 PM6/18/16
to logi...@dimap.ufrn.br
Caras(os),

Saudações cordiais! Alguém teria como disponibilizar ou sabe como posso
ter acesso ao "Investigations into Logical Deduction" do Gentzen? Fico
muito grato. Abraços!

Cícero

German Lourenço Mejia

unread,
Jun 18, 2016, 5:47:23 PM6/18/16
to logi...@dimap.ufrn.br


--
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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/6c3343aeb97ed3eeba1d2b9716a8e586.squirrel%40webmail.lia.ufc.br.

Cic...@lia.ufc.br

unread,
Jun 18, 2016, 6:02:41 PM6/18/16
to logi...@dimap.ufrn.br
Melhor impossível.

Obrigado, German!


> Olá Cícero,
>
> segue o artigo do Gentzen em diversas versões.
>
> Um abraço,
>
> German
>
> ​
> GENTZEN_Collected_papers(arquivo em djvu, conte...
> <https://drive.google.com/file/d/0B-u8BTAUVMa5eGh2anJnRWhxY1k/view?usp=drive_web>
> ​​
> GENTZEN_Investigantion into logical deduction_M...
> <https://drive.google.com/file/d/0B-u8BTAUVMa5Zk51R3R6ZlZUVUk/view?usp=drive_web>
> ​​
> GENTZEN_Investigantion into logical deduction_M...
> <https://drive.google.com/file/d/0B-u8BTAUVMa5YTZLS282ay03c2M/view?usp=drive_web>
> ​​
> GENTZEN_Investigation into logical deduction_(o...
> <https://drive.google.com/file/d/0B-u8BTAUVMa5dkRHZ0U2UGF0ejg/view?usp=drive_web>
> ​​
> GENTZEN_Investigation into logical deduction_(t...
> <https://drive.google.com/file/d/0B-u8BTAUVMa5ZmhwWmxXRm5ybUk/view?usp=drive_web>
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADO%3DY2bn9K0fhMbaqtpV2jn7bbJoCzM4Lj3Ygxw%3Dyrq%2BPM9mXA%40mail.gmail.com.
>


Valeria de Paiva

unread,
Jun 18, 2016, 7:09:39 PM6/18/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Muito obrigada tambem German! valeu mesmo!
Valeria

--
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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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/CADO%3DY2bn9K0fhMbaqtpV2jn7bbJoCzM4Lj3Ygxw%3Dyrq%2BPM9mXA%40mail.gmail.com.



--

jyb

unread,
Jun 21, 2016, 5:18:34 AM6/21/16
to LOGICA-L, Cic...@lia.ufc.br
Gostaria de lembrar que o trabalho do Gentzen se originou no trabalho do Paul Hertz (tambem aluno do Bernays). O trabalho do Hertz ainda nao e muito conhecido. Publicamos uma traducao do principal artigo dele em ingles no livro
Universal Logic: An Anthology
From Paul Hertz to Dov Gabbay
com uma apresentacao do nosso colega Javier Legris 
Paul Hertz and the Origins of Structural Reasoning
Foi Hertz que introduziu a regra do corte  inspirada do silogismo da Barbara
Ver a parte 5 (Farewell to Barbara) do meu artigo 
Is Modern Logic Non-Aristotelian ?
in D.Zaitsev (ed), Nikolai Vasiliev's Logical Legacy and Modern Logic, Springer, Dordrecht, 2016.
JYB

Cic...@lia.ufc.br

unread,
Jun 21, 2016, 6:09:50 AM6/21/16
to logi...@dimap.ufrn.br
Obrigado pela informação e pelo artigo, Jean-Yves!
Tudo muito interessante. Abraço!

Cícero
> --
> 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+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@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/343348e3-1047-454f-87c9-facd882ca855%40dimap.ufrn.br.
>


Reply all
Reply to author
Forward
0 new messages