Ver registro no DEDALUS
Exportar registro bibliográfico

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

  • Authors:
  • USP affiliated authors: MAZAK, RENE PIERRE MAXIMILIAN EDUARD - FFLCH
  • USP Schools: FFLCH
  • Subjects: 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 online ao documento

    Online access or search this record in

    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    FFLCH20900047726MAZAK, René Pierre Maximiliam Eduard 2010
    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: