Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023

[Itala Maria Loffredo D'Ottaviano]

Caros:

Meus efusivos parabéns ao Vitor e ao João Marcos.

Sentimo-nos todos honrados, pelo prêmio do Vitor!

Itala

Em qua., 30 de ago. de 2023 às 19:36, Walter Carnielli 
escreveu:

> Parabéns João , a você e ao Vitor Greati, que além do prêmio ainda inicia
> um doutorado em Groningen.
>
> Desejos de muito sucesso!
>
> Walter
>
> Em qua., 30 de ago. de 2023 13:55, Joao Marcos 
> escreveu:
>
>> Estou muito orgulhoso de ter orientado Vitor Greati
>> (https://vitorgreati.me/) em sua excelente dissertação de mestrado,
>> "Hilbert-Style Formalism for Two-Dimensional Notions of Consequence":
>> https://www.vcla.at/events/award-ceremony/
>>
>> A dissertação, co-orientada por Sérgio Marcelino, pode ser encontrada
>> aqui:
>> https://repositorio.ufrn.br/handle/123456789/46792
>>
>> Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.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/CAO6j_Lj5aO48-Lrnyd%3DrEAj2U57iJeAm3UN63ea2qUAsF_jQrw%40mail.gmail.com
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfg_XvyQ%3DZM2%2BJ1bz4DO8RSh%3Dg7J0y6OH4c4eB0ZkfMSA%40mail.gmail.com
> 
> .
>


-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Member and Researcher of the *Centre for Logic, Epistemology and the* *History
of Science* at the University of Campinas
Research Fellow of the *Brazilian National Council for Scientific and
Technological Development*
Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
Emeritus Member, *Académie Internationale de Philosophie de Sciences *
(Bruxelles)
Titular Member, *Institut International de Philosophie *(Paris-Nancy)
Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and
the* *History
of Science.*

-- 
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/CAGi1dG6OMNzY9O%2BBaGuiCFQUXdz%3DCmEdZE0E5TXT1w5qnE032g%40mail.gmail.com.

Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023

[Walter Carnielli]

Parabéns João , a você e ao Vitor Greati, que além do prêmio ainda inicia
um doutorado em Groningen.

Desejos de muito sucesso!

Walter

Em qua., 30 de ago. de 2023 13:55, Joao Marcos 
escreveu:

> Estou muito orgulhoso de ter orientado Vitor Greati
> (https://vitorgreati.me/) em sua excelente dissertação de mestrado,
> "Hilbert-Style Formalism for Two-Dimensional Notions of Consequence":
> https://www.vcla.at/events/award-ceremony/
>
> A dissertação, co-orientada por Sérgio Marcelino, pode ser encontrada aqui:
> https://repositorio.ufrn.br/handle/123456789/46792
>
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.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/CAO6j_Lj5aO48-Lrnyd%3DrEAj2U57iJeAm3UN63ea2qUAsF_jQrw%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/CAOrCsLfg_XvyQ%3DZM2%2BJ1bz4DO8RSh%3Dg7J0y6OH4c4eB0ZkfMSA%40mail.gmail.com.

Re: [Logica-l] Re: ao

[Mayk Alves de Andrade]

Olá a todos!

Queria me delongar em algumas reflexões, se me permitem. Lembro que a
Filosofia Analítica surgiu quando Frege, fazendo uma releitura do que havia
defendido Kant, quis demonstrar que a aritmética seria analítica. Para
Kant, um juízo analítico é aquele no qual o predicado está contido no
sujeito, ou seja, estamos quebrando um "conceito maior" em "conceitos
menores". Para Kant, matemática seria sintética e *a priori. *Já Frege
defendeu que seria analítica, mas para ele ser analítico é ser derivável
apenas de leis lógicas gerais e definições. ZFC é um produto do
desenvolvimento e reformulação do programa filosófico de Frege (certamente
com influência de inúmeros outros pensadores, como Cantor, Hilbert e
Russell para citar somente três).

Para mim, a questão central da Filosofia Analítica é o fato de que, no
decorrer de seu desenvolvimento, ela transformou a ontologia em pura
epistemologia. O pontapé foi dado por Frege, como disse na passagem acima,
mas ainda mais radical foi o pensamento de Wittgenstein que originou o
positivismo lógico. No fim, parou-se de falar em ontologia. Tudo passa a
ser tido como um fenômeno estritamente linguístico, como acreditam os
formalistas ou nominalistas. Na verdade, o que ocorreu não foi a destruição
da ontologia, mas a ontologização da linguagem. Vejam, por exemplo, a ideia
de "compromisso ontológico" de Quine. Outro exemplo é a ideia de matemática
como jogo.

Já Brouwer resistiu à tentação analítica. O Ruy disse algo que não sabia,
que foi ele quem fez Wittgenstein voltar a falar de "realidade", ou seja,
de ontologia. Brower era resistente a qualquer tipo de formalização da
linguagem. A lógica intuicionista que conhecemos hoje foi formalizada por
seus seguidores. Aparentemente, a ideia que Brower tinha da matemática era
mais próxima do idealismo de Kant.

Pois bem, Lawvere foi um matemático que buscou basear seu trabalho
fundacional em Hegel. Na verdade, o Lawvere foi além, pois Hegel era um
idealista e, para o Lawvere a realidade material (e.g. a física) cumpria um
papel relevante nas formulações matemáticas. Lawvere foi um dos primeiros a
perceber o poder expressivo que a teoria de categorias trazia para a
lógica. Mais que isso, viu como a teoria de topos da geometria algébrica
fornecia uma ponte entre a lógica e a geometria.

Já conversei um pouco sobre isso com o Márcio. Ele citou os textos de Bell
sobre os infinitesimais. Guardarei para leitura futura. Até onde sei, nos
modelos da Geometria Diferencial Sintética de Kock-Lawvere (que são topos),
os infinitesimais surgem a partir da dupla-negação. São o "conjunto" que
corresponde à sentença "x tal que ¬¬(x=0)", i. e., os elementos que não são
diferentes de 0. Percebam que, na lógica clássica, esse conjunto só possui
o 0, mas na intuicionista não. Logo, a lógica adequada para o tratamento
sintético da geometria, assim como fez Leibniz e Newton, é intrinsecamente
intuicionista.

De fato, podemos dizer que as construções de Lawvere foram fortemente
guiadas pela tentativa de capturar a filosofia de Hegel, mas com um viés de
fortemente materialista. Foi surpreendente para mim descobrir que, na
verdade, Lawvere se baseou nos Manuscritos Matemáticos de Marx (onde ele
trata do cálculo infinitesimal), e possivelmente também na filosofia de
Engels, Lenin e Mao, para formular sua axiomatização da geometria
diferencial.

Na China, inclusive, o cálculo diferencial é ensinado sob a perspectiva
marxiana. Ou seja, o padrão na China é estudar a análise não-padrão. Ainda
não tive o prazer de ler esses manuscritos, ou mesmo os livros de cálculo
da China, mas parece valer a pena. Outro grupo que seguiu a linha de tentar
fundamentar a matemática com a influência de Hegel surgiu a partir dos
trabalhos de Sofya Yanovskaya, a responsável pelos estudos em lógica
matemática da URSS e pela edição dos Manuscritos Matemáticos de Marx. O
lógico húngaro Lakatos foi um de seus alunos, que também frequentava os
seminários do filósofo Lukács. Glivenko, o pai da tradução da dupla
negação, foi contemporâneo desse grupo. Uma pena que a burocracia
estalinista destruiu a possibilidade de se avançar ainda mais.

Esse texto da Sofya ilustra bem o que se pensava na época:
https://www.marxists.org/reference/subject/philosophy/works/ru/kolman.htm

Uma citação:

'I cannot pass over without a comment on old Hegel, who they say had no
profound mathematical scientific education. Hegel knew so much about
mathematics that none of his pupils were in a position to publish the
numerous mathematical manuscripts among his papers. The only man to my
knowledge to understand enough about mathematics and philosophy to be able
to do that is Marx.' [Engels, Letter to A. Lange, March 29, 1865]

Assim como disse o Ruy, a mim também parece que, de alguma maneira, essa
dualidade entre álgebra e geometria é a mesma dualidade que existe entre
sintaxe e semântica, entre linguagem e produção de sentido. A teoria de
categorias exerce uma função relevante nessa formulação, mas e

Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023

[Aldo Figallo-Orellano]

Parabéns para todos os envolvidos incluindo a UFRN






Aldo Figallo Orellano

Department of Mathematics

Institute of Mathematics and Statistics

University of São Paulo (USP), Brazil

https://sites.google.com/view/figallo


El mié, 30 ago 2023 a la(s) 15:19, Marcelo Finger (mfin...@ime.usp.br)
escribió:

> João.
>
> Parabéns a você e ao Vitor por mais essa realização.  E parabéns tb pela
> parceria transatlântica com o Sérgio, que aparentemente funcionou muito bem!
>
> []s
>
>
> Em qua., 30 de ago. de 2023 às 13:55, Joao Marcos 
> escreveu:
>
>> Estou muito orgulhoso de ter orientado Vitor Greati
>> (https://vitorgreati.me/) em sua excelente dissertação de mestrado,
>> "Hilbert-Style Formalism for Two-Dimensional Notions of Consequence":
>> https://www.vcla.at/events/award-ceremony/
>>
>> A dissertação, co-orientada por Sérgio Marcelino, pode ser encontrada
>> aqui:
>> https://repositorio.ufrn.br/handle/123456789/46792
>>
>> Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.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/CAO6j_Lj5aO48-Lrnyd%3DrEAj2U57iJeAm3UN63ea2qUAsF_jQrw%40mail.gmail.com
>> .
>>
>
>
> --
> Marcelo Finger
>  Departament of Computer Science, IME-USP
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> Instituto de Matemática e Estatística,
>
> Universidade de São Paulo
>
> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1x9SD2khXvH-KFBD6dmmZiSQMwpXZVQ-Yb2Uo8B2LF2g%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/CAAd%2BSQn%2Bf%3Djvyc%3DNO56yR5WP23tN5P1g%2BSGcbvsCt%3Duih5gDCg%40mail.gmail.com.

Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023

[Marcelo Finger]

João.

Parabéns a você e ao Vitor por mais essa realização.  E parabéns tb pela
parceria transatlântica com o Sérgio, que aparentemente funcionou muito bem!

[]s


Em qua., 30 de ago. de 2023 às 13:55, Joao Marcos 
escreveu:

> Estou muito orgulhoso de ter orientado Vitor Greati
> (https://vitorgreati.me/) em sua excelente dissertação de mestrado,
> "Hilbert-Style Formalism for Two-Dimensional Notions of Consequence":
> https://www.vcla.at/events/award-ceremony/
>
> A dissertação, co-orientada por Sérgio Marcelino, pode ser encontrada aqui:
> https://repositorio.ufrn.br/handle/123456789/46792
>
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.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/CAO6j_Lj5aO48-Lrnyd%3DrEAj2U57iJeAm3UN63ea2qUAsF_jQrw%40mail.gmail.com
> .
>


-- 
Marcelo Finger
 Departament of Computer Science, IME-USP
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
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/CAGG7Aw1x9SD2khXvH-KFBD6dmmZiSQMwpXZVQ-Yb2Uo8B2LF2g%40mail.gmail.com.

[Logica-l] Vitor Greati @ VCLA International Student Awards 2023

[Joao Marcos]

Estou muito orgulhoso de ter orientado Vitor Greati
(https://vitorgreati.me/) em sua excelente dissertação de mestrado,
"Hilbert-Style Formalism for Two-Dimensional Notions of Consequence":
https://www.vcla.at/events/award-ceremony/

A dissertação, co-orientada por Sérgio Marcelino, pode ser encontrada aqui:
https://repositorio.ufrn.br/handle/123456789/46792

Joao Marcos

-- 
http://sequiturquodlibet.googlepages.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/CAO6j_Lj5aO48-Lrnyd%3DrEAj2U57iJeAm3UN63ea2qUAsF_jQrw%40mail.gmail.com.