This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object. Evolving diagrams can be illustrated in particular with category-theoretic diagrams (hereafter “diagrams*”) in the context of “sketch theory,” a branch of modern category theory. It is argued that sketch theory provides a diagrammatic* theory of diagrams*, (...) that it helps to overcome the rivalry between set theory and category theory as a general semantical framework, and that it suggests a more flexible understanding of the opposition between formal proofs and diagrammatic reasoning. Thus, the aim of the paper is twofold. First, it claims that diagrams* provide a clear example of evolving diagrams, and shed light on them as a general phenomenon. Second, in return, it uses sketches, understood as evolving diagrams, to show how diagrams* in general should be re-evaluated positively. (shrink)

The purpose of this paper is to generalize Kripke semantics for propositional modal logic by geometrizing it, that is, by considering the space underlying the collection of all possible worlds as an important semantic feature in its own right, so as to take the idea of accessibility seriously. The resulting new modal semantics is worked out in a setting coming from Riemannian geometry, where Kripke semantics is shown to correspond to a particular case, namely, the discrete one. Several correspondence results, (...) established between variants of well-known modal systems and corresponding geometric properties, illustrate the import of this new framework. (shrink)

In the Tractatus, Wittgenstein describes the general validity of logical truths as being “essential,” as opposed to merely “accidental” general truths. He does not say much more, and little has been said about it by commentators. How to make sense of the essential general validity by which Wittgenstein characterizes logic? This chapter aims to clarify this crucial concept.

English summary: Is universal truth fully necessary? Are all necessary truths universal? From Kant to Tarski, the philosophical tradition as a whole has accepted the existence of a correlation between these two properties. The purpose of this book is to question this assumption and challenge the belief that universality and necessity are basic components of truth. French text. French description: Toute verite universelle est-elle necessaire? Toute verite necessaire est-elle universelle? De Kant a Tarski, la tradition philosophique a dans son ensemble (...) admis, sans la discuter, l'existence d'une correlation entre ces deux proprietes. L'objet de ce livre est de remettre en question ce presuppose et de contester que l'universalite et la necessite soient des proprietes equivalentes de verites, et meme qu'elles soient des proprietes de verites. Correles, l'universel et le necessaire renvoient chacun a une totalite de possibles dont l'origine est nexpliquee. Penses separement, ils peuvent au contraire etre compris dans leur genese. L'universel s'eclaire a la lumiere de l'idee de genericite, qui prevaut sur celle de totalite; le necessaire se definit, non plus par le fait d'etre vrai dans tous les cas possibles, mais en reference a un possible qui apparait n'etre ni totalisable, ni reductible a un seul et meme plan. (shrink)

L’accointance d’un attribut est-elle de même nature que celle d’un individu? Bien entendu, l’assimilation des attributs à des universaux, et par suite à des objets, conduit immédiatement à une réponse positive. Mais que dire des attributs en position de prédicat? Le présent article vise à soutenir l’univocité de l’accointance en montrant que les prédicats sont bien, malgré d’importantes différences, les objets possibles d’une accointance comparable à l’accointance d’individus. Pour cela, on envisagera les choses négativement, en examinant la façon dont, dans (...) l’un et l’autre cas, une absence d’accointance se trouve suppléée. Dans le cadre d’une interprétation épistémique de la théorie des types des Principia Mathematica justifiée par des raisons indépendantes, cette perspective amènera à comprendre l’axiome de réductibilité comme un principe d’accointance par procuration pour les prédicats, principe dont l’analyse russellienne des descriptions définies d’individu partage le schéma. (shrink)

