Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Questions to Artificial Nature: A Philosophical Study of Interdisciplinary Models and their Functions in Scientific Practice

This thesis presents an interdisciplinary analysis of how models and simulations function in the production of scientific knowledge. The work is informed by three scholarly traditions: studies on models and simulations in philosophy of science, so-called micro-sociological laboratory studies within science and technology studies, and cultural-historical activity theory. Methodologically, I adopt a naturalist epistemology and combine philosophical analysis with a qualitative, empirical case study of infectious-disease modelling. This study has a dual perspective throughout the analysis: it specifies the modelling practices and examines the models as objects of research. The research questions addressed in this study are: 1) How are models constructed and what functions do they have in the production of scientific knowledge? 2) What is interdisciplinarity in model construction? 3) How do models become a general research tool and why is this process problematic? The core argument is that the mediating models as investigative instruments (cf. Morgan and Morrison 1999) take questions as a starting point, and hence their construction is intentionally guided. This argument applies the interrogative model of inquiry (e.g., Sintonen 2005; Hintikka 1981), which conceives of all knowledge acquisition as process of seeking answers to questions. The first question addresses simulation models as Artificial Nature, which is manipulated in order to answer questions that initiated the model building. This account develops further the "epistemology of simulation" (cf. Winsberg 2003) by showing the interrelatedness of researchers and their objects in the process of modelling. The second question clarifies why interdisciplinary research collaboration is demanding and difficult to maintain. The nature of the impediments to disciplinary interaction are examined by introducing the idea of object-oriented interdisciplinarity, which provides an analytical framework to study the changes in the degree of interdisciplinarity, the tools and research practices developed to support the collaboration, and the mode of collaboration in relation to the historically mutable object of research. As my interest is in the models as interdisciplinary objects, the third research problem seeks to answer my question of how we might characterise these objects, what is typical for them, and what kind of changes happen in the process of modelling. Here I examine the tension between specified, question-oriented models and more general models, and suggest that the specified models form a group of their own. I call these Tailor-made models, in opposition to the process of building a simulation platform that aims at generalisability and utility for health-policy. This tension also underlines the challenge of applying research results (or methods and tools) to discuss and solve problems in decision-making processes.

Aristotle on the Perception of Perception : Seeing, Remembering, and Sleeping

This study is an inquiry into three related topics in Aristotle’s psychology: the perception of seeing, the perception of past perception, and the perception of sleeping. Over the past decades, Aristotle’s account of the perception of perception has been studied in numerous articles and chapters of books. However, there is no monograph that attempts to give a comprehensive analysis of this account and to assess its relation and significance to Aristotle’s psychological theory in general as well as to other theories pertaining to the topics (e.g. theories of consciousness), be they ancient, medieval, modern, or contemporary. This study intends to fill this gap and to further the research into Aristotle’s philosophy and into the philosophy of mind. The present study is based on an accurate analysis of the sources, on their Platonic background, and on later interpretations within the commentary tradition up to the present. From a methodological point of view, this study represents systematically orientated research into the history of philosophy, in which special attention is paid to the philosophical problems inherent in the sources, to the distinctions drawn, and to the arguments put forward as well as to their philosophical assessment. In addition to contributing many new findings concerning the topics under discussion, this study shows that Aristotle’s account of the perception of perception substantially differs from many later theories of consciousness. This study also suggests that Aristotle be regarded as a consistent direct realist, not only in respect of sense perception, but also in respect of memory.

Religion Explained? : A Philosophical Appraisal of the Cognitive Science of Religion

