Tarskin totuus : Totuuden määrittelemisen taustaehtoja ja seurauksia

Tutkielma esittelee Alfred Tarskin formalisoitujen kielien totuusmääritelmän filosofisia ja loogisia taustaehtoja ja seurauksia. Tutkimuksen keskeisimmät menetelmät ovat filosofinen analyysi ja matemaattinen logiikka. Keinona on myös aatehistoriallinen tutkimus. Keskeisin tutkimuksen kohde on Alfred Tarskin artikkeli "Der Wahrheitsbegriff in den formalisierten Sprachen", 1935 (julkaistu käännöksenä teoksessa Logic, Semantics, Metamathematics, Papers from 1923 to 1938, Clarendon Press, Oxford, 1956). Tarskin alkuperäinen totuusmääritelmä formalisoiduille kielille ja totuuden määrittelemättömyystulos ovat esitetty nykyaikaisella notaatiolla. Analyyttisen ja historiallisen lähestymisen kautta Tarskin totuusmääritelmän ja malliteorian suhteita selvennetään absoluuttisen ja suhteellisen totuuskäsityksen avulla. Ajatusta formaalisista kielistä ennalta annetusti tulkittuina kielinä esitellään ja sen historiallisia taustoja selvitetään. Tämän idean olennaisuus todetaan Tarskin 1930-luvun totuusmääritelmän muodostumiselle. Eräiden käännöksen käsitteeseen liittyvien epäselvyyksien esiin nostaminen ja aksiomaattisten totuusteorioiden ja totuusmääritelmän suhteen esitteleminen ovat osa tutkielman loogista osuutta. Näiden lisäksi tutkielma esittelee S. Shapiron ja J. Ketlandin totuusteoreettisen deationismin kritiikkiä, jossa käytetään Tarskin totuusmääritelmää vastaavaa totuusteoreettista aksiomatisointia.

Audience members (including Max Rieser?); Second International Congress of the International Union for the Philosophy of Science; Zurich Portraits Groups Men

Digital Image

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Beatific Enjoyment in Scholastic Philosophy and Theology: 1240-1335

This dissertation examines the concept of beatific enjoyment (fruitio beatifica) in scholastic theology and philosophy in the thirteenth and early fourteenth century. The aim of the study is to explain what is enjoyment and to show why scholastic thinkers were interested in discussing it. The dissertation consists of five chapters. The first chapter deals with Aurelius Augustine's distinction between enjoyment and use and the place of enjoyment in the framework of Augustine's view of the passions and the human will. The first chapter also focuses upon the importance of Peter Lombard's Sentences for the transmission of Augustine's treatment of enjoyment in scholastic thought as well as upon Lombard's understanding of enjoyment. The second chapter treats thirteenth-century conceptions of the object and psychology of enjoyment. Material for this chapter is provided by the writings - mostly Sentences commentaries - of Alexander of Hales, Albert the Great, Bonaventure, Thomas Aquinas, Peter of Tarentaise, Robert Kilwardby, William de la Mare, Giles of Rome, and Richard of Middleton. The third chapter inspects early fourteenth-century views of the object and psychology of enjoyment. The fourth chapter focuses upon discussions of the enjoyment of the Holy Trinity. The fifth chapter discusses the contingency of beatific enjoyment. The main writers studied in the third, fourth and fifth chapters are John Duns Scotus, Peter Aureoli, Durandus of Saint Pourçain, William of Ockham, Walter Chatton, Robert Holcot, and Adam Wodeham. Historians of medieval intellectual history have emphasized the significance of the concept of beatific enjoyment for understanding the character and aims of scholastic theology and philosophy. The concept of beatific enjoyment was developed by Augustine on the basis of the insight that only God can satisfy our heart's desire. The possibility of satisfying this desire requires a right ordering of the human mind and a detachment of the will from the relative goals of earthly existence. Augustine placed this insight at the very foundation of the notion of Christian learning and education in his treatise On Christian Doctrine. Following Augustine, the twelfth-century scholastic theologian Peter Lombard made the concept of enjoyment the first topic in his plan of systematic theology. The official inclusion of Lombard's Sentences in the curriculum of theological studies in the early universities stimulated vigorous discussions of enjoyment. Enjoyment was understood as a volition and was analyzed in relation to cognition and other psychic features such as rest and pleasure. This study shows that early fourteenth-century authors deepened the analysis of enjoyment by concentrating upon the relationship between enjoyment and mental pleasure, the relationship between cognition and volition, and the relationship between the will and the beatific object (i.e., the Holy Trinity). The study also demonstrates the way in which the idea of enjoyment was affected by changes in the method of theological analysis - the application of Aristotelian logic in a Trinitarian context and the shift from virtue ethics to normative ethics.

