>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.
Por que assumir que uma aritmética irá explicar uma semântica "folk"? JD On Sun, Apr 11, 2021 at 9:57 PM Joao Marcos <botoc...@gmail.com> wrote: > 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 > . > -- 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/CAKFx%2BYGN7J2YuUftgYdnCK-d%2BvLvzq8S5P-0EnHbzUhCqxiwBg%40mail.gmail.com.
