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.
