Submitted by Paula Quirino (paula.quirino@ufpe.br) on 2015-03-05T17:15:48Z
No. of bitstreams: 1
DISSERTAÇÃO Bruno Bentzen Aguiar.pdf: 612020 bytes, checksum: 6f17bcdf8d18b27a6c1f6caa61ed5791 (MD5) / Made available in DSpace on 2015-03-05T17:15:48Z (GMT). No. of bitstreams: 1
DISSERTAÇÃO Bruno Bentzen Aguiar.pdf: 612020 bytes, checksum: 6f17bcdf8d18b27a6c1f6caa61ed5791 (MD5)
Previous issue date: 2014 / As Grundgesetze der Arithmetik de Frege e o livro que cont em a vers~ao nal do
sistema formal desenvolvido para provar a sua tese de que aritm etica e redut vel a
l ogica. A m de evitar a indetermina c~ao levantada pelo problema Julius Caesar, a
mais fundamental quest~ao los o ca encontrada pelo seu logicismo, Frege e levado a
de nir os n umeros como extens~oes de conceitos, e, com isto, introduzir o Axioma V
em seu sistema para governar a no c~ao de percurso de valores. Por em, no par agrafo
10 do livro, Frege encontra um novo problema de indetermina c~ao, a saber, o fato
de que o Axioma V n~ao determina a refer^encia dos nomes de percurso de valores.
Para resolver este problema, Frege executa a identi ca c~ao trans-sortal, que e a
identi ca c~ao dos valores de verdade com percursos de valores de fun c~oes particulares.
Entretanto, porque a identi ca c~ao n~ao nos fornece uma determina c~ao t~ao completa
quanto a que dever amos esperar de seu famoso princ pio da completa determina c~ao
(ela n~ao permite decidir se Julius Caesar e um percurso de valores), estudiosos
como, principalmente, Dummett (1981) eWright (1983), t^em a rmado que Frege foi,
a nal, incapaz de resolver o problema Julius Caesar em uma vers~ao persistente. O
objetivo desta disserta c~ao se assenta em duas vertentes. Primeiro, queremos propor
uma interpreta c~ao, sugerida por Greimann (2003), para conciliar a identi ca c~ao
trans-sortal de Frege com o seu comprometimento com o princ pio da completa
determina c~ao. Segundo, queremos concluir, acompanhando Ru no (2002), que n~ao
h a problema Julius Caesar para percurso de valores.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/10802 |
| Date | 31 January 2014 |
| Creators | BENTZEN, Bruno |
| Contributors | RAUL NETO, Fernando |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | English |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0022 seconds