Lorsque le couple se divise, comment l’enfant issu de celui-ci est-il impliqué dans les processus conflictuels? Nous montrerons la fonction de « porte-dépouille » que l’enfant est appelé à prendre en charge, selon la structure inconsciente de l’organisation de chaque type « d’objetcouple ».

In this paper I offer an interpretation of the Stoic argumentum ex gradibus entium as it appears in Book II of Cicero's De Natura Deorum. In addition to displaying certain similarities to later formulations of the so-called "ontological argument," particularly Anselm's, I argue that the argument ex gradibus entium was a versatile feature of Stoic philosophical theology, capable of employment in relation to two distinct topics: the existence of god and the identification of god's essential nature with the world. I (...) claim that the instance of the argument ex gradibus entium at ND II 18-21 is a token of this latter type, and show that there are no textual reasons precluding this interpretation. In light of the fact that the argument can be analyzed more effectively in this role, I suggest that this particular instance of the argument is best thought of as an attempt on the part of the Stoics to identify the world with god rather than as a strict proof for god's bare existence. I end with some reflections on the general type of the Stoic argument qua precursor to two of Anselm's ontological proofs. Although I think it is a mistake to call the Stoic argument "ontological" in a strict sense, it may, I suggest, have shared a similar conceptual underpinning with at least one of Anselm's famous formulations. (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)

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)

This paper presents an epistemological framework capable of addressing the opposition between indigenous knowledge and scientific knowledge, an opposition widespread in anthropology especially in relation to the problem of sustainable development. In the first part of the paper, we provide a contextualist framework that satisfies two constraints: a priori neutrality with respect to forms, or types, of knowledge, and explicitness of the conditions with respect to the possibility of knowledge transfer. In the second part, we apply the framework to the (...) specific case of Northern Algonquian knowledge. By means of the framework, we investigate and make explicit the underlying epistemic standard at play by identifying the conditions under which particular beliefs are qualified as knowledge in the Northern Algonquian context. (shrink)

This paper presents an epistemological framework capable of addressing the opposition between indigenous knowledge and scientific knowledge, an opposition widespread in anthropology especially in relation to the problem of sustainable development. In the first part of the paper, we provide a contextualist framework that satisfies two constraints: a priori neutrality with respect to forms, or types, of knowledge, and explicitness of the conditions with respect to the possibility of knowledge transfer. In the second part, we apply the framework to the (...) specific case of Northern Algonquian knowledge. By means of the framework, we investigate and make explicit the underlying epistemic standard at play by identifying the conditions under which particular beliefs are qualified as knowledge in the Northern Algonquian context. (shrink)

Background Institutional review board (IRB) expertise is necessarily limited by maintaining a manageable board size. IRBs are therefore permitted by regulation to rely on outside experts for review. However, little is known about whether, when, why, and how IRBs use outside experts.Methods We conducted a national survey of U.S. IRBs to characterize utilization of outside experts. Our study uses a descriptive, cross-sectional design to understand how IRBs engage with such experts and to identify areas where outside expertise is most frequently (...) requested.Results The survey response rate was 18.4%, with 55.4% of respondents reporting their institution’s IRB uses outside experts. Nearly all respondents who reported using outside experts indicated they do so less than once a month, but occasionally each year (95%). The most common method of identifying an outside expert was securing a previously known subject matter expert (83.3%). Most frequently, respondents sought consultation for scientific expertise not held by current members (69.6%). Almost all respondents whose IRBs had used outside experts reported an overall positive impact on the IRB review process (91.5%).Conclusions Just over half of the IRBs in our sample report use of outside experts; among them, outside experts were described as helpful, but their use was infrequent overall. Many IRBs report not relying on outside experts at all. This raises important questions about what type of engagement with outside experts should be viewed as optimal to promote the highest quality review. For example, few respondents sought assistance from a Community Advisory Board, which could address expertise gaps in community perspectives. Further exploration is needed to understand how to optimize IRB use of outside experts, including how to recognize when expertise is lacking, what barriers IRBs face in using outside experts, and perspectives on how outside expert review impacts IRB decision-making and review quality. (shrink)

