Results for 'Maurizio Bossi'

979 found
Order:
  1.  30
    Stefano Poggi and Maurizio Bossi , Romanticism in Science: Science in Europe, 1790–1840. Boston Studies in the Philosophy of Science, 152. Dordrecht: Kluwer Academic Publishers, 1994. Pp. xv + 245. ISBN 0-7923-2336-X. £70.00, $107.00, Dfl. 175.00. [REVIEW]Joan Steigerwald - 1995 - British Journal for the History of Science 28 (2):240-241.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  41
    Interview: Maurizio Ferraris.Maurizio Ferraris & Manuel Carta - 2016 - Philosophy Now 113:11-13.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Maurizio Ferraris, Salvatore Natoli, Vincenzo Vitiello discutono il libro Storia del nulla di Sergio Givone.Maurizio Ferraris - 1996 - Iride: Filosofia e Discussione Pubblica 9:229.
    No categories
     
    Export citation  
     
    Bookmark  
  4. Dibattito: Interventi di: Maurizio Ferraris, Gianni Carchia, Piero Palmero, Gianni Vattimo, Franco Rella, Fausto Curi.Maurizio Ferraris, Gianni Carchia, Piero Palmero, Gianni Vattimo & Franco Rella - 1983 - Studi di Estetica 2:90-112.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  31
    A Postgenomic Body: Histories, Genealogy, Politics.Maurizio Meloni - 2018 - Body and Society 24 (3):3-38.
    This article sets the stage for a genealogy of the postgenomic body. It starts with the current transformative views of epigenetics and microbiomics to offer a more pluralistic history in which the ethical problem of how to live with a permeable body – that is plasticity as a form of life – is pervasive in traditions pre-dating and coexisting with modern biomedicine (particularly humoralism in its several ramifications). To challenge universalizing narratives, I draw on genealogical method to illuminate the unequal (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  6.  45
    Indigenous Knowledge in a Postgenomic Landscape: The Politics of Epigenetic Hope and Reparation in Australia.Maurizio Meloni, Emma Kowal & Megan Warin - 2020 - Science, Technology, and Human Values 45 (1):87-111.
    A history of colonization inflicts psychological, physical, and structural disadvantages that endure across generations. For an increasing number of Indigenous Australians, environmental epigenetics offers an important explanatory framework that links the social past with the biological present, providing a culturally relevant way of understanding the various intergenerational effects of historical trauma. In this paper, we critically examine the strategic uptake of environmental epigenetics by Indigenous researchers and policy advocates. We focus on the relationship between epigenetic processes and Indigenous views of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  35
    Plato's "Sophist" Revisited.Beatriz Bossi & Thomas M. Robinson (eds.) - 2013 - Berlin: Walter de Gruyter.
    This book consists of a selection of papers which throw new light on old problems in one of Plato s most difficult dialogues. The first set of papers deals with definitions of sophistry from different perspectives. In the central section E. Hulsz, D. O'Brien, B. Bossi, P. Mesquita and N. Cordero consider the problem of being and relative non-being with regard to Heraclitus and the legacy of Parmenides. The final section with papers by F. Fronterotta, J. de Garay, D. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  25
    Lo que Heráclito y Parménides tienen en común acerca de la realidad y el engaño.Beatriz Bossi - 2015 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 48:21-34.
    It is usually assumed that Heraclitus is, exclusively, the philosopher of flux, diversity and opposition while Parmenides puts the case for unity and changelessness. However, there is a significant common understanding of things, not simply an accidental similarity of understanding. Both philosophers, critically, distinguish two realms: on the one hand, there is the one, common realm, identical for all, which is grasped by the ‘logos that is common’ or the steady nous that follows a right method in order to interpret (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  7
    Un enigma en el Crátilo.Beatriz Bossi - 2024 - Tópicos 46:e0079.
    Intentaré ofrecer alguna pista con relación a la cuestión de cuál es el alcance, significado y evolución de la figura del νομοθέτης en el Crátilo. Su papel le sirve a Platón instrumentalmente para refutar, siquiera parcialmente, por una parte, el convencionalismo de Hermógenes, mediante el sutil desplazamiento desde la figura de “quien establece el uso de las palabras” (arbitrariamente) a la figura de un experto artesano que debe conocer la naturaleza de las cosas para operar correctamente. Por la otra, también (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    Contra la arrogancia de Critias: ¿Parménides detrás del Cármides?Beatriz Bossi López - 2017 - Endoxa 39:31.
  11.  7
    La lettre entre expression et communication.Mireille Bossis - 1999 - Horizons Philosophiques 10 (1):37-46.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  36
    Should the colonisation of space be based on reproduction? Critical considerations on the choice of having a child in space.Maurizio Balistreri & Steven Umbrello - 2022 - Journal of Responsible Technology 11 (C):100040.
    This paper aims to argue for the thesis that it is not a priori morally justified that the first phase of space colonisation is based on sexual reproduction. We ground this position on the argument that, at least in the first colonisation settlements, those born in space may not have a good chance of having a good life. This problem does not depend on the fact that life on another planet would have to deal with issues such as solar radiation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  31
    Machiavelli's God.Maurizio Viroli - 2010 - Princeton University Press.
    The translation of this work has been funded by SEPS - Segretariato Europeo per le Pubblicazioni Scientifiche.
  14.  29
    Correction to: Thinking embodiment with genetics: epigenetics and postgenomic biology in embodied cognition and enactivism.Maurizio Meloni & Jack Reynolds - 2021 - Synthese 199 (1):5415-5416.
    The article Thinking embodiment with genetics: epigenetics and postgenomic biology in embodied cognition and enactivism, written by Maurizio Meloni and Jack Reynolds, was originally published electronically on the publisher’s internet portal on 18 June 2020 without open access. With the author’ decision to opt for Open Choice the copyright of the article changed on 6 November 2020 to ©The Author 2020 and the article is forthwith distributed under a Creative Commons Attribution.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  30
    Beyond Haeckel’s Law: Walter Garstang and the Evolutionary Biology that Might Have Been.Maurizio Esposito - 2020 - Journal of the History of Biology 53 (2):249-268.
    At the beginning of the twentieth century Haeckel’s biogenetic law was widely questioned. On the one hand, there were those who wanted to dismiss it altogether: ontogeny and phylogeny did not have any systematic or interesting relation. On the other hand, there were those who sought to revise it. They argued that while Haeckel’s recapitulationism might have been erroneous, this should not deter the research over the relation between evolution and development. The British embryologist Walter Garstang was one of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  83
    Machiavelli.Maurizio Viroli - 1998 - New York: Oxford University Press.
    This book presents a critical examination of Machiavelli's thought, combining an accessible, historically-informed account of his work with a reassessment of his central ideas and arguments. Viroli challenges the accepted interpretations of Machiavelli's work, insisting that his republicanism was based not on a commitment to virtue, greatness, and expansion, but to the ideal of civic life protected by the shield of fair laws. His detailed study of how Machiavelli composed The Prince offers a number of new interpretations and he further (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  17.  52
    For Love of Country: An Essay on Patriotism and Nationalism.Maurizio Viroli (ed.) - 1995 - Clarendon Press.
    Nationalism and patriotism are two of the most powerful forces shaping world history. In this paperback edition of a highly successful, wide-ranging study, Maurizio Viroli shows exactly why patriotism is a political virtue and nationalism a political vice.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  18.  36
    National health system cuts and triage decisions during the COVID-19 pandemic in Italy and Spain: ethical implications.Maurizio P. Faggioni, Fermín Jesús González-Melado & Maria Luisa Di Pietro - 2021 - Journal of Medical Ethics 47 (5):300-307.
    In this paper, we analyse the most important documents establishing the criteria for the treatment and exclusion of COVID-19 patients, especially in regard to the giving of respiratory support, in Italy and Spain. These documents reflect a tension that stems from limited healthcare resources which are insufficient to save lives that, under normal conditions, could have been saved, or at least could have received the best possible treatment. First, we analyse the healthcare systems of these two countries before the spread (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Il bambino ritrovato.Maurizio Andolfi - 2009 - Terapia Familiare 91:7 - 10.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  23
    Cyclical Composition in Guiraut Riquier's Book of Poems.Michel-André Bossy - 1991 - Speculum 66 (2):277-293.
    The idea that certain troubadours may have anthologized their own songs into compilations and even books has tantalized scholars ever since Gustav Gröber published his bold monograph on the question in 1877. Gröber's hypothesis about the prevalence of such compilations and books is now often put in doubt. It remains plausible, though uncertain, that several troubadours did put together collections of their own works — among them, Peire Vidal , Ponç de la Guardia , and Cerveri de Girona . There (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  32
    El "Fedro" de Platón: un ejercicio de buena retórica engañosa.Beatriz Bossi - 2015 - Anales Del Seminario de Historia de la Filosofía 32 (2):345-369.
    En este artículo me propongo mostrar que lo que Sócrates hace con Fedro a lo largo de toda la obra no es otra cosa que utilizar la auténtica retórica que es descrita en la segunda parte del diálogo. Las tensiones, rivalidades y celos de la situación inicial entre ellos expone un perfil representativo de relaciones entre interlocutores con perspectivas intelectuales opuestas. Es preciso disolver la resistencia emocional por medio de una serie de pasos graduales, estratégicos, y ‘engañosos’. Hay que partir (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Los diez mandamientos de un demócrata.Emilio R. Bossi - 1943 - Buenos Aires,:
     
    Export citation  
     
    Bookmark  
  23.  10
    La phronesis dei moderni: neoaristotelismo, post-hegelismo e la filosofia di Rüdiger Bubner.Maurizio Cosentino - 2017 - Milano: Mimesis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  43
    Genetics' dreams in the post genomics era.Maurizio Salvi - 2002 - Medicine, Health Care and Philosophy 5 (1):73-77.
    In this paper I explore the heuristic limits ofhuman genetics, in particular the claim that itis possible to manipulate human germcells in a pre-ordinate way (Gordon, 1999). I arguethat this claim is unrealistic based ongenetic reductionism and a wrong concept ofgenetic diseases.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  9
    Unità, molteplicità, dialettica: contributi per una riscoperta di Zenone di Elea.Maurizio Migliori - 1984 - Milano: UNICOPLI.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  15
    Videophilosophy: the perception of time in post-Fordism.Maurizio Lazzarato - 2019 - New York: Columbia University Press.
    The Italian philosopher Maurizio Lazzarato reveals the underpinnings of contemporary subjectivity in the aesthetics and politics of mass media. This book discloses the conceptual groundwork of Lazzarato's thought as a whole for a time when his writings have become increasingly influential.
  27.  73
    Sex Robots: Love in the Age of Machines.Maurizio Balistreri - 2022 - Budapest: Trivent Publishing.
    Sex robots are already a reality: in this provocative text, Maurizio Balistreri explores the fascinating world of future sex, exploring the ethical questions raised by the existence of a sex robot industry.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  41
    Ethics of Extinction: Humean Sentimentalism and the Value of the Human Species.Maurizio Balistreri - 2024 - Topoi 43 (1):55-63.
    The idea that the phenomenon of morality and, consequently, our ability to distinguish between vice and virtue can be explained by sympathy has been challenged as a highly controversial hypothesis, since sympathy appears to be easily influenced by proximity and selective, and would therefore seem incompatible with the possibility of taking an impartial, objective point of view. We intend to show that even a sentimentalist moral perspective such as the ‘Humean’ one, which places empathy (or ‘sympathy’, as Hume calls it) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  7
    Learning to Live: Six Essays on Marcel Proust.Maurizio Ferraris - 2020 - Boston: Brill | Rodopi.
    Maurizio Ferraris explores how, through the reading of Proust's _In Search of Lost Time_, one can explore memory, art, and society, using the book as a guide for living life.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Rethinking the ontogeny of mindreading.Maurizio Tirassa, Francesca M. Bosco & Livia Colle - 2006 - Consciousness and Cognition 15 (1):197-217.
    We propose a mentalistic and nativist view of human early mental and social life and of the ontogeny of mindreading. We define the mental state of sharedness as the primitive, one-sided capability to take one's own mental states as mutually known to an i nteractant. We argue that this capability is an innate feature of the human mind, which the child uses to make a subjective sense of the world and of her actions. We argue that the child takes all (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  31. Thinking embodiment with genetics: epigenetics and postgenomic biology in embodied cognition and enactivism.Maurizio Meloni & Jack Reynolds - 2020 - Synthese 198 (11):10685-10708.
    The role of the body in cognition is acknowledged across a variety of disciplines, even if the precise nature and scope of that contribution remain contentious. As a result, most philosophers working on embodiment—e.g. those in embodied cognition, enactivism, and ‘4e’ cognition—interact with the life sciences as part of their interdisciplinary agenda. Despite this, a detailed engagement with emerging findings in epigenetics and post-genomic biology has been missing from proponents of this embodied turn. Surveying this research provides an opportunity to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  24
    Introduction to new realism.Maurizio Ferraris - 2015 - New York: Bloomsbury Academic.
    Introduction to New Realism provides an overview of the movement of contemporary thought named New Realism, by its creator and most celebrated practitioner, Maurizio Ferraris. Sharing significant concerns and features with Speculative Realism and Object Oriented Ontology, New Realism can be said to be one of the most prescient philosophical positions today. Its desire to overcome the postmodern antirealism of Kantian origin, and to reassert the importance of truth and objectivity in the name of a new Enlightenment, has had (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. The Making of the Indebted Man: An Essay on the Neoliberal Condition.Maurizio Lazzarato (ed.) - 2012 - Semiotext(E).
    The debtor-creditor relation, which is at the heart of this book, sharpens mechanisms of exploitation and domination indiscriminately, since, in it, there is no distinction between workers and the unemployed, consumers and producers, working and non-working populations, between retirees and welfare recipients. They are all "debtors," guilty and responsible in the eyes of capital, which has become the Great, the Universal, Creditor.--from The Making of the Indebted Man Debt -- both public debt and private debt Has become a major concern (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  34.  84
    Signs and Machines: Capitalism and the Production of Subjectivity.Maurizio Lazzarato - 2014 - MIT Press.
    An analysis of how capitalism today produces subjectivity like any other “good,” and what would allow us to escape its hold. “Capital is a semiotic operator”: this assertion by Félix Guattari is at the heart of Maurizio Lazzarato's Signs and Machines, which asks us to leave behind the logocentrism that still informs so many critical theories. Lazzarato calls instead for a new theory capable of explaining how signs function in the economy, in power apparatuses, and in the production of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  35.  39
    La esperanza de Sócrates: ¿cuestión de argumentos o encantamientos?: notas al Fedón.Beatriz Bossi - 2016 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 16:95-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. La gracia de la medida: Afrodita, salvadora del placer.Beatriz Bossi Lopez - 2006 - Sapientia 61 (219-220).
     
    Export citation  
     
    Bookmark  
  37. Impressionable Biologies: From the Archaeology of Plasticity to the Sociology of Epigenetics.Maurizio Meloni - 2019 - New York, USA: Routledge.
    Chapter 1st of the book. This chapter explores the fundamental ambiguity of the concept of plasticity – between openness and determination, change and stabilization of forms. This pluralism of meanings is used to unpack different instantiations of corporeal plasticity across various epochs, starting from ancient and early modern medicine, particularly humouralism. A genealogical approach displaces the notion that plasticity is a unitary phenomenon, coming in the abstract, and illuminates the unequal distribution of different forms of plasticities across social, gender, and (...)
  38. The formulation of legal concepts in arbitration normative texts in a multilingual, multicultural context.Maurizio Gotti - 2008 - In V. K. Bhatia, Christopher Candlin & Paola Evangelisti Allori (eds.), Language, culture and the law: the formulation of legal concepts across systems and cultures. New York: Peter Lang.
     
    Export citation  
     
    Bookmark   2 citations  
  39. The social brain meets the reactive genome: neuroscience, epigenetics and the new social biology.Maurizio Meloni - 2014 - Frontiers in Human Neuroscience 8.
    The rise of molecular epigenetics over the last few years promises to bring the discourse about the sociality and susceptibility to environmental influences of the brain to an entirely new level. Epigenetics deals with molecular mechanisms such as gene expression, which may embed in the organism “memories” of social experiences and environmental exposures. These changes in gene expression may be transmitted across generations without changes in the DNA sequence. Epigenetics is the most advanced example of the new postgenomic and context-dependent (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  40. in Paolo Diego Bubbio, Maurizio Pagano, Hager Weslati and Alessandro De Cesaris (eds), Hegel, Logic and Speculation, London: Bloomsbury, ISBN-13: 978-1350056367. DOI: 10.5040/9781350056381.ch-011.Paolo Diego Bubbio, Maurizio Pagano, Hager Weslati & Alessandro De Cesaris (eds.) - 2019 - London: Bloomsbury.
     
    Export citation  
     
    Bookmark  
  41.  32
    Human Extinction, Artificial Womb and Intelligent Machines.Maurizio Balistreri - 2023 - International Journal of Applied Philosophy 37 (1):11-30.
    The theme of human extinction is increasingly at the center of the current debate on moral philosophy and bioethics. We look at space missions and station construction projects capable of accommodating a large population and at the colonization of other planets with great hope. However, solutions are not excluded either, which for now certainly appear to be much more original. One of the most original projects involves launching a spacecraft containing cryopreserved human embryos, which, once they arrive at destination on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Moral Arithmetic: seven sins into ten commandments.John Bossy - 1988 - In Edmund Leites (ed.), Conscience and casuistry in early modern Europe. Paris: Editions de la Maison des sciences de l'homme. pp. 214--34.
     
    Export citation  
     
    Bookmark   2 citations  
  43.  62
    Jean-Jacques Rousseau and the "well-ordered society".Maurizio Viroli - 1988 - New York: Cambridge University Press.
    This book studies a central but hitherto neglected aspect of Rousseau's political thought: the concept of social order and its implications for the ideal society which he envisages. The antithesis between order and disorder is a fundamental theme in Rousseau's work, and the author takes it as the basis for this study. In contrast with a widely held interpretation of Rousseau's philosophy, Professor Viroli argues that natural and political order are by no means the same for Rousseau. He explores the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  44.  50
    Conflict of interest in biomedical research: A view from europe.Maurizio Salvi - 2003 - Science and Engineering Ethics 9 (1):101-108.
    In this paper I address the conflict of interest (CoI) issue from a legal point of view at a European level. We will see that the regulatory framework that exists in Europe does state the need for the independence of ethics committee involved in authorisation of research and clinical trials. We will see that CoI is an element that has to be closely monitored at National and International level. Therefore, Member States and Newly Associated States do have to address CoI (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Space travel does not constitute a condition of moral exceptionality. That which obtains in space obtains also on Earth!Maurizio Balistreri & Steven Umbrello - 2022 - Medicina E Morale 71 (3):311-321.
    There is a growing body of scholarship that is addressing the ethics, in particular, the bioethics of space travel and colonisation. Naturally, a variety of perspectives concerning the ethical issues and moral permissibility of different technological strategies for confronting the rigours of space travel and colonisation have emerged in the debate. Approaches ranging from genetically enhancing human astronauts to modifying the environments of planets to make them hospitable have been proposed as methods. This paper takes a look at a critique (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  43
    Hysteresis.Maurizio Ferraris - 2020 - Critical Hermeneutics 4.
    Perhaps the most relevant aspect of the ongoing philosophical transformation is the splitting of binomial speculation-idealism. Indeed, one can be both realist and speculative. The paper aims to show it through a definition of negative, positive, and speculative Realism and emphasises the speculative concept of hysteresis, i.e. the survival of effects to their own causes. Indeed, it is the fundamental principle at the basis of what exists (ontology), what we do (technology), what we know (epistemology), and finally of teleology (that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The politics of environments before the environment: Biopolitics in the longue durée.Maurizio Meloni - 2021 - Studies in History and Philosophy of Science Part A 88 (C):334-344.
    Our understanding of body–world relations is caught in a curious contradiction. On one side, it is well established that many concepts that describe interaction with the outer world – ‘plasticity’ or ‘metabolism’- or external influences on the body - ‘environment’ or ‘milieu’ – appeared with the rise of modern science. On the other side, although premodern science lacked a unifying term for it, an anxious attentiveness to the power of ‘environmental factors’ in shaping physical and moral traits held sway in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  27
    In praise of polytheism.Maurizio Bettini - 2022 - Oakland, California: University of California Press. Edited by Douglas Grant Heise.
    At the heart of this book is a simple comparison: monotheistic religions are exclusive, whereas ancient polytheistic religions are inclusive. In this thought-provoking book, Maurizio Bettini, one of today's foremost classicists, uses the expansiveness of ancient polytheism to shine a bright light on a darker corner of our modern times. It can be easy to see ancient religions as inferior, less free, and remote from shared visions of a more inclusive world. But, as Bettini deftly shows, many ancient practices (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  26
    Machiavelli: from radical to reactionary.Maurizio Viroli - 2023 - History of European Ideas 49 (5):903-905.
    In recent years, the persuasion that Niccolò Machiavelli was a cynical, irreligious devious, ambitious, deceitful, and misogynous man has been gaining remarkable consensus among scholars. The most...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  28
    An intuitionistic theory of types with assumptions of high-arity variables.A. Bossi & S. Valentini - 1992 - Annals of Pure and Applied Logic 57 (2):93-149.
    After an introductory discussion on Martin-Löf's Intuitionistic Theory of Types , the paper introduces the notion of assumption of high-arity variable. Then the original theory is extended in a very uniform way by means of the new assumptions. Some improvements allowed by high-arity variables are shown. The main result of the paper is a normal form theorem for HITT. The detailed proof follows a computability method ‘a la Tait’. The main consequences of the normal form theorem are: the consistency of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 979