In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

Harm-reduction approaches are used to reduce the burden of risky human behaviour without necessarily aiming to stop the behaviour. We discuss what an introduction of harm reduction for doping in sports would mean in parallel with a relaxation of the antidoping rule. We analyse what is ethically at stake in the following five levels: (1) What would it mean for the athlete (the self)? (2) How would it impact other athletes (the other)? (3) How would it affect the phenomenon of (...) sport as a game and its fair play basis (the play)? (4) What would be the consequences for the spectator and the role of sports in society (the display)? and (5) What would it mean for what some consider as essential to being human (humanity)? For each level, we present arguments for and against doping and then discuss what a harm-reduction approach, within a dynamic regime of a partially relaxed antidoping rule, could imply. We find that a harm-reduction approach is morally defensible and potentially provides a viable escape out of the impasse resulting from the impossibility of attaining the eradication of doping. The following question remains to be answered: Would a more relaxed position, when combined with harm-reduction measures, indeed have less negative consequences for society than today9s all-out antidoping efforts that aim for abstinence? We provide an outline of an alternative policy, allowing a cautious step-wise change to answer this question and then discuss the ethical aspects of such a policy change. (shrink)

Jan G. Michel argues that we need a philosophy of scientific discovery. Before turning to the question of what such a philosophy might look like, he addresses two questions: Don’t we have a philosophy of scientific discovery yet? And do we need one at all? To answer the first question, he takes a closer look at history and finds that we have not had a systematic philosophy of scientific discovery worthy of the name for over 150 years. To answer the (...) second question, Michel puts forward three arguments that show the importance of a philosophy of scientific discovery. Briefly, he arrives at the following answers: No, we don’t yet have a philosophy of scientific discovery, and yes, we definitely need one. To remedy this shortcoming, Michel analyzes the concept of discovery, leading him to the insight that scientific discoveries have an underlying structure with certain structural features. Some of these features may be important but not indispensable to scientific discovery processes; these include eureka moments, serendipities, joint discoveries, special science funding, and others. In addition, Michel identifies three indispensable structural features which he examines in detail and which he places in a picture with a certain dynamics according to which the process of making scientific discoveries can be seen as a path, leading us from finding and acceptance to knowledge. (shrink)

Comenius’s vision of the universal emendation of human affairs attracts attention both of scholars and of the general public for long decades. It is no wonder that there have been plenty of papers or monographs pointing out to Comenius’s emendation endeavour and quite often appreciating its exceptionality and topicality for a man living in the present. We can encounter the interpretations of Comenius as an anticipator of the United Nations organization or of a seer of the European integration project. According (...) to other interpretations, Comenius has just in his time predicted possible negative consequences of Baconian and Cartesian understanding of nature, and therefore he can be seen as a predecessor of the ecological philosophy of the 20th century. However, if we accept such updating, we should on the other hand admit that Comenius’s project of emendation evinces a large amount of problematic aspects. In this light, Comenius could be compared to the authors of the most famous utopian works. Furthermore, there could be also arisen a Popperian question, whether Comenius was not one of the enemies of the open society. Therefore, the aim of this paper is to reflect on the method of the historical research, primarily on the difficulties emerging from the anachronous interpretation not only of the work of John Amos Comenius, but of the intellectual history of the 17th century at all. (shrink)

The paper is concerned with Comenius’ philosophical view of man. In Comenius’ late writings, man is presented as a being determined by its own unique nature, at the core of which lies an existential openness founded on a free and limitless will. Comenius defines man as a being that creates itself endlessly and in infinite ways and presents a well-thought out argument to the effect that the defining feature of man is the God-given mind, conceived of as a trinity of (...) crucial dispositions – will, reason and agentive faculties. The will is set to be the central part of the mind. However, this concept is not characteristic for all writings by Comenius. In his earlier treatises, we can see that Comenius preferred reason over will. This paper tries to illustrate the genesis of Comenius’ conception and also to give a general overview of Comenius’ anthropology. Last but not least the paper aims to put Comenius’ philosophy of man into context of Renaissance and Early modern philosophy. (shrink)

Bastiat's great contribution to economics, in his own view, was his identification of service as the source of economic value. What is anything worth to anybody? In the cases where we are not dealing with what our fellow men do for us, the answer is to be found in its utility - how much the thing contributes to our satisfaction. In the case where we deal with our fellows, we are interested specifically in what they can do for us, that (...) is, how much service they can render us - how much they can or could, by their actions, contribute to the purchaser's satisfactions. If the providers are free beings, then the recipient will obtain those satisfactions only by agreement with that provider. It is to be assumed that the purchaser will get the best outcome he can: he will pay the lowest price feasible, for the option that is better than any known alternative. (shrink)