Imagination and diversity in the philosophy of Hobbes

This dissertation is a study of some aspects of theoretical philosophy of the early modern thinker Thomas Hobbes (1588-1679). The focal point of the work is Hobbes s conception of imagination, which is discussed from both a systematic and a historical point of view, as well as in the light of contemporary scholarship. I argue that though there are significant similarities between the view of Hobbes and that of his predecessors, he gives a novel theory of imagination, which clarifies not only early modern discussions on human nature, knowledge, science, and literary criticism, but above all his own versatile philosophy. The prologue of the dissertation introduces methodological principles and gives critical remarks on the standard view of Hobbes. In Chapter II, I discuss the prominent theories of imagination before Hobbes and link them to his account. I argue that though Hobbes adopted the Aristotelian framework, his view is not reduced to it, as he borrows from various sources, for instance, from the Stoics and from Renaissance thought. Chapters III and IV form the psychological part of the work. In the Chapter III I argue that imagination, not sense, is central in the basic cognitive operations of the mind and that imagination has a decisive role in Hobbes s theory of motivation. The Chapter IV concentrates on various questions of Hobbes s philosophy of language. The chapter ends with a defence of a less naturalistic reading of Hobbes s theory of human nature. Chapters V and VI form the epistemological part of the work. I suggest, contrary to what has been recently claimed, that though Hobbes s ideas of good literary style do have a point of contact with his philosophy (e.g. the psychology of creative process), his ideas in the field are independent of his project of demonstrative political science. Instead I argue that the novelty of his major political work, Leviathan (1651), is based on a new theory of knowledge which he continued to develop in the post-Leviathan works. Chapter VII seeks to connect the more theoretical conclusions of Chapters V and VI to Hobbes's idea(l) of science as well as to his philosophical practice. On the basis of Hobbes s own writings as well as some historical examinations, I argue that method is not an apt way to conceptualise Hobbes s philosophical practice. Contemporary readings of Hobbes s theory of science are critically discussed and the chapter ends with an analysis of Hobbes s actual argumentation. In addition to the concluding remarks, the epilogue suggest three things: first, imagination is central when trying to understand Hobbes s versatile philosophy; second, that it is misleading to depict Hobbes as a simple materialist, mechanist, and empiricist; and, third, that in terms of imagination his influence on early modern thought has not been fully appreciated.

Ethics and Aesthetics : Intersections in Iris Murdoch's Philosophy

The study addresses the question concerning the relationship between ethics and aesthetics in the philosophy of Iris Murdoch. The main argument is that Murdoch s philosophy cannot be accurately understood without an understanding of the relationship she sees between the aesthetic experience and morality. Reading Murdoch s philosophy with this relationship in mind shows that it must be considered as a relevant alternative to the main forms of aesthetic-ethical theories. The study consists of seven previously published articles and a summary. It shows that Murdoch belongs to a tradition of philosophers who seek to broaden the scope of ethics by reference to aesthetic value and aesthetic experience. She sees an attitude responsible for aesthetic experiences as relevant for morality. However, she does not collapse morality into aesthetic experience. The two meet on the level of the subject s attitude towards its object, but there is a distinction between the experiences that accompany the attitudes. Aesthetic experiences can function as a clue to morals in that they present in a pleasing manner moral truths which otherwise might be psychologically too difficult to face. Murdoch equates the aesthetic attitude with virtuous love characterized by unselfish attention to its object. The primary object of such love is in Murdoch s account another human individual in her particularity. She compares the recognition of the other person as a particular existence to the experience of the Kantian sublime and offers her own version of the true sublime which is the experience of awe in the face of the infinity of the task of understanding others. One of the most central claims in Murdoch s philosophy is that human consciousness is evaluatively structured. This claim challenges the distinction between facts and values which has had an immense influence on modern moral philosophy. One argument with which Murdoch supports her claim is the nature of great literature. According to her, the standard of greatness in literature is the authors awareness of the independent existence of individuals in the particularity of their evaluative consciousnesses. The analysis of the standard of greatness in literature is also Murdoch s only argument for the claim that the primary object of the loving unselfish attention is the other particular individual. She is convinced that great literature reveals a deep truth about the human condition with its capacity to capture the particular. Abstract philo¬sophical discourse cannot compete with this capacity but it should take truths revealed by literature seriously in its theorising. Recognising this as Murdoch s stand on the question of the relation between philosophy and literature as forms of human discourse settles whether she is part of what has been called philosophy s turn to literature. The answer is yes.

