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
-
ABNT
MAZAK, Rene Pierre Maximilian Eduard. Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/. Acesso em: 23 abr. 2024. -
APA
Mazak, R. P. M. E. (2010). Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos (Dissertação (Mestrado). 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. Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos [Internet]. 2010 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/ -
Vancouver
Mazak RPME. Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos [Internet]. 2010 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-21072010-112112/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas