Results for 'Warren D. Goldfarb'

998 found
Order:
  1. Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
  2. I want you to bring me a slab: Remarks on the opening sections of the philosophical investigations.Warren D. Goldfarb - 1983 - Synthese 56 (3):265 - 282.
  3. Kripke on Wittgenstein on rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
  4.  60
    Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  5.  59
    The unsolvability of the gödel class with identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  6.  31
    Deductive Logic.Warren D. Goldfarb - 2003 - Indianapolis, IN, USA: Hackett Publishing Company.
    This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7. Logicism and logical truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  9.  16
    Ecrits Logiques. [REVIEW]Warren D. Goldfarb - 1970 - Philosophical Review 79 (4):576-578.
  10. Ordinal Bounds for k-consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  11.  43
    A decidable subclass of the minimal gödel class with identity.Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1253-1261.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  12.  42
    George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 , pp. 76–78.Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  51
    On the effective ω‐rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  50
    On the gödel class with identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
  15.  39
    Skolem reduction classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  16. The Goldfarb Panel.W. V. Quine, Warren D. Goldfarb, Martin Davies, Paul Horwich & Rudolf Fara - 1994 - Philosophy International.
     
    Export citation  
     
    Bookmark  
  17.  38
    The decision problem for formulas with a small number of atomic subformulas.Harry R. Lewis & Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):471-480.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. The finite controllability of the Maslov case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
  19.  46
    Hubert C. Kennedy, Biographical sketch of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 3–10. - Hubert C. Kennedy. Chronological list of the publications of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 11–29. - Hubert C. Kennedy. Bibliography on the life and works of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 30–33. - Giuseppe Peano. The operations of deductive logic. English translation of introductory chapter of 711. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, U. [REVIEW]Warren D. Goldfarb - 1980 - Journal of Symbolic Logic 45 (1):177-180.
  20.  39
    Craig W.. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  21.  33
    Jean-Pierre Bénéjam. Application du théorème de Herbrand à la présentation de thèses tératologiques du calcul des prédicats élémentaire. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, ser. A vol. 268 , pp. 757–760. - Roland Fraïssé. Réflexions sur la complétude selon Herbrand. International logic review-Rassegna internazionale di logica , vol. 3 no. 1 , pp. 86–98. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
  22.  43
    Klaua Dieter. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe. Zeitsckrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 264–270. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Symbolic Logic 36 (1):168-168.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  48
    Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  24.  14
    Review: Jean-Pierre Benejam, Application du Theoreme de Herbrand a la Presentation de Theses Teratologiques du Calcul des Predicats Elementaire; Roland Fraisse, Reflexions sur la Completude Selon Herbrand. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
  25.  18
    Review: W. Craig, Analysis of First-Order Implications. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Écrits logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  27.  15
    Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII. [REVIEW]Jean-Pierre Bénéjam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
  28.  4
    Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
  29.  9
    Invertebrate Paleontology and Evolutionary Thinking in the US and Britain, 1860–1940.Warren D. Allmon - 2020 - Journal of the History of Biology 53 (3):423-450.
    The role of paleontology in evolutionary biology between the publication of The Origin of Species in 1859 and the Evolutionary Synthesis of the 1940s is frequently described as mostly misguided failure. However, a significant number of American and British PDPS invertebrate paleontologists of this period did devote considerable attention to evolution, and their evolutionary theories and conclusions were a good deal more diverse and nuanced than previous histories have suggested. This paper brings into focus a number of important but underrecognized (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. A general theory of emotions and social life.Warren D. TenHouten - 2010 - In Ann Brooks (ed.), Social Theory in Contemporary Asia. Routledge.
  31.  12
    Dual Symbolic Classification, the Primary Emotions,and Mandala Symbolism.Warren D. TenHouten - 1993 - Anthropology of Consciousness 4 (4):10-16.
  32.  6
    Science and its mirror image: a theory of inquiry.Warren D. TenHouten - 1973 - New York,: Harper & Row. Edited by Charles D. Kaplan.
  33.  10
    The Eclipse of the Sacred and the Paradoxical Liberation of the Left Hand.Warren D. TenHouten - 1995 - Anthropology of Consciousness 6 (2):15-26.
    In "primitive" cultures, dual symbolic classification systems draw rigid temporal and spatial boundaries between the sacred and the profane. The right and left hands are described as sacred and profane, respectively. Durkheim saw a weakening of these systems as an aspect of modernization. A weakening of such dichotomous reason is shown in two examples. First, Hertz's study of the suppression of the left hand among the Maori links the left hand to the right cerebral hemisphere of the brain. The further (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  12
    Let's get physical.Warren D. Woessner - 2002 - American Journal of Bioethics 2 (3):21 – 22.
  35.  7
    Let's Get Physical.Warren D. Woessner - 2002 - American Journal of Bioethics 2 (3):21-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  18
    Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
  37.  22
    Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
  38. A brief critical analysis of scientific creationism.Warren D. Dolphin - 1996 - In David B. Wilson & Warren D. Dolphin (eds.), Did the Devil Make Darwin Do It?: Modern Perspectives on the Creation-Evolution Controversy. Iowa State University Press. pp. 37--45.
     
    Export citation  
     
    Bookmark  
  39.  11
    Foundations of spatial vision: From retinal images to perceived shapes.Joseph S. Lappin & Warren D. Craft - 2000 - Psychological Review 107 (1):6-38.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40.  12
    A Bayesian approach to relevance in game playing.Eric B. Baum & Warren D. Smith - 1997 - Artificial Intelligence 97 (1-2):195-242.
  41. Public knowledge.D. Warren - 1983 - Journal of Thought 18 (2):3-11.
  42.  4
    The Politics of the Displaced Majority.D. Warren - 1993 - Télos 1993 (95):147-160.
  43.  22
    The role of the global network of indigenous knowledge resource centers in the conservation of cultural and biological diversity.D. Michael Warren - 2011 - In Sandra G. Harding (ed.), The Postcolonial Science and Technology Studies Reader. Duke University Press. pp. 247.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  4
    White Americans as a Minority.D. I. Warren - 1995 - Télos 1995 (104):127-134.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  28
    Farmer participatory approaches to achieve fodder security in south Indian villages.B. Rajasekaran, D. Michael Warren & Suresh Chandra Babu - 1994 - Agriculture and Human Values 11 (2-3):159-167.
    Farmer participatory approaches were used to identify problems and needs as perceived by local people and to develop strategies to achieve fodder security in south Indian villages. Indigenous knowledge systems as they relate to agroforestry were explored. The farmer participatory approaches have laid the foundations for selecting appropriate agroforestry technologies and developing suitable fodder security policy options. Potential benefits and risks as a result of implementing agroforestry projects were also discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    Did the Devil make Darwin do it?: modern perspectives on the creation-evolution controversy.David B. Wilson & Warren D. Dolphin (eds.) - 1983 - Ames: Iowa State University Press.
    A guide for scientists who would like to contribute to the professional development of science teachers for elementary schools. Based on information from over 180 programs, describes what activities work and why, and suggests how to identify programs teachers have found to be effective and take the initial steps to become involved. Also provides vignettes illustrating the daily work of science teachers. Annotation copyright by Book News, Inc., Portland, OR.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Carnap and the Philosophy of Mathematics.Warren Goldfarb & Thomas Ricketts - 1996 - In Sahotra Sarkar (ed.), Logical Empiricism at its Peak: Schlick, Carnap, and Neurath. Garland. pp. 337 - 354.
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  48. Kripke on Wittgenstein on Rules.Warren Goldfarb - 1985 - Journal of Philosophy 82 (9):471.
  49. Preface: The logic programming paradigm: a 25-year perspective 1999.Krzysztof Apt, V. M. Marek, M. Truszczy'nski & D. S. Warren - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  56
    Frege's Conception of Logic.Warren Goldfarb - 2001 - In Juliet Floyd (ed.), Future Pasts: The Analytic Tradition in Twentieth-Century Philosophy. Oxford: Oxford University Press. pp. 25-41.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
1 — 50 / 998