Ruth Chang and Joseph Raz have both drawn far-reaching consequences for agency from the phenomenon of incommensurability. After criticizing their arguments, I outline an alternative view: if incommensurability is vagueness, then there are no substantial implications for agency, except perhaps a limited form of naturalistic voluntarism if our reasons are provided by desires.

Two options are ‘incommensurate’ when neither is better than the other, but they are not equally good. Typically, we will say that one option is better in some ways, and the other in others, but neither is better ‘all things considered’. It is tempting to think that incommensurability is vagueness—that it is (perhaps) indeterminate which is better—but this ‘vagueness view’ of incommensurability has not proven popular. I set out the vagueness view and its implications in more detail, and argue that (...) it can explain most of the puzzling features of incommensurability. This argument proceeds without appeal to John Broome’s ‘collapsing principle’. (shrink)

John Broome has argued that value incommensurability is vagueness, by appeal to a controversial about comparative indeterminacy. I offer a new counterexample to the collapsing principle. That principle allows us to derive an outright contradiction from the claim that some object is a borderline case of some predicate. But if there are no borderline cases, then the principle is empty. The collapsing principle is either false or empty.

I argue that it’s quite comprehensible to get upset about metaethical nihilism, to indulge what I call nihilistic despair. When we lose the objective moral or normative point of view, we lose the promise of luck-immune guidance and categorical importance, things many of us hope for. This is all quite Williams-friendly, but I reject his puzzling but suggestive remarks that nihilistic despair must be a self-pitying muddle. Finally, I argue that internalism about reasons is even more depressing than outright nihilism, (...) in one way at least. (shrink)

We often have some reason to do actions insofar as they promote outcomes or states of affairs, such as the satisfaction of a desire. But what is it to promote an outcome? I defend a new version of 'probabilism about promotion'. According to Minimal Probabilistic Promotion, we promote some outcome when we make that outcome more likely than it would have been if we had done something (anything) else. This makes promotion easy and reasons cheap.

Sergio Tenenbaum and Diana Raffman contend that ‘vague projects’ motivate radical revisions to orthodox, utility-maximising rational choice theory. Their argument cannot succeed if such projects merely ground instances of the paradox of the sorites, or heap. Tenenbaum and Raffman are not blind to this, and argue that Warren Quinn’s Puzzle of the Self-Torturer does not rest on the sorites. I argue that their argument both fails to generalise to most vague projects, and is ineffective in the case of the Self-Torturer (...) itself. (shrink)

In his defence of an error theory for normative judgements, Bart Streumer presents a new 'reduction' argument against nonreductive normative realism. Streumer claims that unlike previous versions, his 'simple moral theory' version of the argument doesn’t rely on the supervenience of the normative on the descriptive. But this is incorrect; without supervenience the argument does not succeed.

It is popular to hold that emotions are evaluative. On the standard account, the evaluative character of emotion is understood in epistemic terms: emotions apprehend or make us aware of value properties. As this account is commonly elaborated, emotions are experiences with evaluative intentional content. In this paper, I am concerned with a recent alternative proposal on how emotions afford awareness of value. This proposal does not ascribe evaluative content to emotions, but instead conceives of them as evaluative at the (...) level of intentional mode or attitude. I first argue that this proposal fails to make emotions intelligible as value apprehensions. There are reasons to suppose that emotions do not apprehend value to begin with, but are related to values in a different, non-epistemic sense. I then go on to show that the notion of an evaluative intentional mode can still help elucidate the evaluative character of emotion. I argue that there is a plausible non-epistemic understanding of the view that emotions are evaluative modes. On this account, emotions are not ways of apprehending values, but ways of acknowledging values. (shrink)

