II. Atitudes Proposicionais - 2

15 Março 2018, 16:00 • António José Teiga Zilhão

Como definir critérios de identidade para proposições, enquanto um dos relata das atitudes proposicionais? Comparação com o caso dos números. Definição de número de Frege como classe de todas as classes equinuméricas a uma dada classe de referência e do conceito de equinumericidade à custa do conceito de biunivocidade de uma relação. Tentativa de apresentar uma definição semelhante de proposição: a proposição como a classe de todas as frases que se encontrariam numa relação de sinonímia, entendida como intersubstituibilidade salva veritate, com uma dada frase de referência K. Objecção a esta definição: diferentes exemplos mostram que, sendo condição necessária, a intersubstituibilidade salva veritate não pode ser condição suficiente para a sinonímia; logo, a relação de sinonímia não pode ser definida à custa da intersubstituibilidade salva veritate.