Exportar registro bibliográfico

Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos (2010)

  • Authors:
  • Autor USP: MAZAK, RENE PIERRE MAXIMILIAN EDUARD - FFLCH
  • Unidade: FFLCH
  • Assunto: FILOSOFIA
  • Language: Português
  • Abstract: Os sistemas Q1 e Q2, desenvolvidos por Andréa Lopari?, perfazem três principais modificações na semântica clássica: primeiramente, o universo do discurso pode não estar limitado aos objetos que pertencem ao domínio de uma dada estrutura; em segundo lugar, a relação de identidade é determinada como a diagonal desse domínio (assim, tal relação pode não ser aplicável a todas as coisas sobre as quais a linguagem possa falar); em terceiro lugar, o quantificador existencial, em Q1, bem como o universal, em Q2, podem alcançar valores que estejam fora do domínio da estrutura. Como consequência, embora definida classicamente, a negação apresenta alguns comportamentos não clássicos - a negação de um predicado numa fórmula atômica, por exemplo, pode caracterizar algo maior que, e não tão bem definido quanto, o complemento da extensão desse predicado relativamente ao domínio. [...]
  • Imprenta:
  • Data da defesa: 22.06.2010
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MAZAK, Rene Pierre Maximilian Eduard; LOPARIC, Andrea Maria Altino de Campos. Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos. 2010.Universidade de São Paulo, São Paulo, 2010. Disponível em: < http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/ >.
    • APA

      Mazak, R. P. M. E., & Loparic, A. M. A. de C. (2010). Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/
    • NLM

      Mazak RPME, Loparic AMA de C. Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos [Internet]. 2010 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/
    • Vancouver

      Mazak RPME, Loparic AMA de C. Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos [Internet]. 2010 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021