It is a popular thought that emotions play an important epistemic role. Thus, a considerable number of philosophers find it compelling to suppose that emotions apprehend the value of objects and events in our surroundings. I refer to this view as the Epistemic View of emotion. In this paper, my concern is with a rivaling picture of emotion, which has so far received much less attention. On this account, emotions do not constitute a form of epistemic access to specific axiological (...) aspects of their objects. Instead it proposes that they are ways of taking a stand or position on the world. I refer to this as the Position-Taking View of emotion. Whilst some authors seem sympathetic to this view, this it has so far not been systematically motivated and elaborated. In this paper, I fill this gap and propose a more adequate account of our emotional engagement with the world than the predominant epistemic paradigm. I start by highlighting the specific way in which emotions are directed at something, which I contrast with the intentionality of perception and other forms of apprehension. I then go on to offer a specific account of the valence of emotion and show how this account and the directedness of emotions makes them intelligible as a way of taking a position on something. (shrink)

Est-il possible de parler de ce qui n’est pas ou d’y penser sans présupposer une forme d’être pour cela même que nous pensons ne pas exister? La vieille énigme parménidienne, qui hante toujours la philosophie contemporaine, est au cœur non seulement de la philosophie médiévale mais aussi des études médiévales, comme en témoigne le récent ouvrage d’Alain de Libera sur la référence vide. L’objet de cette étude est en comparaison beaucoup plus...

According to a well-known view in the philosophy of mind, intentional attitudes by their very nature satisfy requirements of rationality (e.g. Davidson 1980; Dennett 1987; Millar 2004). This view (which I shall call Constitutivism) features prominently as the ‘principle of minimal rationality’ in de Sousa’s monograph The Rationality of Emotion (1987). By explicating this principle in terms of the notion of the formal object of an attitude, de Sousa articulates an interesting and original version of Constitutivism, which differs in important (...) respects from other extant versions. In this paper, I explore this version of Constitutivism against the background of recent developments in the theory of rationality and make explicit its ramifications for the long-standing dispute over whether the mind is essentially normative. My focus will be on how to conceive of the form of the rationality requirements that attitudes as such must satisfy according to this principle. I argue that, although de Sousa seems officially to endorse a structuralist conception of rationality, according to which these requirements are requirements of coherence, his considerations on formal objects suggest that they are more aptly conceived in terms of a reasons-responsive conception of rationality. I further argue that which of these two readings we choose makes a significant difference to the prospect of vindicating the essential normativity of mind by invoking the principle of minimal rationality. (shrink)

Book review of David Sobel's "From Valuing to Value: A Defense of Subjectivism".

It is popular to hold that our primary epistemic access to specific response-dependent properties like the fearsome or admirable (or so-called ‘affective properties’) is constituted by the corresponding emotion. I argue that this view is incompatible with a widely held meta-ethical view, according to which affective properties have deontic force. More specifically, I argue that this view cannot accommodate for the requirement that deontic entities provide guidance. If affective properties are to guide the formation of the corresponding emotion, our primary (...) access to them cannot be provided by that same emotion. (shrink)

The paper challenges the assumption, common amongst philosophers, that the reality described in the fundamental theories of microphysics is all the reality we have. It will be argued that this assumption is in fact incompatible with the nature of such theories. It will be shown further that the macro-world of three-dimensional bodies and of such qualitative structures as colour and sound can be treated scientifically on its own terms, which is to say not only from the perspective of psychology but (...) also ontologically. A new sort of emergentist position will be defended, one which yields the basis of a method for describing the perceptually salient macroscopic world in mathematical terms. Broadly, it will be argued that the macroscopic world exists in virtue of certain specific sorts of boundary-patterns in the field of what is captured by the theories of microphysics. (shrink)

Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and (...) probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood. (shrink)

Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we need. This, at least, was an assumption taken almost universally for granted by the advocates of exact philosophy for much of the present century. Every event, it was held, is a physical event, and all structure in reality is physical structure. The grip of this assumption has perhaps been gradually weakened in recent years as far as the sciences of (...) mind are concerned. When it comes to the sciences of external reality, however, it continues to hold sway, so that contemporary philosophers B even while devoting vast amounts of attention to the language we use in describing the world of everyday experience B still refuse to see this world as being itself a proper object of theoretical concern. Here, however, we shall argue that the usual conception of physical reality as constituting a unique bedrock of objectivity reflects a rather archaic view as to the nature of physics itself and is in fact incompatible with the development of the discipline since Newton. More specifically, we shall seek to show that the world of qualitative structures, for example of colour and sound, or the commonsense world of coloured and sounding things, can be treated scientifically (ontologically) on its own terms, and that such a treatment can help us better to understand the structures both of physical reality and of cognition. (shrink)

