> Pois é, mas se pensarmos em termos de linguagem, ou seja, > que uma teoria é uma coleção de asserções, ainda temos diante > de nós o dilema sobre qual visão semântica é a mais adequada > para aquela linguagem: se uma que considera somente os cavalos > ou "aceita também os unicórnios".
A propósito, é possível considerar teorias contendo tanto asserções quanto denegações (i.e., assertions & denials): What is a logical theory? On theories containing assertions and denials https://link.springer.com/article/10.1007/s11229-019-02183-z Neste tipo de teorias é possível rejeitar diretamente alguns unicórnios, se eles lhe aborrecerem. ### <humor> E por falar em unicórnios com chifres perfurantes, esta paródia dos Simpsons feitas pelo Banksy é afiada! https://youtu.be/DX1iplQQJTo?t=84 </humor> ### Joao Marcos -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhQ4KTB0HhNJmuaeEoJZB81Ha6AkuznAmOF5eGDOsFE_w%40mail.gmail.com.