This study examines philosophically the main theories and methodological assumptions of the field known as the cognitive science of religion (CSR). The study makes a philosophically informed reconstruction of the methodological principles of the CSR, indicates problems with them, and examines possible solutions to these problems. The study focuses on several different CSR writers, namely, Scott Atran, Justin Barrett, Pascal Boyer and Dan Sperber. CSR theorising is done in the intersection between cognitive sciences, anthropology and evolutionary psychology. This multidisciplinary nature makes CSR a fertile ground for philosophical considerations coming from philosophy of psychology, philosophy of mind and philosophy of science. The study begins by spelling out the methodological assumptions and auxiliary theories of CSR writers by situating these theories and assumptions in the nexus of existing approaches to religion. The distinctive feature of CSR is its emphasis on information processing: CSR writers claim that contemporary cognitive sciences can inform anthropological theorising about the human mind and offer tools for producing causal explanations. Further, they claim to explain the prevalence and persistence of religion by cognitive systems that undergird religious thinking. I also examine the core theoretical contributions of the field focusing mainly on the (1) “minimally counter-intuitiveness hypothesis” and (2) the different ways in which supernatural agent representations activate our cognitive systems. Generally speaking, CSR writers argue for the naturalness of religion: religious ideas and practices are widespread and pervasive because human cognition operates in such a way that religious ideas are easy to acquire and transmit. The study raises two philosophical problems, namely, the “problem of scope” and the “problem of religious relevance”. The problem of scope is created by the insistence of several critics of the CSR that CSR explanations are mostly irrelevant for explaining religion. Most CSR writers themselves hold that cognitive explanations can answer most of our questions about religion. I argue that the problem of scope is created by differences in explanation-begging questions: the former group is interested in explaining different things than the latter group. I propose that we should not stick too rigidly to one set of methodological assumptions, but rather acknowledge that different assumptions might help us to answer different questions about religion. Instead of adhering to some robust metaphysics as some strongly naturalistic writers argue, we should adopt a pragmatic and explanatory pluralist approach which would allow different kinds of methodological presuppositions in the study of religion provided that they attempt to answer different kinds of why-questions, since religion appears to be a multi-faceted phenomenon that spans over a variety of fields of special sciences. The problem of religious relevance is created by the insistence of some writers that CSR theories show religious beliefs to be false or irrational, whereas others invoke CSR theories to defend certain religious ideas. The problem is interesting because it reveals the more general philosophical assumptions of those who make such interpretations. CSR theories can (and have been) interpreted in terms of three different philosophical frameworks: strict naturalism, broad naturalism and theism. I argue that CSR theories can be interpreted inside all three frameworks without doing violence to the theories and that these frameworks give different kinds of results regarding the religious relevance of CSR theories.

Literacy, security, governmentality: Defining spaces, managing populations – How has education become part of whole of government security strategy?

In this paper I conduct a Foucauldian discourse analysis of a political speech given by Brendon Nelson in 2006 when the Australian Minister for Defence in the Howard Coalition Government. The speech connects conceptualisations of terror, globalization, education and literacy as part of a whole of government security strategy. The analysis examines this speech as an example of a liberal way of governing the conduct of diverse and unpredictable populations. My analysis suggests that the apparatus of government has been strategically used in order to biopolitically contain the rise of complex social forces and protect a set of homogenous cultural values. The purposes of education and uses of literacy are seen as instruments for the inscription of a coded set of values understood to be synonymous with civil society.

Striving for the Impossible : The Hegelian background of Judith Butler