I examine Bayle's infamous statement that Christian mysteries are not only "above" human reason, but are "against" it. I put it back in the context of 16th-17th century Reformed thought. I then discuss the relation between reason and faith according to Bayle.

It is sometimes alleged that the study of emotion and the study of value are currently pursued as relatively autonomous disciplines. As Kevin Mulligan notes, “the philosophy and psychology of emotions pays little attention to the philosophy of value and the latter pays only a little more attention to the former.” (2010b, 475). Arguably, the last decade has seen more of a rapprochement between these two domains than used to be the norm (cf. e.g. Roeser & Todd 2014). But there (...) still seems to be considerable potential for exchange and dialogue if the situation is compared with their intimate relationship in central strands of early realist phenomenology. The philosopher perhaps most representative of this ecumenical approach is Husserl’s early student Dietrich von Hildebrand (1889-1977). From the very early stages of his philosophical career, Hildebrand has developed one of the most original, comprehensive and nuanced accounts of emotions at whose core is a detailed examination of their connection to value. While his central concern with the ethical significance of our affective life is in many ways continuous with Scheler’s work and draws crucially on Reinach’s philosophy of mind, Hildebrand’s own reflections considerably expand on and substantially modify the picture of the ontology and normative role of emotions defended by these authors. In this article, I reconstruct Hildebrand’s view of emotions with a particular focus on those aspects which represent his most distinctive contribution to this subject. (shrink)

In this paper, we look at Bourbaki’s work as a case study for the notion of mathematical style. We argue that indeed Bourbaki exemplifies a mathematical style, namely the structuralist style.

We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of utility functions as (...) representing preference differences, while being non- etheless empirically related to choices. We highlight the originality, promises and limits of this choice-based cardinalism. (shrink)

First recorded in the 14th century, the analogy of spit-roast meat argues that expecting the Sun to rotate around a strictly immobile Earth would be just as ludicrous as trying to move the fire around the roasting meat. On the contrary, it should be the Earth that spins upon itself in order to glean, from all possible angles, all the benefits of the Sun, just as it is the meat’s responsibility to turn on the spit before the motionless fire for (...) it to be perfectly cooked on all sides. Aimed at demonstrating, in geocentricism, the plausibility of the rotation of the Earth and, in heliocentrism, at supporting the physical reality of this terrestrial rotation, nowadays this analogy barely elicits more than an amused, or even condescending, smile. However, its continued long-term existence and its frequency of use — from the 14th to the 19th century, we found it mentioned by no less than 45 different authors — incited us to finally pay attention to it. We then noticed that beyond its explicitly cosmological scope, it raises, in its own way, the question of the purpose of the natural world: had the latter been conceived based upon humankind, then it is normal, despite what this analogy advocates, that the Sun is at the service of something more important than itself by rotating, to the profit of humankind, around the Earth; conversely, since such an infringement of the rule of common sense, as illustrated by this analogy, can neither be justified nor tolerated, it is up to the Earth to move around the Sun. Tracing the vicissitudes of this analogy, over 6 centuries, is thus not only about reconstructing the largely forgotten history of a presently obsolete analogy, but also about discovering the deeper meaning, henceforth incomprehensible, behind it. In describing how this meaning became progressively lost, one can finally pro­vide an understanding of why, in the present day, we are no longer capable of more than an amused smile when happening upon it! (shrink)