Abstract:My aim is to examine logical types in Principia Mathematica from two (partly independent) perspectives. The first one pertains to the ambiguity of the notion of logical type as introduced in the Introduction (to the first edition). I claim that a distinction has to be made between types as called for in the context of paradoxes, and types as logical prototypes. The second perspective bears on typical ambiguity as described in Russell and Whitehead’s “Prefatory Statement of Symbolic Conventions”, inasmuch as (...) it lends itself to a comparison with specific systems of modern typed lambda-calculus. In particular, a recent paper shows that the theory of logical types can be formalized in the way of a lambda-calculus. This opens the way to an interesting reconciliation between type theories in the Russellian sense of the word, and type theories in the modern sense. But typical ambiguity is not taken into account in the paper. I would like to take up that question of typical ambiguity, by extending the typed lambda-calculus to be used. (shrink)

Drawing on the analogy between any unary first-order quantifier and a "face operator," this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type spaces of any theory expressed in L. An adjunction result is then proved between the category of o-minimal structures and a subcategory of the category of linearly ordered (...) simplicial sets with distinguished vertices. (shrink)

Logical universalism, a label that has been pinned on to Frege, involves the conflation of two features commonly ascribed to logic: universality and radicality. Logical universality consists in logic being about absolutely everything. Logical radicality, on the other hand, corresponds to there being the one and the same logic that any reasoning must comply with. The first part of this paper quickly remarks that Frege’s conception of logic makes logical universality prevail and does not preclude the admission of different contexts (...) of discourse. The paper then aims to make it clear how Frege’s universalism can make sense of contextuality. Drawing on a suggestion made by Frege in his discussion of Hilbert, it shows that a properly Fregean notion of model can be devised. Taking up a suggestion from Wilfrid Hodges and William Demopoulos that the non-logical constants of a formal language can be compared to indexicals, this paper shows,paceHodges and Demopoulos, that such an understanding of non-logical constants is not beyond Frege’s horizon. A formal framework, based on the modern tool of fibrations, is set out to explain and justify this point. This framework allows one to compare Frege and Tarski, by formalizing Frege’s suggestion and by presenting Tarski’s semantics in a generalized setting. (shrink)

Une théorie de la science qui permette une « étude systématique des formes » est l’ἐπιστήμη ζητοῦμένη de Cavaillès : ce dernier ne la trouve ni dans l’analytique kantienne, ni dans la théorie de la science de Bolzano ; pas plus que chez Frege, Carnap ou Tarski ; et ni dans la théorie de la démonstration, ni dans la mathesis husserlienne. Cet article défend l’idée qu’il aurait pu la trouver, ou du moins s’en approcher, s’il avait accordé davantage d’attention à (...) une figure de la logique qu’il a délaissée : celle qu’incarnent Russell et son héritier Wittgenstein. L’analyse de la notion même de forme, que celle-ci désigne un complexe symbolique, une structure mathématique ou un schéma démonstratif, y aurait également gagné. (shrink)

Kreisel’s set-theoretic problem is the problem as to whether any logical consequence of ZFC is ensured to be true. Kreisel and Boolos both proposed an answer, taking truth to mean truth in the background set-theoretic universe. This article advocates another answer, which lies at the level of models of set theory, so that truth remains the usual semantic notion. The article is divided into three parts. It first analyzes Kreisel’s set-theoretic problem and proposes one way in which any model of (...) set theory can be compared to a background universe and shown to contain internal models. It then defines logical consequence with respect to a model of ZFC, solves the model-scaled version of Kreisel’s set-theoretic problem, and presents various further results bearing on internal models. Finally, internal models are presented as accessible worlds, leading to an internal modal logic in which internal reflection corresponds to modal reflexivity, and resplendency corresponds to modal axiom 4. (shrink)

Ce texte est tiré d’un exposé élémentaire, destiné à des étudiants agrégatifs, d’introduction aux rapports entre la logique (entendue au sens large) et la question du monde. Son objet est de décrire la place variable que cette question occupe en logique.

Algebraic Set Theory, a reconsideration of Zermelo-Fraenkel set theory in category-theoretic terms, has been built up in the mid-nineties by André Joyal and Ieke Moerdijk. Since then, it has developed into a whole research program. This paper gets back to the original formulation by Joyal and Moerdijk, and more specifically to its first three axioms. It explains in detail that these axioms set up a framework directly linked to descent theory, a theory having to do with the shift from local (...) data to a global item in modern algebraic geometry. Fibered categories, introduced by Grothendieck, provide a powerful framework for descent theory: They formalize in a very general way the consideration of local data of different kinds over the objects of some base category. The paper shows that fibered categories fit Joyal and Moerdijk’s axiomatization in a natural way, since the latter actually aims to secure a descent condition. As a result, Algebraic Set Theory is shown to accomplish, not only an original and fruitful combination of set theory with category theory, but the genuine graft of a deeply geometric idea onto the usual setting of zfc. (shrink)

This paper pursues two goals. Its first goal is to clear up the “identity problem” faced by the structuralist interpretation of mathematics. Its second goal, through the consideration of examples coming in particular from the theory of permutations, is to examine cases of misunderstandings in mathematics fit to cast some light on mathematical understanding in general. The common thread shared by these two goals is the notion of setting. The study of a mathematical object almost always goes together with the (...) choice of a particular setting, and the understanding of the workings of mathematical settings is an essential component of mathematical knowledge. It is claimed that the recognition of mathematical settings, as features distinct from both mathematical structures and the systems which instantiate those structures, allows one to classify most of understandable misunderstandings in mathematics, and also to solve the identity problem. (shrink)

Intervertir a et b, c’est mettre b à la place de a et a à la place de b. Dans le cas où a occupait la première place et b la deuxième, c’est mettre b à la première place et a à la deuxième. Dans le cas où, de plus, a est le chiffre ‘1’ et b le chiffre ‘2’, c’est mettre 2 à la place n˚ 1 et 1 à la place n˚ 2. La théorie des substitutions combine ainsi (...) naturellement chiffres et numéros de place. Cet article montre que la confusion de ces deux éléments constitue un cas exemplaire de mécompréhension en mathématiques. Positivement, reconnaître à leur juste valeur toutes les numérotations ou paramétrisations qui interviennent en mathématiques, c’est reconnaître que les mathématiques ont rarement affaire à des structures sans l’intermédiaire essentiel de repères permettant de « fixer les idées ». L’article montre en particulier qu’une description structuraliste satisfaisante de l’objectivité mathématique ne peut faire l’économie de tels repères.To swap a and b is to put b in a’s place and a in b’s place. In case a was at the first place and b at the second, it is to put b at the first place and a at the second. In case, moreover, a is the numeral ‘1’ and b is the numeral ‘2’, it is to put 2 at the place no. 1 and 1 at the place no. 2. Substitution theory is thus led to combine numerals and numbers. This paper shows that many cases of misunderstanding in mathematics can be compared to a confusion between numerals and numbers. On a positive side, it shows how important are all the numberings or parametrizations that turn out to be pervasive throughout mathematics, as devices to « set ideas ». A mathematical structure cannot in general be reached without the medium of such points of reference. The paper shows in particular that any consistent structuralist explanation of mathematical objectivity cannot be sustained without giving them full attention. (shrink)

In this article, I examine the ramified-type theory set out in the first edition of Russell and Whitehead's Principia Mathematica. My starting point is the ‘no loss of generality’ problem: Russell, in the Introduction (Russell, B. and Whitehead, A. N. 1910. Principia Mathematica, Volume I, 1st ed., Cambridge: Cambridge University Press, pp. 53–54), says that one can account for all propositional functions using predicative variables only, that is, dismissing non-predicative variables. That claim is not self-evident at all, hence a problem. (...) The purpose of this article is to clarify Russell's claim and to solve the ‘no loss of generality’ problem. I first remark that the hierarchy of propositional functions calls for a fine-grained conception of ramified types as propositional forms (‘ramif-types’). Then, comparing different important interpretations of Principia’s theory of types, I consider the question as to whether Principia allows for non-predicative propositional functions and variables thereof. I explain how the distinction between the formal system of the theory, on the one hand, and its realizations in different epistemic universes, on the other hand, makes it possible to give us a more satisfactory answer to that question than those given by previous commentators, and, as a consequence, to solve the ‘no loss of generality’ problem. The solution consists in a substitutional semantics for non-predicative variables and non-predicative complex terms, based on an epistemic understanding of the order component of ramified types. The rest of the article then develops that epistemic understanding, adding an original epistemic model theory to the formal system of types. This shows that the universality sought by Russell for logic does not preclude semantical considerations, contrary to what van Heijenoort and Hintikka have claimed. (shrink)

Dire d’une proposition que, nécessairement, elle est nécessairement vraie, c’est affirmer incomparablement plus que ce que l’on affirme en disant simplement qu’elle est nécessairement vraie. C’est en effet, intuitivement, affirmer qu’elle est nécessaire quelle que puisse être la donnée de tous les mondes possibles à l’aune de laquelle sa nécessité est établie. C’est faire de cette don­née elle-même un possible parmi d’autres, et faire ainsi référence à des mondes possibles d’ordre supérieur. Cet article vise à formaliser la notion de monde (...) possible d’ordre supérieur au moyen d’outils empruntés à la géométrie riemannienne. Le cadre sémantique proposé repose sur une collection ouverte de mondes possibles de niveaux croissants, par opposition à l’héritage leibnizien d’une totalité close de mondes possibles. (shrink)

Dire d’une proposition que, nécessairement, elle est nécessairement vraie, c’est affirmer incomparablement plus que ce que l’on affirme en disant simplement qu’elle est nécessairement vraie. C’est en effet, intuitivement, affirmer qu’elle est nécessaire quelle que puisse être la donnée de tous les mondes possibles à l’aune de laquelle sa nécessité est établie. C’est faire de cette don­née elle-même un possible parmi d’autres, et faire ainsi référence à des mondes possibles d’ordre supérieur. Cet article vise à formaliser la notion de monde (...) possible d’ordre supérieur au moyen d’outils empruntés à la géométrie riemannienne. Le cadre sémantique proposé repose sur une collection ouverte de mondes possibles de niveaux croissants, par opposition à l’héritage leibnizien d’une totalité close de mondes possibles. (shrink)

Dire d’une proposition que, nécessairement, elle est nécessairement vraie, c’est affirmer incomparablement plus que ce que l’on affirme en disant simplement qu’elle est nécessairement vraie. C’est en effet, intuitivement, affirmer qu’elle est nécessaire quelle que puisse être la donnée de tous les mondes possibles à l’aune de laquelle sa nécessité est établie. C’est faire de cette don­née elle-même un possible parmi d’autres, et faire ainsi référence à des mondes possibles d’ordre supérieur. Cet article vise à formaliser la notion de monde (...) possible d’ordre supérieur au moyen d’outils empruntés à la géométrie riemannienne. Le cadre sémantique proposé repose sur une collection ouverte de mondes possibles de niveaux croissants, par opposition à l’héritage leibnizien d’une totalité close de mondes possibles. (shrink)

Kant, dans l’Introduction de la seconde édition de la Critique de la raison pure, reconnaît l’universalité et la nécessité comme deux critères extensionnellement équivalents de l’a priori :Nécessité et rigoureuse universalité sont […] des critères sûrs d’une connaissance a priori et renvoient en outre, inséparablement, l’une à l’autre.Le terme de « critère » signifie dans ce passage qu’universalité...

