Results for 'Intersection'

1000+ found
Order:
  1.  11
    An Elementary Proof of Strong Normalization for Intersection Types.Silvio Valentini - 2001 - Archive for Mathematical Logic 40 (7):475-488.
    We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  10
    Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.Steffen van Bakel - 2004 - Notre Dame Journal of Formal Logic 45 (1):35-63.
    This paper defines reduction on derivations (cut-elimination) in the Strict Intersection Type Assignment System of an earlier paper and shows a strong normalization result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterization of normalizability of terms using intersection types.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  6
    Intersection of the Jurisprudences. The European Convention on Human Rights and the Constitutional Doctrine Formulated by the Constitutional Court of the Republic of Lithuania.Toma Birmontiene - 2010 - Jurisprudence 1 (119):7-27.
    The article discusses the certain features of the constitutional doctrine of human rights developed by the Constitutional Court of Lithuania which were influenced by the jurisprudence of the European Court of Human Rights, the role of the European Convention on Human Rights as a legal source in the system of sources of constitutional law. The intersection of the jurisprudences, which came into being due to different assessments of the legal regulation in cases where the same legal act was recognized (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4. Mindfulness: Diverse Perspectives on its Meaning, Origins, and Multiple Applications at the Intersection of Science and Dharma.J. Mark G. Williams & Jon Kabat-Zinn - 2011 - Contemporary Buddhism 12 (1):1-18.
    (2011). Mindfulness: diverse perspectives on its meaning, origins, and multiple applications at the intersection of science and dharma. Contemporary Buddhism: Vol. 12, Mindfulness: diverse perspectives on its meaning, origins, and multiple applications at the intersection of science and dharma, pp. 1-18. doi: 10.1080/14639947.2011.564811.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  1
    Intersection Theory for o-Minimal Manifolds.Alessandro Berarducci & Margarita Otero - 2001 - Annals of Pure and Applied Logic 107 (1-3):87-119.
    We develop an intersection theory for definable Cp-manifolds in an o-minimal expansion of a real closed field and we prove the invariance of the intersection numbers under definable Cp-homotopies . In particular we define the intersection number of two definable submanifolds of complementary dimensions, the Brouwer degree and the winding numbers. We illustrate the theory by deriving in the o-minimal context the Brouwer fixed point theorem, the Jordan-Brouwer separation theorem and the invariance of the Lefschetz numbers under (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  6.  14
    Teachers' Beliefs, Antiracism and Moral Education: Problems of Intersection.Dwight Boyd & Mary Louise Arnold - 2000 - Journal of Moral Education 29 (1):23-45.
    In this paper we explore potential problems of intersection between teachers' beliefs about the aims of education, a conceptual requirement of antiracism education and moral education. Our objective is to show how the reform of moral education to better accommodate antiracism concerns may depend on paying more attention to how teachers understand this intersection. Based on our analyses of teaching experiences and an exploratory, qualitative study of 20 recently certified teachers, we identify a framework for differentiating three ethical (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  7.  48
    Cyberphilosophy: The Intersection of Philosophy and Computing.James Moor & Terrell Ward Bynum (eds.) - 2002 - Blackwell.
    This cutting edge volume provides an overview of the dynamic new field of cyberphilosophy – the intersection of philosophy and computing.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  17
    God-Image of Servant King as Powerful but Vulnerable and Serving: Towards Transforming African Church Leadership at an Intersection of African Kingship and Biblical Kingship to Servant Leadership.Vhumani Magezi - 2015 - Hts Theological Studies 71 (2):01-09.
    Christianity is mediated through culture and people's cultural practices. One such cultural practice is African kingship. African kingship conveys on the ruler sovereignty, power, authority and supremacy over people under one's jurisdiction. Intricately linked to respect for elders and those in power, African church leaders are at an intersection of the African kingship leadership style and the biblical kingship leadership style. Consciously or unconsciously, church leaders tend to embrace the African kingship approach to leadership and to a lesser extent (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  16
    Intersection of Ultrafilters May Have Measure Zero.Tomek Bartoszynski & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (4):221-226.
    We show that it is consistent with ZFC that the intersection of some family of less than ultrafilters have measure zero. This answers a question of D. Fremlin.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10. Unification in a A-Calculus with Intersection Types.Michael Kohlhase & Frank Pfenning - unknown
    We propose related algorithms for unification and constraint simplification in }F’&, a refinement of the simply-typed A-calculus with subtypes and bounded intersection types. }F""’ is intended as the basis of a logical framework in order to achieve more succinct and declarative axiomatiza-.
    No categories
     
    Export citation  
     
    My bibliography  
  11.  36
    The Intersection of Pragmatism and Feminism.Jane Duran - 1993 - Hypatia 8 (2):159 - 171.
    I cite areas of pragmatism and feminism that have an intersection with or an appeal to the other, including the notions of the universal and/or normative, and foundationalist lines in general. I deal with three areas from each perspective and develop the notion of their intersection. Finally, the paper discusses the importance of a pragmatic view for women's lives and the importance of psychoanalytic theory for finding another area where pragmatism and feminism mesh.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  14
    2-ExpTime Lower Bounds for Propositional Dynamic Logics with Intersection.Martin Lange & Carsten Lutz - 2005 - Journal of Symbolic Logic 70 (4):1072-1086.
    In 1984, Danecki proved that satisfiability in IPDL, i.e., Propositional Dynamic Logic (PDL) extended with an intersection operator on programs, is decidable in deterministic double exponential time. Since then, the exact complexity of IPDL has remained an open problem: the best known lower bound was the ExpTime one stemming from plain PDL until, in 2004, the first author established ExpSpace-hardness. In this paper, we finally close the gap and prove that IPDL is hard for 2-ExpTime, thus 2-ExpTime-complete. We then (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  19
    The "Relevance" of Intersection and Union Types.Mariangiola Dezani-Ciancaglini, Silvia Ghilezan & Betti Venneri - 1997 - Notre Dame Journal of Formal Logic 38 (2):246-269.
    The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are interpreted as formulas of a Hilbert-style logic L, which turns out to be an extension of the intuitionistic logic with respect to provable disjunctive formulas (because of new equivalence relations on formulas), while the implicational-conjunctive fragment of L is still a fragment of intuitionistic logic. Moreover, typable terms are translated in a typed version, so that (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  14.  7
    The Emptiness Problem for Intersection Types.Pawel Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.
    We study the intersection type assignment system as defined by Barendregt, Coppo and Dezani. For the four essential variants of the system (with and without a universal type and with and without subtyping) we show that the emptiness (inhabitation) problem is recursively unsolvable. That is, there is no effective algorithm to decide if there is a closed term of a given type. It follows that provability in the logic of "strong conjunction" of Mints and Lopez-Escobar is also undecidable.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  49
    A Bird's Eye View. Two Topics at the Intersection of Social Determinants of Health and Social Justice Philosophy.Sridhar Venkatapuram - 2009 - Public Health Ethics 2 (3):224-234.
    The article discusses two areas at the intersection of social determinants of health research and social justice theory. The first section examines the affinity between social epidemiology and the capabilities approach. The second section examines how social epidemiology's expansion of the scope of the causal chain and determinants raises questions about epistemology and ontology in epidemiology as well as the field's link to the moral concern for human health.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  16.  6
    On Co-Simple Isols and Their Intersection Types.Rod Downey & Theodore A. Slaman - 1992 - Annals of Pure and Applied Logic 56 (1-3):221-237.
    We solve a question of McLaughlin by showing that if A is a regressive co-simple isol, there is a co-simple regressive isol B such that the intersection type of A and B is trivial. The proof is a nonuniform 0 priority argument that can be viewed as the execution of a single strategy from a 0-argument. We establish some limit on the properties of such pairs by showing that if AxB has low degree, then the intersection type of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  14
    PDL with Intersection and Converse: Satisfiability and Infinite-State Model Checking.Stefan Göller, Markus Lohrey & Carsten Lutz - 2009 - Journal of Symbolic Logic 74 (1):279-314.
    We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  18.  7
    Intersection Numbers of Families of Ideals.M. Hrušák, C. A. Martínez-Ranero, U. A. Ramos-García & O. A. Téllez-Nieto - 2013 - Archive for Mathematical Logic 52 (3-4):403-417.
    We study the intersection number of families of tall ideals. We show that the intersection number of the class of analytic P-ideals is equal to the bounding number ${\mathfrak{b}}$ , the intersection number of the class of all meager ideals is equal to ${\mathfrak{h}}$ and the intersection number of the class of all F σ ideals is between ${\mathfrak{h}}$ and ${\mathfrak{b}}$ , consistently different from both.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  21
    On the Intersection of Closed Unbounded Sets.U. Abraham & S. Shelah - 1986 - Journal of Symbolic Logic 51 (1):180-189.
    Forcing extensions yield models of ZFC in which a long sequence of club subsets of ω 1 has the following property: every subsequence of size ℵ 1 has a finite intersection.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  20.  7
    Strong Normalization and Typability with Intersection Types.Silvia Ghilezan - 1996 - Notre Dame Journal of Formal Logic 37 (1):44-52.
    A simple proof is given of the property that the set of strongly normalizing lambda terms coincides with the set of lambda terms typable in certain intersection type assignment systems.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    Actions Arising From Intersection and Union.Alex Kruckman & Lawrence Valby - 2016 - Journal of Logic, Language and Information 25 (2):139-161.
    An action is a pair of sets, C and S, and a function \. Rothschild and Yalcin gave a simple axiomatic characterization of those actions arising from set intersection, i.e. for which the elements of C and S can be identified with sets in such a way that elements of S act on elements of C by intersection. We introduce and axiomatically characterize two natural classes of actions which arise from set intersection and union. In the first (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Completeness and Partial Soundness Results for Intersection and Union Typing for Λ ¯ Μ Μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.
    This paper studies intersection and union type assignment for the calculus , a proof-term syntax for Gentzen’s classical sequent calculus, with the aim of defining a type-based semantics, via setting up a system that is closed under conversion. We will start by investigating what the minimal requirements are for a system, for to be complete ; this coincides with System , the notion defined in Dougherty et al. [18]; however, we show that this system is not sound , so (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  4
    A Classification of Intersection Type Systems.M. W. Bunder - 2002 - Journal of Symbolic Logic 67 (1):353-368.
    The first system of intersection types, Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules (( $\wedge$ I) and ( $\wedge$ E)) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction. Urzyczyn proved in [6] that for both these systems (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    Intersection Types for Lambda-Terms and Combinators and Their Logics.Martin Bunder - 2002 - Logic Journal of the IGPL 10 (4):357-378.
    It is well known that the simple types of closed lambda terms or combinators can be interpreted as the theorems of intuitionistic implicational logic . Venneri, using an equivalence between the intersection type system for lambda calculus, without the universal type ω, TA∧λ, and a similar system for combinators, TA∧, shows that the types of TA∧λ are the theorems of a Hilbert-style sublogic of the → ∧ fragment of H→.In this paper we fill a gap in the equivalence proof (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  3
    Your Urgent Assistance is Requested: The Intersection of 419 Spam and New Networks of Imagination.Matthew Zook - 2007 - Ethics, Place and Environment 10 (1):65 – 88.
    This article introduces a series of measures of the geographical manifestation of a subset of unsolicited commercial email, i.e. spam, used to perpetrate 'advanced fee fraud'. Known as '419 spam', this activity has strong historic ties to Nigeria, where similar frauds were operated via physical letters and faxes during the 1970s and 1980s. This article's analysis reveals that 419 spam operates via a globally dispersed network that nevertheless contains a clear agglomeration of activity in West Africa. Building upon theories of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26. Intersection Type Systems and Logics Related to the Meyer-Routley System B+.Martin Bunder - 2003 - Australasian Journal of Philosophy 1:43-55.
    Some, but not all, closed terms of the lambda calculus have types; these types are exactly the theorems of intuitionistic implicational logic. An extension of these simple types to intersection types allows all closed lambda terms to have types. The corresponding →∧ logic, related to the Meyer-Routley minimal logic B+ , is weaker than the →∧ fragment of intuitionistic logic. In this paper we provide an introduction to the above work and also determine the →∧ logics that correspond to (...)
     
    Export citation  
     
    My bibliography  
  27. Intersection Type Systems and Logics Related to the Meyer–Routley System B+.Martin Bunder - 2003 - Australasian Journal of Logic 1 (3).
    Some, but not all, closed terms of the lambda calculus have types; these types are exactly the theorems of intuitionistic implicational logic. An extension of these simple types to intersection types allows all closed lambda terms to have types. The corresponding →∧ logic, related to the Meyer–Routley minimal logic B+, is weaker than the →∧ fragment of intuitionistic logic. In this paper we provide an introduction to the above work and also determine the →∧ logics that correspond to certain (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  28.  38
    Film at the Intersection of High and Mass Culture.Paul Coates - 1994 - Cambridge University Press.
    At the Intersection of High and Mass Culture analyses the contradictions and interaction between high and low art, with particular reference to Hollywood and European cinema. Written in the essayist, speculative tradition of Walter Benjamin and Theodore Adorno, this study also includes analyses of several key films of the 1980s. Tracing the boundaries of such genres as film noir, science fiction and melodrama, it demonstrates how these genres were radically expanded by such filmmakers as Neil Jordan, Chris Merker and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  35
    Time and Ethics: Essays at the Intersection.Heather Dyke (ed.) - 2003 - Kluwer Academic Publishers.
    Ethics seeks answers to questions about the moral status of human actions and human lives. What should I do, and what should I not do? What sort of life should I lead? Actions and lives are temporal things. Actions are performed at certain times, are informed by past events and have consequences for the future. Lives have temporal extension, and are experienced from a sequence of temporal perspectives. Thus, one would think that answers to ethical questions should take account some (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  30. Church-Rosser Property and Intersection Types.George Koletsos & George Stavrinos - 2008 - Australasian Journal of Philosophy 6:37-54.
    We give a proof via reducibility of the Church-Rosser property for the system D of λ-calculus with intersection types. As a consequence we can get the confluence property for developments directly, without making use of the strong normalization property for developments, by using only the typability in D and a suitable embedding of developments in this system. As an application we get a proof of the Church-Rosser theorem for the untyped λ-calculus.
     
    Export citation  
     
    My bibliography  
  31. Church-Rosser Property and Intersection Types.George Koletsos & George Stavrinos - 2008 - Australasian Journal of Logic 6 (3).
    We give a proof via reducibility of the Church-Rosser property for the system D of λ-calculus with intersection types. As a consequence we can get the confluence property for developments directly, without making use of the strong normalization property for developments, by using only the typability in D and a suitable embedding of developments in this system. As an application we get a proof of the Church-Rosser theorem for the untyped λ-calculus.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  56
    Varieties of Living Things: Life at the Intersection of Lineage and Metabolism.John Dupré & Maureen O'malley - 2009 - Philosophy & Theory in Biology 1 (20130604).
    We address three fundamental questions: What does it mean for an entity to be living? What is the role of inter-organismic collaboration in evolution? What is a biological individual? Our central argument is that life arises when lineage-forming entities collaborate in metabolism. By conceiving of metabolism as a collaborative process performed by functional wholes, which are associations of a variety of lineage-forming entities, we avoid the standard tension between reproduction and metabolism in discussions of life – a tension particularly evident (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  33. Open Source Production of Encyclopedias: Editorial Policies at the Intersection of Organizational and Epistemological Trust.Paul B. de Laat - 2012 - Social Epistemology 26 (1):71-103.
    The ideas behind open source software are currently applied to the production of encyclopedias. A sample of six English text-based, neutral-point-of-view, online encyclopedias of the kind are identified: h2g2, Wikipedia, Scholarpedia, Encyclopedia of Earth, Citizendium and Knol. How do these projects deal with the problem of trusting their participants to behave as competent and loyal encyclopedists? Editorial policies for soliciting and processing content are shown to range from high discretion to low discretion; that is, from granting unlimited trust to limited (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  34.  19
    Levinas and Education: At the Intersection of Faith and Reason.Denise Egéa-Kuehne (ed.) - 2008 - Routledge.
    This first book-length collection on Levinas and education gathers new texts written especially for this volume, providing an introduction to some of Levinas's major themes of ethics, justice, hope, hospitality, forgiveness, and more.
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  35.  11
    The Intersection of Gender-Related Facial Appearance and Facial Displays of Emotion.R. B. Adams, U. Hess & R. E. Kleck - 2015 - Emotion Review 7 (1):5-13.
  36. Philosophy and Health Administration and Policy at George Mason University. Professor Eckenwiler's Current Research Focuses on Ethical Issues at the Intersection.Lisa A. Eckenwiler - 2013 - International Journal of Feminist Approaches to Bioethics 6 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  37. From Receptivity to Transformation: On the Intersection of Race, Gender, and the Aesthetic in Contemporary Continental Philosophy.Robin James - 2010 - In Kathryn Gines, Donna-Dale Marcano & Maria Davidson (eds.), Convergences: Black Feminism and Continental Philosophy.
  38. Neurofeminism: Issues at the Intersection of Feminist Theory and Cognitive Science.Robyn Bluhm, Anne Jaap Jacobson & Heidi Lene Maibom (eds.) - 2012 - Palgrave-Macmillan.
  39.  21
    A Modular Approach to Business Ethics Integration: At the Intersection of the Stand-Alone and the Integrated Approaches. [REVIEW]Laura P. Hartman & Patricia H. Werhane - 2009 - Journal of Business Ethics 90 (3):295 - 300.
    While no one seems to believe that business schools or their faculties bear entire responsibility for the ethical decision-making processes of their students, these same institutions do have some burden of accountability for educating students surrounding these skills. To that end, the standards promulgated by the Association to Advance Collegiate School of Business, their global accrediting body, require that students learn ethics as part of a business degree. However, since the AACSB does not require the inclusion of a specific course (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  40.  28
    “Poor Fat Kids”: Social Justice at the Intersection of Obesity and Poverty in Childhood.Gunter Graf & Gottfried Schweiger - 2016 - Dilemata. International Journal of Applied Ethics 21:53-70.
    Obesity and poverty in childhood are widely studied phenomena and despite mixed results, some findings are without doubt: they come with various experiences of mental, physical and social harm, have therefore negative effects on the well-being of children, and they intersect in relation with race, class and gender. In this contribution we analyze child obesity and poverty from a philosophical social justice perspective, which has, to a large extent, so far neglected this topic. We show how they compromise social justice (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  5
    Varieties of Living Things: Life at the Intersection of Lineage and Metabolism.John Dupré & Maureen A. O'Malley - 2009 - Philosophy and Theory in Biology 1 (20160629).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  42. 10. Jerrold Levinson, Ed., Aesthetics and Ethics: Essays at the Intersection Jerrold Levinson, Ed., Aesthetics and Ethics: Essays at the Intersection (Pp. 215-219). [REVIEW]Cass R. Sunstein, Edna Ullmann‐Margalit, Sarah Williams Holtman, Philip Kitcher, Linda Barclay & John Martin Fischer - 1999 - Ethics 110 (1).
     
    Export citation  
     
    My bibliography   13 citations  
  43. Aesthetics and Ethics: Essays at the Intersection.Jerrold Levinson (ed.) - 1998 - Cambridge University Press.
    This major collection of essays stands at the border of aesthetics and ethics and deals with charged issues of practical import: art and morality, the ethics of taste, and censorship. As such its potential interest is by no means confined to professional philosophers; it should also appeal to art historians and critics, literary theorists, and students of film. Prominent philosophers in both aesthetics and ethics tackle a wide array of issues. Some of the questions explored in the volume include: Can (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  44.  22
    Navigating the Murky Intersection Between Clinical and Organizational Ethics: A Hybrid Case Taxonomy.Sally Bean - 2011 - Bioethics 25 (6):320-325.
    Ethical challenges that arise within healthcare delivery institutions are currently categorized as either clinical or organizational, based on the type of issue. Despite this common binary issue-based methodology, empirical study and increasing academic dialogue indicate that a clear line cannot easily be drawn between organizational and clinical ethics. Disagreement around end-of-life treatments, for example, often spawn value differences amongst parties at both organizational and clinical levels and requires a resolution to address both the case at hand and large-scale underlying system-level (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  45.  15
    Fish Consumption: Choices in the Intersection of Public Concern, Fish Welfare, Food Security, Human Health and Climate Change.Helena Röcklinsberg - 2015 - Journal of Agricultural and Environmental Ethics 28 (3):533-551.
    Future global food insecurity due to growing population as well as changing consumption demands and population growth is sometimes suggested to be met by increase in aquaculture production. This raises a range of ethical issues, seldom discussed together: fish welfare, food security, human health, climate change and environment, and public concern and legislation, which could preferably be seen as pieces in a puzzle, accepting their interdependency. A balanced decision in favour of or against aquaculture needs to take at least these (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46. The Intersection of Turn-Taking and Repair: The Timing of Other-Initiations of Repair in Conversation.Kobin H. Kendrick - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  34
    At the Intersection of Social and Cognitive Development: Internal Working Models of Attachment in Infancy.Susan C. Johnson, Carol S. Dweck, Frances S. Chen, Hilarie L. Stern, Su-Jeong Ok & Maria Barth - 2010 - Cognitive Science 34 (5):807-825.
    Three visual habituation studies using abstract animations tested the claim that infants’ attachment behavior in the Strange Situation procedure corresponds to their expectations about caregiver–infant interactions. Three unique patterns of expectations were revealed. Securely attached infants expected infants to seek comfort from caregivers and expected caregivers to provide comfort. Insecure-resistant infants not only expected infants to seek comfort from caregivers but also expected caregivers to withhold comfort. Insecure-avoidant infants expected infants to avoid seeking comfort from caregivers and expected caregivers to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  48.  18
    Defining Standard of Care in the Developing World: The Intersection of International Research Ethics and Health Systems Analysis.Adnan A. Hyder & Liza Dawson - 2005 - Developing World Bioethics 5 (2):142–152.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  49. Issues at the Intersection of Ethics, Evolution and Neuroscience.Timothy Lane - 2010 - EurAmerica 40 (3):519-527.
    It is becoming increasingly difficult for those who engage in ethical analysis to ignore evolution and neuroscience. The kind of creature that we are and that we have evolved to be matters when determining how we ought to live. There is still a need to aim for a reflective equilibrium that includes reflection over not straightforwardly empirical issues. It would, for example, be inaccurate to say that "good" just means "highly evolved." But it does turn out to be the case (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  34
    On the Intersection of Casuistry and Particularism.Gregory E. Kaebnick - 2000 - Kennedy Institute of Ethics Journal 10 (4):307-322.
    : A comparison of casuistry with the strain of particularism developed by John McDowell and David Wiggins suggests that casuistry is susceptible to two very different mistakes. First, as sometimes developed, casuistry tends toward an implausible rigidity and systematization of moral knowledge. Particularism offers a corrective to this error. Second, however, casuistry tends sometimes to present moral knowledge as insufficiently systematized: It often appears to hold that moral deliberation is merely a kind of perception. Such a perceptual model of deliberation (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
1 — 50 / 1000