This study analyses the Hegelian roots of the subject-theory and the political theory of Judith Butler. Butler can be seen as the author of "gender performativity". Butler claims that subject's identities are linquistic "terms". Linquistic identities are performative and normative: they produce, according to cultural rules, the identities which they just claim to describe. Butler's theory of the performativity of identities is based on her theory of identities as "ek-static" constructions. This means that there is a relation between the self and the Other in the heart of identities. It is claimed in this study that Butler's theory of the relation between the self and the Other, or, between the subject and the constitutive outside, is based on G.W.F. Hegel's theory of the dialectics of recognition in The Phenomenology of Spirit. Especially the sections dealing with the relation between "Lord" and "Bondsman" set the theoretical base for Butler's theory. Further, it is claimed that Hegel's own solution for the enslaving and instrumentalizing relation between the self and the Other, reciprocal recognition, remains an important alternative to the postmodernist conception supported by political theorists like Butler. Chapter 2, on Hegel, goes through the dialectics of recognition between the self and the Other in The Phenomenology of Spirit up until the ideal of reciprocal recognition and absolute knowledge. Chapter 3 introduces two French interpretations of Hegel, by Alexandre Kojéve and Louis Althusser. Both of these interpretations, especially the Kojevian one, have deeply influenced the contemporary understanding of Hegel as well as the contemporary thought - presented e.g. in the postmodern political thought - on the relations between the self and the Other. The Kojévian Marxist utopia with its notion of "the End of History" as well as the Althusserian theory of the Interpellative formation of subjects have influenced how Hegel's theory of the self and the Other have travelled into Butler's thought. In chapter 5 these influences are analyzed in detail. According to the analysis, Butler, like numerous other poststructuralist theorists, accepts Kojéve's interpretation as basically correct, but rejects his vision of "the End of History" as static and totalitarian. Kojéve's utopian philosophy of history is replaced by the paradoxical idea of an endless striving towards emancipation which, however, could not and should not be reached. In chapter 6 Butler's theory is linked to another postmodern political theory, that of Chantal Mouffe. It is argued that Mouffe's theory is based on a similar view of the relation of the self and the other as Butler's theory. The former, however, deals explicitly with politics. Therefore, it makes the central paradox of striving for the impossible more visible; such a theory is unable to guide political action. Hegel actually anticipated this kind of theorizing in his critique of "Unhappy Consciousness" in the Phenomenology of Spirit. Keywords: Judith Butler, G.W.F. Hegel, Chantal Mouffe, Alexandre Kojéve, Postmodernism, Politics, Identities, Performativity, Self-consciousness, Other

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.

Temporality of the Face-to-Face in Levinas' Ethics

This thesis focuses on a connection between temporality and ethics in the philosophy of Emmanuel Levinas. I argue that Levinas understanding of temporality is rooted in the function of pra-impression which in its turn does not belong to the intentional consciousness but reveals a subject as being open to the Other. In the face-to-face situation with the Other the pra-impression is an essential and constitutive force: it fractures the moment of the present, questions subjectivity and generates a new meaning of temporality. As a result a responsible subject is revealed; responsibility for the Other marks a latent birth of the subject which is prior to any origin of subjectivity, it discloses a meaning of time that does not belong to the subject but is found in the Other. In this study I suggest that pra-impression finds its productive force in language, the function of the feminine, and what Levinas calls the other in the same .

Bioavailability and toxicity of chemicals in inland waters : the importance of prevailing water chemistry and implications for risk assessment

Physicochemical characterization of freshwater samples from Finland, Sweden, the Netherlands, and Spain revealed that water hardness and pH decreased and the quantity and quality of humic substances changed considerably in this geographical series from south to north. Since the ambient water chemistry may affect the availability of chemicals, the total aqueous concentration of a chemical may be insufficient to predict the bioconcentration, subsequent biological response, and thus risk. In addition, organisms could be affected directly by water quality characteristics. In this context the main objective of this thesis was to investigate the bioavailability of selected ecotoxicologically relevant chemicals (cadmium, benzo(a)pyrene, and pyrene) in various European surface waters and to show the importance of certain water chemistry characteristics in interpreting the bioavailability and toxicity results. The bioavailability of cadmium to Daphnia magna was examined in very soft humic lake water. Humic substances as natural ligands decreased the free and bioavailable proportion of cadmium in soft lake water. As a consequence the uptake rate and the acute toxicity decreased compared with the humic-free reference. When the hardness of humic lake water was artificially elevated, the acute toxicity of cadmium decreased, although the proportion of free cadmium increased. The decreased bioavailability of cadmium in hard water was a result of effective competition for uptake by the hardness cations, especially calcium ions. The protective role of humic substances and water hardness against cadmium toxicity was also observed in Lumbriculus variegatus, although D. magna was more sensitive to cadmium. The bioavailability of two polycyclic aromatic hydrocarbons (PAHs), pyrene and benzo(a)pyrene, was studied in European surface waters of varying water chemistry. Humic substances acted as complexing ligands with both PAHs, but the bioavailability of the more lipophilic benzo(a)pyrene to D. magna was affected more by humic substances than that of pyrene. In addition, not only the quantity of humic substances, but also their quality affected the bioavailability of benzo(a)pyrene. Nevertheless, the humic substances played a protective role in the photo-enhanced toxicity of pyrene under UV-B radiation. Water hardness had no effect on pyrene toxicity. Results indicate that the typical physicochemical characteristics of boreal freshwaters should be considered carefully in local and regional risk assessment of chemicals concerning the Fennoscandian region.

