Results for 'V. Krupski'

1000+ found
Order:
  1.  1
    Archangel&y, DA, Dekhtyar, MI and Taitslin, MA, Linear Logic For.M. A. Arslanov, S. Lempp, R. A. Shore, S. Artemov, V. Krupski, A. Dabrowski, L. S. Moss, R. Parikh, T. Eiter & G. Gottlob - 1996 - Annals of Pure and Applied Logic 78 (1-3):271.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  13
    The Single-Conclusion Proof Logic and Inference Rules Specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
    The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  5
    Typing in Reflective Combinatory Logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.
    We study Artemov’s Reflective Combinatory Logic . We provide the explicit definition of types for and prove that every well-formed term has a unique type. We establish that the typability testing and detailed type restoration can be done in polynomial time and that the derivability relation for is decidable and PSPACE-complete. These results also formalize the intended semantics of the type t:F in . Terms store the complete information about the judgment “t is a term of type F”, and this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  8
    Data Storage Interpretation of Labeled Modal Logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.
    We introduce reference structures — a basic mathematical model of a data organization capable of storing and utilizing information about its addresses. A propositional labeled modal language is used as a specification and programming language for reference structures; the satisfiability algorithm for modal language gives a method of building and optimizing reference structures satisfying a given formula. Corresponding labeled modal logics are presented, supplied with cut free axiomatizations, completeness and decidability theorems are proved. Initialization of typed variables in some programming (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  4
    The Complexity of Homeomorphism Relations on Some Classes of Compacta.Paweł Krupski & Benjamin Vejnar - forthcoming - Journal of Symbolic Logic:1-19.
  6.  27
    Roms Kriege in Spanien, 154–133 V. Chr. [REVIEW]J. P. V. D. Balsdon - 1963 - The Classical Review 13 (2):234-235.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    V. S. Stepin’s Concept of Post-Non-Classical Science and N. N. Moiseev’s Concept of Universal Evolutionism.V. I. Arshinov & V. G. Budanov - 2019 - Russian Journal of Philosophical Sciences 62 (4):96-112.
    The article is devoted to the memory of Vyacheslav Semenovich Stepin and Nikita Nikolaevich Moiseev, whose multifaceted work was integrally focused on philosophical, interdisciplinary and transdisciplinary research of the key ideas and principles of universal human-dimensional evolutionism. Other remarkable Russian scientists V.I. Vernadsky, S.P. Kurdyumov, S.P. Kapitsa, D.S. Chernavsky worked in the same tradition of universal evolutionism. While V.I. Vernadsky and N.N. Moiseev had been the originators of that scientific approach, V.S. Stepin provided philosophical foundations for the ideas of those (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  74
    The Philosophy of W. V. Quine.Barbara Humphries - 1989 - Philosophical Review 98 (2):242-247.
  9.  5
    N.N. Moiseev and V.S. Stepin : Two Prophets in Their Own Country.V. A. Lektorsky - 2019 - Russian Journal of Philosophical Sciences 62 (4):58-62.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  40
    Moore and Wittgenstein on Certainty.John V. Canfield - 1997 - Philosophical Review 106 (2):281.
    I can’t help but like a book that calls Wittgenstein the greatest philosopher since Kant and then proceeds to show how On Certainty, a manifestly brilliant but understudied book, sheds light on matters under current debate. It is pleasant to see a highly skilled contemporary put texts from the later philosophy under close scrutiny and mine them for insight, and that outside the bounds of familiar Wittgenstein scholarship.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  11.  24
    More Brain Lesions: Kathleen V. Wilkes.Kathleen V. Wilkes - 1980 - Philosophy 55 (214):455-470.
    As philosophers of mind we seem to hold in common no very clear view about the relevance that work in psychology or the neurosciences may or may not have to our own favourite questions—even if we call the subject ‘philosophical psychology’. For example, in the literature we find articles on pain some of which do, some of which don't, rely more or less heavily on, for example, the work of Melzack and Wall; the puzzle cases used so extensively in discussions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  12. The Community View.John V. Canfield - 1996 - Philosophical Review 105 (4):469-488.
    Saul Kripke, among others, reads Wittgenstein’s private-language argument as an inference from the idea of rule following: The concept of a private language is inconsistent, because using language entails following rules, and following rules entails being a member of a community. Kripke expresses the key exegetical claim underlying that reading as follows.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  13.  27
    The Origins of Aristotelian Science.Michael V. Wedin - 1991 - Philosophical Review 102 (1):87-89.
  14. Aristotle Politics: Books V and VI.Robert Mayhew & David Keyt - 2001 - Philosophical Review 110 (4):593.
    This book completes the Clarendon Aristotle Series edition of the Politics. One might assume that, since David Keyt’s contribution is the last of the four on the Politics, when Aristotle scholars agreed to write these volumes, he was fourth in line and so got stuck with Politics V–VI. Surely, one might think, few would choose Politics V–VI over Politics I–II, with its fascinating discussions of the fundamental nature of the polis, the infamous chapters on slavery, and the critique of the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  53
    Ethics: Who Gets the Liver Transplant? The Use of Responsibility as the Tie Breaker.V. Thornton - 2009 - Journal of Medical Ethics 35 (12):739-742.
    Is it possible to invoke the use of moral responsibility as part of the selection criteria in the allocation of livers for transplant? Criticism has been applied to the difficulties inherent in including such a criterion and also the effect that employing such a judgement might have upon the relationship between the physician and patient. However, these criticisms rely on speculation and conjecture and do not relate to all the arguments put forward in favour of applying moral responsibility. None of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  2
    Providing Ethical Healthcare in Resource-Poor Environments.Kenneth V. Iserson - 2020 - HEC Forum 32 (4):293-312.
    The ethics of providing health care in resource-poor environments is a complex topic. It implies two related questions: What can we do with the resources on hand? Of all the things we can do, which ones should we do? “Resource-poor” environments are situations in which clinicians, organizations, or healthcare systems have the knowledge and skills, but not the means, to carry out highly effective and beneficial interventions. Determinants of a population’s health often rely less on disease and injury management than (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  47
    Science Meets Biblical Exegesis in the Galileo Affair.Sj George V. Coyne - 2013 - Zygon 48 (1):221-229.
    Although Galileo's venture into theology, as discussed by McMullin, is limited to Galileo's exegesis of Scripture, it can be seen as an important element in a broader role in theology, namely in ecclesiology and in the development of doctrine. From the Council of Trent, the Reformation Council, until today there has been a development in the Church concerning the manner in which Sacred Scripture should be interpreted and as to whether it can be said to be in conflict with our (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  32
    Faith and Secularisation in Religious Colleges and Universities.V. Alan McClelland - 2007 - British Journal of Educational Studies 55 (1):102-104.
  19. Four Concepts of Social Structure Douglas V. Porpora.Douglas V. Porpora - 1989 - Journal for the Theory of Social Behaviour 19 (2):195–211.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  20.  6
    American Sociology, Realism, Structure and Truth: An Interview with Douglas V. Porpora.Douglas V. Porpora & Jamie Morgan - 2020 - Journal of Critical Realism 19 (5):522-544.
    ABSTRACT In this wide-ranging interview Professor Douglas V. Porpora discusses a number of issues. First, how he became a Critical Realist through his early work on the concept of structure. Second, drawing on his Reconstructing Sociology, his take on the current state of American sociology. This leads to discussion of the broader range of his work as part of Margaret Archer’s various Centre for Social Ontology projects, and on moral-macro reasoning and the concept of truth in political discourse.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  15
    The Community View.John V. Canfield - 1996 - Philosophical Review 105 (4):469-488.
    Saul Kripke, among others, reads Wittgenstein’s private-language argument as an inference from the idea of rule following: The concept of a private language is inconsistent, because using language entails following rules, and following rules entails being a member of a community. Kripke expresses the key exegetical claim underlying that reading as follows.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  60
    Enlightened Empiricism: An Examination of W. V. Quine's Theory of Knowledge.Miriam Solomon - 1991 - Philosophical Review 100 (3):484-487.
  23.  24
    Wittgenstein and Zen: John V. Canfield.John V. Canfield - 1975 - Philosophy 50 (194):383-408.
    Wittgenstein's later philosophy and the doctrines of Mahayana Buddhism integral to Zen coincide in a fundamental aspect: for Wittgenstein language has, one might say, a mystical base; and this base is exactly the Buddhist ideal of acting with a mind empty of thought. My aim is to establish and explore this phenomenon. The result should be both a deeper understanding of Wittgenstein and the removal of a philosophical objection to Zen that has troubled some people.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  26
    P. V. Kane's Homeric Nod.Arvind Sharma & P. V. Kane - 1999 - Journal of the American Oriental Society 119 (3):478-479.
  25.  47
    Empiricism and Physicalism.B. V. Juhos - 1935 - Analysis 2 (6):81-92.
  26.  63
    Darwin V. Intelligent Design (Again.H. Allen Orr - 2005 - Think 4 (11):41-54.
    Orr argues that the latest attack on evolution is cleverly argued, biologically informed — and wrong. This is his review of Behe's book, Darwin's Black Box: The Biochemical Challenge to Evolution.‘Just don't pull the knot tight before being certain that you have got hold of the right end.’ Wittgenstein.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  34
    Mozert V. Hawkins: A Look at Self‐Knowledge and the Best Interests of the Child.Colleen Vojak - 2003 - Educational Theory 53 (4):401-419.
  28.  28
    What Justifies the United States Ban on Federal Funding for Nonreproductive Cloning?Thomas V. Cunningham - 2013 - Medicine, Health Care and Philosophy 16 (4):825-841.
    This paper explores how current United States policies for funding nonreproductive cloning are justified and argues against that justification. I show that a common conceptual framework underlies the national prohibition on the use of public funds for cloning research, which I call the simple argument. This argument rests on two premises: that research harming human embryos is unethical and that embryos produced via fertilization are identical to those produced via cloning. In response to the simple argument, I challenge the latter (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  1
    W.V.O. Quine.Juan J. Botero - 2001 - Ideas Y Valores 50 (115):2-4.
    Presentación del número de la revista Ideas y Valores dedicado a la obra de W.V.O Quine con ocasión de su fallecimiento.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  50
    Social Contract Theory as a Foundation of the Social Responsibilities of Health Professionals.Jos V. M. Welie - 2012 - Medicine, Health Care and Philosophy 15 (3):347-355.
    This paper seeks to define and delimit the scope of the social responsibilities of health professionals in reference to the concept of a social contract. While drawing on both historical data and current empirical information, this paper will primarily proceed analytically and examine the theoretical feasibility of deriving social responsibilities from the phenomenon of professionalism via the concept of a social contract.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  24
    The Challenges of Evidence-Based Medicine: A Philosophical Perspective.Abhaya V. Kulkarni - 2004 - Medicine, Health Care and Philosophy 8 (2):255-260.
    Although evidence-based medicine has gained prominence in current medical practice and research, it has also had to deal with a number of problems and inconsistencies. For example, how do clinicians reconcile discordant results of randomized trials or how do they apply results of randomized trials to individual patients? In an attempt to examine such problems in a structured way, this essay describes EBM within a philosophical framework of science. Using this approach, some of the problems and challenges faced by EBM (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  64
    "There's Nothing Like the Real Thing". Revisiting the Need for a Third-Order Cybernetics.V. Kenny - 2009 - Constructivist Foundations 4 (2):100-111.
    Purpose: To argue for the need to generate a third - order cybernetics to deal with the problematics of second- order cybernetics. Problem: The recent exponential increase in the use of the internet and other "media" to influence and shape dominant cultural experiences via "virtual reality" exploits a core facility of human psychology - that of being able to accept " substitutions " for the " Real Thing." In this paper, I want to raise some basic questions and dilemmas for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Quintessence: Basic Readings From the Philosophy of W.V. Quine.W. V. Quine - 2004 - Belknap Press of Harvard University Press.
    Quintessence for the first time collects Quine's classic essays (such as "Two Dogmas" and "On What There Is") in one volume—and thus offers readers a much ...
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Leibniz on God’s Knowledge of Counterfactuals.Michael V. Griffin - 1999 - Philosophical Review 108 (3):317-343.
    In the eleventh chapter of Matthew’s Gospel, Jesus says to the inhabitants of Bethsaida and Corozain: “If the miracles worked in you had taken place in Tyre and Sidon, they would have repented long ago in sackcloth and ashes”. Passages like this support a scriptural argument for God’s knowledge of counterfactuals about created individuals. In the sixteenth century, Jesuits and Dominicans vigorously debated about how to explain this knowledge. The Jesuits, notably Luis de Molina and Francisco Suarez, argued that the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. In Conversation. W.V. Quine.W. V. Quine, Rudolf Fara & Philosophy International - 1994 - Philosophy International, Centre for the Philosophy of the Natural and Social Sciences, London School of Economics.
     
    Export citation  
     
    Bookmark   1 citation  
  36.  87
    Király V. István - Death and History.István Király V. - 2016 - Budapesti Konyv Szemle (2):79-83.
    Recenzio Kiraly V. Istvan Death and History c. konyverol.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  67
    Words and Objections Essays on the Work of W.V. Quine.Donald Davidson, Jaakko Hintikka & W. V. Quine - 1969 - Reidel.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  38.  19
    Interview: Choreographies: Jacques Derrida and Christie V. McDonald.Christie V. McDonald & Jacques Derrida - 1982 - Diacritics 12 (2):66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  39.  35
    David V. Goliath: A Brief Assessment of the US Supreme Court's 2011 Ruling Denying Class Certification in Dukes V. Wal‐Mart. [REVIEW]Ronald J. Adams - 2013 - Business and Society Review 118 (2):253-270.
    In 2001, Betty Dukes, then a 54‐year‐old African American, filed suit against her employer, Wal‐Mart, alleging that she had been the victim of gender discrimination. Ms. Dukes alleged that Wal‐Mart, the nation's largest private employer, routinely paid women less than men for comparable work and arbitrarily favored men over women in promotion decisions. In 2004, a U.S. District Court entered an order granting class certification, potentially extending the retailer's financial liability to thousands of current and past Wal‐Mart employees. At that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  30
    Idealized σχoΛή and Disdain for Work: Aspects of Philosophy and Politics in Ancient Democracy.V. I. Anastasiadis - 2004 - Classical Quarterly 54 (1):58-79.
  41.  28
    John V. A. Fine Jr., When Ethnicity Did Not Matter in the Balkans: A Study of Identity in Pre-Nationalist Croatia, Dalmatia, and Slavonia in the Medieval and Early-Modern Periods. Ann Arbor, Mich.: University of Michigan Press, 2006. Pp. Xvi, 652; 1 Genealogical Table and Maps. [REVIEW]Neven Budak - 2011 - Speculum 86 (1):187-188.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  30
    Bloomfield's Vedic Concordance. [REVIEW]V. A. E. - 1909 - The Classical Review 23 (2):58-58.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Rewriting the Past in Fourth-Century Greece. [REVIEW]V. J. Gray - 2005 - The Classical Review 55 (1):49-50.
  44.  9
    Scientific and Religious Worldviews: Antagonism, Non‐Antagonistic Incommensurability and Complementarity.V. S. Harrison - 2006 - Heythrop Journal 47 (3):349-366.
    This article reviews three basic ways in which the relationship between Abrahamic religion and science has been construed: as fundamentally antagonistic; as non-antagonistically incommensurable; and as complementary. Unfortunately, while each construal seems to offer benefits to the religious believer, none, as the article demonstrates, is without considerable cost.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. ESPMH News.V. Hulsman - 2007 - Medicine, Health Care and Philosophy 10 (1):105-105.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  6
    Short Literature Notices.V. Hulsman - 2007 - Medicine, Health Care and Philosophy 10 (1):101-102.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  19
    V. A. Smirnov : Work and Life.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):201-204.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  29
    Catalogue of Ancient Near-Eastern Seals in the Ashmolean Museum. Volume I: Cylinder Seals. [REVIEW]V. E. G. Kenna - 1967 - The Classical Review 17 (1):117-118.
  49.  3
    “I Herd It Through the Apevine”. Review of “The Origin of Humanness in the Biology of Love” by Humberto Maturana Romesín and Gerda Verden-Zöller.V. Kenny - 2009 - Constructivist Foundations 5 (1):68 - 71.
    Upshot: Fifteen years in the making, but recounting three and a half million years of biological drift, this book outlines important future choices for becoming more ‘human’, for reviving our fading matristic capabilities, and for avoiding too much ‘monkey-business’.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  20
    Modem Britain. A Social History 1750–1985 : Edward Royle , 434pp., $44.95, 1988, $19.95 P.B. [REVIEW]V. G. Kiernan - 1989 - History of European Ideas 10 (6):738-739.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000