A LÓGICA DAS ENTIDADES INTENSIONAIS

Um grave problema presente quando aplicamos semântica composicional, que atribui simples.valores de verdade a frases, é que quando essas seqüências estão presentes em alguns.contextos específicos, a substituição de certas expressões com a mesma referência pode.cambiar o valor de verdade da frase maior ou então impedir que inferências válidas sejam.realizadas. Por exemplo, da afirmação """"Pedro acredita que Alexandre o Grande foi aluno de.Aristóteles"""", não se pode inferir corretamente neste contexto de crença que a substituição de.""""Alexandre o grande"""" por """"o vencedor da batalha de Arbela"""" seja válida porque.eventualmente Pedro pode não saber que """"Alexandre o Grande é o vencedor da batalha de.Arbela"""" e por isso a verdade das premissas não garante a verdade da conclusão: """"Pedro.acredita que o vencedor da batalha de Arbela foi aluno de Aristóteles"""". A conclusão não se.segue pois ela não depende da relação de identidade efetiva entre “Alexandre o Grande” e “O.vencedor da Arbela”, e sim depende, de maneira contingente, do conjunto de crenças de.Pedro; ou ainda, segundo Frege, depende do sentido que Pedro associa a descrição.“Alexandre o Grande”. Em contextos intensionais a verdade da conclusão (após substituição).depende de uma maneira específica da maneira de conceber o nome em questão, por isso a.substituição entre nomes cujo referente é o mesmo, mas que diferem em sentido, não funciona.em todos os casos. O fato é que Frege nunca estabeleceu critérios de identidade para o sentido.(Sinn), apenas reservou-se a declarar simplesmente que o sentido é o """"modo de apresentação"""".da referência. Pretendemos apresentar critérios de identidade para o sentido em geral, e em.contextos intensionais, em particular. Os sucessores de Frege, dentre eles o lógico Alonzo.Church e o filósofo Rudolf Carnap foram os primeiros a estabelecer que duas expressões têm.o mesmo sentido se e somente se são sinonimamente isomorfas e intensionalmente isomorfas,.respectivamente. Tais critérios devem ser entendidos à luz dos pressupostos lógicos de.Church em sua Lógica do Sentido e da Denotação (LSD) e das idéias de Carnap – muitas.delas constituintes do programa filosófico do Positivismo lógico, em seu livro Meaning and.Necessity. Mais recentemente, Pavel Tichý estabeleceu de maneira mais exata o que é o.sentido e sua identidade através do Procedural isomorphism o qual constitui um dos.fundamentos da Lógica Intensional Transparente (TIL).