Re: [Logica-l] logic vs "formal methods"

2023-04-27 Por tôpico Walter Carnielli
Estão exagerando. Trocar lógica por teoria  dos jogos e estatística vai
piorar tudo.

Um dos argumentos diz os cursos estao dando " knowledge of
the Löwenheim–Skolem theorem but no understanding of what a correlation
coefficient".

Outro diz que os alunos aprendem métodos dedutivos, mas não indutivos.

Mas todos os comentários  concordam em que sem lógica não dá para fazer
filosofia analítica contemporânea.

O próprio Eric Rasmussen, autor de um ótimo texto  sobre teoria dos jogos
(que está quase todo disponível na internet), diz que lógica é muito mais
importante do que teria dos jogos.

Todos concordam nos comentários em que deve-se adicionar estatística e
teoria  dos jogos,  mas não sacrificar a lógica.

Alguns sugerem sacrificar cursos de língua estrangeira e até de ética, mas
juntar  métodos formais à lógica.

Walter



Em qui., 27 de abr. de 2023 08:07, Joao Marcos 
escreveu:

>
> https://dailynous.com/2023/04/26/yale-philosophy-grad-program-replaces-logic-with-formal-methods-in-its-requirements/
>
>
> JM
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj9Cp6ts2cbSGX6W6CeoToerqh%2BHCHhqd_C6mSUzRLRqA%40mail.gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLd7EVt1H3mMx%3DgsPaKv%2BkqgGkWSaGX7%2BDRN0fWf-C7rnw%40mail.gmail.com.


[Logica-l] logic vs "formal methods"

2023-04-27 Por tôpico Joao Marcos
https://dailynous.com/2023/04/26/yale-philosophy-grad-program-replaces-logic-with-formal-methods-in-its-requirements/


JM

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj9Cp6ts2cbSGX6W6CeoToerqh%2BHCHhqd_C6mSUzRLRqA%40mail.gmail.com.