Le réalisme scientifique occupe une place centrale dans le système philosophique de Mario Bunge. Au cœur de cette thèse, on trouve l’affirmation selon laquelle nous pouvons connaître le monde partiellement. Il s’ensuit que les théories scientifiques ne sont pas totalement vraies ou totalement fausses, mais plutôt partiellement vraies et partiellement fausses. Ces énoncés sur la connaissance scientifique, à première vue plausible pour quiconque est familier avec la pratique scientifique, demandent néanmoins à être clarifiés, précisés et, ultimement, à être inclus dans (...) un cadre théorique plus large et rigoureux. Depuis ses toutes premières publications sur ces questions et jusqu’à récemment, Mario Bunge n’a cessé d’interpeller les philosophes afin qu’ils développent une théorie, au sens propre du terme, de la vérité partielle afin de clarifier les enjeux épistémologiques liés au réalisme scientifique. Bunge a lui-même proposé plusieurs parties de cette théorie au fil des années, mais aucune de ces propositions ne l’a satisfait pleinement et la construction de cette théorie demeure un problème entier. Dans ce texte, nous passerons rapidement en revue certaines des approches proposées par Bunge dans ses publications et nous esquisserons certaines pistes qui devraient servir à tout le moins de desiderata pour la construction d’une théorie de la vérité partielle. (shrink)

It is widely assumed that emotions are evaluative. Moreover, many authors suppose that emotions are important or valuable as evaluations. According to the currently dominant version of cognitivism, emotions are evaluative insofar as they make us aware of value properties of their intentional objects. In attributing to emotions an epistemic role, this view conceives of them as epistemically valuable. In this paper, I argue that proponents of this account mischaracterize the evaluative character of emotions and, a fortiori, their value. Moreover, (...) I propose an alternative view of emotional evaluation, according to which emotions are practically rather than epistemically important. As I argue, emotions are ways of acknowledging their intentional objects as (dis)valuable. As such, they do not apprehend values but make them count. I elaborate this idea by drawing an analogy with legal and political sanctions. The resulting view has it that emotions are practically important in that they affirm the cares and concerns which serve as standards of emotional evaluation. (shrink)

In this paper, I examine the problem of Bayle's skepticism. I show that he is not a wholesale skeptic. Rather, he thinks that reason is plagued by internal conflicts. But its principles, which clash with each other, can be adopted separately from each other. It is often what we have to do when dealing with metaphysical problems. This also entails that reason is not to be rejected as a whole when it happens to be contradicted by faith; only some of (...) its principles have to be denied, and solely in that case. Further, Bayle believes that we possess absolute certainly in our knowledge of ethical principles. I show how this is compatible with his relativism in other domains by putting back his contention in the context of Reformed thought. (shrink)

I first explain the scholastic (Scotist) thesis on the independence of essences Bayle alludes to in the passage of the Continuation des Pensée Diverses where he presents the Stratonicians' and the Chinese philosophers' retorsion. Then, I show that this retorsion applies to the argument of the existence of God based on "aseity", but not to the occasionalist argument based on the "quod nescis" principle. I conclude that materialism (the "Stratonician hypothesis") cannot be, for Bayle, a satisfying system.

Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show that, under certain assumptions, geometric and (...) Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

Based on the presentation of a research framework (the shared work of teachers), this text uses an empirical approach to examine the hypothesis of a co-elaboration of the professional situation. To do so, the empirical investigation, based on the Goffman framework, analyzes the process of reconstructing a teaching session (reference situation) over the course of a pedagogical counselling session (support situation) characterized by interaction between a beginning teacher and a trainer. The invalidation of the hypothesis leads to a suggested conceptualization (...) of the professional situation combining definitional approaches (emphasizing the duality between its singularity and its genericity) and methodological approaches. -/- A partir de la présentation d’un cadre de recherche (le travail partagé des enseignants), ce texte soumet à l’empirie l’hypothèse de la co-élaboration de la situation professionnelle. Pour ce faire, en s’appuyant sur le cadre de Goffman, l’enquête empirique analyse le processus de reconstruction d’une séance d’enseignement (situation de référence) au cours d’une séance de conseil pédagogique (situation support) caractérisée par l’interaction entre une enseignante débutante et un formateur. L’invalidation de l’hypothèse débouche sur une proposition de conceptualisation de la situation professionnelle qui combine des approches définitoires (insistant sur la dualité entre sa singularité et sa généricité) et méthodologiques. (shrink)

