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
Em dom., 11 de abr. de 2021 às 08:28, Tony Marmo <marmo.t...@gmail.com>
escreveu:
> Ainda não ficou claro o que "vaccuosly" quer dizer nos contextos
> elencados. Mas, acho que cada autor pode adotar um sentido ou outro,
> conforme lhe convém.
>
> Em quinta-feira, 8 de abril de 2021, Tiago de Lima <
> tiagosantosdel...@gmail.com> escreveu:
>
>> Olá,
>>
>> Depois do email de Daniel Durante eu fiquei com uma dúvida. Que tal essa
>> frase aqui:
>>
>> Todos os seres humanos com mais de 200 anos têm mais de 100 anos.
>>
>> Daniel, o que você acha? É verdadeiro por vacuidade ou é verdadeiro pour
>> um outro motivo? E essa outra:
>>
>> Todos os seres humanos com mais de 200 anos têm mais de 300 anos.
>>
>> é verdadeira?
>>
>> --
>> Tiago.
>>
>> --
>> 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/45b471a4-cdb3-d629-8073-887bc0aea202%40gmail.com
>> .
>>
> --
> 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/CAEsiyHRaBaEfu7f5xYxjE0wZ5TzdyRDpRkdYgYHMViKt3KL4DQ%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEsiyHRaBaEfu7f5xYxjE0wZ5TzdyRDpRkdYgYHMViKt3KL4DQ%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
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/CACHAqBmxcHsPDqfiyv88KYz4%3Dexsu5E-8PeahNrBn3L9T1xsWA%40mail.gmail.com.
