> >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"?
De minha parte, não vejo nenhuma razão particular para assumir tal coisa. Recorde, não obstante, que: [A1] _Alguma_ aritmética é necessária justificar a asserção feita pela sentença (C). [A2] A equivalência entre as sentenças (A) e (B) _pode ser verificada construtivamente_, caso (C) venha a ser justificada. [A3] As asserções semânticas de Daniel sobre (a inequivalência entre) as sentenças (A) e (B) _não_ foram justificadas (ainda) com base em nenhuma teoria lógica. Andrea recordou, justamente, que: [A4] A _lógica relevante_ foi criada para lidar com condicionais distintos daqueles tratados pela lógica (ou pela aritmética) intuicionista/clássica. Meu raciocínio: Se houvesse uma "Aritmética Relevante", estendendo [A4], que tivesse algo relevante (perdão) a dizer sobre [A1], sem ao mesmo tempo se comprometer com [A2] (como Daniel parece desejar), talvez ela consistisse em uma resolução satisfatória para o mistério de [A3]? Claro, esta seria a solução _mais simples_. Outra explanação para o funcionamento da semântica "folk", que vai contra o bom senso _dos lógicos_, também poderia ser satisfatória. Uma Aritmética sempre será necessária, de uma maneira ou de outra, para dar conta de [A1]. Você vislumbraria por acaso _outra_ solução para esse dilema, JD? []s, Joao Marcos > 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. -- 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_LibwEo3f-F%3D192gjPdL-wrJMUXpKTBpT1Rg1uZtU7M_5w%40mail.gmail.com.