La logique déontique est la science formelle du devoir-être, comme la simple logique est celle du raisonnement en général.

Dans cet ouvrage, science et musique dialoguent selon trois grandes lignes. La premiere est representee par la recherche des causes physiologiques de l'harmonie musicale, conformement au titre de la conference que donne Helmholtz en 1857 (expose synthetique des idees qu'il reprendra dans sa tres fameuse Theorie physiologique de la musique), et par la presentation populaire pour les musiciens qu'en propose Enst Mach, des 1866. Avec Helmholtz, le son acquiert une place centrale pour la musique - le son tel qu'entendu par (...) l'oreille, avec toute sa richesse harmonique - et la dissonance, qui n'est plus un simple rate de la consonance, devient des lors la cle de toute theorie musicale. Mais qu'en est-il aujourd'hui de la theorie physiologique de Helmholtz? Son examen par Patrice Bailhache, a l'aune de l'acoustique actuelle, forme la seconde ligne de force du present livre. Et la troisieme, retenue par Antonia Soulez, est celle tracee par Carl Dalhaus, qui en 1970, voit dans la demarche de Helmholtz une mise en question inaugurale de la naturalite d'un systeme de sons. C'est la musique qui, alors, questionne la science: quelle pertinence ces considerations sur la dissonance et ses causes, conservent-elles face au regne du timbre et de la dissonance depuis la musique atonale et le dodecaphonisme? (shrink)

Deontic logic handles not only deontic modalities, but also alethic and temporal ones. In addition, individuals like authorities and addressees play an important role. R5-D5 is a system handling alethic, deontic and temporal modalities, whose adequacy has been proved in an earlier paper. Similarly for KD*UXY with sets of individuals . The present article is an attempt to construct a general system mixing R5-D5 and KD*UXY.

Celem pracy jest analiza związków zachodzących między logikami deontycznymi i logikami czasowymi. Punktem wyjścia są znane relacje pojęć modalnych, deontycznych i czasowych. Część I ma charakter wstępny. W części II autor stara się udzielić wyczerpującej odpowiedzi na pytanie, który spośród znanych rodzajów logiki czasu nadaje się do zamierzonej analizy. Wybór pada na logikę dat (temporal logic). Dalej, w części III przedyskutowano trzy możliwe sposoby wiązania pojęć modalnych z pojęciami czasowymi - koncepcje: Diodora Cronosa, szkoły megaryjskiej i W.Occama. Okazało się, że (...) związki modalno-czasowe i deontyczno- czasowe dają się najpełniej wyrazić w obrębie koncepcji occamowskiej - w takich strukturach semantycznych wszystkie trzy rodzaje pojęć dają się dosyć naturalnie powiązać. Część IV jest prezentacją zbudowanego na "occamowski” sposób systemu modalno-deontyczno-czasowego. Na koniec znajdujemy jeszcze dyskusję trudności na jakie napotyka się przy konstruowaniu takich hybrydowych systemów logicznych i przykład ilustrujący zalety tych konstrukcji, w przykładzie posłużono się znanym paradoksem "dobrego Samarytanina". (shrink)

There are two approaches to logic, semantic and axiomatic. In 1910's, when C.I. Lewis wrote his first papers on modal logic, he adopted the axiomatic approach, the sole one apparently available. The situation remained identical during about forty years, until Kanger, Kripke, and Hintikka discovered the so-called possible worlds semantics. A new flourishing “paradigmatic” period began, and it became possible to define soundness and completeness in modal logic. Unfortunately , however, this period did not go on for more than twenty (...) years. “Strange” systems appeared, which were impossible to be defined semantically and so soundness and completeness were lost again. (shrink)