En 1980, lors d'une décade de Cerisy consacrée à Derrida, Lyotard somme ce dernier de confronter son hégélianisme à celui d'Adorno et de s'expliquer sur la possibilité de l'enchaînement du sens "après Auschwitz". En 1982, lors d'une décade dédiée à Lyotard et consacrée à la question "Comment juger?", Derrida répond et ne répond pas : il s'interroge sur le "pathos" de la question adornienne de Lyotard, mais il ne se réfère pas à la Dialatique négative. Cette querelle forme le foyer (...) à partir duquel une analyse méthodique des lectures et non-lectures lyotardiennes et derridiennes d'Adorno devient possible. Avec cette étude, Michèle Cohen-Halimi invite à penser l'histoire de la philosophie sous le signe du conflit. Derrida et Lyotard dans leur rapport et non-rapport philosophique mutuel comme dans leur relation contrastée à la Dialectique négative se font, à leur insu, les historiens d'un temps de la pensée qui est encore le nôtre. Car toute une part de notre contemporanéité philosophique procède de cette non-réception de la Dialectique négative et apparaît sous trois traits caractéristiques : Lyotard a traduit l'innommable adornien par l'imphrasable puis par la phrase-affect ; cette traduction toujours plus affine du régime kantien de définition de l'irreprésentable a fini par produire une "esthétisation" de l'innommable adornien. L'alternative philosophique est ainsi devenue : soit dire l'incommensurable d'Auschwitz et le dire de telle sorte qu'il soit dit, soit dire cet incommensurable pour que seule soit dite sa non-dicibilité, et qu'il ne soit pas dit. Pour Adorno, c'est la possibilité de dire l'impossibilité qu'il faut pousser et non l'impossibilité de dire qu'il faut formuler. Le second trait est corrélatif du premier : l'antinomie française Kant/Hegel a été le dispositif opératoire le plus récurrent dans la querelle de Cerisy, l'investissement anti-hégélien d'une certaine tradition hétérologique française s'y est montré agissant. L'"irreprésentable", l'"intraitable" se sont traduits dans le vocable "Juif", et ont constitué ce vocable en synonyme de la différence de toutes les différences ou différence exemplaire. Derrida s'est singularisé par sa mise en garde contre l'exemplarité juive, mais cette problématisation nuancée s'est étrangement maintenue à grande distance de la question soulevée par la Dialectique négative : comment la métaphysique pourrait-elle ne pas avoir été entamée, affectée, bouleversée, par la barbarie? (shrink)

"Commentateur aussi atypique que profond des œuvres de Kant, Hegel et Nietzsche auxquelles il a consacré trois livres, Kant et la fin de la métaphysique (1970), La Patience du Concept (1972) et L’Envers de la dialectique (2004), Gérard Lebrun gagne, peu à peu, une actualité grandissante, qui réside dans une entière occupation du temps. Après avoir reconsidéré le fameux problème de la « fin de la métaphysique » selon une perspective kantienne, et pour être resté lecteur de Hegel, mais aussi (...) de Hegel et de Nietzsche, quand presque toute la philosophie française des années 60 et 70 désertait la dialectique spéculative en laissant pour toute alternative Hegel ou Nietzsche, Gérard Lebrun a résisté, par le passé, aux passions de son temps. Il livre, au présent, une leçon fondamentale, de l’ordre de la perspective du texte. Sa lecture est sans marges, elle ne s’interrompt pas, elle ouvre sur une lisibilité des œuvres philosophiques indissociable de la maturation des problèmes et de la langue de cette maturation. Cette manière de lire compose toujours en même temps un non-lieu où est le livre (puisqu’il n’est ni un passé, ni un présent, et ni l’un ni l’autre), c’est-à-dire le lieu atopique et scripturaire d’une mémoire où ne cesse de se totaliser l’innombrable des lectures — une lisibilité pour esprit libre."--Page 4 de la couverture. (shrink)