Hilbert's axiomatization program of physical theories met an interesting challenge when it confronted the rise of quantum mechanics in the mid-twenties. The novelty of the mathematical apparatus of the then newly born theory was to be matched only by its substantial lack of any definite physical interpretation. The early attempts at axiomatization, which are described here, reflect all the difficulty of the task faced by Jordan, Hilbert, von Neumann and others. The role of von Neumann is examined in considerable detail (...) as he can be viewed here as the most outstanding of Hilbert's heirs. Von Neumann, especially in his work devoted to the proof of the impossibility of hidden variables, not only continued Hilbert's program but pushed it to its very limits, blending axiomatic rigor and interpretative commitment. (shrink)

These sixty-one numbered paragraphs offer an overview of the idea and practice of lyric philosophy. They draw heavily on the author's texts Lyric Philosophy, Wisdom & Metaphor, and “Bringhurst's Presocratics: Lyric and Ecology”. The present essay outlines key concepts — clarity as resonance, metaphor as gestalt shift, meaning as gesture, the overlap between philosophy and poetry, the nature of lyric truth — and suggests that they are essential to an adequate epistemology. These concepts allow us to address serious gaps in (...) our understanding of how humans think, gaps that have arisen owing to the limitations of linguified intelligence coupled with a disinclination to admit the existence of these limitations. The overview also describes fundamental differences between lyric philosophy and analytic philosophy, while insisting on a robust conception of truth and on the existence of a knowable mind-independent world. The importance of a lyric approach for our understanding of a range of ecological questions is discussed, and lyric philosophy is positioned, politically, as a critique of technocracy. (shrink)

ABSTRACTBased on an overview of the ways in which politics and the political have been thought in critical discourse analysis, the author calls for a focus on the metapolitical dimension of discourse. The author develops his notion of metapolitics on the basis of post-foundational insights into politics, the political and processes of politicization. Metapolitics refers to projects and struggles where conflicting modes and models of politics clash. Metapolitical debates potentially reshape the structure of the public realm as well as the (...) entities, borders and processes that constitute it. The author differentiates his descriptive and analytic use of the term from the way this signifier has been used programmatically by the anti-democratic New Right and its heirs. He demonstrates that metapolitical projects can be democratic as well as anti-democratic. In order to facilitate discourse analyses of metapolitical projects, debates and struggles, the author suggests that the metapolitical dimension of contemporary debates can be explored further by integrating insights from governmentality studies, studies of political rationality and the discourse theoretical logics approach with CDA. Moreover, a further exploration of the linguistic and textual underpinnings of metapolitics constitutes a promising pathway for future investigation. The study of metapolitics should be part and parcel of the transdisciplinary domain of critical discourse studies so that our understanding of the linguistic and non-linguistic features of metapolitical projects can be developed in equal measure at multiple levels of abstraction. (shrink)

Notes on the life of Adolf Lindenbaum, a complete bibliography of his published works, and selected references to his unpublished results.

In the literature, regress arguments often take one of two different forms: either they conclude that a given solution fails to solve any problem of a certain kind (the strong conclusion), or they conclude that a given solution fails to solve all problems of a certain kind (the weaker conclusion). This gives rise to a logical problem: do regresses entail the strong or the weaker conclusion, or none? In this paper I demonstrate that regress arguments can in fact take both (...) forms, and clearly set out the logical difference between them. Throughout the paper, I confine myself to metaphysical examples from the early Russell. Only now that we know they are valid can we start to discuss whether they are sound. (shrink)

Non-invasive brain stimulation promises innovative experimental possibilities for psychology and neurosci- ence as well as new therapeutic and palliative measures in medicine. Because of its good risk–benefit ratio, non-invasiveness and reversibility as well as its low effort and cost it has good chances of becoming a wide- spread tool in science, medicine and even in lay use. While most issues in medical and research ethics such as informed consent, safety, and potential for misuse can be handled with manageable effort, the (...) real promise of brain stimulation does raise one prominent moral worry: it may lay the foundation of reliable, precise and stable manipulations of the mind. This article addresses this worry and concludes that it is not the possibility of manipulation, but the shift in our understanding of our mind which stands in need of careful consideration. (shrink)

