João Marcos. Eu me lembro de ter assistido uma palestra do Bob Meyer em Londres na década de 90 sobre a demonstração do teorema de Goedel numa meta-matemática relevante. Não me lembro se a aritmética era relevante... o que eu mais me lembro é que ele já não tinha um pedaço do cérebro e sua fala estava alterada.
[]s Em dom., 11 de abr. de 2021 às 16:57, Joao Marcos <botoc...@gmail.com> escreveu: > Pareceria interessante, em particular, checar se uma Aritmética > Relevante (se existir tal coisa!) conseguiria explicar a semântica > "folk" ---aquela das pessoas de bom senso--- que Daniel usou para > alegar a não-equivalência entre as sentenças (A) e (B), da minha > mensagem anterior. > > JM > > > On Sun, Apr 11, 2021 at 11:51 AM Andrea Loparic <alopa...@gmail.com> > wrote: > > > > Essa discussão me lembra uma outra > > intimamente relacionada, que foi a > > que se deu no Círculo de Viena e sua > > escola na primeira metade do > > século passado, sobre a implicação > > material e as contrafactuais. > > Pois as universais da forma > > "Para todo x , se x tem mais de 200 anos > > então P(x)", onde P(x) é uma condição > > qualquer, são ditas verdadeiras porque não > > há instância verdadeira da implicação > > se fulano tem mais de 200 anos então P(fulano) > > onde fulano é um parâmetro com o qual se pode > > percorrer o domínio. > > E isso não acontece porque a falsidade do > > antecedente da condicional é condição suficiente da > > verdade da condicional na definição clássica da > > implicação material. Dessas discussões - que > > apontavam para as dificuldades de traduzir o > > "se... então..." pela implicação material fora dos > > domínios dos objetos formais, como os da > > aritmética - estão dentre as motivações principais > > do surgimento das lógicas relevantes e das lógicas > > modais. > > Convém dar uma boa espiada nas que estavam sendo > > discussões quentes da filosofia da linguagem há > > quase um século. > > Questões reais retornam sempre quando o ofício > > é o de pensar... > > Beijo da titia velhinha, > > Andrea > > -- > http://sequiturquodlibet.googlepages.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 ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhZ4kSbT_STUJtRtozhysW2kTjHJa_KMjOVoA2GTU%2Bbqw%40mail.gmail.com > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 -- 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/CAGG7Aw3imqao0538P1ASPoJ7aVPWRf24iko_z2V6X6hN0uhiBQ%40mail.gmail.com.
