Search results for 'Paul B. Stephan' (try it on Scholar)

49 found
Sort by:
  1. Paul B. Stephan (2006). Process Values, International Law, and Justice. Social Philosophy and Policy 23 (1):131-152.score: 290.0
    A focus on the lawmaking process, I submit, permits us to explore a particular dimension of justice, namely the relationship between law and liberty. Laws that reflect the arbitrary whims of the lawmaker are presumptively unjust, because they constrain liberty for no good reason. A strategy for making arbitrary laws less likely involves recognizing checks on the lawmaker's powers and grounding those checks in processes that allow the governed to express their disapproval. The system of checks and balances employed in (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. B. Khoussainov, P. Semukhin & F. Stephan (2007). Applications of Kolmogorov Complexity to Computable Model Theory. Journal of Symbolic Logic 72 (3):1041 - 1054.score: 120.0
    In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ‮א‬₀-categorical saturated structure with a unique computable isomorphism type? Our answer is affirmative and uses a construction based on Kolmogorov complexity. With a variation of this construction, we also provide an example of an ‮א‬₁-categorical but not ‮א‬₀-categorical saturated $\Sigma _{1}^{0}$ -structure with a unique computable isomorphism type. In addition, using the construction we give an example of an ‮א‬₁-categorical but (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. B. Kjös-Hanssen, A. Nies & F. Stephan (2005). Lowness for the Class of Schnorr Random Sets. Notre Dame Journal of Formal Logic 35 (3):647-657.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  4. Dirk S. Paul, Nicole Soranzo & Stephan Beck (2014). Functional Interpretation of Non‐Coding Sequence Variation: Concepts and Challenges. Bioessays 36 (2):191-199.score: 120.0
  5. F. Stephan & B. Borchert (2000). Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory. Mathematical Logic Quarterly 46 (4):489-504.score: 120.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Richard Beigel, Harry Buhrman, Peter Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan & Leen Torenvliet (2006). Enumerations of the Kolmogorov Function. Journal of Symbolic Logic 71 (2):501 - 528.score: 60.0
    A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among the first k(n) elements enumerated by f. If there is a k(n)-enumerator for h then h is called k(n)-enumerable. We also consider enumerators which are only A-recursive for some oracle A. We determine exactly how hard it is to enumerate the Kolmogorov function, which (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Richard Beigel, William Gasarch, Martin Kummer, Georgia Martin, Timothy McNicholl & Frank Stephan (2000). The Complexity of Oddan. Journal of Symbolic Logic 65 (1):1 - 18.score: 60.0
    For a fixed set A, the number of queries to A needed in order to decide a set S is a measure of S's complexity. We consider the complexity of certain sets defined in terms of A: $ODD^A_n = \{(x_1, \dots ,x_n): {\tt\#}^A_n(x_1, \dots, x_n) \text{is odd}\}$ and, for m ≥ 2, $\text{MOD}m^A_n = \{(x_1, \dots ,x_n):{\tt\#}^A_n(x_1, \dots ,x_n) \not\equiv 0 (\text{mod} m)\},$ where ${\tt\#}^A_n(x_1, \dots ,x_n) = A(x_1)+\cdots+A(x_n)$ . (We identify A(x) with χ A (x), where χ A is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Kaushik Basu & Ravi Kanbur (eds.) (2008). Arguments for a Better World: Essays in Honor of Amartya Sen: Volume I: Ethics, Welfare, and Measurement and Volume II: Society, Institutions, and Development. OUP Oxford.score: 27.0
    Amartya Sen has made deep and lasting contributions to the academic disciplines of economics, philosophy, and the social sciences more broadly. He has engaged in policy dialogue and public debate, advancing the cause of a human development focused policy agenda, and a tolerant and democratic polity. This argumentative Indian has made the case for the poorest of the poor, and for plurality in cultural perspective. It is not surprising that he has won the highest awards, ranging from the Nobel Prize (...)
    No categories
     
    My bibliography  
     
    Export citation  
  9. Stephan Blatti & Paul Snowdon (eds.) (forthcoming). Essays on Animalism: Persons, Animals, and Identity. Oxford University Press.score: 24.0
    Arguably the most significant development in the recent history of the personal identity debate has been the emergence of the view known as "animalism." This volume brings together original contributions on this topic written by both well-known and emerging philosophers. Contributors: Lynne Rudder Baker, Stephan Blatti, David Hershenov, Jens Johansson, Mark Johnston, Rory Madden, Jeff McMahan & Tim Campbell, Eric Olson, Derek Parfit, Mark Reid, Denis Robinson, David Shoemaker, Sydney Shoemaker, Paul Snowdon.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. Stephan Torre (2009). Truth-Conditions, Truth-Bearers and the New B-Theory of Time. Philosophical Studies 142 (3):325-344.score: 21.0
    In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Jorge Je Gracia, Timothy B. Noone & Stephan Nachtsheim (2006). B. Referate Uber Fremdsprachige Neuerscheinungen-A Companion to Philosophy in the Middle Ages. Philosophischer Literaturanzeiger 59 (3):301.score: 21.0
    No categories
     
    My bibliography  
     
    Export citation  
  12. Stephan Hartmann, Carlo Martini & Jan Sprenger (eds.) (2010). Formal Modeling in Social Epistemology. [REVIEW] Logic Journal of the IGPL (special issue).score: 15.0
    Special issue. With contributions by Rogier De Langhe and Matthias Greiff, Igor Douven and Alexander Riegler, Stephan Hartmann and Jan Sprenger, Carl Wagner, Paul Weirich, and Jesús Zamora Bonilla.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Ulrich Gähde & Stephan Hartmann (2005). Coherence, Truth and Testimony. Erkenntnis 63 (3).score: 15.0
    Special issue. With contributions by Luc Bovens and Stephan Hartmann, David Glass, Keith Lehrer, Erik Olsson, Tomoji Shogenji, Mark Siebel, and Paul Thagard.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Stephan Dickert, Daniel Västfjäll, Janet Kleber & Paul Slovic (2012). Valuations of Human Lives: Normative Expectations and Psychological Mechanisms of (Ir)Rationality. Synthese 189 (S1):95-105.score: 12.0
    A central question for psychologists, economists, and philosophers is how human lives should be valued. Whereas egalitarian considerations give rise to models emphasizing that every life should be valued equally, empirical research has demonstrated that valuations of lives depend on a variety of factors that often do not conform to specific normative expectations. Such factors include emotional reactions to the victims and cognitive considerations leading to biased perceptions of lives at risk (e.g., attention, mental imagery, pseudo-inefficacy, and scope neglect). They (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Peter Koller (1983). Rationalität und Moral. Grazer Philosophische Studien 20:265-305.score: 12.0
    Ausgehend von einer minimalen, mit unterschiedlichen moralisehen Vorstellungen verträglichen Bestimmung des Begriffs der Moral, die im wesentlichen an eine Explikation von Stephan Körner anknüpft, wird die Möglichkeit einer rationalen, intersubjektiv konsensfähigen Begründung moralischer Standards erörtert. Dabei werden zwei verschiedenartige Konzeptionen einer solchen Begründung unterschieden, nämlich die individualistische und die universalistische Konzeption, denen jeweils verschiedene Konzepte praktischer Rationalität zugrundeliegen: das Konzept individueller und das Konzept universeller praktischer Rationalität. Während die individualistische Konzeption (z.B. vertreten von Hobbes, Hume, Mackie) eine Begründung der (...)
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Peder Anker, Per Ariansen, Alfred J. Ayer, Murray Bookchin, Baird Callicott, John Clark, Bill Devall, Fons Elders, Paul Feyerabend, Warwick Fox, William C. French, Harold Glasser, Ramachandra Guha, Patsy Hallen, Stephan Harding, Andrew Mclaughlin, Ivar Mysterud, Arne Naess, Bryan Norton, Val Plumwood, Peter Reed, Kirkpatrick Sale, Ariel Salleh, Karen Warren, Richard A. Watson, Jon Wetlesen & Michael E. Zimmerman (1999). Philosophical Dialogues: Arne Naess and the Progress of Philosophy. Rowman & Littlefield Publishers.score: 12.0
    No categories
     
    My bibliography  
     
    Export citation  
  17. Stephan Dickert & Paul Slovic (2011). Unstable Values in Lifesaving Decisions. Frontiers in Psychology 2.score: 12.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Alexander Y. Hwang, Stephan Kampowski, Peter W. Martens & Margaret R. Miles (2009). L. De Coninck, B. Coppieters't Wallant, and R. Demeulenaere, Eds., Augustinus—Sermones de Novo Testamento (51-70A). Corpus Christianorum Series Latina—CCSL 41Aa. Turnhout: Brepols, 2008. François Decret, Early Christianity in North Africa. Trans. EL Smither. Eugene, OR: Cascade Books, 2009. [REVIEW] Augustinian Studies 40 (1):179-180.score: 12.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Paul Sambre (2007). Stefanowitsch, Anatol & Stephan Th. Gries (Eds.)," Corpus-Based Approaches to Metaphor and Metonymy"(Berlin, 2006). In Noel Burton-Roberts (ed.), Pragmatics. Palgrave Macmillan. 17--2.score: 12.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Stephan P. Swinnen, Charles B. Walter & Natalia Dounskaia (1996). We Know a Lot About the Cerebellum, but Do We Know What Motor Learning Is? Behavioral and Brain Sciences 19 (3):474-475.score: 12.0
    In the behavioral literature on human movement, a distinction is made between the learning of parameters and the learning of new movement forms or topologies. Whereas the target articles by Thach, Smith, and Houk et al. provide evidence for cerebellar involvement in parametrization learning and adaptation, the evidence in favor of its involvement in the generation of new movement patterns is less straightforward. A case is made for focusing more attention on the latter issue in the future. This would directly (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Charles B. Walter & Stephan P. Swinnen (1994). Potential Disparities Between Imagining and Preparing Motor Skills. Behavioral and Brain Sciences 17 (2):227.score: 12.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Charles B. Walter, Stephan P. Swinnen, Natalia Dounskaia & H. Van Langendonk (2001). Systematic Error in the Organization of Physical Action. Cognitive Science 25 (3):393-422.score: 12.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. W. Huemer & B. Centi (eds.) (2009). Value and Ontology. Ontos-Verlag.score: 9.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. Stephan Blatti (2006). Animalism. In A. C. Grayling, A. Pyle & N. Goulder (eds.), Continuum Encyclopedia of British Philosophy. Thoemmes Continuum.score: 6.0
    This entry sketches the theory of personal identity that has come to be known as animalism. Animalism’s hallmark claim is that each of us is identical with a human animal. Moreover, animalists typically claim that we could not exist except as animals, and that the (biological) conditions of our persistence derive from our status as animals. Prominent advocates of this view include Michael Ayers, Eric Olson, Paul Snowdon, Peter van Inwagen, and David Wiggins.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Stephan Leuenberger (2008). Supervenience in Metaphysics. Philosophy Compass 3 (4):749-762.score: 6.0
    Supervenience is a topic-neutral, broadly logical relation between classes of properties or facts. In a slogan, A supervenes on B if and only if there cannot be an A-difference without a B-difference. The first part of this paper considers different ways in which that slogan has been cashed out. The second part discusses applications of concepts of supervenience, focussing on the question whether they may provide an explication of determination theses such as physicalism.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  26. Stephan Torre (2010). Tense, Timely Action and Self-Ascription. Philosophy and Phenomenological Research 80 (1):112-132.score: 6.0
    I consider whether the self-ascription theory can succeed in providing a tenseless (B-theoretic) account of tensed belief and timely action. I evaluate an argument given by William Lane Craig for the conclusion that the self-ascription account of tensed belief entails a tensed theory (A-theory) of time. I claim that how one formulates the selfascription account of tensed belief depends upon whether one takes the subject of selfascription to be a momentary person-stage or an enduring person. I provide two different formulations (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  27. Stephan Leuenberger (2009). What is Global Supervenience? Synthese 170 (1):115 - 129.score: 6.0
    The relation of global supervenience is widely appealed to in philosophy. In slogan form, it is explained as follows: a class of properties A supervenes on a class of properties B if no two worlds differ in the distribution of A-properties without differing in the distribution of B-properties. It turns out, though, that there are several ways to cash out that slogan. Three different proposals have been discussed in the literature. In this paper, I argue that none of them is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Roman Frigg, Stephan Hartmann & Cyrille Imbert (2009). Models and Simluations. Synthese 169 (3).score: 6.0
    Special issue. With contributions by Anouk Barberouse, Sarah Francescelli and Cyrille Imbert, Robert Batterman, Roman Frigg and Julian Reiss, Axel Gelfert, Till Grüne-Yanoff, Paul Humphreys, James Mattingly and Walter Warwick, Matthew Parker, Wendy Parker, Dirk Schlimm, and Eric Winsberg.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Stephan Hartmann (2001). Effective Field Theories, Reductionism and Scientific Explanation. Studies in History and Philosophy of Science Part B 32 (2):267-304.score: 6.0
    Effective field theories have been a very popular tool in quantum physics for almost two decades. And there are good reasons for this. I will argue that effective field theories share many of the advantages of both fundamental theories and phenomenological models, while avoiding their respective shortcomings. They are, for example, flexible enough to cover a wide range of phenomena, and concrete enough to provide a detailed story of the specific mechanisms at work at a given energy scale. So will (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Stephan Hartmann, Luc Bovens & Carl Hoefer (eds.) (2008). Nancy Cartwright's Philosophy of Science. Routledge.score: 6.0
    Nancy Cartwright is one of the most distinguished and influential contemporary philosophers of science. Despite the profound impact of her work, until now there has not been a systematic exposition of Cartwright's philosophy of science nor a collection of articles that contains in-depth discussions of the major themes of her philosophy. This book is devoted to a critical assessment of Cartwright's philosophy of science and contains contributions from Cartwright's champions and critics. Broken into three parts, the book begins by addressing (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Nancy Cartwright, Stephan Hartmann, Carl Hoefer & Luc Bovens (eds.) (2008). Nancy Cartwright's Philosophy of Science. Routledge.score: 6.0
    Nancy Cartwright is one of the most distinguished and influential contemporary philosophers of science. Despite the profound impact of her work, until now there has not been a systematic exposition of Cartwright's philosophy of science nor a collection of articles that contains in-depth discussions of the major themes of her philosophy. This book is devoted to a critical assessment of Cartwright's philosophy of science and contains contributions from Cartwright's champions and critics. Broken into three parts, the book begins by addressing (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Stephan Blatti (2006). No Impediment to Solidity as Impediment. Metaphysica 7 (1):35-41.score: 6.0
    ABSTRACT: Quassim Cassam (1997) accepts the standard account of solidity, according to which, if S feels x as solid, then S feels x as an imediment to his movement. Recently, Martin Fricke and Paul Snowdon (2003) have presented a battery of counter-examples designed to show that S may feel x as solid and as exerting a pressure that supports or facilitates his movement. In this note, I defend the standard account against Fricke and Snowdon’s attack. Integral to this defense (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Stephan Hartmann & Rainer Müller (1999). Kopenhagen Contra Bohm – Eine Herausforderung für den Realismus? Praxis der Naturwissenschaften - Physik 4:12-17.score: 6.0
    Der bedeutende amerikanische Logiker und Philosoph W.V.O. Quine hat die folgende Frage ins Zentrum seines Schaffens gestellt: "Wie kommen wir von unseren Sinnesdaten zu Theorien über die Welt?“ Bei der Beantwortung dieser Frage tritt ein grundlegendes Problem auf, das damit zusammenhängt, dass uns immer nur ein endlicher Satz an Informationen über die Welt zugänglich ist. Jedes Experiment liefert z. B. nur eine endliche Anzahl von Messpunkten.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Stephan Hartmann (2002). On Correspondence. Studies in History and Philosophy of Science Part B 33 (1):79-94.score: 6.0
    This paper is an essay review of Steven French and Harmke Kamminga (eds.), Correspondence, Invariance and Heuristics. Essays in Honour of Heinz Post (Dordrecht: Kluwer, 1993). I distinguish a varity of correspondence relations between scientific theories (exemplified by cases from the book under review) and examine how one can make sense of the the prevailing continuity in scientific theorizing.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Richard Dawid, Stephan Hartmann & Jan Sprenger (forthcoming). The No Alternatives Argument. British Journal for the Philosophy of Science:axt045.score: 6.0
    Scientific theories are hard to find, and once scientists have found a theory, H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this article. We also ask under which conditions failure to find an alternative to H (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Roman Frigg & Stephan Hartmann (2007). Introduction. Studies in History and Philosophy of Science Part B 38 (2):231-232.score: 6.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Michael Doyle, Lukas Badertscher, Lukasz Jaskiewicz, Stephan Güttinger, Sabine Jurado, Tabea Hugenschmidt, Ulrike Kutay & Witold Filipowicz, The Double-Stranded RNA Binding Domain of Human Dicer Functions as a Nuclear Localization Signal.score: 6.0
    Dicer is a key player in microRNA (miRNA) and RNA interference (RNAi) pathways, processing miRNA precursors and doublestranded RNA into ~21-nt-long products ultimately triggering sequence-dependent gene silencing. Although processing of substrates in vertebrate cells occurs in the cytoplasm, there is growing evidence suggesting Dicer is also present and functional in the nucleus. To address this possibility, we searched for a nuclear localization signal (NLS) in human Dicer and identified its C-terminal double-stranded RNA binding domain (dsRBD) as harboring NLS activity. We (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Marie-France B.-Turcotte, Stéphane de Belleeuille & Frank de Hond (2007). Gildan Inc. Proceedings of the International Association for Business and Society 18:357-362.score: 4.0
    Social standards have become important tools in corporate governance. They are often presented as voluntary initiatives in CSR and are generally based on the principle of multi-stakeholder collaboration as a means to gain legitimacy. Yet, based on a case study of a company in the textile industry, the paper shows that not all CSR standards are equally valued and that the adoption of particular CSR standards can be the result of external constraints on managerial discretion, e.g. emerging from business partners (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Stéphane Haber (2005). Le terme « aliénation » (« entfremdung ») et ses dérivés au début de la section B du chapitre 6 de la Phénoménologie de l'esprit de Hegel. Philosophique 8 (8):5-36.score: 4.0
    L’article relève les occurrences du terme « aliénation » dans l’analyse hégélienne de la modernité propre à la Phénoménologie de l’esprit. Il analyse la signification du réseau terminologique et sémantique ainsi constitué au regard de la thématique ultérieure (par exemple marxienne) de la critique de la modernité.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Misericôrdia Angles, Jean-Louis Baudoin, Danielle Blondeau, Paul Beauchamp, Richard Bodeus, Stéphane Bingham, Pierre Cariou, Odile Celier, Jean-Marc Charron & Lucien Ceyssens (1993). D à la rédaction. Laval Théologique Et Philosophique 49 (2):381-384.score: 4.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Stéphane Bastien (2006). L'existence Humaine Comme Oeuvre Ouverte : Sur l'Anthropologie Philosophique de Paul Ricoeur. Horizons Philosophiques 16 (2):39-60.score: 4.0
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. William Marx (2012). Valéry: une poetique du sensible. Aisthesis. Pratiche, Linguaggi E Saperi Dell’Estetico 5 (1).score: 4.0
    Contrary to the prevailing view, there is not one, but at least two poetic theories in Paul Valéry: the intellectual, formalist and technical poetics Valéry is usually associated to conflicts with another poetics, which highlights sensitivity, lyricism and subjectivity. The constitutive duplicity of Valéry’s literary theory has probably something to do with the ambiguity of his relationship with Stéphane Mallarmé.
    No categories
    Translate to English
    | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  43. Maggie Nelson & Evan Lavender-Smith (2011). The Fragment as a Unit of Prose Composition. Continent 1 (3):158-170.score: 4.0
    continent. 1.3 (2011): 158-170. The Fragment as a Unit of Prose Composition: An Introduction —Ben Segal The fragment, the note, the idea, the aphorism even: there are many names and as many uses for such small shards of free-floating text. Typically fragments are less works than gestures, arrows pointing in the direction a person might research, meditate on or develop. Unlike paragraphs or sentences, they do not flow directly from and into their bordering text. Instead they are independent, defined by (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Stéphane Madelrieux (2006). Pluralisme anglais et pluralisme américain : Bertrand Russell et William James. Archives de Philosophie 3:375-393.score: 3.0
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Ricardo Caferra, Stéphane Demri & Michel Herment (1993). A Framework for the Transfer of Proofs, Lemmas and Strategies From Classical to Non Classical Logics. Studia Logica 52 (2):197 - 232.score: 2.0
    There exist valuable methods for theorem proving in non classical logics based on translation from these logics into first-order classical logic (abbreviated henceforth FOL). The key notion in these approaches istranslation from aSource Logic (henceforth abbreviated SL) to aTarget Logic (henceforth abbreviated TL). These methods are concerned with the problem offinding a proof in TL by translating a formula in SL, but they do not address the very important problem ofpresenting proofs in SL via a backward translation. We propose a (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Stéphane Castonguay (2005). The Transformation of Agricultural Research in France: The Introduction of the American System. [REVIEW] Minerva 43 (3):265-287.score: 2.0
    In 1916, French entomologist Paul Marchal published a seminal report on the contemporary state of agricultural research in the United States of America. His recommendations underlined the need for a close relationship between research and education, a factor vital to national survival in the aftermath of the Great War. This essay discusses the context of this report, and assesses its consequences for government policy towards agricultural research and education in France.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation