Results for 'Harold Schellinx'

1000+ found
Order:
  1.  21
    A linear approach to modal proof theory.Harold Schellinx - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 33.
  2.  49
    Basic proof theory, A.S. Troelstra and H. Schwichtenberg.Harold Schellinx - 1998 - Journal of Logic, Language and Information 7 (2):221-223.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  33
    Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
    In this paper the existence or nonexistence of isomorphic mappings between graph models for the untyped lambda calculus is studied. It is shown that Engeler's D A is completely determined, up to isomorphism, by the cardinality of its `atom-set' A. A similar characterization is given for a collection of graph models of the Pω-type; from this some propositions regarding automorphisms are obtained. Also we give an indication of the complexity of the first-order theory of graph models by showing that the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  12
    On the Jordan-Hölder decomposition of proof nets.Quintijn Puite & Harold Schellinx - 1997 - Archive for Mathematical Logic 37 (1):59-65.
    Having defined a notion of homology for paired graphs, Métayer ([Ma]) proves a homological correctness criterion for proof nets, and states that for any proof net $G$ there exists a Jordan-Hölder decomposition of ${\mathsf H}_0(G)$ . This decomposition is determined by a certain enumeration of the pairs in $G$ . We correct his proof of this fact and show that there exists a 1-1 correspondence between these Jordan-Hölder decompositions of ${\mathsf H}_0(G)$ and the possible ‘construction-orders’ of the par-net underlying $G$.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    Preface.Jaap van Oosten & Harold Schellinx - 2002 - Annals of Pure and Applied Logic 114 (1-3):1-2.
  6.  22
    SN and {CR} for free-style {${bf LK}sp {tq}$}: linear decorations and simulation of normalization.Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora de Falco - 2002 - Journal of Symbolic Logic 67 (1):162-196.
    The present report is a, somewhat lengthy, addendum to "A new deconstructive logic: linear logic," where the elimination of cuts from derivations in sequent calculus for classical logic was studied ‘from the point of view of linear logic’. To that purpose a formulation of classical logic was used, that - as in linear logic - distinguishes between multiplicative and additive versions of the binary connectives.The main novelty here is the observation that this type-distinction is not essential: we can allow classical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  16
    SN and CR for free-style LKtq: linear decorations and simulation of normalization.Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora De Falco - 2002 - Journal of Symbolic Logic 67 (1):162-196.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  74
    A new deconstructive logic: Linear logic.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1997 - Journal of Symbolic Logic 62 (3):755-807.
    The main concern of this paper is the design of a noetherian and confluent normalization for LK 2. The method we present is powerful: since it allows us to recover as fragments formalisms as seemingly different as Girard's LC and Parigot's λμ, FD, delineates other viable systems as well, and gives means to extend the Krivine/Leivant paradigm of `programming-with-proofs' to classical logic ; it is painless: since we reduce strong normalization and confluence to the same properties for linear logic using (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  29
    LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press. pp. 222--211.
  10.  37
    On the linear decoration of intuitionistic derivations.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1995 - Archive for Mathematical Logic 33 (6):387-412.
    We define an optimal proof-by-proof embedding of intuitionistic sequent calculus into linear logic and analyse the (purely logical) linearity information thus obtained.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  6
    The crisis of US hospice care: family and freedom at the end of life.Harold Braswell - 2019 - Baltimore: Johns Hopkins University Press.
    Providing a model for the transformative work that is required going forward, The Crisis of US Hospice Care illustrates the potential of hospice for facilitating a new way of living our last days and for having the best death possible.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Where Do the Cardinal Numbers Come From?Harold T. Hodes - 1990 - Synthese 84 (3):347-407.
    This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Putting philosophy of political science on the map.Harold Kincaid & Jeroen Van Bouwel - 2023 - In Harold Kincaid & Jeroen van Bouwel (eds.), The Oxford Handbook of Philosophy of Political Science. New York: Oxford University Press. pp. 1-14.
    Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  30
    Religious experience and the knowledge of God: the evidential force of divine encounters.Harold A. Netland - 2022 - Grand Rapids, Michigan: Baker Academic, a division of Baker Publishing Group.
    For many Christians, personal experiences of God provide an important ground or justification for accepting the truth of the gospel. But we are sometimes mistaken about our experiences, and followers of other religions also provide impressive testimonies to support their religious beliefs. This book explores from a philosophical and theological perspective the viability of divine encounters as support for belief in God, arguing that some religious experiences can be accepted as genuine experiences of God and can provide evidence for Christian (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  28
    Extending intuitionistic linear logic with knotted structural rules.R. Hori, H. Ono & H. Schellinx - 1994 - Notre Dame Journal of Formal Logic 35 (2):219-242.
  16.  94
    Objective Knowledge in Science and the Humanities.Harold I. Brown - 1977 - Diogenes 25 (97):85-102.
    Philosophy of science is still, in the minds of many, identified with positivism. This is understandable since twentieth century philosophy of science originates with the work of the Vienna Circle. Positivism is most famous for the verification theory of meaning, the doctrine that the meaning of any proposition is the method by which it is verified, and that any nonanalytic locution which cannot be proven or disproven by some empirical test has no cognitive significance. Positivism is an attempt to construct (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Philebus, laws and self-ignorance.Harold Tarrant - 2018 - In James M. Ambury & Andy R. German (eds.), Knowledge and Ignorance of Self in Platonic Philosophy. New York, NY: Cambridge University Press.
     
    Export citation  
     
    Bookmark   1 citation  
  18. Literary Cognitivism.James Harold - 2015 - In Noël Carroll & John Gibson (eds.), The Routledge Companion to Philosophy of Literature. New York: Routledge.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  13
    Philosophical dimension of psychology: a beginner's guide.James A. Harold - 2022 - [Wilmington, Delaware]: Vernon Press.
    Psychology, philosophy and common sense -- Psychological empiricism (part A): do non-empirical psychological phenomena exist? -- Psychological empiricism (part B): a critique -- The subject matter of psychology (part A): the conscious personal self -- The subject matter of psychology (part B): differing kinds of psychic phenomena -- Locating the empirical in psychology -- Human nature and rational psychology -- Psychology, truth and personalism -- The reality and psychological significance of freedom.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Self-Reference in Logic and Mulligan Stew.Harold I. Brown - 1982 - Diogenes 30 (118):121-142.
    The novel has always provided a vehicle for commenting on various aspects of human existence. We are familiar with the political novel, the historical novel, or the metaphysical novel, and in this sense Sorrentino's Mulligan Stew, with its running commentary on novels, novelists, critics and publishers, may be viewed as a critical novel. A critical novel, however, has a striking feature which it does not share with the other sorts of novels mentioned above in that a critical novel is itself (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  94
    The Paradigm Paradigm and Related Notions.Harold I. Brown - 1980 - Diogenes 28 (112):111-136.
    “There is, in addition, a second reason for doubting that scientists reject paradigms because confronted with anomalies or counterinstances. In developing it my argument will itself foreshadow another of this essay's main theses. The reasons for doubt sketched above were purely factual; they were, that is, themselves counterinstances to a prevalent epistemological theory. As such, if my present point is correct, they can at best help to create a crisis or, more accurately, to reinforce one that is already very much (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  83
    How To Revive Empiricism.Harold I. Brown - 1984 - Diogenes 32 (126):52-70.
    In recent years empiricism has been under persistent attack, and serious questions have been raised about the ability of empiricism to provide the basis for a viable philosophy of science. The attack has been sufficiently vigorous, and in some quarters sufficiently successful, that many now maintain that empiricism is dead. My aim in this paper is to argue that, rather than being ready for embalmment and emplacement in the museum of philosophic oddities, empiricism is very much alive, and the central (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. L'enigma dell'Accademia antica.Harold Fredrik Cherniss - 1974 - Firenze: La nuova Italia.
     
    Export citation  
     
    Bookmark  
  24.  3
    Studies in New England Transcendentalism.Harold Clarke Goddard - 1908 - New York,: Columbia University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  84
    A Defense of Restricted Phenomenal Conservatism.Harold Langsam - 2013 - Philosophical Papers 42 (3):315 - 340.
    In this paper, I criticize Michael Huemer's phenomenal conservatism, the theory of justification according to which if it seems to S that p, then in the absence of defeaters, S thereby has at least some degree of justification for believing that p. Specifically, I argue that beliefs and hunches provide counterexamples to phenomenal conservatism. I then defend a version of restricted phenomenal conservatism, the view that some but not all appearances confer prima facie justification on their propositional contents. Specifically, I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. ha-Medinah.Harold Joseph Laski - 1945 - [Jerusalem,:
     
    Export citation  
     
    Bookmark  
  27. Politikens grunder.Harold Joseph Laski - 1947 - Stockholm,: Tidens förlag.
     
    Export citation  
     
    Bookmark  
  28. Zheng zhi dian fan.Harold Joseph Laski - 1970 - 59 i.: E.. Edited by Junmai Zhang.
     
    Export citation  
     
    Bookmark  
  29. Ancient readers of the Gorgias.Harold Tarrant - 2024 - In J. Clerk Shaw (ed.), Plato's Gorgias: a critical guide. New York, NY: Cambridge University Press.
  30.  3
    Renan: historien philosophe.Harold W. Wardman - 1979 - Paris: Éditions C.D.U.-SEDES.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  2
    A Companion to Angus C. Graham's Chuang Tzu: The Inner Chapters.Harold D. Roth - 2003 - University of Hawaii Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  2
    On sensations from pressure and impact, with special reference to the intensity area and time of stimulation.Harold Griffing - 1895 - New York,: Legare Street Press.
    This book is an in-depth exploration of the nature of sensations and how they are affected by different types of stimuli. The author, Harold Griffing, presents a detailed analysis of the ways in which pressure and impact can influence sensations, and offers insights into how these findings can be applied in a variety of contexts. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  5
    Nine essential things i've learned about life.Harold S. Kushner - 2015 - New York: Alfred A. Knopf.
    A profoundly inspiring yet practical guide to well-being from one of modern Judaism's most beloved sages.As a congregational rabbi for half a century and the bestselling author of When Bad Things Happen to Good People and twelve other books on faith, ethics, and how to translate the timeless wisdom of religious thought into dealing with everyday challenges, Harold Kushner knows a thing or two about living a good life. In this compassionate new work, Kushner distills nine essential lessons from (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  5
    Oxford Handbook of Ethics and Art.James Harold (ed.) - 2023 - New York, NY: Oxford University Press.
    Art has not always had the same salience in philosophical discussions of ethics that many other elements of our lives have. There are well-defined areas of "applied ethics" corresponding to nature, business, health care, war, punishment, animals, and more, but there is no recognized research program in "applied ethics of the arts" or "art ethics." Art often seems to belong to its own sphere of value, separate from morality. The first questions we ask about art are usually not about its (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  9
    Moral Obligation: Essays and Lectures.Harold Arthur Prichard - 2021 - Oxford,: Hassell Street Press. Edited by H. A. Prichard.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  39
    The Oxford Handbook of Philosophy of Political Science.Harold Kincaid & Jeroen van Bouwel (eds.) - 2023 - New York: Oxford University Press.
    The Oxford Handbook of Philosophy of Political Science contains twenty-seven freshly written chapters to give the reader a panoramic introduction to philosophical issues in the practice of political science. Simultaneously, it advances the field of Philosophy of Political Science by creating a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss. These philosophical discussions are close to and informed by actual developments in political science, making philosophy of science continuous with the sciences, another aspiration that motivates (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Plutarch: Moralia, Volume XIII: Part 1: Platonic Essays.Harold Cherniss - 1976 - Cambridge, MA: Harvard University Press. Translated by Harold Cherniss.
     
    Export citation  
     
    Bookmark   1 citation  
  38. Positivism and value free ideals in political science.Harold Kincaid - 2023 - In Harold Kincaid & Jeroen van Bouwel (eds.), The Oxford Handbook of Philosophy of Political Science. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  39. Philosophy of science issues in clientelism research.Harold Kincaid, Miquel Pellicer & Eva Wegner - 2023 - In Harold Kincaid & Jeroen van Bouwel (eds.), The Oxford Handbook of Philosophy of Political Science. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  40.  5
    Speeches for the dead: essays on Plato's Menexenus.Harold Parker & Jan Maximilian Robitzsch (eds.) - 2018 - Boston: De Gruyter.
    The Menexenus, in spite of the dearth of scholarly attention it has traditionally received compared to other Platonic texts, is an important dialogue for any consideration of Plato's views on political philosophy, history, and rhetoric - to say nothing of the dialogue's contribution to the study of civic ideology and institutions, natural law theory, and Plato's notion of race. Speeches for the Dead unites the contributions of scholars working on diverse aspects of the dialogue, growing out of a one-day workshop (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Philospohical anthropology. Human nature and world religion : toward a Bahá'í-inspired philosophical anthropology.Harold Rosen - 2018 - In Mikhail Sergeev (ed.), Studies in Bahá'í philosophy: selected articles. Boston: M-Graphics Publishing.
     
    Export citation  
     
    Bookmark  
  42.  22
    Creative intelligence: essays in the pragmatic attitude.John Dewey, Harold Chapman Brown, George Herbert Mead, Horace Meyer Kallen & Addison Webster Moore (eds.) - 2020 - New York: Nova Science Publishers.
    Creative Intelligence: Essays in the Pragmatic Attitude represents an attempt at intellectual cooperation. No effort has been made, however, to attain unanimity of belief nor to proffer a platform of "planks" on which there is agreement. The consensus represented lies primarily in outlook, in conviction of what is most likely to be fruitful in method of approach. As the title page suggests, the volume presents a unity in attitude rather than a uniformity in results. Consequently each writer is definitively responsible (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  2
    El estado en la teoría y en la práctica (The state in theory and practice).Harold Joseph Laski - 1936 - Madrid,: Editorial Revista de derecho privado. Edited by Herrero, Vicente & [From Old Catalog].
    Harold Laski (Manchester, 1893-Londres, 1950) es de los pocos teóricos del Estado en el mundo anglo-sajón que, desde John Stuart Mill, merece ser recordado. Sus teorías se desenvuelven en el tránsito del pensamiento liberal a la acción de tipo socialista. Fue miembro de la renombrada Fabian Society aunque renunció a su puesto en el Comité Ejecutivo Fabiano aduciendo incompatibilidad de opiniones, pues no aceptaba la posición "gradualista" y evolucionista de la socialdemocracia. Además formó parte del comité ejecutivo del partido (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  13
    Dissonant voices: religious pluralism and the question of truth.Harold A. Netland - 1991 - Leicester, England: Apollos.
  45.  8
    Moral obligation.Harold Arthur Prichard - 1949 - Oxford,: Clarendon Press. Edited by H. A. Prichard.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  46.  5
    Dietrich Bonhoeffer: the Ethics and its value for Christian ethics today.Harold Lockley - 1993 - Oxford: Davenant Press.
  47.  30
    Theory of Probability.Harold Jeffreys - 1939 - Oxford, England: Clarendon Press.
    Another title in the reissued Oxford Classic Texts in the Physical Sciences series, Jeffrey's Theory of Probability, first published in 1939, was the first to develop a fundamental theory of scientific inference based on the ideas of Bayesian statistics. His ideas were way ahead of their time and it is only in the past ten years that the subject of Bayes' factors has been significantly developed and extended. Until recently the two schools of statistics were distinctly different and set apart. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   83 citations  
  48. Theory of Probability.Harold Jeffreys - 1940 - Philosophy of Science 7 (2):263-264.
     
    Export citation  
     
    Bookmark   210 citations  
  49.  27
    The Case for Perdurance.Harold Noonan - 2001 - In Gerhard Preyer & Frank Siebelt (eds.), Reality and Humean Supervenience: Essays on the Philosophy of David Lewis. Rowman & Littlefield Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  18
    Kant's theory of knowledge.Harold Arthur Prichard - 1909 - New York: Garland.
1 — 50 / 1000