Results for 'J. Zucker'

961 found
Order:
  1.  12
    Provable computable selection functions on abstract structures.J. Tucker & J. Zucker - 1992 - In Peter Aczel, Harold Simmons & S. S. Wainer (eds.), Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press. pp. 275.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  4
    Tableau Systems for First Order Number Theory and Certain Higher Order Theories.J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  69
    The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  4.  35
    The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.
  5.  36
    Cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1.
  6.  61
    The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
  7.  40
    The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.
  8. Goethe and the Sciences: A Reappraisal.Frederick Amrine, Francis J. Zucker & Harvey Wheeler - 1987 - Boston Studies in the Philosophy of Science 97:1-442.
     
    Export citation  
     
    Bookmark   17 citations  
  9.  20
    The Adequacy Problem for Classical Logic.J. I. Zucker, R. S. Tragesser, Dag Prawitz, Jaakko Hintikka & Ilkka Niiniluoto - 1982 - Journal of Symbolic Logic 47 (3):689-694.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Perceptual learning and the technology of expertise.Philip J. Kellman, Christine Massey, Zipora Roth, Timothy Burke, Joel Zucker, Amanda Saw, Katherine E. Aguero & Joseph A. Wise - 2008 - Pragmatics and Cognition 16 (2):356-405.
    Learning in educational settings most often emphasizes declarative and procedural knowledge. Studies of expertise, however, point to other, equally important components of learning, especially improvements produced by experience in the extraction of information: Perceptual learning. Here we describe research that combines principles of perceptual learning with computer technology to address persistent difficulties in mathematics learning. We report three experiments in which we developed and tested perceptual learning modules to address issues of structure extraction and fluency in relation to algebra and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  55
    Even dying must be edited: further thoughts on Joan Robinson.S. Curry, A. Zucker & J. Trautmann - 1981 - Journal of Medical Ethics 7 (1):34-36.
    "Joan Robinson: One Woman's Story' is a cinéma vérité style record of a woman's losing struggle against ovarian cancer. The film has been shown now twice on the American Public Television Network. It has received good notices primarily from the lay press. Yet the film depicts much that is out-of-date and much that is debatable. In general, we feel that it presents a depressing picture of the cancer patient. This was not Joan Robinson's intention and her bravery only serves to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  12.  31
    An allegory of renaissance politics in a contemporary italian engraving: The prognostic of 1510.Mark J. Zucker - 1989 - Journal of the Warburg and Courtauld Institutes 52 (1):236-240.
  13.  17
    Anharmonic effects in the theory of solid argon.I. J. Zucker - 1958 - Philosophical Magazine 3 (33):987-998.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  20
    An Introduction to Modern ArchitectureHomes.Paul Zucker, Elizabeth Mock & J. M. Richard - 1948 - Journal of Aesthetics and Art Criticism 7 (2):168.
  15.  11
    Predicate 'phenomenological'. 7.Francis J. Zucker - 1982 - In Ronald Bruzina & Bruce Wilshire (eds.), Phenomenology: Dialogues and Bridges. State University of New York Press. pp. 269.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Reductionism and its Counter-Strategies.Francis J. Zucker - 1977 - In John B. Cobb & David Ray Griffin (eds.), Mind in Nature. University Press of America. pp. 43.
  17. Three counter-strategies to reductionism in science.Francis J. Zucker - 1977 - In John B. Cobb & David Ray Griffin (eds.), Mind in Nature. University Press of America. pp. 43.
  18.  79
    Ethics Committees at Work: Organs for Undocumented Aliens? A Transplantation Dilemma.Lawrence Gottlieb, Mark J. Zucker, Henry S. Perkins & Laurence B. McCullough - 1995 - Cambridge Quarterly of Healthcare Ethics 4 (2):229.
  19.  22
    Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
  20.  31
    Toledo Sue. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
  21.  22
    Review: Eduard Wette, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Definition eines (Relativ Vollstandigen) formalen systems konstruktiver Arithmetik. [REVIEW]G. Kreisel & J. Zucker - 1972 - Journal of Symbolic Logic 37 (1):203-204.
  22.  5
    Confronting reification: revitalizing Georg Lukács's thought in late capitalism.Gregory R. Smulewicz-Zucker (ed.) - 2020 - Leiden ; Boston: Brill.
    Georg Lukács (1885-1971) was one of the most original Marxist philosophers and literary critics of the twentieth century. His work was a major influence on what we now know as critical theory. Almost fifty years after his death, Lukács's legacy has come under attack by right-wing extremists in his native Hungary. Despite efforts to erase his memory, Lukács remains a philosophical gadfly. In Confronting Reification, an international team of fourteen scholars explicate, reassess, and apply one of Lukács's most significant philosophical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  44
    Eduard Wette. Definition eines formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195. [REVIEW]G. Kreisel & J. Zucker - 1972 - Journal of Symbolic Logic 37 (1):203-204.
  24. The Semantic Web: ESWC 2015 Satellite Events. ESWC 2015. Lecture Notes in Computer Science.F. Gandon, C. Guéret, S. Vilata, J. Breslin, C. Faron-Zucker & A. Zimmermann (eds.) - 2015
    No categories
     
    Export citation  
     
    Bookmark  
  25.  24
    Equational Theories and Equivalences of Programs.B. Courcelle, B. Domolki, T. Gergely, J. W. de Bakker, J. I. Zucker & E. Engeler - 1984 - Journal of Symbolic Logic 49 (3):990-991.
  26. C. ZUCKER, Psychologie de la superstition. [REVIEW]J. Piguet - 1953 - Revue de Théologie Et de Philosophie 3 (1):79.
    No categories
     
    Export citation  
     
    Bookmark  
  27. von Lippmann . Geschichte des Zuckers seit den ältesten Zeiten bis zum Beginn der Rübenzucker-Fabrikation, ein Beitrag zur Kulturgeschichte. [REVIEW]J. Bidez - 1930 - Revue Belge de Philologie Et D’Histoire 9 (2):673-678.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  37
    Cultural Collisions at the Bedside: Social Expectations and Value Triage in Medical Practice.Richard Gorlin, James J. Strain & Rosamond Rhodes - 2001 - Cambridge Quarterly of Healthcare Ethics 10 (1):7-15.
    As early as 1981 Gorlin and Zucker produced a film, AComplicatingFactor:Doctors'FeelingsasaFactorinMedicalCare and in a 1983 paper on the subject they described one of the important epiphenomena of the encounter between doctor and patient—namely, the reaction of the physician to the patient and how this affects both the physician and the quality of the relationship. At that time they were concerned with the physicians' ability to reckon with their own reactions to patients who presented with problems or personality traits that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  16
    Review: J. Zucker, The Correspondence Between Cut-Elimination and Normalization. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  20
    Frederick Amrine, Francis J. Zucker, and Harvey Wheeler Goethe and the Sciences: A Reappraisal. Boston Studies in the Philosophy of Science Vol. 97. Dordrecht/Boston/Lancaster/Tokyo: D. Reidel Publishing Company, 1987. Pp. xv + 442. ISBN 90-277-2265-X. Dfl. 190, £56.75, $79.00. [REVIEW]E. Shaffer - 1989 - British Journal for the History of Science 22 (1):120-121.
  31.  30
    Goethe and the Sciences: A Reappraisal. Frederick Amrine, Francis J. Zucker, Harvey Wheeler.Frederick Gregory - 1987 - Isis 78 (4):638-639.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  33
    Goethe and the Sciences: A Reappraisal by Frederick Amrine; Francis J. Zucker; Harvey Wheeler. [REVIEW]Frederick Gregory - 1987 - Isis 78:638-639.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  4
    Zucker J.. The correspondence between cut-elimination and normalization. Annals of mathematical logic, vol. 7 no. 1 , pp. 1–112, and vol. 7, no. 2–3 , pp. 113–156. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
  34.  44
    Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings. [REVIEW]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
  35.  27
    Courcelle B.. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302.de Barker J. W. and Zucker J. I.. Derivatives of programs. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343.Engeler E.. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
     
    Export citation  
     
    Bookmark  
  37. Online with Intention: Promoting Digital Health and Wellness in the Classroom.Lauren Zucker & Nicole Damico - 2019 - In Kristen Hawley Turner (ed.), The ethics of digital literacy: developing knowledge and skills across grade levels. Lanham, Maryland: Rowman & Littlefield.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  7
    When the Cathedrals Were White. A Journey to the Country of Timid People.Paul Zucker & Le Corbusier - 1948 - Journal of Aesthetics and Art Criticism 6 (3):287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Illusory alternatives : neo-anarchism's disengaged and reactionary leftism.Gregory Smulewicz-Zucker - 2015 - In Gregory R. Smulewicz-Zucker & Michael Thompson (eds.), Radical intellectuals and the subversion of progressive politics: the betrayal of politics. New York, NY: Palgrave-Macmillan.
     
    Export citation  
     
    Bookmark  
  40.  10
    Radical intellectuals and the subversion of progressive politics: the betrayal of politics.Gregory R. Smulewicz-Zucker & Michael Thompson (eds.) - 2015 - New York, NY: Palgrave-Macmillan.
    Radical Intellectuals and the Subversion of Progressive Politics is a challenge to contemporary radical politics and political thought. This collection of essays critiques the dominant trends and figures on the left that have distorted the legacy of progressive politics, arguing that they have moved politics away from issues of class and economic power toward a preoccupation with culture and identity. The contributors discuss this new radicalism from the perspective of a more rational form of leftism capable of reviving interest in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  19
    Le Corbusier: Architect, Painter, WriterNew World of Space.Paul Zucker, Stamo Papadaki & Le Corbusier - 1949 - Journal of Aesthetics and Art Criticism 7 (4):369.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  23
    Wittgenstein's Builder-Tribe.Richard Zucker - 1988 - Philosophical Investigations 11 (3):218-224.
  43.  4
    Strangers to Nature: Animal Lives and Human Ethics.Gregory R. Smulewicz-Zucker (ed.) - 2012 - Lexington Books.
    Strangers to Nature brings together many of the leading scholars who are working to redefine and expand the discourse on animal ethics. This volume will engage both scholars and lay-people by revealing the breadth of theorizing about the human/non-human animal relationship that is currently taking place.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  50
    A World Without Why by Raymond Geuss.Gregory R. Smulewicz-Zucker - 2016 - Journal of Nietzsche Studies 47 (1):174-177.
    Especially in recent works, Raymond Geuss has expressed an unabashedly bleak view of the practice of philosophy and what we can expect to gain from it. In his latest collection of essays, A World Without Why, Geuss continues to write in this vein. Although he characteristically addresses an impressive variety of topics, the book is held together by a general engagement with the question of authority and by Geuss’s ongoing effort to philosophize outside the bounds of contemporary philosophy. Indeed, one (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  20
    Politics without Vision: Thinking without a Banister in the Twentieth Century by Tracy B. Strong.Gregory R. Smulewicz-Zucker - 2017 - Journal of Nietzsche Studies 48 (3):457-462.
    The notion that modernity entails the loss of authoritative grounds has become a piece of conventional wisdom in contemporary political philosophy. In Politics without Vision, Tracy Strong offers a new perspective on this notion by identifying a unique tradition in twentieth-century political thought. His cast includes Immanuel Kant, Friedrich Nietzsche, Max Weber, Sigmund Freud, Vladimir Lenin, Carl Schmitt, Martin Heidegger, and Hannah Arendt. With the insightfulness that characterizes much of his scholarship, Strong sheds new light on the familiar and persuasively (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  30
    Plato's cave and Aristotle's collections: dialogue across disciplines.Donna M. Zucker & Dominica Borg - 2005 - Nursing Philosophy 6 (2):144-147.
  47. The City in History. Its Origins, Its Transformations, and Its Prospects.Paul Zucker - 1961 - Journal of Aesthetics and Art Criticism 20 (2):209-210.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  48.  13
    The infernal business of contract cheating: understanding the business processes and models of academic custom writing sites.David Randall, Ian Michael Zucker & Cath Ellis - 2018 - International Journal for Educational Integrity 14 (1).
    While there is growing awareness of the existence and activities of Academic Custom Writing websites, which form a small part of the contract cheating industry, how they work remains poorly understood. Very little research has been done on these sites, probably because it has been assumed that it is impossible to see behind their firewalls and password protection. We have found that, with some close scrutiny, it is indeed possible to find some ‘cracks’ in these sites through which we can (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  49.  30
    Interoceptive awareness in eating disorders: Distinguishing lack of clarity from non-acceptance of internal experience.Rhonda M. Merwin, Nancy L. Zucker, Jennie L. Lacy & Camden A. Elliott - 2010 - Cognition and Emotion 24 (5):892-902.
  50. Special sciences (or: The disunity of science as a working hypothesis).J. A. Fodor - 1974 - Synthese 28 (2):97-115.
1 — 50 / 961