ABSTRACT In recent years, debates on same-sex marriage and the recognition of transwomen as women have been raging. These debates often seem to revolve around the meaning of, respectively, the word ‘marriage’ and ‘woman’. That such debates should take place might be puzzling. It seems that if debates on gay and transgender rights revolve around the meaning of these words, then those in favor of same-sex marriage and of the recognition of transwomen as women have no room left to maneuver. (...) However, prima facie, the pro – and anti-, in both cases, have genuine disagreements over the meaning of these words: though the analyses of revisionary theorists are revisionary, they are analyses. Sally Haslanger and other philosophers in her wake have appealed to an anti-descriptivist externalist view of meaning to provide the conceptual foundations of this practice of revisionary theorizing: revisionary analyses bring to light what, unbeknownst to us, these words mean. In this paper, I argue that a descriptivist externalist view should be preferred instead. My argument rests on the thesis that what is contested in these debates is the meaning of the words ‘marriage’ and ‘women’ as used in the law. (shrink)

This article examines the domestic use of drones by law enforcement to gather information. Although the use of drones for surveillance will undoubtedly provide law enforcement agencies with new means of gathering intelligence, these unmanned aircrafts bring with them a host of legal and epistemic complications. Part I considers the Fourth Amendment and the different legal standards of proof that might apply to law enforcement drone use. Part II explores philosopher Wittgenstein’s notion of actional certainty as a means to interpret (...) citizens' expectations of privacy with regard to their patterns of movement over time. Part III discusses how the theory of actional certainty can apply to the epistemic challenge of determining what is a “reasonable” expectation of privacy under the law. This Part also investigates the Mosaic Theory as a possible reading of the Fourth Amendment. (shrink)

Ceux qui sont nés, comme l'auteur de ce livre, dans les dernières années du siècle précédent, qui ont eu leurs vingt ans au front, avaient encore grandi non seulement sans autos ni avions, ni radios, mais même, s'ils n'étaient pas riches, sans l'électricité chez eux. Lorsqu'ils sont tombés, à peine sortis de l'enfance, dans la machinerie de l'autre guerre, ils n'avaient eu pour formation que les humanités classiques, la morale de Kant, le symbolisme et les marches à pied. Depuis, en (...) une quarantaine d'années, à un rythme presque infernal, ils ont dû avaler, venant d'ailleurs un peu pêle-mêle, la révolution russe, les guerres civiles en Europe, la psychanalyse, la dialectique hégélienne, le marxisme, la phénoménologie, l'existentialisme, le national-socialisme, l'invasion de la France, la dislocation des empires coloniaux, la physique nucléaire, les bombes atomiques, le retournement contre l'Europe occidentale des idées et des connaissances qu'elle avait produites et qu'elle continuait à produire, la fin de son hégémonie. C'était peut-être beaucoup. C'était peut-être trop? Le résultat en a peut-être été la rupture définitive avec le passé? C'est ce que se demande Brice Parain. Il a eu souvent le sentiment qu'il risquait de se perdre, que courir les routes, se déplacer en avion, téléphoner un peu partout, savoir qu'il existe des camps de concentration en Europe, regarder de la peinture dite abstraite, faire tout dépendre de l'avenir, ne pouvait rien avoir de commun avec la vie qu'il avait menée au temps des gendarmes à cheval et des lampes à pétrole. Ce sentiment lui a fait peur. Il a voulu y réfléchir. L'Occident s'était peut-être trompé, à un moment ou à un autre? La liberté, telle qu'il l'a définie, a engendré la solitude et la solitude engendre le suicide. L'Occident a peut-être sacrifié la vie à ses ambitions? Faudra-t-il qu'il rapprenne à vivre pour éviter de périr? Brice Parain ne se résout pas à s'en tenir à la dialectique comme méthode de raisonnement pour comprendre l'histoire et la vie. Il croit que la dialectique est pareille à une ligne tortueuse qui a pourtant un axe. La connaissance de cet axe rétablirait une logique, qui permettrait de refaire une morale. Ajoutons qu'il sait le russe, s'étant mis à l'apprendre très vite après son retour de la Grande Guerre, en 1920. Depuis, sa réflexion s'est largement alimentée à la confrontation entre l'Occident et la Russie, qui lui était toujours présente. On n'aura pas de peine à en suivre les démarches. Elles nous sont exposées à travers le récit des simples événements d'une enfance et d'une adolescence aussi passionnées de sentiments que de pensée. (shrink)