Essays in Philosophical Moral Psychology

The dissertation consists of four essays and a comprehensive introduction that discusses the topics, methods, and most prominent theories of philosophical moral psychology. I distinguish three main questions: What are the essential features of moral thinking? What are the psychological conditions of moral responsibility? And finally, what are the consequences of empirical facts about human nature to normative ethics? Each of the three last articles focuses on one of these issues. The first essay and part of the introduction are dedicated to methodological questions, in particular the relationship between empirical (social) psychology and philosophy. I reject recent attempts to understand the nature of morality on the basis of empirical research. One characteristic feature of moral thinking is its practical clout: if we regard an action as morally wrong, we either refrain from doing it even against our desires and interests, or else feel shame or guilt. Moral views seem to have a conceptual connection to motivation and emotions – roughly speaking, we can’t conceive of someone genuinely disapproving an action, but nonetheless doing it without any inner motivational conflict or regret. This conceptual thesis in moral psychology is called (judgment) internalism. It implies, among other things, that psychopaths cannot make moral judgments to the extent that they are incapable of corresponding motivation and emotion, even if they might say largely the words we would expect. Is internalism true? Recently, there has been an explosion of interest in so-called experimental philosophy, which is a methodological view according to which claims about conceptual truths that appeal to our intuitions should be tested by way of surveys presented to ordinary language users. One experimental result is that the majority of people are willing to grant that psychopaths make moral judgments, which challenges internalism. In the first article, ‘The Rise and Fall of Experimental Philosophy’, I argue that these results pose no real threat to internalism, since experimental philosophy is based on a too simple conception of the relationship between language use and concepts. Only the reactions of competent users in pragmatically neutral and otherwise conducive circumstances yield evidence about conceptual truths, and such robust intuitions remain inaccessible to surveys for reasons of principle. The epistemology of folk concepts must still be based on Socratic dialogue and critical reflection, whose character and authority I discuss at the end of the paper. The internal connection between moral judgment and motivation led many metaethicists in the past century to believe along Humean lines that judgment itself consists in a pro-attitude rather than a belief. This expressivist view, as it is called these days, has far-reaching consequences in metaethics. In the second essay I argue that perhaps the most sophisticated form of contemporary expressivism, Allan Gibbard’s norm-expressivism, according to which moral judgments are decisions or contingency plans, is implausible from the perspective of the theory of action. In certain circumstances it is possible to think that something is morally required of one without deciding to do so. Morality is not a matter of the will. Instead, I sketch on the basis of Robert Brandom’s inferentialist semantics a weak form of judgment internalism, according to which the content of moral judgment is determined by a commitment to a particular kind of practical reasoning. The last two essays in the dissertation emphasize the role of mutual recognition in the development and maintenance of responsible and autonomous moral agency. I defend a compatibilist view of autonomy, according to which agents who are unable to recognize right and wrong or act accordingly are not responsible for their actions – it is not fair to praise or blame them, since they lacked the relevant capacity to do otherwise. Conversely, autonomy demands an ability to recognize reasons and act on them. But as a long tradition in German moral philosophy whose best-known contemporary representative is Axel Honneth has it, both being aware of reasons and acting on them requires also the right sort of higher-order attitudes toward the self. Without self-respect and self-confidence we remain at the mercy of external pressures, even if we have the necessary normative competence. These attitudes toward the self, in turn, are formed through mutual recognition – we value ourselves when those who we value value us. Thus, standing in the right sort of relations of recognition is indirectly necessary for autonomy and moral responsibility. Recognition and valuing are concretely manifest in actions and institutions, whose practices make possible participation on an equal footing. Seeing this opens the way for a kind of normative social criticism that is grounded in the value of freedom and automomy, but is not limited to defending negative rights. It thus offers a new way to bridge the gap between liberalism and communitarianism.

The Restless Love of Thinking : The Concept Liebe in Hegel's Philosophy