Popper or Kuhn: Truth and the progress of science

The questions of whether science pursues truth as correspondence to reality and whether science in fact progresses towards attaining a truthful understanding of physical reality are fundamental and contested in the philosophy of science. On one side of the debate stands Popper, who argues that science is objective, necessarily assumes a correspondence theory of truth, and inevitably progresses toward truth as physical theories develop, gaining a more truthful understanding of reality through progressively more sophisticated empirical analysis. Conversely Kuhn, influenced by postmodern philosophy, argues that ultimate truth cannot be attained since no objective metaphysical reality exists and it cannot be known, and consequently the notion of scientific objectivity and "progress" is a myth, marred by philosophical and ideological value judgments. Ultimately, Kuhn reduces so-called scientific progress through the adoption of successive paradigms to leaps of "faith". This paper seeks a reconciliation of the two extremes, arguing that Popper is correct in the sense that science assumes a correspondence theory of truth and may progress toward truth as physical theories develop, while simultaneously acknowledging with Kuhn that science is not purely objective and free of value judgments. The notion of faith is also critical, for it was the acknowledgement of God's existence as the creator and instituter of observable natural laws which allowed the development of science and the scientific method in the first place. Therefore, accepting and synthesising the contentions that science is to some extent founded on faith, assumes and progresses toward truth, and is subject to value judgments is necessary for the progress of science.

The ghost in the city industrial complex: Le Corbusier and the fascist theory of Urbanisme

Le Corbusier participated in an urban dialogue with the first group in France to call itself fascist: the journalist Georges Valois’s militant Faisceau des Combattants et Producteurs (1925-1927), the “Blue Shirts,” inspired by the Italian “Fasci” of Mussolini. Le Corbusier’s portrait photograph materialised on the front cover of the January 1927 issue of the Faisceau League’s newspaper Le Nouveau Siècle edited by the former anarcho-syndicalist journalist Georges Valois, its leader, who fashioned himself as the French Mussolini. Le Corbusier was described in the Revue as one of les animateurs (the “organisers”) of the Party1 – meaning a member of the technical elite who would drive the Faisceau’s plans. On 1 May 1927, the Nouveau Siècle printed a full-page feature “Le Plan Voisin” on Le Corbusier’s 1922 redesign of Paris : the architect’s single-point perspective sketch appeared below an extract lifted from the architect’s original polemic Le Centre de Paris on the pages of Le Corbusier’s second book Urbanisme published two years earlier, a treatise on urbanism.2 Three weeks later, Le Corbusier presented a slide show of his urban plans at a fascist rally for the inauguration of the Faisceau’s new headquarters on the rue du faubourg Poissonniere, thereby crystalising the architect’s hallowed status in the league...

Role of information and communication in redefining unmanned aerial vehicle autonomous control levels

Autonomous mission control, unlike automatic mission control which is generally pre-programmed to execute an intended mission, is guided by the philosophy of carrying out a complete mission on its own through online sensing, information processing, and control reconfiguration. A crucial cornerstone of this philosophy is the capability of intelligence and of information sharing between unmanned aerial vehicles (UAVs) or with a central controller through secured communication links. Though several mission control algorithms, for single and multiple UAVs, have been discussed in the literature, they lack a clear definition of the various autonomous mission control levels. In the conventional system, the ground pilot issues the flight and mission control command to a UAV through a command data link and the UAV transmits intelligence information, back to the ground pilot through a communication link. Thus, the success of the mission depends entirely on the information flow through a secured communication link between ground pilot and the UAV In the past, mission success depended on the continuous interaction of ground pilot with a single UAV, while present day applications are attempting to define mission success through efficient interaction of ground pilot with multiple UAVs. However, the current trend in UAV applications is expected to lead to a futuristic scenario where mission success would depend only on interaction among UAV groups with no interaction with any ground entity. However, to reach this capability level, it is necessary to first understand the various levels of autonomy and the crucial role that information and communication plays in making these autonomy levels possible. This article presents a detailed framework of UAV autonomous mission control levels in the context of information flow and communication between UAVs and UAV groups for each level of autonomy.