In the context of Multiple criteria decision analysis, we present the necessary and sufficient conditions allowing to represent an ordinal preferential information provided by the decision maker by a Choquet integral w.r.t a 2-additive capacity. We provide also a characterization of this type of preferential information by a belief function which can be viewed as a capacity. These characterizations are based on three axioms, namely strict cycle-free preferences and some monotonicity conditions called MOPI and 2-MOPI.

Ce livre est composé de trois textes ayant pour sujet commun la dialectique : 1°) un essai sur Pascal, contenant une analyse de ses méthodes de raisonnement en mathématique. Pascal est le premier, dans l'ère moderne, qui ait opposé la dialectique à l'ancienne logique, qu'on appelait alors la scolastique ; 2°) un court traité dont l'objet est le développement d'une critique formelle de la dialectique, c'est-à-dire d'une critique portant sur le mode de raisonnement qu'on appelle de ce nom, quel que (...) soit le contenu des propositions qui le composent ; 3°) enfin une pièce de théâtre, dont l'auteur justifie l'introduction dans le volume en disant qu'elle n'est pas une illustration des thèses sur la dialectique exposées dans les essais, mais le récit d'un moment même de la dialectique, et sans doute le plus important, celui où la dialectique, se sentant enfermée dans sa propre incertitude, s'avoue impuissante à assurer la conduite de la vie. L'ensemble est un examen sévère de la dialectique comme méthode de pensée, et un effort pour proposer à la place un mode de communication plus sûr, plus simple également, donc plus universel. Pourquoi donc la dialectique ne devrait-elle pas, elle aussi, selon sa propre loi, céder la place à une autre solution, qui s'opposerait à elle comme elle s'est opposée à l'ancienne logique? (shrink)

Svätopluk Štúr is a strong critic of strands of German thought that emphasize the will to power as an organizing principle of human society. Štúr is particularly critical of Nietzsche’s vitalism, which Štúr believes culminated in national socialism and the destruction of the Second World War. This paper describes and examines Štúr’s criticism of a number of German thinkers and focuses especially on Štúr’s criticism of Nietzsche. Štúr criticizes Nietzsche’s emphasis on life over knowledge. Štúr offers a different philosophy of (...) life grounded in the dignity of human beings and the social consequences of ideas and actions. This paper concludes by examining what Štúr means by dignity in terms of a moral agent and as opposed to Nietzsche’s emphasis on vitalism. (shrink)

For years, phenomenological psychiatry has proposed that distortions of the temporal structure of consciousness contribute to the abnormal experiences described before schizophrenia emerges, and may relate to basic disturbances in consciousness of the self. However, considering that temporality refers mainly to an implicit aspect of our relationship with the world, disturbances in the temporal structure of consciousness remain difficult to access. Nonetheless, previous studies have shown a correlation between self disorders and the automatic ability to expect an event in time, (...) suggesting timing is a key issue for the psychopathology of schizophrenia. Timing disorders may represent a target for cognitive remediation, but this requires that disorders can be demonstrated at an individual level. Since cognitive impairments in patients with schizophrenia are discrete, and there is no standardized timing exploration, we focused on timing impairments suggested to be related to self disorders. We present the case report of AF, a 22 year old man suffering from schizophrenia, with no antipsychotic intake. Although AF shows few positive and negative symptoms and has a normal neurocognitive assessment, he shows a high level of disturbance of Minimal Self Disorders (SDs) (assessed with the EASE scale). Moreover, AF has a rare ability to describe his self and time difficulties. An objective assessment of timing ability (variable foreperiod task) confirmed that AF had temporal impairments similar to those previously described in patients, i.e., a preserved ability to distinguish time intervals, but a difficulty to benefit from the passage of time to expect a visual stimulus. He presents additional difficulties in benefitting from temporal cues and adapting to changes in time delays. The impairments were ample enough to yield significant effects with analyses at the individual level. Although causal relationships between subjective and objective impairments cannot be established, the results show that exploring timing deficits at the individual level is possible in patients with schizophrenia. Besides, the results are consistent with hypotheses relating minimal self disorders (SDs) to timing difficulties. They suggest that both subjective and objective timing investigations should be developed further so that their use at an individual level can be generalized in clinical practice. (shrink)

