Orientador: Marco Antonio Carón Ruffino

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: Em uma breve e difícil passagem de "Os Fundamentos da Aritmética", Frege apresenta um novo estilo de definições baseadas no procedimento de re-modelização do conteúdo, isto é, um procedimento que atribui um conteúdo para uma sentença por meio de uma re-organização interna do conteúdo...

Resumo: Em uma breve e difícil passagem de "Os Fundamentos da Aritmética", Frege apresenta um novo estilo de definições baseadas no procedimento de re-modelização do conteúdo, isto é, um procedimento que atribui um conteúdo para uma sentença por meio de uma re-organização interna do conteúdo expressado por uma sentença de diferente estrutura sintática. O presente trabalho é inspirado por esta passagem e tem o propósito de entender a metáfora da re-modelização de conteúdo no contexto mais moderno da teoria dos mundos possíveis. Em particular, o conteúdo expressado por uma sentença é apresentado como uma entidade estruturada que além de representar as condições de verdade da sentença, diz a respeito dos objetos do mundo que estão envolvidos em todas as formas possíveis de expressar estas condições de verdade. Desenvolvemos um formalismo de acordo com o qual o conteúdo é modelado como um par ordenado de funções, e as operações de modelização e re-modelização do conteúdo são definidas como tipos particulares de decomposição funcional que ''respeitam'' a estrutura interna do conteúdo. A principal aplicação desta teoria é um novo entendimento das principais questões relacionadas com os princípios de abstração e outros casos paradigmáticos em que supostamente o mesmo conteúdo é expressado em maneiras muito diferentes

Abstract: In a short and difficult passage of "The Foundations of Arithmetic", Frege proposes a new style of definitions based on the procedure of content recarving, i.e. a procedure that by means of an internal re-organization of the content expressed by a sentence, allegedly assigns a content --...

Abstract: In a short and difficult passage of "The Foundations of Arithmetic", Frege proposes a new style of definitions based on the procedure of content recarving, i.e. a procedure that by means of an internal re-organization of the content expressed by a sentence, allegedly assigns a content -- and thus a meaning -- to a different sentence having different syntactic structure. This work is inspired by this passage and aims at understanding the metaphor of content recarving outside of Frege's theoretical environment and in the more modern setting of the theory of possible worlds. In particular, the content of a sentence is presented as a structured entity that -- besides representing the truth-conditions of the sentence -- also encodes all information regarding the object with which every possible way of expressing the same content is concerned. A formalism is developed that models the notion of content as an ordered pair of functions, and the operations of content carving and recarving are defined as special sorts of functional decompositions that ''respect'' the internal structure of the content. The main application of this theory will be a new understanding of the main issues regarding abstraction principles and other paradigmatic cases in which the same content is expressed in very different ways

Requisitos do sistema: Software para leitura de arquivo em PDF