Results for 'Rikke Lambek'

251 found
Order:
  1.  36
    Eight-year-olds, but not six-year-olds, perform just as well as adults when playing Concentration: Resolving the enigma?Peter Krøjgaard, Trine Sonne, Maëlle Lerebourg, Rikke Lambek & Osman S. Kingo - 2019 - Consciousness and Cognition 69:81-94.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Learning from errors in digital patient communication: Professionals’ enactment of negative knowledge and digital ignorance in the workplace.Rikke Jensen, Charlotte Jonasson, Martin Gartmeier & Jaana Parviainen - 2023 - Journal of Workplace Learning 35 (5).
    Purpose. The purpose of this study is to investigate how professionals learn from varying experiences with errors in health-care digitalization and develop and use negative knowledge and digital ignorance in efforts to improve digitalized health care. Design/methodology/approach. A two-year qualitative field study was conducted in the context of a public health-care organization working with digital patient communication. The data consisted of participant observation, semistructured interviews and document data. Inductive coding and a theoretically informed generation of themes were applied. Findings. The (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  56
    Exploring Human-Tech Hybridity at the Intersection of Extended Cognition and Distributed Agency: A Focus on Self-Tracking Devices.Rikke Duus, Mike Cooray & Nadine C. Page - 2018 - Frontiers in Psychology 9:351016.
    In an increasingly technology-textured environment, smart, intelligent and responsive technology has moved onto the body of many individuals. Mobile phones, smart watches and wearable activity trackers are just some of the technologies that are guiding, nudging, monitoring and reminding individuals in their day-to-day lives. These devices are designed to enhance and support their human users, however, there is a lack of attention to the unintended consequences, the technology non-neutrality and the darker sides of becoming human-tech hybrids. Using the extended mind (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  14
    The Moral Potential of Eco-Guilt and Eco-Shame: Emotions that Hinder or Facilitate Pro-Environmental Change?Rikke Sigmer Nielsen & Christian Gamborg - 2024 - Journal of Agricultural and Environmental Ethics 37 (4):1-17.
    The emotions of guilt and shame have an effect on how individuals feel and behave in relation to environmental crises, yet studies of the moral potential of these emotions remain limited. From a philosophical perspective, some scholars have defended using eco-guilt and eco-shame as morally constructive emotions due to their ability to evoke more pro-environmental behaviour. Meanwhile, others have posited that there are pitfalls to these emotions, claiming that they perpetuate a problematic individualised focus, which diverts attention from the collective (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  20
    Outcomes of Paradox Responses in Corporate Sustainability: A Qualitative Meta-Analysis.Rikke R. Albertsen - forthcoming - Business and Society.
    Paradox theory offers a unique approach through which the complex and often conflicting aspects of corporate sustainability (CS) can be addressed. Although a growing body of literature has focused on the organizational-level outcomes of a paradox approach to sustainability, we know less about how such an approach creates business contributions to sustainable development beyond the organization (societal sustainability). The present study addresses this gap in research through a qualitative meta-analysis of 32 empirical case studies. While the analyzed studies confirmed the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  22
    Introduction to Higher Order Categorical Logic.Joachim Lambek & Philip J. Scott - 1986 - Cambridge University Press.
    In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  7.  22
    Four lectures on ethics: anthropological perspectives.Michael Lambek - 2015 - Chicago, IL: Hau Books. Edited by Veena Das, Didier Fassin & Webb Keane.
    Anthropology has recently seen a lively interest in the subject of ethics and comparative notions of morality and freedom. This masterclass brings together four of the most eminent anthropologists working in this field--Michael Lambek, Veena Das, Didier Fassin, and Webb Keane--to discuss, via lectures and responses, important topics facing anthropological ethics and the theoretical debates that surround it. The authors explore the ways we understand morality across many different cultural settings, asking questions such as: How do we recognize the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  23
    From the families we choose to the families we find online: media technology and queer family making.Rikke Andreassen - 2023 - Feminist Theory 24 (1):12-29.
    Since the mid-2000s, a number of Western countries have witnessed an increase in the number of children born into ‘alternative’ or ‘queer’ families. Parallel with this queer baby boom, online media technologies have become intertwined with most people’s intimate lives. While these two phenomena have appeared simultaneously, their integration has seldom been explored. In an attempt to fill this gap, the present article explores the ways in which contemporary queer reproduction is interwoven with online media practices. Importantly, the article does (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  40
    What comes after postmodernism?—Material making, creative production and artistic figuration as ways to re-organize pedagogical culture.Rikke Platz Cortsen & Anne Mette W. Nielsen - 2018 - Educational Philosophy and Theory 50 (14):1422-1423.
    Working from Fredric Jameson’s quote and recognizing his suggestion of a need for ‘the invention and projection of a global cognitive mapping’ as an integral part of what comes after postmodernism,...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  28
    Subject subjected - Sexualised coercion, agency and the reorganisation and reformulation of life strategies.Rikke Spjæt Salkvist & Bodil Pedersen - 2008 - Outlines. Critical Practice Studies 10 (2):70-89.
    When not acting in ways that are recognised as physical self-defence, women are often – in psychology and in other dominant discourses – generalised as inherently passive during subjection to sexualised coercion (rape and attempted rape). Likewise, in the aftermaths, their (in)actions are frequently pathologised as ‘maladaptive coping strategies’. We present theoretically and empirically based arguments for an agency-oriented approach to women’s perspectives on sexualised coercion. Agency is understood as intentional, situated and strategic. Sexualised coercion is not generalised as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  41
    Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.
  12.  47
    Ordinary ethics: anthropology, language, and action.Michael Lambek (ed.) - 2010 - New York: Fordham University Press.
    Bringing together ethnographic exposition with philosophical concepts and arguments and effectively transcending subdisciplinary boundaries between cultural and ...
  13.  52
    Nietzsche’s Rhetoric: Dissonance and Reception.Simon Lambek - 2020 - Epoché: A Journal for the History of Philosophy 25 (1):57-80.
    This article presents a reading of Nietzsche’s use of rhetoric as inseparable from his philosophical project. I provide an exegesis of Nietzsche’s own reflections on rhetoric and consider its actual deployment, arguing that Nietzsche’s rhetoric is often deliberately dissonant and oriented toward facilitating receptive effects. The aim, I suggest, is to shift politics of possibility—to alter what can and cannot be done and said politically. Dissonant rhetoric, rhetoric that marries aesthetic attunement with affective turbulence, helps to accomplish this end by (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  55
    The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
    Direct download  
     
    Export citation  
     
    Bookmark   165 citations  
  15.  79
    Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
  16.  17
    The ethical condition: essays on action, person, and value.Michael Lambek - 2015 - London: University of Chicago Press.
    Written over a thirty-year span, Michael Lambek’s essays in this collection point with definitive force toward a single central truth: ethics is intrinsic to social life. As he shows through rich ethnographic accounts and multiple theoretical traditions, our human condition is at heart an ethical one—we may not always be good or just, but we are always subject to their criteria. Detailing Lambek’s trajectory as one anthropologist thinking deeply throughout a career on the nature of ethical life, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  23
    Elisions: Photographs by Darren Harvey-Regan.Rikke Hansen - 2012 - Philosophy of Photography 3 (2):242-247.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Kampen om sammenhængskraften - En analyse af begrebet sammenhængskraft i den offentlige debat fra 1994 til 2010.Rikke Alberg Peters - 2014 - Slagmark - Tidsskrift for Idéhistorie 70:129-156.
    This article addresses the Danish concept ‘sammenhængskraft’ in its shifting articulations in the Danish public debate from 1994-2010. By combining a discursive analytical approach with Reinhart Koselleck’s notion of asymmetric counterconcepts it is demonstrated how the concept is embedded in various political discourses. Through this process, which is described as a semantic battle, it gradually changes its meaning from an open social political concept used in particular when discussing future socio political challenges in the well fare state to a national (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  24
    Twitter-revolutioner og fejlslagne protestbevægelser.Rikke Alberg Peters - 2015 - Slagmark - Tidsskrift for Idéhistorie 71:179-193.
    This article explores the interesting connection between social movements and new social media also referred to as web 2.0. It is argued that the public as well as parts of the scientific debate about the impact of new media on social change is to a large degree dominated by two rigid camps, namely Internet-utopians on the one side and Internet-sceptics on the other side. Both positions tend to degenerate into technological determinism. Furthermore, they ignore the long tradition for the critical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  9
    Part One. Theoretical Frameworks.Michael Lambek, Webb Keane & James D. Faubion - 2010 - In Ordinary ethics: anthropology, language, and action. New York: Fordham University Press. pp. 37-102.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  21.  78
    Anthropology and Religion.Michael Lambek - 2006 - In Philip Clayton & Zachory Simpson, The Oxford Handbook of Religion and Science. Oxford University Press. pp. 271-289.
    Accession Number: ATLA0001712194; Hosting Book Page Citation: p 271-289.; Language(s): English; General Note: Bibliography: p 287-289.; Issued by ATLA: 20130825; Publication Type: Essay.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  48
    Exploring feature agreement in French with parallel pregroup computations.Joachim Lambek - 2010 - Journal of Logic, Language and Information 19 (1):75-88.
    One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Technically speaking, this amounts to working in the direct product of two free pregroups.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  38
    Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 , pp. 243–283.J. Lambek - 1998 - Journal of Symbolic Logic 63 (3):1185-1186.
  24.  15
    Pause acceptability indicates word-internal structure in Wubuy.Rikke L. Bundgaard-Nielsen & Brett J. Baker - 2020 - Cognition 198:104167.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  36
    The Ceremonial Animal: A New Portrait of Anthropology.Wendy James & Michael Lambek - 2003 - Oxford University Press.
    Adapting Wittgenstein's concept of the human species as 'a ceremonial animal', Wendy James discusses in a readable and lively style the conceptual ordering of space, time, and rhythm; the mutualities of language, consciousness, ritual and religious practice; the dialectics of gender and generation; power, war, and peace; and large-scale modern social formations such as the city and the nation. The Foreword is by Michael J. Lambek, Professor of Anthropology, University of Toronto.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  17
    Bilinear logic in algebra and linguistics 0).J. Lambek - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier, Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--43.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  52
    What is a deductive system?Joachim Lambek - 1994 - In Dov M. Gabbay, What is a logical system? New York: Oxford University Press.
  28.  41
    What is the world of mathematics?J. Lambek - 2004 - Annals of Pure and Applied Logic 126 (1-3):149-158.
    It may be argued that the language of mathematics is about the category\nof sets, although the definite article requires some justification.\nAs possible worlds of mathematics we may admit all models of type\ntheory, by which we mean all local toposes. For an intuitionist,\nthere is a distinguished local topos, namely the so-called free topos,\nwhich may be constructed as the Tarski–Lindenbaum category of intuitionistic\ntype theory. However, for a classical mathematician, to pick a distinguished\nmodel may be as difficult as to define the notion of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Bilinear logic and Grishin algebras.Joachim Lambek - 1999 - In E. Orłowska, Logic at Work. Heidelberg. pp. 604--612.
  30.  94
    Comedy as dissonant rhetoric.Simon Lambek - 2023 - Philosophy and Social Criticism 49 (9):1107-1127.
    This article considers the normative and critical value of popular comedy. I begin by assembling and evaluating a range of political theory literature on comedy. I argue that popular comedy can be conducive to both critical and transformative democratic effects, but that these effects are contingent on the way comedic performances are received by audiences. I illustrate this by means of a case study of a comedic climate change ‘debate’ from the television show, Last Week Tonight. Drawing from recent scholarship (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  32
    Person‐specific evidence has the ability to mobilize relational capacity: A four‐step grounded theory developed in people with long‐term health conditions.Vibeke Zoffmann, Rikke Jørgensen, Marit Graue, Sigrid Normann Biener, Anna Lena Brorsson, Cecilie Holm Christiansen, Mette Due-Christensen, Helle Enggaard, Jeanette Finderup, Josephine Haas, Gitte Reventlov Husted, Maja Tornøe Johansen, Katja Lisa Kanne, Beate-Christin Hope Kolltveit, Katrine Wegmann Krogslund, Silje S. Lie, Anna Olinder Lindholm, Emilie H. S. Marqvorsen, Anne Sophie Mathiesen, Mette Linnet Olesen, Bodil Rasmussen, Mette Juel Rothmann, Susan Munch Simonsen, Sara Huld Sveinsdóttir Tackie, Lise Bjerrum Thisted, Trang Minh Tran, Janne Weis & Marit Kirkevold - 2023 - Nursing Inquiry 30 (3):e12555.
    Person‐specific evidence was developed as a grounded theory by analyzing 20 selected case descriptions from interventions using the guided self‐determination method with people with various long‐term health conditions. It explains the mechanisms of mobilizing relational capacity by including person‐specific evidence in shared decision‐making. Person‐specific self‐insight was the first step, achieved as individuals completed reflection sheets enabling them to clarify their personal values and identify actions or omissions related to self‐management challenges. This step paved the way for sharing these insights and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  24
    I can never be normal: A conversation about race, daily life practices, food and power.Uzma Ahmed-Andresen & Rikke Andreassen - 2014 - European Journal of Women's Studies 21 (1):25-42.
    This article focuses on the doing and undoing of race in daily life practices in Denmark. It takes the form of a dialogue between two women, a heterosexual Muslim woman of colour and a lesbian white woman, who discuss and analyze how their daily life, e.g. interactions with their children’s schools and daycare institutions, shape their racial and gendered experiences. Drawing upon black feminist theory, postcolonial theory, critical race and whiteness studies, the two women illustrate inclusions and exclusions in their (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  14
    The Communicative Organisation.Rikke Frank Jørgensen - 1996 - In Roland Posner, Heinz Klein, Peter B. Andersen & Berit Holmqvist, Signs of Work: Semiosis and Information Processing in Organisations. De Gruyter. pp. 269-282.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Meeting in the middle: Cultural co-creation, transformative partnerships, and ecosystems for public good.Rikke Toft Nørgård & Kim Holflod - 2025 - Educational Philosophy and Theory 57 (2):112-127.
    This paper explores quadruple helix ecosystems, cultural hubs, and living labs as models for transformative partnerships for higher education institutions (HEIs) as they move towards more open, co-operative, and co-creative research and innovation formats for public good. The transition of HEIs from mode 2 to mode 3 institutions prompts a cultural shift in HEIs that involves ongoing reimagination and reconfiguration. Here, the paper introduces and connects the quadruple helix ecosystem, living labs, and public good as a way for HEIs to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  19
    New proofs of some intuitionistic principles.J. Lambek & P. J. Scott - 1983 - Mathematical Logic Quarterly 29 (10):493-504.
  36.  13
    Concepts and persons.Michael Lambek - 2021 - London: University of Toronto Press.
    The Tanner Lectures are a collection of educational and scientific discussions relating to human values. Conducted by leaders in their fields, the lectures are presented at renowned institutions around the world, including the Universities of Oxford, Harvard, and Yale. In January 2019, University of Toronto's Michael Lambek, professor, former Canada Research Chair, and member of the Royal Society of Canada, delivered the Tanner Lecture at the University of Michigan's Department of Philosophy on the topic of "Concepts and Persons." As (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  12
    Bodies and Persons: Comparative Perspectives from Africa and Melanesia.Michael Joshua Lambek, Michael Lambek, Professor of Anthropology Michael Lambek & Andrew Strathern - 1998 - Cambridge University Press.
    This book suggests a bold comparative approach to broad cultural differences between Africa and Melanesia. Its theme is personhood, understood in terms of what anthropologists call embodiment. These concepts are applied to questions ranging from the meanings of spirit possession, to the logics of witchcraft and kinship relations, the use of rituals in healing, and even the impact of capitalism. Questioning common assumptions about the huge differences among these discrete areas, the contributions document surprising continuities.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  38
    Moortgat Michael. Categorical investigations. Logical and linguistic aspects of the Lambek calculus. Groningen-Amsterdam studies in semantics, no. 9. Foris Publications, Dordrecht and Providence 1988, xiii + 285 pp. [REVIEW]J. Lambek - 1992 - Journal of Symbolic Logic 57 (3):1143-1146.
  39.  82
    Should Pregroup Grammars be Adorned with Additional Operations?Joachim Lambek - 2007 - Studia Logica 87 (2-3):343-358.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  37
    (1 other version)Yehoshua Bar-Hillel. Preface. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. vii–viii. - Yehoshua Bar-Hillel. Introduction. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 1–16. - Yehoshua Bar-Hillel. On syntactical categories. A reprint of XV 220. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 19–37. - Yehoshua Bar-Hillel. Logical syntax and semantics. A reprint of XX 290. Language and information, Selected e. [REVIEW]J. Lambek - 1965 - Journal of Symbolic Logic 30 (3):382-385.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  25
    The Wrong Question?Michael Lambek - 2023 - Philosophies 8 (2):38.
    The Wrong Question? is the response by an anthropologist to a question posed by a philosopher concerning the intelligibility of alien forms of thought. I argue that it is wrong to describe the problem of intelligibility as one of logic or rationality. Indeed, foreign practices (no less than our own) may become intelligible only once they are not evaluated according to abstract criteria of rationality. To ask of a given practice or form of life whether it is rational is an (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    Four essays.Christian Lambek - 1946 - London,: Oxford University Press. Edited by Agnete Koch Brostrøm Kortsen.
    Time and reality.--Objectivity.--Logical coherence.--Antagonisms in the individual.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  73
    Logic and Grammar.Joachim Lambek - 2012 - Studia Logica 100 (4):667-681.
    Grammar can be formulated as a kind of substructural propositional logic. In support of this claim, we survey bare Gentzen style deductive systems and two kinds of non-commutative linear logic: intuitionistic and compact bilinear logic. We also glance at their categorical refinements.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. The Structure of Our Apprehension of Reality.C. Lambek & Agnete Kortsen - 1934 - Philosophy 9 (34):241-242.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  94
    Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
    A version of intuitionistic type theory is presented here in which all logical symbols are defined in terms of equality. This language is used to construct the so-called free topos with natural number object. It is argued that the free topos may be regarded as the universe of mathematics from an intuitionist's point of view.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. On some connections between logic and category theory.J. Lambek - 1989 - Studia Logica 48 (3):269 - 278.
    Categories may be viewed as deductive systems or as algebraic theories. We are primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance to the foundations of mathematics. We see this as a common thread running through the six contributions to this issue of Studia Logica.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  63
    Pregroup Grammars and Chomsky’s Earliest Examples.J. Lambek - 2008 - Journal of Logic, Language and Information 17 (2):141-160.
    Pregroups are partially ordered monoids in which each element has two “adjoints”. Pregroup grammars provide a computational approach to natural languages by assigning to each word in the mental dictionary a type, namely an element of the pregroup freely generated by a partially ordered set of basic types. In this expository article, the attempt is made to introduce linguists to a pregroup grammar of English by looking at Chomsky’s earliest examples.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  1
    An analysis of volitional life.Christian Lambek - 1947 - London: Williams & Norgate. Edited by Agnete Koch Brostrøm Kortsen.
  49. An Analysis of Volitional Life.C. Lambek & Agnete Kortsen - 1949 - Philosophy 24 (88):86-86.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  34
    An Extension of the Formulas-as-Types Paradigm.J. Lambek - 1997 - Dialogue 36 (1):33-.
    RésuméUn paradigme en vogue en informatique théorique exploite l'analogie entre les formules et les types et traite une deduction Al… An→ B comme une opération plurisortale. On propose ici d'étendre cette analogie aux déductions de la forme Al… An→, où la place à droite de la flèche est vide. D'un point de vue logique, une telle déduction constitue une réfutation de la conjonction desformules qui se trouvent à gauche de la flèche. On défend l'idée qu'ilfaut, selon ce paradigme étendu, interpréter (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 251