L’inquiétude de la totalité de la vie, qui s’éveille chez certains esprits, les amène à créer des représentations canoniques, types de vie stylisée et unifiée. Les philosophes sont des créateurs de « canons » de vie philosophique ; mais on peut se demander s’il est possible de dresser un tableau idéal du philosophe qui pourrait lui servir en même temps de norme et de critère. Non, car la vie philosophique est un mouvement, un « acte imparfait » dont la fin (...) nous échappe ; nous la poursuivons par des voies profondément personnelles ; c’est pourquoi on ne saurait « canoniser » un philosophe. (shrink)

In this encyclopedia entry I canvass the current interpretations of John Locke's concept of Real Essence and the role it plays in his philosophy.

Due to the intense selection pressure against inbreeding, humans are expected to possess psychological adaptations that regulate mate choice and avoid inbreeding. From a gene’s-eye perspective, there is little difference in the evolutionary costs between situations where an individual him/herself is participating in inbreeding and inbreeding among other close relatives. The difference is merely quantitative, as fitness can be compromised via both routes. The question is whether humans are sensitive to the direct as well as indirect costs of inbreeding. Using (...) responses from a large population-based sample (27,364 responses from 2,353 participants), we found that human motivations to avoid inbreeding closely track the theoretical costs of inbreeding as predicted by inclusive-fitness theory. Participants were asked to select in a forced choice paradigm, which of two acts of inbreeding with actual family members they would want to avoid most. We found that the estimated fitness costs explained 83.6% of participant choices. Importantly, fitness costs explained choices also when the self was not involved. We conclude that humans intuit the indirect fitness costs of mating decisions made by close family members and that psychological inbreeding avoidance mechanisms extend beyond self-regulation. (shrink)

Der agyptische Zeitbegriff hat zwei Eigentumlichkeiten: erstens gibt es nicht einen, sondern zwei Begriffe fur das, was wir Zeit nennen, und zweitens konnen wir diese Begriffe zugleich mit Zeit und mit Ewigkeit wiedergeben. Sie bezeichnen die Zeit in ihrer Gesamtheit, ihrer unabsehbaren Fulle. Jan Assmann untersucht die Bedeutung dieses dualen Zeit/Ewigkeitsbegriffs in funf Schritten. Im ersten Teil wird diese Zweiteilung der Zeit aus der Aspektopposition des agyptischen Verbalsystems abgeleitet, das sich nicht, wie das uns vertraute auf die drei Zeitstufen Vergangenheit (...) Gegenwart Zukunft, sondern auf die zwei Aspekte Imperfektiv/Perfektiv bezieht und mit verschiedenen Symbolisierungen und Personifikationen in Verbindung gebracht. Die eine Zeit der unendlich in sich kreisenden Bewegung, aus der die Zeiteinheiten der Stunden, Tage, Monate, Jahre hervorgehen ist die Sternzeit, die Zeit des Sonnengottes, die andere Zeit der unwandelbaren Dauer ist die Steinzeit, die Zeit des Osiris. In einem zweiten Schritt wird diese Unterscheidung inhaltlich konkretisiert als kosmische und moralische Zeit. Die kosmische Sternzeit ist die Zeit der Riten, durch deren Vollzug sich der Mensch in die kosmischen Ordnungen eingliedert. Die Steinzeit der Grabmonumente, in denen sich der Mensch ins Gedachtnis der Nachwelt einzuschreiben hofft, ist die Zeit der Rechenschaft und der Geschichte. Speziell dem agyptischen Umgang mit Geschichte widmet sich der dritte Teil. Hier geht es um den engen Zusammenhang von Zeit, Geschichte und Staat, der fur das agyptische Zeitverstandnis charakteristisch ist. Der vierte Teil behandelt den Unterschied von linearer und zyklischer Zeit, Irreversibilitat und Reversibilitat, Steinzeit und Sternzeit unter dem Gesichtspunkt des Endes, das in beiden Dimensionen jeweils ganz unterschiedliche Formen annimmt. Im letzten Teil untersucht Assmann den grundlegenden Wandel des agyptischen Zeitdenkens in der 2. Halfte des 2. Jahrtausends v. Chr. Die aus der Bewegung der Sonne um die Erde ausstromende Sternzeit fullt sich immer mehr mit dem Inhalt von Schicksal und Geschichte, die Zeit, und mit ihr das menschliche Leben und das Geschick des Landes, wird in Gottes Handen gedacht. (shrink)