Results for 'J. Feye'

961 found
Order:
  1. Modal Logics.Robert Feys & J. Dopp - 1965 - Journal of Symbolic Logic 34 (3):501-502.
  2.  1
    Recherches sur la déduction logique.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  16
    Logistic and Methodology of Science. Logic and Philosophy of Mathematics.Alonzo Church, E. J. E. Huffer & R. Feys - 1952 - Journal of Symbolic Logic 17 (4):289.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  28
    Axiom Schemes for M-Valued Propositional Calculi.Robert Feys, J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  29
    Boekbesprekingen. [REVIEW]J. De Fraine, O. Vercruysse, I. de la Potterie, P. Smulders, J. Rupert, P. Fransen, P. Grootens, P. van Doornik, J. Van Torre, A. van Kol, A. Snoeck, M. Dykmans, J. Mulders, H. Smets, H. Jans, M. Dierickx, A. Feys, J. Houben, J. Nota, H. Geurtsen, L. Vander Kerken, F. Bertiau, P. Roberts, De Tollenaere, M. De Tollenaere, A. Poncelet, F. De Raedemaeker, H. Verbeek, R. Hostie & G. Zaat - 1956 - Bijdragen 17 (4):437-464.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  42
    Robert Feys. Modal logics. Edited with some complements by Joseph Dopp. Collection de logique mathématique, Série B no. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 pp. - J. Dopp. Editor's foreword. Therein, pp. V–VIII. [REVIEW]Gerald J. Massey - 1969 - Journal of Symbolic Logic 34 (3):501-502.
  7.  8
    Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  38
    Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  9.  15
    Meyer Herman. Kennis en realiteit . Philosophische Bibliotheek, ed. by Clay J.. Uitgeversmaatschappij W. De Haan, Utrecht 1949, 307 pp. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (1):73-73.
  10.  13
    Piaget Jean. Classes, relations et nombres. Essai sur les- groupements de la logistique et sur la réversibilité de la pensée. J. Vrin, Paris 1942, 323 pp. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (1):56-56.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  5
    Review: Robert Feys, J. Dopp, Modal Logics. [REVIEW]Gerald J. Massey - 1969 - Journal of Symbolic Logic 34 (3):501-502.
  12.  11
    Review: Robert Feys, Peano et Burali-Forti Precurseurs de la Logique Combinatoire. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (3):224-225.
  13.  2
    Review: Robert Feys, L'Abstraction en Logique Formalisee. [REVIEW]J. Barkley Rosser - 1950 - Journal of Symbolic Logic 14 (4):247-247.
  14.  30
    The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright.Stanisŀaw J. Surma - 1973 - Studia Logica 31 (1):127-136.
  15.  13
    Feys R.. Oudere en nieuwe modaliteitenlogica . Handelingen van het Negentiende Vlaamse Filologencongres, Brussels 1951, pp. 284–289. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Review: R. Feys, Old and New Logic of Modalities. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
  17.  42
    Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  19
    Modal Logics. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):585-586.
    This book was edited by J. Dopp from a nearly completed manuscript of Feys, and Dopp has added a bibliography and interstitial material where required. Feys has tried to survey the whole range of modal logic with the exception of topological and algebraic interpretations of modal structures and operators. First we are introduced to the modal propositional calculi through both historical and non-modal viewpoints; there are then formulated five systems of modal logic, with variants, with the standard required reduction and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  14
    Beiträge zum Philosophie-Unterricht in europäischen Ländern. [REVIEW]J. S. T. - 1979 - Review of Metaphysics 33 (1):174-175.
    There are more philosophy teachers alive today than existed from Socrates until 1900, and this year alone there will be more "contact hours" in philosophical wisdom than in the two millenia before Descartes. One might legitimately wonder what is done with all that time and why the world is not immensely better for it. The first, if not the second, of these questions is addressed and answered in this serious, thorough and much-needed collection of essays. Eduard Fey, founder and long (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  27
    Feys R.. Allocution prononcée par M. R. Feys. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 135–136.Destouches J.-L.. Allocution prononcée par M. J.-L. Destouches. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 137.Törnebohm Håkan. Logical Studies. Library of Theoria, No. I. CWK Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1955, 83 pp.Törnebohm Håkan. Discourse analysis. Theoria , vol. 21 , pp. 42–54. See also Erratum, ibid., p. 181.Törnebohm Håkan. Content of information. Theoria , vol. 21 , pp. 146–157. [REVIEW]Y. Bar-Hillel - 1960 - Journal of Symbolic Logic 25 (3):288-289.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  74
    Robert Feys. Logique formalisée et raisonnement juridique. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 312–321. - Jan Gregorowicz. L'argument a maiori ad minus et le problème de la logique juridique. Logique et analyse, n.s. vol. 5 , pp. 66–75. - Ch. Perelman. Logique formelle, logique juridique. Logique et analyse, n.s. vol. 3 , pp. 226–230. - Robert Feys and Marie-Thérèse Motte. Logique juridique, systèmes juridiques. Logique et analyse, n.s. vol. 2 , pp. 143–147. - Georges Kalinowski. ‘Interprétation juridique et logique des propositions normatives. Logique et analyse, n.s. vol. 2 , pp. 128–142. [REVIEW]Nicholas A. Vonneuman - 1968 - Journal of Symbolic Logic 33 (1):141-142.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  15
    Review: Robert Feys, Expression de la Verifiabilite Experimentale dans le Raisonnement Formalise; J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  32
    Arne Næss. Nokre elementære logiske emne . 1. nynorske utg. Mimeographed. Universitetets Studentkontor, Oslo 1949, 91 pp. - E. J. E. Huffer. Logistiek en wetenschapsleer . Tijdschrift voor philosophie, vol. 11 , pp. 100–116. - R. Feys. Logica en wijsbegeerte van de wiskunde . Tijdschrift voor philosophie, vol. 13 , pp. 303–314. - John Oulton Wisdom. Foundations of inference in natural science. Methuen & Co., London 1952, x + 240 pp. - Charles E. Bures. A critique of Hayakawa's ‘Language in thought and action.’ ETC.: A review of general semantics, vol. 9 no. 1 , pp. 35–43. - S. I. Hayakawa. Reply to Professor Bures. ETC.: A review of general semantics, vol. 9 no. 1 , pp. 43–50. - Anonymous. Inexhaustible. The New Yorker, 08 23, 1952, pp. 13–15. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (4):288-289.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  24
    Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  25
    Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  27
    Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
  27. On the notion of cause, with applications to behaviorism.J. E. R. Staddon - 1973 - Behaviorism 1 (2):25-63.
  28.  95
    The philosophy of Niels Bohr: the framework of complementarity.Henry J. Folse - 1985 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    Of all the developments in twentieth century physics, none has given rise to more heated debates than the changes in our understanding of science precipitated by the quantum revolution''. In this revolution, Niels Bohr's dramatically non-classical theory of the atom proved to be the springboard from which the new atomic physics drew it's momentum. Furthermore, Bohr's contribution was crucial not only because his interpretation of quantum mechanics became the most widely accepted view but also because in his role as educator (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  29. Abstracta and Abstraction in Trope Theory.A. R. J. Fisher - 2020 - Philosophical Papers 49 (1):41-67.
    Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  30. Working virtue: virtue ethics and contemporary moral problems.Rebecca L. Walker & Philip J. Ivanhoe (eds.) - 2007 - New York: Oxford University Press.
    In Working Virtue: Virtue Ethics and Contemporary Moral Problems, leading figures in the fields of virtue ethics and ethics come together to present the first ...
  31. Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem: Magnes Press Hebrew University.
    Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, (...)
     
    Export citation  
     
    Bookmark  
  32. Instantiation in Trope Theory.A. R. J. Fisher - 2018 - American Philosophical Quarterly 55 (2):153-164.
    The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  33.  7
    Hermeneutics and the sociology of knowledge.Susan J. Hekman - 1986 - Notre Dame, Ind.: University of Notre Dame Press.
  34. Individualism and holism: studies in Confucian and Taoist values.Donald J. Munro (ed.) - 1985 - Ann Arbor: Center for Chinese Studies, University of Michigan.
    Fifteen essays addressing conceptions of individualism and holism as they emerged in Chinese literature and philosophy from the time of Confucius and Chuang-tzu to the present.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  35.  70
    Language Evolution Can Be Shaped by the Structure of the World.Amy Perfors & Daniel J. Navarro - 2014 - Cognitive Science 38 (4):775-793.
    Human languages vary in many ways but also show striking cross-linguistic universals. Why do these universals exist? Recent theoretical results demonstrate that Bayesian learners transmitting language to each other through iterated learning will converge on a distribution of languages that depends only on their prior biases about language and the quantity of data transmitted at each point; the structure of the world being communicated about plays no role (Griffiths & Kalish, , ). We revisit these findings and show that when (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  36.  16
    Knowing God.J. I. Packer - 1973 - Downers Grove, Ill.: InterVarsity Press.
    For over 40 years, J. I. Packer's classic has been an important tool to help Christians around the world discover the wonder, the glory and the joy of knowing God. Explaining both who God is and how we can relate to him, this thought-provoking work seeks to transform and enrich the Christian understanding of God.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  24
    The presence of something or the absence of nothing: Increasing theoretical precision in management research.J. Berry & Edwards Jr - unknown
    In management research, theory testing confronts a paradox described by Meehl in which designing studies with greater methodological rigor puts theories at less risk of falsification. This paradox exists because most management theories make predictions that are merely directional, such as stating that two variables will be positively or negatively related. As methodological rigor increases, the probability that an estimated effect will differ from zero likewise increases, and the likelihood of finding support for a directional prediction boils down to a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  43
    Celestial Spheres and Circles.Eric J. Aiton - 1981 - History of Science 19 (2):75-114.
  39.  2
    Implicit religion, Anglican cathedrals, and spiritual wellbeing: The impact of carol services.Leslie J. Francis, Ursula McKenna & Francis Stewart - 2024 - HTS Theological Studies 80 (1):9.
    Rooted in the field of cathedral studies, this paper draws into dialogue three bodies of knowledge: Edward Bailey’s notion of implicit religion that, among other things, highlights the continuing traction of the Christian tradition and Christian practice within secular societies; David Walker’s notion of the multiple ways through which in secular societies people may relate to the Christian tradition as embodied within the Anglican Church and John Fisher’s notion of spiritual wellbeing as conceptualised in relational terms. Against this conceptual background, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  10
    Animal Welfare and Rights: V. Zoos and Zoological Parks.J. Dunlap & S. Kellert - unknown
    Semantic Scholar extracted view of "Animal Welfare and Rights: V. Zoos and Zoological Parks" by J. Dunlap et al.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  17
    A Phenomenology of Democracy.Paul J. Kosmin - 2015 - Classical Antiquity 34 (1):121-162.
    This article has two objectives. First, and in particular, it seeks to reinterpret the ostracism procedure of early democratic Athens. Since Aristotle, this has been understood as a rational, political weapon of collective defense, intended to expel from Athens a disproportionately powerful individual. In this article, by putting emphasis on themateriality, gestures, and location of ostraka-casting, I propose instead that the institution can more fruitfully be understood as a ritual enactment of civic unity. Second, and more generally, I hope to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  66
    Kant, respect and injustice: the limits of liberal moral theory.Victor J. Seidler - 1986 - Boston: Routledge & Kegan Paul.
    I INTRODUCTION: RESPECT, EQUALITY AND THE AUTONOMY OF MORALITY We often invoke a notion of respect to express our sense of human equality. ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  42
    Animal Rites: American Culture, the Discourse of Species, and Posthumanist Theory.Cary Wolfe & W. J. T. Mitchell - 2003 - University of Chicago Press.
    In Animal Rites, Cary Wolfe examines contemporary notions of humanism and ethics by reconstructing a little known but crucial underground tradition of theorizing the animal from Wittgenstein, Cavell, and Lyotard to Lévinas, Derrida, ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  44.  8
    Mechanism, life, and personality.J. S. Haldane - 1914 - Westport, Conn.,: Greenwood Press.
    The mechanistic theory of life.--Criticism of the mechanistic theory.--Biology and the physical sciences.--Personality.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  80
    Rationality, religious belief, and moral commitment: new essays in the philosophy of religion.Robert Audi & William J. Wainwright (eds.) - 1986 - Ithaca: Cornell University Press.
    This book is unified by three broad concerns: the rationality of belief in God, the relation between religion and morality, and the explication of the concept of God. The essays are, however, marked by diversity. Some focus on historical figures, such as Aquinas and Locke; others bring recent epistemological and metaphysical developments to bear on problems of religious belief. Some of the papers explore neglected issues central to religious practice, such as the question of how total devotion to God can (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  10
    Introduction.M. H. Werner, R. Stern & J. P. Brune - 2017 - In Jens Peter Brune, Robert Stern & Micha H. Werner (eds.), Transcendental Arguments in Moral Theory. Boston: De Gruyter. pp. 1-6.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Science and speculation. Studies in Hellenistic theory and practice.J. Barnes, J. Brunschwig, Burnyeat & Schofield - 1984 - Revue Philosophique de la France Et de l'Etranger 174 (2):263-267.
     
    Export citation  
     
    Bookmark   3 citations  
  48.  7
    Exploring the responses of non-churchgoers to a cathedral pre-Christmas son et lumiere.Ursula McKenna, Leslie J. Francis, Andrew Village & Francis Stewart - 2024 - HTS Theological Studies 80 (1):10.
    Two conceptual strands of research within the field of cathedral studies have theorised the capacity of Anglican cathedrals to engage more successfully than parish churches with the wider non-churchgoing community. One strand has explored mobilising cathedral metaphors, and the other strand has explored the notion of implicit religion. Both strands illuminate the power of events and installations to soften the boundaries between common ground and sacred space. Drawing on a quantitative survey among 978 people who attended the pre-Christmas son et (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  11
    “Walking Together”: Can Racism Be Overcome by a Postsecular Spirituality?Douglas J. Cremer - 2024 - The European Legacy 29 (3-4):334-349.
    The continuing power of racist ideology threatens liberal democracy, for racism is more than a personal bias or a social construction. It is an ideological framework that reduces human beings to an existence along a color-coded spectrum, with people designated as “white” at the top of the hierarchy and people designated as “black” at the bottom. One has to see this ideology clearly in order to choose a proper response and then act accordingly. First, the reality of “race” has been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Mechanism, life, and personality.J. S. Haldane - 1914 - Westport, Conn.,: Greenwood Press.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 961