The author tries to give an answer to the question posed in the title of the paper by referring to those analyses and arguments which have been found important by the history of science (laws of Stevin, d'Alembert, Lagrange, arguments of Lazure Carnot, Prony, Ampère, Laplace…). In his opinion the only possible philosophy of mechanics must have the empirical nature. The problem was perceived already by Archimedes, though it was later obscured by numerous metaphysics. Yet, it is only solution of (...) Lagrange which can be said to be approaching the ideal. However, the philosophical part of the arguments still remains unsettled. (shrink)

Zagadnienie aksjomatyki w logice deontycznej analizowane jest przez autora z dwu punktów widzenia. Pierwszy z nich jest. bardziej filozoficzny. Bada się na jego gruncie zalety i wady aksjomatów czysto deontycznych. Analiza ta wskazuje na konieczność wprowadzenia do logiki deontycznej przestrzeni w stosunku do niej zewnętrznej, tj. przestrzeni modalności klasycznych. Drugi punkt widzenia jest natury bardziej technicznej. Chodzi w nim głównie o dowody zupełności wymagane na gruncie logiki deontycznej. Z racji trudności pomija się często ich prezentację. Autor wykazuje w pracy nie (...) zbędność dowodów tego rodzaju. (shrink)

W ostatnich latach wraz z rozwojem nauk komputerowych, pojawiło się wiele programów mających wspomagać nauczanie logiki. Większość z tych programowań służy do sprawdzania rachunków, a nic do dowodzenia twierdzeń, ponieważ zgodnie ze znanym twierdzeniem Godła, nie istnieje procedura rozstrzygalności twierdzeń rachunku pierwszego rzędu. Kilka metatwierdzeń, w których jednym jest twierdzenie Godła, tłumaczy dlaczego dysponujemy dobrymi systemami dedukcji naturalnej, mimo że tak trudno jest (a faktycznie nie można) znaleźć „inteligentną" procedurę dowodzenia formuł. W artykule przedstawiono drogę uzyskania częściowego systemu dowodzenia twierdzeń (...) za pomocą procedury unifikacji, dla której załączono program komputerowy w języku pascal. (shrink)

In this paper, I evaluate recently defended mechanistic accounts of the unity of neuroscience from a metaphysical point of view. Considering the mechanistic framework in general , I argue that explanations of this kind are essentially reductive . The reductive character of mechanistic explanations provides a sufficiency criterion, according to which the mechanism underlying a certain phenomenon is sufficient for the latter. Thus, the concept of supervenience can be used in order to describe the relation between mechanisms and phenomena . (...) Against this background, I show that the mechanistic framework is subject to the causal exclusion problem and faces the classical metaphysical options when it comes to the relations obtaining between different levels of mechanisms . Finally, an attempt to improve the metaphysics of mechanisms is made and further difficulties are pointed out. (shrink)

The paper argues that a functional reduction of ordinary psychology to neuropsychology is possible by means of constructing fine-grained functional, mental sub-types that are coextensive with neuropsychological types. We establish this claim by means of considering as examples the cases of the disconnection syndrome and schizophrenia. We point out that the result is a conservative reduction, vindicating the scientific quality of the mental types of ordinary psychology by systematically linking them with neuroscience. That procedure of conservative reduction by means of (...) functional sub-types is in principle repeatable down to molecular neuroscience. (shrink)

Authors sometimes treat the promise of de-extinction as a forgone conclusion. But if we take Kasperbauer’s approach and assess the moral acceptability of de-extinction by weighting benefits to species against the suffering of individuals, the promise of de-extinction deserves greater critical attention. Accepting de-extinct individuals as replacements for extinct predecessors assumes species are separate from environment and can be reduced to DNA. In this response to Kasperbauer’s essay, I examine how the acceptability of de-extinction might shift if we instead view (...) species as the persistence of processes—the successful know-how of living in relation to other unfolding processes. (shrink)

The paper argues that a functional reduction of ordinary psychology to neuropsychology is possible by means of constructing fine-grained functional, mental sub-types that are coextensive with neuropsychological types. We establish this claim by means of considering as examples the cases of the disconnection syndrome and schizophrenia. We point out that the result is a conservative reduction, vindicating the scientific quality of the mental types of ordinary psychology by systematically linking them with neuroscience. That procedure of conservative reduction by means of (...) functional sub-types is in principle repeatable down to molecular neuroscience. (shrink)

This book explores the mind-body issue from both the perspectives of philosophy of mind and philosophy of science. Starting from the problem of mental causation, it provides an overview of the contemporary metaphysical discussion and argues in favour of the token-identity thesis, as the only position that can account for the causal efficacy of the mental. Showing furthermore that this ontological reductionism is not dissociable from epistemological reductionism, the author applies a new strategy of inter-theoretic reduction, which is compatible with (...) the multiple realizability of mental properties. Using functionally defined sub-types, this account establishes a conservative reduction of psychology to neuroscience, which vindicates both the scientific legitimacy and the theoretical indispensability of psychology. This account is illustrated by several empirical examples borrowed from contemporary neuroscience. (shrink)

La période est à la transgression. Transgresser est en effet la nécessité même de l'ordre. Tel est le principe de base de tout pouvoir dès lors qu'il se proclame souverain. Autrement dit, il n'est de pouvoir que transgresseur. Telle est aussi l'énigme de la puissance attribuée à l'État depuis son élaboration principielle par Jean Bodin jusqu'aux énoncés de Carl Schmitt dont la formule "est souverain celui qui décide de la situation exceptionnelle", a permis au XXe siècle de donner un autre (...) contenu, dictatorial, à la question de la souveraineté. L'évolution récente de cette notion prise au piège de la fondation des grands ensembles plurinationaux telle l'Union européenne, réactualise la question de l'adéquation de la souveraineté avec la nation. C'est dans cette logique qu'une archéologie de cette notion paraît indispensable pour évaluer sa double évolution dont la première, transcendante et de type vertical, la fait descendre de la toute-puissance divine jusqu'à son incarnation populaire à travers ses séquences ecclésiales (le souverain pontife), royales, nationales et populaires. Une seconde évolution à partir de la Révolution française, que l'on peut qualifier d'horizontale, l'instaure sur le versant de son incarnation imaginée au sein de la nation, souveraineté nationale, ou au plan de l'universalité des citoyens, souveraineté populaire. Qu'elle soit fondée sur une représentation imaginée collective de soi, la nation, ou sur une identité citoyenne étendue à tous, le peuple, la question de la souverainetén'est soluble que dans cette double identité, nationale et populaire à travers la question de la démocratie qui apparaît ici fondamentale pour restituer au souverain-peuple la légitimité des choix qu'il opère au travers de la délégation de ses compétences aux représentants qu'il se donne. En fin de compte, la souveraineté est avant tout toute-puissante, et ainsi, il n'y a de puissance politique que découlant d'elle. (shrink)

An adequate analysis of experiences and situations specific to women, especially mothering, requires consideration of women's difference. A focus on women's difference, however, jeopardizes feminism's claims of women's equal individualist subjectivity, and risks recuperating the inequality and oppression of women, especially the view that all women should be mothers, want to be mothers, and are most happy being mothers. This book considers how thinkers including Simone de Beauvoir, Julia Kristeva, Nancy Choderow and Adrienne Rich struggle to negotiate this dilemma of (...) difference in analyzing mothering, encompassing the paradoxes concerning embodiment, gender and representation they encounter. Patrice Di Quinzio shows that mothering has been and will continue to be an intractable problem for feminist theory itself, and suggests the political usefulness of an explicitly paradoxical politics of mothering. (shrink)

Critics often take conservationists to task for delivering a constant barrage of bad news without offering a compelling vision of the future. Could recent advances in synthetic biology—an optimistic, forward‐looking field with a can‐do attitude—let conservationists develop a new vision and generate some better news? Synthetic biology and related gene‐editing applications could be used to address threats to species. Genetic interventions might also be used in plants to better protect biodiversity in U.S. rangelands and forests. One possibility has stood out (...) in its ability to capture media attention and the public imagination—recreating extinct species. And perhaps a de‐extinction story could counter the seemingly relentless negativity in biodiversity talk. De‐extinction proponent Stewart Brand writes that resurrecting species could shift the “conservation story … from negative to positive, from constant whining and guilt‐tripping to high fives and new excitement.” So, why do many people in conservation oppose the de‐extinction narrative? This essay is an inquiry into whether there are intrinsic social reactions to these types of conservation solutions that might offset their potential benefits. If genetic tools are to be applied to address conservation issues in a realistic and responsible way, their broader social‐cultural implications deserve far more attention than they have so far received. (shrink)

Cet ouvrage se présente comme une introduction d'histoire littéraire et doctrinale au premier volume de l'édition critique des oeuvres de Hugues de Saint-Victor. Il exploite les données fournies par l'étude de la tradition manuscrite du De archa Noe et du Libellus de formatione arche, qui aboutissent à une perception et à une reception renouvellées de ces traîtés. Du premier ouvrage on a tenté, non seulement une histoire, mais une préhistoire: car il a connu un stade oral, celui de collationes dont (...) on aura pu cerner au plus près le contenu avant de reconstituer les procédés rédactionnels du maître victorin. Au cours de ces entretiens du cloître une pédagogie de l'image avait été mise en oeuvre, utilisée conjointement avec la parole. Et de même que la parole donna naissance à une oeuvre écrite (le De archa Noe), de même le dessin qui l'accompagnait est donné sous une forme littéraire, par un écrit qui en livre les modalités concrètes de réalisation (le Libellus). Le statut de cet écrit, longtemps incertain ou atypique, fut originellement celui d'un appendice, distinct mais non disjoint du De archa. Le Libellus est transmis par la tradition manuscrite en deux états: une version brève et une version longue. Le réviseur en fut le victorin lui-même, dont la psychologie d'auteur est ainsi pour une part dévoilée. Un chapitre propose des compléments ou des précisions touchant la datation relative des oeuvres du victorin. L'image employée par maitre Hugues avait été support de ce que l'on pourrait appeler exégèse visuelle. L'histoire du salut, telle qu'elle est représentée dans la figuration de l'arche de Noé, est méditée selon les trois sens scriptuaires médiévaux, qui correspondent en outre à une série d'exercices spirituels, selon la séquence lectio-meditatio-speculatio-contemplatio. Des considérations d'herméneutique (l'image. (shrink)

An adequate analysis of experiences and situations specific to women, especially mothering, requires consideration of women's difference. A focus on women's difference, however, jeopardizes feminism's claims of women's equal individualist subjectivity, and risks recuperating the inequality and oppression of women, especially the view that all women should be mothers, want to be mothers, and are most happy being mothers. This book considers how thinkers including Simone de Beauvoir, Julia Kristeva, Nancy Choderow and Adrienne Rich struggle to negotiate this dilemma of (...) difference in analyzing mothering, encompassing the paradoxes concerning embodiment, gender and representation they encounter. Patrice Di Quinzio shows that mothering has been and will continue to be an intractable problem for feminist theory itself, and suggests the political usefulness of an explicitly paradoxical politics of mothering. (shrink)

Despite the important role of the consistency concept in various theoretical frameworks of memory research and its influence on practical investigations it remains unclear as to whether consistency has been firmly grounded as a explanatory factor. Consistency does not determine either a cognitive load or the development of automaticity. However, it does explain the nature of empirical facts that are subsumed by these terms. Consistency is not a psychological factor involved in many important and highly related topics of consciousness research (...) including, implicit learning, and implicit memory. Rather it is the way human beings relate their various mental experiences. (shrink)

L’épreuve projective intitulée « spatiographie projective familiale » a pour objectif de comprendre l’image inconsciente du corps familial à travers l’analyse du dessin groupal de la « maison de rêve ». Par cette méthodologie, les auteurs peuvent établir un diagnostic de la structure des liens inconscients de la famille et en faire un objet médiateur pour la prise en charge psychothérapique et une épreuve projective groupale familiale pour le diagnostic. Le dessin de la « maison de rêve » est un (...) outil original qui investigue les dimensions diachronique et synchronique permettant une approche complète de la structuration de l’image du corps familial. (shrink)

On an internalist account of logical inference, we are warranted in drawing conclusions from accepted premises on the basis of our knowledge of logical laws. Lewis Carroll's regress challenges internalism by purporting to show that this kind of warrant cannot ground the move from premises to conclusion. Carroll's regress vindicates a repudiation of internalism and leads to the espousal of a standpoint that regards our inferential practice as not being grounded on our knowledge of logical laws. Such a standpoint can (...) take two forms. One can adopt either a broadly externalist model of inference or a sceptical stance. I will attempt, in what follows, to defend a version of internalism which is not affected by the regress. The main strategy will be to show that externalism and scepticism are not satisfying standpoints to adopt with regard to our inferential practice, and then to suggest an internalist alternative. (shrink)

Accounts of mothering have both contributed to feminist theory's development and depended on certain of its central concepts. Some of its critics, however, argue that feminist theory is undermined by the problems of exclusion and essentialism. Here I distinguish between these two problems and consider their implications for questions about mothering. I conclude that exclusion and essentialism do not present insurmountable obstacles to theorizing motherhood, but do suggest new directions for such theorizing.

On an internalist account of logical inference, we are warranted in drawing conclusions from accepted premises on the basis of our knowledge of logical laws. Lewis Carroll’s regress challenges internalism by purporting to show that this kind of warrant cannot ground the move from premises to conclusion. Carroll’s regress vindicates a repudiation of internalism and leads to the espousal of a standpoint that regards our inferential practice as not being grounded on our knowledge of logical laws. Such a standpoint can (...) take two forms. One can adopt either a broadly externalist model of inference or a sceptical stance. I will attempt, in what follows, to defend a version of internalism which is not affected by the regress. The main strategy will be to show that externalism and scepticism are not satisfying standpoints to adopt with regard to our inferential practice, and then to suggest an internalist alternative. (shrink)