A major stream of Artificial Life research aims to build synthetic life forms, operating in virtual worlds, implemented as computer programs. A clear long-term target for this research is the evolution of digital life-forms with a complexity of structure and behaviour analogous to biological life-forms, potentially exhibiting intelligence and self-awareness. The creation of intelligent, self-aware digital life-forms has clear ethical implications, but there is no current research into how these ethical issues might be addressed. This paper argues that such ethical (...) research is needed. Furthermore, it describes our future research plans to build a solid philosophical foundation for the consideration of these ethical issues. (shrink)

Using a multimodal discursive approach, this study explores how the COVID-19 pandemic is constructed and used in press reportage to mobilize intergroup relations and national identities. We examine how press reporting about the development of COVID-19 in Sweden is cast as a matter of nationalism and national stereotyping in the Finnish press. The data consist of 183 images with accompanying headlines and captions published in two Finnish national newspapers between January 1 and August 31, 2020. We found three multimodal rhetorical (...) strategies of stereotyping: moralizing, demonizing, and nationalizing. These strategies construct discourses of arrogant, immoral, and dangerous Swedes sourcing from national stereotypes. The study contributes to current knowledge about the work on national stereotypes by illustrating how they are used in media discourse to achieve certain rhetorical ends, such as to persuade, mitigate, or justify intergroup relations. Furthermore, the study offers insight into the multimodal constructions and functions of stereotypes. (shrink)

In the recent literature of the philosophy of science, much space has been given to the problem of analyzing theories of the deductive and natural sciences in a way which makes explicit some of the syntactic and semantic features which seem to be implicitly present in their structures. This pa- per is concerned with the same problem; however, some other problems of syntax and semantics are touched upon along the way. After some prelim- inaries, a very general method of constructing (...) symbolic languages is intro- duced. The resulting languages are interpreted in either empty or non- empty sets and so in a way which permits them to contain terms which stand for nothing at all and an existence predicate which is not applicable to all terms. Also, certain variable binders are interpreted in a way which leaves open the possibility of interpreting them modally and a semantic operation of degree of truth for arbitrary formulas is introduced. An axiomless logic commensurate with a semantics of this kind and so one which contains a new treatment of definite descriptions is then constructed and shown to be both sound and semantically complete. Finally, theories and various concepts pertaining to theories are defined on the basis of this syntax and semantics. Among the concepts are operations which assign degrees of confirmation, explanatory powers, degrees of deductive simplic- ity, and degrees of adequacy to theories, relations and concreteness and abstractness for expressions, a relation of significance for theories, and operations which assign denotations and meanings to expressions. (shrink)

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this (...) aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems. (shrink)