The problem of the intensification and remission of qualities was a crux for philosophical, theological, and scientific thought in the Middle Ages. It was raised in Antiquity with this remark of Aristotle: some qualities, as accidental beings, admit the more and the less. Admitting more and less is not a trivial property, since it belongs neither to every category of being, nor to every quality. Rather it applies only to states and dispositions such as virtue, to affections of bodies such (...) as heat and sweetness, and to affections of soul such as anger. However, the property of admitting more and less was a matter of importance for the qualitative physics that had reigned up to about the time of Descartes, a physics which was concerned with concepts such as heat, coldness, lightness, heaviness, and so on. (shrink)

There is a wide range of things we do out of emotion. For example, we smile with pleasure, our voices drop when we are sad, we recoil in shock or jump for joy, we apologize to others out of remorse. It is uncontroversial that some of these behaviors are actions. Clearly, apologizing is an action if anything is. Things seem less clear in the case of other emotional behaviors. Intuitively, the drop in a sad person’s voice is something that happens (...) to her, rather than something she actively performs. Perhaps more interestingly, even jumping for joy can seem a problematic case: although its execution involves the active performance of certain movements, it has been argued to contrast, e.g., with an act of apology, in that it is not performed in order to achieve some end, such as repairing a relationship. This can make this behavior seem considerably different from paradigm actions. Our central concern in this paper is with which emotional behaviors should be classed as actions and why... (shrink)

Colonialism and Neo-Colonialism is a classic critique of France's policies in Algeria in the 1950s and 1960s and inspired much subsequent writing on colonialism, post-colonialism, politics, and literature. It includes Sartre's celebrated preface to Fanon's classic Wretched of the Earth. Colonialism and Neo-Colonialism had a profound impact on French intellectual life, inspiring many other influential French thinkers and critics of colonialism such as Jean-Francois Lyotard, Frantz Fanon, Pierre Bourdieu and Jacques Derrida.

On entend généralement par « théorie des modèles » autant la métamathématique (ou sémantique formelle) que la sémantique des modèles des sciences non formelles. Cet article a pour objet la théorie des modèles scientifiques que Mario Bunge a développée dans Method, Models and Matter (1973). J’y analyse l’intégration théorique qu’opère Bunge des sciences formelles et des sciences expérimentales ou observationnelles, laquelle prend appui sur sa philosophie des sciences. Je la compare sommairement à la théorie des modèles de Gilles-Gaston Granger dans (...) le but évident d’en dégager les ressemblances et les dissimilitudes, mais aussi leur commun point d’achoppement : l’une comme l’autre usent en effet d’un concept non analysé dont la fonction épistémologique est pourtant capitale et produit les mêmes effets. Au centre de la théorie des modèles de Bunge se trouve le concept de simulation que je comparerai à celui qui est en usage dans les sciences de l’ordinateur et qui est de nos jours largement appliqué à diverses sciences, tant sociales que naturelles. Je conclurai sur les conséquences méthodologiques et métaphysiques de la théorie bungéenne des modèles. (shrink)

Tradução do livro: Sociologias da alimentação: os comedores e o espaço social alimentar. Florianópolis, Editora da UFSC, 2004, 311 páginas. Obra traduzida juntamente com Rossana Pacheco da Costa Proença e Carmen Silvia Rial. ISBN 85.328.0290-7. [Título original: Sociologies de l'alimentation: Les mangeurs et l'espace social alimentair. Obra publicada originalmente pela PUF, Paris, 2002. Edição original 288 páginas. ISBN: 213050643. Janeiro 2003, 2e édition. Etnologia-Antropologia].