Recognition is not only a response to social pathologies. It is also an unstable and often ambivalent relationship that has its own pathologies. Owing to the intertwining between recognition and power, certain forms of recognition turn out to be forms of alienation in or from the world. Such pathologies affect inter-individual recognition as well as the recognition between individuals and the socio-political institutions. The article proposes a joint reading of Hegel’s Phenomenology of Spirit and Philosophy of Right, which provide norms (...) for identifying and dealing with these pathologies. The norm for inter-individual recognition is set out in the Phenomenology of Spirit, the norm for state/citizen recognition in the Philosophy of Right. The analysis envisages two other aspects of recognition: the interference of the ‘I–Me’ with the ‘I–You’ relationship and the incorporation of the ‘I–We’ into the ‘We–Us' dimension of recognition. As regards the interpretation of Hegel’s practical philosophy, the article analyses the link between Hegel’s concept of recognition and his theory of action. In this view, the highest form of recognition has more to do with reconciliation – reconciliation between human beings, reconciliation with the ‘finitude of action’ – than with the problematic of individual and collective identity. (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)

The use of social media as a recruitment tool for research with humans is increasing, and likely to continue to grow. Despite this, to date there has been no specific regulatory guidance and there has been little in the bioethics literature to guide investigators and institutional review boards faced with navigating the ethical issues such use raises. We begin to fill this gap by first defending a nonexceptionalist methodology for assessing social media recruitment; second, examining respect for privacy and investigator (...) transparency as key norms governing social media recruitment; and, finally, analyzing three relatively novel aspects of social media recruitment: the ethical significance of compliance with website “terms of use”; the ethics of recruiting from the online networks of research participants; and the ethical implications of online communication from and between participants. Two checklists aimed at guiding investigators and IRBs through the ethical issues are included as appendices. (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)

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)

It is not uncommon for multiple clinical trials at the same institution to recruit concurrently from the same patient population. When the relevant pool of patients is limited, as it often is, trials essentially compete for participants. There is evidence that such a competition is a predictor of low study accrual, with increased competition tied to increased recruitment shortfalls. But there is no consensus on what steps, if any, institutions should take to approach this issue. In this article, we argue (...) that an institutional policy that prioritises some trials for recruitment ahead of others is ethically permissible and indeed prima facie preferable to alternative means of addressing recruitment competition. We motivate this view by appeal to the ethical importance of minimising the number of studies that begin but do not complete, thereby exposing their participants to unnecessary risks and burdens in the process. We then argue that a policy of prioritisation can be fair to relevant stakeholders, including participants, investigators and funders. Finally, by way of encouraging and helping to frame future debate, we propose some questions that would need to be addressed when identifying substantive ethical criteria for prioritising between studies. (shrink)

Les révolutions de la biologie ont profondément modifié l'homme. Des cellules souches à l'épigénome, des thérapies géniques aux transplantations du microbiote, des interfaces cerveau-machine à l'application de l'intelligence artificielle en matière de santé, Patrice Debré dresse dans ce livre une fresque fascinante des avancées et perspectives de cette transformation possible d'Homo sapiens. A travers elle, le lecteur comprendra les différentes configurations que peut épouser la condition humaine.0Les connaissances de la maîtrise du vivant doivent s'appuyer sur la science et non (...) pas sur les préjugés et les fausses rumeurs! Si la biologie va plus vite que l'homme, elle doit avancer au pas d'un nouvel humanisme."--Page 4 of cover. (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)

The view that research with competent adults requires valid consent to be ethical perhaps finds its clearest expression in the Nuremberg Code, whose famous first principle asserts that “the voluntary consent of the human subject is absolutely essential.” In a similar vein, the United Nations International Covenant on Civil and Political Rights states that “no one shall be subjected without his free consent to medical or scientific experimentation.” Yet although some formulations of the consent principle allow no exceptions, others hold (...) that informed consent is not always strictly necessary for ethical research. The U.S. federal regulations known as the “Common Rule,” which govern research with human subjects, lists several conditions for waiving consent. However, neither guidance documents on the ethics of clinical research nor the literature in bioethics contains a general justification of research without consent. The purpose of this paper is to advance a justificatory framework that will explain why research without consent is permissible in paradigmatic cases and that can be useful in analyzing cases about which there is disagreement. We argue that research without consent can be justified on two grounds: if it stands to infringe no right of the participants and obtaining consent is impracticable, or if the gravity of the rights infringement is minor and outweighed by the expected social value of the research and obtaining consent is impracticable. (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)

This investigation of time and space is motivated by gaps in our current understanding: by the lack of definitions, by our failure to appreciate the nature of these entities, by our inability to pin down their properties. The author's approach is based on two key ideas: The first idea is to seek the geo-historical origins of time and space concepts. A thorough investigation of a diversified archaeological corpus, allows him to draft coherent definitions; it furthermore gives clues as to whether (...) time and space were discovered or invented. The second idea is to define the units before trying to define space and time. The results presented here are unexpected: Time and space were not discovered in nature, but they were invented; time is not a phenomenon and space has no materiality; they are only concepts. This runs contrary to the opinion of most scientific and the philosophical authorities, although one would seek in vain for a theoretical validation of the conventional position. This book will provide much food for thought for philosophers and scientists, as well as interested general readers. (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)