Despairing Justice and the Ethics of Legal Interpretation

This study discusses legal interpretation. The question is how legal texts, for instance laws, statutes and regulations, can and do have meaning. Language makes interpretation difficult as it holds no definite meanings. When the theoretical connection between semantics and legal meaning is loosened and we realise that language cannot be a means of justifying legal decisions, the responsibility inherent in legal interpretation can be seen in full. We are thus compelled to search for ways to analyse this responsibility. The main argument of the book is that the responsibility of legal interpretation contains a responsibility towards the text that is interpreted (and through the mediation of the text also towards the legal system), but not only this. It is not simply a responsibility to read and read well, but it transcends on a broader scale. It includes responsibility for the effects of the interpretation in a particular situation and with regard to the people whose case is decided. Ultimately, it is a responsibility to do justice. These two aspects of responsibility are conceptualised here as the two dimensions of the ethics of legal interpretation: the textual and the situational. The basic conception of language presented here is provided by Ludwig Wittgenstein s later philosophy, but the argument is not committed to only one philosophical tradition. Wittgenstein can be counterpointed in interesting ways by Jacques Derrida s ideas on language and meaning. Derrida s work also functions as a contrast to hermeneutic theories. It is argued that the seed to an answer to the question of meaning lies in the inter-personal and situated activity of interpretation and communication, an idea that can be discerned in different ways in the works of Wittgenstein, Derrida and Hans-Georg Gadamer. This way the question of meaning naturally leads us to think about ethics, which is approached here through the philosophy of Emmanuel Levinas. His thinking, focusing on topics such as otherness, friendship and hospitality, provides possibilities for answering some of the questions posed in this book. However, at the same time we move inside a normativity where ethics and politics come together in many ways. The responsibility of legal interpretation is connected to the political and this has to be acknowledged lest we forget that law always implies force. But it is argued here that the political can be explored in positive terms as it does not have to mean only power or violence.

Suboptimal reentry guidance of a reusable launch vehicle using pitch plane maneuver

Using the recently developed model predictive static programming (MPSP) technique, a nonlinear suboptimal reentry guidance scheme is presented in this paper for a reusable launch vehicle (RLV). Unlike traditional RLV guidance, the problem considered over here is restricted only to pitch plane maneuver of the vehicle, which allows simpler mission planning and vehicle load management. The computationally efficient MPSP technique brings in the philosophy of trajectory optimization into the framework of guidance design, which in turn results in very effective guidance schemes in general. In the problem addressed in this paper, it successfully guides the RLV through the critical reentry phase both by constraining it to the allowable narrow flight corridor as well as by meeting the terminal constraints at the end of the reentry segment. The guidance design is validated by considering possible aerodynamic uncertainties as well as dispersions in the initial conditions. (C) 2010 Elsevier Masson SAS. All rights reserved.

Reasonability and the Linguistic - Division of Labor in Institutional Work

We examine institutional work from a discursive perspective and argue that reasonability, the existence of acceptable justifying reasons for beliefs and practices, is a key part of legitimation. Drawing on philosophy of language, we maintain that institutional work takes place in the context of ‘space of reasons’ determined by widely held assumptions about what is reasonable and what is not. We argue that reasonability provides the main contextual constraint of institutional work, its major outcome, and a key trigger for actors to engage in it. We draw on Hilary Putnam’s concept ‘division of linguistic labor’ to highlight the specialized distribution of knowledge and authority in defining valid ways of reasoning. In this view, individuals use institutionalized vocabularies to reason about their choices and understand their context with limited understanding of how and why these structures have become what they are. We highlight the need to understand how professions and other actors establish and maintain the criteria of reasoning in various areas of expertise through discursive institutional work.