Habilitationsschrift--Mannheim. / Includes indexes. Bibliography: p. [198]-205.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The main objective of this work consists in investigating the relationship between Frege s conception of truth and the so called Identity Theory of Truth . An identity theory of truth is described in literature as the thesis sustaining that truth consists, fundamentally, in the identity between the content of a judgment or proposition and a fact. The proposition expressed by a sentence, as in Aristotle was a disciple of Plato , is true if, and only if, it is a fact that Aristotle was a disciple of Plato. Thus, the contents of the sentences would be in a relation of identity towards the facts, and would not be in a relation of correspondence, as classic theories of truth sustain. In Der Gedanke, published in 1918, Frege seems to sustain this theory, even though his conception of truth is much larger than that. On the article, he explicitly affirms that a fact is a thought that is true. Such affirmation fits perfectly in the identity theory of truth s slogan. Nevertheless, there s plenty of discussion on the subject in secondary literature. Authors such as Baldwin, Dodd, Kemp, Horsnby and Sluga have discussed the identification between facts and true thoughts, and have given explanations that are sometimes rather antagonistic. That is why it is of great value the reconstruction and the discussion of such interpretations, in the attempt to clarify Frege s purpose on the referred affirmation. Along with that, it is necessary to review other aspects of Frege s philosophy, since his conception of truth in general, and, particularly, the identity theory of truth, are connected to the whole of his philosophy. / A presente dissertação tem como objetivo central investigar a relação entre a concepção fregeana de verdade e a chamada teoria da verdade como identidade (Identity Theory of Truth). Uma teoria da verdade como identidade é caracterizada na literatura como a tese segundo a qual verdade consistiria, fundamentalmente, na identidade entre o conteúdo de um juízo ou proposição e um fato. A proposição expressa por uma sentença, como Aristóteles foi discípulo de Platão , é verdadeira se, e somente se, é um fato que Aristóteles foi discípulo de Platão. Assim sendo, os conteúdos das sentenças estariam em uma relação de identidade com fatos e não em uma relação de correspondência, como as teorias clássicas da verdade irão defender. Em Der Gedanke de 1918, Frege parece defender essa teoria, mesmo que a concepção fregeana de verdade seja muito mais ampla do que isso. Neste artigo, ele explicitamente afirma que um fato é um pensamento que é verdadeiro. E tal afirmação encaixa-se perfeitamente no slogan da teoria da verdade como identidade. Não obstante, na literatura secundária existe uma série de discussões sobre esse tópico. Autores como Baldwin, Dodd, Kemp, Horsnby e Sluga irão discutir essa identificação entre fatos e pensamentos verdadeiros dando respostas por vezes antagônicas. Por isso, é de grande importância reconstruir e discutir essas interpretações na tentativa de esclarecer o propósito de Frege ao fazer tal afirmação. Conjuntamente, outros aspectos da filosofia fregeana necessitam ser explicitados, pois a concepção fregeana de verdade em geral e a teoria da verdade como identidade, em particular, estão ligadas ao restante de sua filosofia.

Cette thèse étudie la théorie de la correspondance et la théorie des preuves pour la logique modale monotone et les logiques qui en sont proches.La première partie de la thèse établit une connexion formelle entre la théorie de la correspondance algorithmique et des résultats de caractérisation duale pour les treillis finis, similaire à la caractérisation par Nation d'une hiérarchie de variétés de treillis qui généralise les treillis distributifs. Cette connexion formelle est établie en utilisant la logique modale monotone. Nous adaptons l'algorithme ALBA pour la correspondance à l'environnement de la logique modale monotone, et nous utilisons un encodage, induit par une dualité, des treillis finis sous forme de 'neighbourhood frames' pour traduire les termes de la théorie des treillis en formules de la logic modal monotone.La deuxième partie de la thèse étend la théorie des 'display calculi' à la logique Baltag-Moss-Solecki pour les actions épistémiques et la connaissance (Epistemic Actions and Knowledge), à la logique modale monotone et à la logique propositionnelle dynamique (PDL). Nos résultats incluent plusieurs méta-théorèmes d'élimination de la coupure qui généralisent le théorème original de Belnap dans des dimensions différentes et indépendantes. Les deux principales généralisations des 'display calculi' traitées dans la thèse sont : la généralisation d'une théorie pour les langages ne contenant qu'un seul type à une théorie pour les langages contenant plusieurs types, et la généralisation d'une théorie pour les calculs satisfaisant la propriété de 'display' aux calculs ne la satisfaisant pas. / The present thesis focuses on Monotone Modal Logic and closely related logics from the point of view of Correspondence Theory and Proof Theory.The first part of the thesis establishes a formal connection between algorithmic corre- spondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices progressively generalizing finite distributive lattices. This formal connection is established through monotone modal logic. Specifically, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal logic.The second part of the thesis extends the theory of display calculi to Baltag-Moss- Solecki's logic of Epistemic Actions and Knowledge (EAK), Monotone Modal Logic (MML), and Propositional Dynamic Logic (PDL). Our results include several cut-elimination metatheorems, which generalize the original metatheorem of Belnap in different and mutually independent dimensions. The two main generalizations of display calculi treated in the thesis are: the generalization from single type to multi-type languages, and from the full or relativized display property to no display property.

Includes bibliographical references (leaves 303-325) / The topic of God’s beauty, while receiving attention in theological aesthetics, is not often a focused pursuit in Christian spirituality. The study attempts to answer the question of what the nature would be of an Evangelical Protestant Christian spirituality predicated upon seeking and apprehending God’s beauty. The study establishes the relevance of beauty to Christian spirituality. It then develops a definition of God’s beauty from Jonathan Edwards. God’s beauty is found to be his love for his own being. Examining Scripture and Christian history, the study establishes that God’s beauty was regarded as an objective reality until the Enlightenment. The focus of the research then turns to the subjective apprehension of beauty, and examines the methodology of pursuing beauty in art, and finds parallels in spirituality. The study considers the epistemological dichotomy of subject and object with reference to beauty, and considers Christian proposals for a form of correspondence theory for transcendentals. The findings are united in a model of spirituality. Apprehension of God’s beauty occurs through the subject possessing a correspondent form of God’s love. Findings from the aesthetic and epistemological study are united with theology to suggest that this love can be cultivated through four areas: Christian imagination, an implanted new nature, the exposure to communion with God, and the nurture of spiritual disciplines. Each of these areas is explained and justified as means to cultivate correspondent love. The postures and approaches found in the study of art and epistemology are used for explaining the nature of correspondent love. Evangelical Protestant Christian spirituality predicated upon seeking and finding God’s beauty is one which cultivates love for God that corresponds with God’s own love. / Christian Spirituality, Church History and Missiology / D. Th. (Christian Spirituality)