Technologies of democracy are instruments based on material apparatus, social practices and expert knowledge that organize the participation of various publics in the definition and treatment of public problems. Using three examples related to the engagement of publics in nanotechnology in France (a citizen conference, a series of public meetings, and an industrial design process), the paper argues that Science and Technology Studies provide useful tools and methods for the analysis of technologies of democracy. Operations of experiments and public demonstrations (...) can be described, as well as controversies about technologies of democracy giving rise to counter-experiments and counter-demonstrations. The political value of the analysis of public engagement lies in the description of processes of stabilization of democratic orders and in the display of potential alternative political arrangements. (shrink)

In a recent paper, Gualtiero Piccinini and Carl Craver have argued that psychology is not distinct from neuroscience. Many have argued that Piccinini and Craver’s argument is unsuccessful. However, none of these authors have questioned the appropriateness of Piccinini and Craver’s argument for their key premise—that functional analyses are mechanism sketches. My first and main goal in this paper is to show that Piccinini and Craver offer normative considerations in support of what is a descriptive premise and to provide some (...) guidelines on how to argue for this premise. My second goal is to show that the distinctness question should be of great significance for philosophy of cognitive science. (shrink)

Les Espagnols et le sexe est une contribution à l’histoire de la sexualité dans l’Espagne du xixe et du premier tiers du xxe siècle : le projet de Jean-Louis Guereña constitue un apport important à la compréhension de la construction du sujet libéral espagnol, puisqu’on lui reconnaît ici des pratiques intimes, ou privées, au moment où s’affermit la notion d’« ordre public ». La question principale qui se pose à la lecture de l’ouvrage tient précisément à ce qu’il est postulé (...) que la sexualité... (shrink)

Similar to “parasitism” and “mutualism”, the concept of commensualism defines a kind of biological association, i.e. the neutral interaction between two different species. This paper shows that “commensualism” was initially defined by the Belgian zoologist and parasitologist Pierre-Joseph van Beneden (1809–1894) as referring to biological associations between organic individuals from different species. According to van Beneden, one individual derives biological advantages from this kind of association, whereas the other one remains neutral, i.e. does not receive any biological loss or gain. (...) Tracing the further history of the concept, the paper demonstrates that, while “commensalism” was initially created and used in zoology, it was taken up in other biological disciplines shortly afterward, such as botany and the emerging field of ecology. However, the experimental demonstration of the phenomenon of commensualism remained difficult. This, in turn, contributed to the nomadic existence of this concept in the life sciences of the twentieth century. (shrink)

Similar to “parasitism” and “mutualism”, the concept of commensualism defines a kind of biological association, i.e. the neutral interaction between two different species. This paper shows that “commensualism” was initially defined by the Belgian zoologist and parasitologist Pierre-Joseph van Beneden (1809–1894) as referring to biological associations between organic individuals from different species. According to van Beneden, one individual derives biological advantages from this kind of association, whereas the other one remains neutral, i.e. does not receive any biological loss or gain. (...) Tracing the further history of the concept, the paper demonstrates that, while “commensalism” was initially created and used in zoology, it was taken up in other biological disciplines shortly afterward, such as botany and the emerging field of ecology. However, the experimental demonstration of the phenomenon of commensualism remained difficult. This, in turn, contributed to the nomadic existence of this concept in the life sciences of the twentieth century. (shrink)