Les travaux de Patrice Bret occupent une place centrale en histoire des sciences et en histoire des techniques. Ce livre entend les mettre à l'honneur, qu'il s'agisse de l'histoire des savoirs académiques, du régime techno-politique du XVIIIe siècle, des interactions entre savants et praticiens à l'heure de la chimie lavoisienne, des circulations culturelles et des traductions ou encore de la place des femmes de sciences. Les contributions réunies dans ce volume illustrent, par leur diversité, l'influence de Patrice Bret (...) dans la communauté historienne. Nous proposons ainsi de mettre en perspective son oeuvre en la replaçant dans un contexte intellectuel, scientifique et épistémologique. Un constat s'impose : loin de distinguer entre les approches conceptuelles, érudites et méthodologiques, Patrice Bret joue un rôle de premier plan dans un milieu scientifique qui a choisi de conjuguer le renouvellement des questionnements avec la production d'instruments de recherche et les interrogations de repérage, de dénomination, d'identification, seules à même de contrer les récits téléologiques qui ont longtemps prévalu dans ce domaine. Si l'histoire des sciences et l'histoire des techniques sont de nos jours à l'avant-poste du renouvellement de la science historique, c'est aussi grâce au rôle de passeur de Patrice Bret. (shrink)

This essay investigates the linguistic, artistic, and typographical dimensions of Anne Carson’s H of H Playbook and Trojan Women by Euripides: A Comedy. I argue that graphic design and design-thinking principles provide a useful and unexplored theoretical framework for deciphering these books, given the often-complex relationship in them between image and words, and sometimes even words presented in different typeface and handwriting. Carson worked in graphic design for a time, and as a poet, words – and metaphor, specifically – are (...) her primary design tool. Language works in tandem with image and form to create broader artistic meaning. (shrink)

Cet article livre le témoignage d’une « biographe hospitalière » qui rencontre des patients malades, souvent en fin de vie, afin d’accompagner leur souhait de transmettre un écrit, lettres ou livre autobiographique. Les auteurs mettent en valeur la vertu cathartique de l’objet livre et engagent ensuite une réflexion sur les enjeux de cet accompagnement créateur pour le narrateur et sa famille et sur le statut particulier de l’écrit comme objet médiateur dans la transmission de la mémoire familiale. Ainsi, l’objet livre (...) peut notamment venir compenser le manque de ritualité autour de la mort à l’hôpital et apprivoiser l’idée de son proche décès, lui donner un sens, redonner à la personne malade un statut d’être de projet et de désir. Pour ceux qui restent, il est survivance de l’être aimé, trace d’une histoire singulière dans la mémoire collective, repère signifiant, ils devront s’approprier ce legs par des processus conscients ou inconscients d’identification qui impacteront leur construction identitaire. (shrink)

Résumé À travers le cas clinique d’une adolescente obèse, l’article postule que le corps « obèse » peut être l’espace d’expression de la conflictualité inter et transgénérationnelle. Le symptôme de l’obésité viendrait alors préserver l’homéostasie familiale. Cet écrit met le projecteur sur la dimension contenante de ce corps « encombrant », signifiant formel d’une enveloppe psychique porteuse de traces douloureuses appartenant au mémorial familial. Il expose ainsi une explication au phénomène de résistance à l’amaigrissement rencontré parfois dans la clinique de (...) l’obésité. (shrink)

Résumé À travers le cas clinique d’une adolescente obèse, l’article postule que le corps « obèse » peut être l’espace d’expression de la conflictualité inter et transgénérationnelle. Le symptôme de l’obésité viendrait alors préserver l’homéostasie familiale. Cet écrit met le projecteur sur la dimension contenante de ce corps « encombrant », signifiant formel d’une enveloppe psychique porteuse de traces douloureuses appartenant au mémorial familial. Il expose ainsi une explication au phénomène de résistance à l’amaigrissement rencontré parfois dans la clinique de (...) l’obésité. (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)

I examine different strategies involved in stating anti-theistic arguments from natural evil, and consider some theistic replies. There are, traditionally, two main types of arguments from natural evil: those that purport to deduce a contradiction between the existence of natural evil and the existence of God, and those that claim that the existence of certain types or quantities of natural evil significantly lowers the probability that theism is true. After considering peripheral replies, I state four prominent theistic rebutting strategies: skeptical (...) theism; Richard Swinburne's view that moral knowledge entails natural evil; the soul-making theodicy; and the natural law theodicy. (shrink)

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)

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)