Fra il 1892 e il 1896, lo scienziato francese Pierre Duhem pubblicò, nella «Revue des questions scientifiques», sette articoli che, per la prima volta, fecero conoscere la sua concezione della scienza a un pubblico più vasto. L’accoglienza reticente, persino ostile, che è stata loro riservata lo indurrà, già in questo breve lasso di tempo, a fare evolvere la sua concezione. Otto anni dopo sarà pubblicata la sua famosa «Théorie physique : son objet, sa structure», in cui sono integrati molti di (...) questi testi. Offrendo per la prima volta l’edizione bilingue completa di questi sette articoli, il volume fornisce una migliore comprensione non solo dell’evoluzione del pensiero duhemiano, ma anche del contenuto del capolavoro di fama mondiale che ne sarebbe derivato. * * * Entre 1892 et 1896, le savant français Pierre Duhem fait paraître, dans la «Revue des questions scientifiques», sept articles qui, pour la première fois, font connaître sa conception de la science à un plus large public. L’accueil réticent, voire hostile, qui leur est réservé l’amènera, déjà au sein de ce court laps de temps, à faire évoluer sa conception. Huit ans plus tard paraîtra sa célèbre «Théorie physique : son objet, sa structure» dans laquelle plusieurs de ces textes se trouvent intégrés. En offrant pour la première fois l’édition bilingue intégrale de ces sept articles, ce volume permet donc de mieux comprendre non seulement l’évolution de la pensée duhémienne, mais encore le contenu du maître-ouvrage, mondialement connu, qui devait en résulter. (shrink)

A study is reported testing two hypotheses about a close parallel relation between indicative conditionals, if A then B , and conditional bets, I bet you that if A then B . The first is that both the indicative conditional and the conditional bet are related to the conditional probability, P(B|A). The second is that de Finetti's three-valued truth table has psychological reality for both types of conditional— true , false , or void for indicative conditionals and win , lose (...) , or void for conditional bets. The participants were presented with an array of chips in two different colours and two different shapes, and an indicative conditional or a conditional bet about a random chip. They had to make judgements in two conditions: either about the chances of making the indicative conditional true or false or about the chances of winning or losing the conditional bet. The observed distributions of responses in the two conditions were generally related to the conditional probability, supporting the first hypothesis. In addition, a majority of participants in further conditions chose the third option, “void”, when the antecedent of the conditional was false, supporting the second hypothesis. (shrink)

This paper explores the origins of the term "causa sine qua non" used by Durand de Saint-Pourçain to describe the role of material things in knowledge. I show that its technical meaning comes from the Stoics and was transmitted to the Middle Ages by Boethius' commentary on Cicero's Topics. The expression "sine qua non" here does not have the ordinary and restricted meaning of "indispensable", "necessary condition", which can also apply to direct, per se causes of an effect. In the (...) present context, sine qua non causes do not act on the effect in question, either as concomitant, secondary, or instrumental causes, or as remote causes. They act only on that which hinders the actualization of a potentiality, in order to remove that obstacle. For example, the removal of a support that prevented something from falling does not act on that thing, nor does it add anything to its tendency to fall; it simply enables that thing to exercise its own actualization. Similarly, in cognitive processes, external things do not impose anything on the soul, but simply give it the opportunity to actualize its faculties of its own accord. I situate Durand's use of this form of causality in the context of late 13th/early 14th century theories of cognition, among several other attempts to find an alternative theory to the standard Aristotelian model and to maintain the pure activity of the soul with respect to the body. (shrink)

In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

In this paper, we argue that, contrary to the view held by most philosophers of mathematics, Bourbaki’s technical conception of mathematical structuralism is relevant to philosophy of mathematics. In fact, we believe that Bourbaki has captured the core of any mathematical structuralism.

Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical framework. The key (...) element here is the systematic nature of these maps in a categorical framework and I suggest that, from that point of view, one can see an architectonic of mathematics emerging clearly. Moreover, they force us to reconsider the nature of mathematical knowledge itself. Thus, to understand certain fundamental aspects of mathematics, category theory is necessary (at least, in the present state of mathematics). (shrink)

Successful biomedical data mining and information extraction require a complete picture of biological phenomena such as genes, biological processes, and diseases; as these exist on different levels of granularity. To realize this goal, several freely available heterogeneous databases as well as proprietary structured datasets have to be integrated into a single global customizable scheme. We will present a tool to integrate different biological data sources by mapping them to a proprietary biomedical ontology that has been developed for the purposes of (...) making computers understand medical natural language. (shrink)