The German philosopher G.W.F.Hegel (1770–1831) is best known for his idealistic system philosophy, his concept of spirit [Geist] and for his dictum that the existing and the rational overlap. This thesis offers a new perspective: it examines the working of the concept ‘love’ in Hegel’s philosophy by looking at the contexts and function he puts it to, from his earliest writings to the very last lectures he gave. The starting point of the inquiry is that he applied the concept Liebe to different contexts for different purposes, but each time to provide an answer to a specific philosophical problem. His formulation, reformulation and use of ‘love’ give possible solutions to problems the solving of which was crucial to the development of his thought as a whole. The study is divided into three parts, each analysing the different problems and solutions to which Hegel applied the concept of love. The first part, "Love, morality and ethical life", examines these interconnected themes in Hegel’s early work. The main questions he addressed during this period concerned how to unite Kant’s philosophy and the Greek ideal of the good life. In this context, the concept ‘love’ did three things. First, it served to formulate his grounding idea of the relation between unity and difference, or the manifold. Secondly, it was the key to his attempt to base an ideal folk religion on Christianity interpreted as a religion of love. Finally, it provided the means to criticise Kant’s moral philosophy. The question of the moral value of love helped Hegel to break away from Kant’s thought and develop his own theory about love and ethical life. The second part of the study, "Love and the political realm", considers the way 'Liebe' functions in connection with questions concerning the community and political life in Hegel’s work. In addition to questioning the universal applicability of the concept of recognition as a key to his theory of social relations, the chapters focus on gender politics and the way he conceptualised the gender category ‘woman’ through the concept ‘love’. Another line of inquiry is the way the figure of Antigone was used to conceptualise the differentiated spheres of action for men and women, and the part ‘love’ played in Hegel’s description of Antigone’s motives. Thirdly, Hegel’s analogy of the family and the state and the way ‘love’ functions in an attempt to promote understanding of the relation between citizens and the state are examined. The third and final part of the study, "Love as absolute spirit", focuses on ‘love’ within Hegel’s systemic thought and the way he continued to characterise Geist through the language of Liebe up until and including his very last works. It is shown how Liebe functions in his hierarchical organisation of the domains of art, religion and philosophy, and how both art and religion end up in similar structural positions with regard to philosophy. One recurrent theme in the third part is Hegel’s complex relation to Romantic thought. Another line of investigation is how he reconstructed Christianity as a religion of love in his mature work. In striking contrast to his early thought, in his last works Hegel introduced a new concept of love that incorporated negativity, and that could also function as the root of political action.

Mathematics, nature and cryptography: Insights from philosophy of information

One influential image that is popular among scientists is the view that mathematics is the language of nature. The present article discusses another possible way to approach the relation between mathematics and nature, which is by using the idea of information and the conceptual vocabulary of cryptography. This approach allows us to understand the possibility that secrets of nature need not be written in mathematics and yet mathematics is necessary as a cryptographic key to unlock these secrets. Various advantages of such a view are described in this article.

G.W. Leibniz and Scientific Societies

The famous philosopher Leibniz (1646-1716) was also active in the (cultural) politics of his time. His interest in forming scientific societies never waned and his efforts led to the founding of the Berlin Academy of Sciences. He also played a part in the founding of the Dresden Academy of Science and the St. Petersburg Academy of Science. Though Leibniz's models for the scientific society were the Royal Society and the Royal Science Academy of France, his pansophistic vision of scientific cooperation sometimes took on utopian dimensions. In this paper, I will present Leibniz's ideas of scientific cooperation as a kind of religious activity and discuss his various schemes for the founding of such scientific societies.

Implications of Bohmian quantum ontology for psychopathology

This article discusses the prospects of quantum psychiatry from a Bohmian point of view, which provides an ontological interpretation of quantum theory, and extends such ontology to include mind. At first, we discuss the more general relevance of quantum theory to psychopathology. The basic idea is that because quantum theory emphasizes the role of wholeness, it might be relevant to psychopathology, where breakdown of unity in the mental domain is a key feature. We then discuss the role of information in psychopathology, and consider the connections with quantum theory in this area. In particular, we discuss David Bohm’s notion of active information, which arises in the ontological interpretation of quantum theory, and is suggested to play a fundamental role as the bridge between mind and matter. Some such bridge is needed if we are to understand how subtle mental properties are able to influence more manifest physical properties in the brain (all the way to the molecular and possibly microtubular level), and how changes in those possibly quantum‐level physical processes are able to influence higher cognitive functions. We also consider the implications of the notion of active information for psychopathology. The prospects of implementing the Bohmian scheme in neuroquantal terms are then briefly considered. Finally, we discuss some possible therapeutic implications of Bohm’s approach to information and the relation of mind and matter.