Results for 'Joyce Friedman'

1000+ found
Order:
  1.  62
    A parsing method for Montague grammars.Joyce Friedman & David S. Warren - 1978 - Linguistics and Philosophy 2 (3):347 - 372.
    The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars. No parsing algorithm was previously known to exist for these grammars.Applied to Montague's PTQ the method produces all parses that could correspond to different meanings. The technique directly addresses scope and reference and provides a framework for examining these phenomena. The solution for PTQ is implemented in an efficient and useful computer program.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  7
    A computational treatment of Case Grammar.Joyce Friedman - 1973 - In Jaakko Hintikka (ed.), Approaches to Natural Language. D. Reidel Publishing. pp. 134--152.
  3.  5
    A Decision Procedure for Computations of Finite Automata.Joyce Friedman - 1965 - Journal of Symbolic Logic 30 (2):248-249.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  7
    A Semi-Decision Procedure for the Functional Calculus.Joyce Friedman - 1964 - Journal of Symbolic Logic 29 (2):101-101.
  5.  23
    An unlabeled bracketing solution to the problem of conjoined phrases in Montague's PTQ.Joyce Friedman - 1979 - Journal of Philosophical Logic 8 (1):151 - 169.
    Although Montague claims that the system of The proper treatment of quantification in ordinary English includes some conjunction and disjunction, the rules for other grammatical constructions do not take conjunction or disjunction into account, and in general fail either syntactically or semantically when one of their arguments is so formed. Using an unlabeled bracketing of syntactic structure and recursive definitions, we have been able to rewrite the rules so that correct results are obtained.These results should provide a firmer basis for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  14
    Erratum.Joyce Friedman & David S. Warren - 1979 - Linguistics and Philosophy 3 (1):139 -.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. Expressing logical formulas in natural language.Joyce Friedman - 1981 - In Jeroen Groenendijk (ed.), Formal Methods in the Study of Language. U of Amsterdam. pp. 113--130.
     
    Export citation  
     
    Bookmark  
  8.  3
    Some results in church's restricted recursive arithmetic.Joyce Friedman - 1957 - Journal of Symbolic Logic 22 (4):337-342.
  9.  6
    Some Results in Church's Restricted Recursive Arithmetic.Joyce Friedman - 1959 - Journal of Symbolic Logic 24 (3):241-242.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  28
    Church Alonzo. Application of recursive arithmetic to the problem of circuit synthesis 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. 3–50. 3a-45a. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  23
    B. Dunham, R. Fridshal, and G. L. Sward. A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, pp. 282–285. - B. Dunham, R. Fridshal, and J. H. North. Exploratory mathematics by machine. Recent developments in information and decision processes, edited by Robert E. Machol and Paul Gray, The Macmillan Company, New York1962, pp. 149–160. - B. Dunham and J. H. North. Theorem testing by computer. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N. Y., April 24, 25, 26, 1962, Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 173–177. [REVIEW]Joyce Friedman - 1967 - Journal of Symbolic Logic 32 (2):266-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Kallick Bruce. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by Morrell A. J. H., North-Holland Publishing Company, Amsterdam 1969, pp. 269–275. [REVIEW]Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the Association for Computing Machinery, vol. 10 , pp. 526–527. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508.
  14.  11
    Review: Alonzo Church, Application of Recursive Arithmetic to the Problem of Circuit Synthesis. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
  15.  14
    Review: B. Dunham, R. Fridshal, G. L. Sward, A Non-Heuristic Program for Proving Elementary Logical Theorems; B. Dunham, R. Fridshal, J. H. North, Exploratory Mathematics by Machine; B. Dunham, J. H. North, Theorem Testing by Computer. [REVIEW]Joyce Friedman - 1967 - Journal of Symbolic Logic 32 (2):266-266.
  16.  11
    Review: Bruce Kallick, A Decision Procedure Based on the Resolution Method. [REVIEW]Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.
  17.  5
    Review: Hao Wang, Wayne A. Kalenich, Formalization and Automatic Theorem-Proving. [REVIEW]Joyce Friedman - 1974 - Journal of Symbolic Logic 39 (2):350-350.
  18.  8
    Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508-508.
  19.  19
    Wang Hao. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58. [REVIEW]Joyce Friedman - 1974 - Journal of Symbolic Logic 39 (2):350-350.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  8
    Joyce Friedman. A decision procedure for computations of finite automata. Journal of the Association for Computing Machinery, vol. 9 , pp. 315–323. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (2):248-249.
  21.  6
    Review: Joyce Friedman, Some Results in Church's Restricted Recursive Arithmetic. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):241-242.
  22. Review: Joyce Friedman, A Decision Procedure for Computations of Finite Automata. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (2):248-249.
     
    Export citation  
     
    Bookmark  
  23.  29
    Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the Association for Computing Machinery, vol. 10 , pp. 1–24. - Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the Association for Computing Machinery, vol. 10 , pp. 348–356. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101-101.
     
    Export citation  
     
    Bookmark  
  25.  13
    Friedman Joyce. Some results in Church's restricted recursive arithmetic. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):241-242.
  26. The Epistemic and the Zetetic.Jane Friedman - 2020 - Philosophical Review 129 (4):501-536.
    Call the norms of inquiry zetetic norms. How are zetetic norms related to epistemic norms? At first glance, they seem quite closely connected. Aren't epistemic norms norms that bind inquirers qua inquirers? And isn't epistemology the place to look for a normative theory of inquiry? While much of this thought seems right, this paper argues that the relationship between the epistemic and the zetetic is not as harmonious as one might have thought and liked. In particular, this paper argues that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   82 citations  
  27. Inquiry and Belief.Jane Friedman - 2017 - Noûs 53 (2):296-315.
    In this paper I look at belief and degrees of belief through the lens of inquiry. I argue that belief and degrees of belief play different roles in inquiry. In particular I argue that belief is a “settling” attitude in a way that degrees of belief are not. Along the way I say more about what inquiring amounts to, argue for a central norm of inquiry connecting inquiry and belief and say more about just what it means to have an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   128 citations  
  28. Moral Fictionalism and Religious Fictionalism.Richard Joyce & Stuart Brock (eds.) - 2024 - Oxford University Press.
    Atheism is a familiar kind of skepticism about religion. Moral error theory is an analogous kind of skepticism about morality, though less well known outside academic circles. Both kinds of skeptic face a "what next?" question: If we have decided that the subject matter (religion/morality) is mistaken, then what should we do with this way of talking and thinking? The natural assumption is that we should abolish the mistaken topic, just as we previously eliminated talk of, say, bodily humors and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. The aim of inquiry?Jane Friedman - 2024 - Philosophy and Phenomenological Research 108 (2):506-523.
    Philosophy and Phenomenological Research, EarlyView.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  57
    Martin Buber: the life of dialogue.Maurice S. Friedman - 1955 - New York: Routledge.
    Martin Buber: The Life of Dialogue , the first study in any language to provide a complete overview of Buber's thought, remains the definitive guide to the full range of his work and the starting point for all modern Buber scholarship. As well as summarizing Buber's early intellectual development and attitudes - his mysticism, his youthful existentialism, his philosophy of Judaism and religious socialism - it focuses on the two crucial issues of his mature thought: his dialogic or I-Thou philosophy, (...)
  31. Scientific Disagreements, Fast Science and Higher-Order Evidence.Daniel C. Friedman & Dunja Šešelja - 2023 - Philosophy of Science 90 (4):937-957.
    Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata for scientifically relevant (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  7
    Edith Stein's Life in a Jewish Family, 1891–1916: A Companion.Joyce Avrech Berkman - 2023 - Lexington Books.
    Joyce Avrech Berkman interprets Edith Stein’s autobiography as time and space bound, yet arrestingly transgressive. She probes the origins, nature, and afterlife of Stein’s work, which sheds light on Stein’s response to Nazi antisemitism and the roots of her key philosophical and spiritual concerns.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  15
    Accounting for political preferences: Cultural theory vs. cultural history.Jeffrey Friedman - 1991 - Critical Review: A Journal of Politics and Society 5 (3):325-351.
    Liberalism sanctifies the values chosen by the sovereign individual. This tends to rule out criticisms of an individual's “preference” for one value over another by, ironically, establishing a deterministic view of the self that protects the self's desires from scrutiny. Similarly, rational choice approaches to social theory begin with previously determined individual preferences and focus on the means by which they are pursued, concentrating on the results rather than the sources of people's values.A striking new attempt to go behind the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34. Romantic Love and Personal Autonomy.Marilyn Friedman - 1998 - Midwest Studies in Philosophy 22 (1):162-181.
  35.  5
    Martin Buber's life and work.Maurice S. Friedman - 1981 - Detroit: Wayne State University Press.
    [1] The early years, 1878-1923 -- [2] The middle years, 1923-1945 -- [3] The later years, 1945-1965.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  34
    Moral Anti-Realism.Richard Joyce - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  37. Fictionalism in Metaethics.Richard Joyce - 2017 - In Tristram Colin McPherson & David Plunkett (eds.), The Routledge Handbook of Metaethics. New York: Routledge. pp. 72-86.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  38.  22
    Leibniz and the Stocking Frame: Computation, Weaving and Knitting in the 17th Century.Michael Friedman - 2024 - Minds and Machines 34 (1):11-28.
    The comparison made by Ada Lovelace in 1843 between the Analytical Engine and the Jacquard loom is one of the well-known analogies between looms and computation machines. Given the fact that weaving – and textile production in general – is one of the oldest cultural techniques in human history, the question arises whether this was the first time that such a parallel was drawn. As this paper will show, centuries before Lovelace’s analogy, such a comparison was made by Gottfried Wilhelm (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  5
    Principles of logic.George Hayward Joyce - 1908 - New York [etc.]: Longmans, Green and co..
  40.  6
    Probabilistic justice against status defense: inequality, uncertainty, and the future of the welfare state.Rachel Z. Friedman & Torben Iversen - forthcoming - Theory and Society:1-25.
    The postwar welfare state provides social insurance against economic, health, and related risks in an uncertain world. Because everyone can envision themselves to be among the unfortunate, social insurance fuses self-interest and solidarism in a normative principle Friedman (2020) calls probabilistic justice. But there is a competing principle of status defense, where the aim is to erect boundaries between socioeconomic strata and discourage cross-class mobility. We argue that this principle dominates when inequality is high and uncertainty low. The current (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. The origins of moral judgment.Richard Joyce - 2014 - In Frans B. M. De Waal, Patricia Smith Churchland, Telmo Pievani & Stefano Parmigiani (eds.), Evolved Morality: The Biology and Philosophy of Human Conscience. Leiden, The Netherlands: Brill.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  42. Social Robots and Society.Sven Nyholm, Cindy Friedman, Michael T. Dale, Anna Puzio, Dina Babushkina, Guido Lohr, Bart Kamphorst, Arthur Gwagwa & Wijnand IJsselsteijn - 2023 - In Ibo van de Poel (ed.), Ethics of Socially Disruptive Technologies: An Introduction. Cambridge, UK: Open Book Publishers. pp. 53-82.
    Advancements in artificial intelligence and (social) robotics raise pertinent questions as to how these technologies may help shape the society of the future. The main aim of the chapter is to consider the social and conceptual disruptions that might be associated with social robots, and humanoid social robots in particular. This chapter starts by comparing the concepts of robots and artificial intelligence and briefly explores the origins of these expressions. It then explains the definition of a social robot, as well (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  10
    The Cogito Arguments of Descartes and Augustine.Joyce Lazier & Brett Gaul - 2011-09-16 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments. Wiley‐Blackwell. pp. 131–136.
    This chapter contains sections titled: Descartes' Cogito Augustine's “Si fallor, sum” Argument (If I Am Mistaken, I Exist).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. How should evidence inform educational policy?Kathryn Joyce & Nancy Cartwright - 2023 - In Randall R. Curren (ed.), Handbook of philosophy of education. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  45. How should evidence inform educational policy?Kathryn Joyce & Nancy Cartwright - 2023 - In Randall R. Curren (ed.), Handbook of philosophy of education. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  46.  6
    Categorical Imperative as the Source for Morality.Joyce Lazier - 2011-09-16 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments. Wiley‐Blackwell. pp. 217–220.
  47.  7
    Ernst Cassirer and the Philosophy of Science.Michael Friedman - 2005 - In Gary Gutting (ed.), Continental Philosophy of Science. Blackwell. pp. 69–83.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  4
    Are you watching closely?: cultural paranoia, new technologies, and the contemporary Hollywood misdirection film.Seth Friedman - 2017 - Albany: State University of New York Press.
    Retrospective issues: the discursive approach to genre and the misdirection film -- -- The truth is out there: manufacturing conspiratorial narrative coherence -- Constructing the (im)perfect cover: masculine masquerade and narrative agency -- -- Start making sense: narrative complexity, DVD, and online fandom -- The masters of misdirection: branding M. Night Shyamalan and Christopher Nolan -- Genre prestige: the misdirection film as blockbuster and middlebrow art -- Conclusion.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Biologische oiffasung.Israel] Friedman - 1946 - [Buenos Aires]:
    No categories
     
    Export citation  
     
    Bookmark  
  50.  1
    Martin Buber.Maurice S. Friedman - 1960 - New York,: Harper.
    The first study in any language to provide a complete overview of Buber's thought, remains the definitive guide to the full range of his work and the starting point for all modern Buber scholarship. As well as summarizing Buber's early intellectual development and attitudes - his mysticism, his youthful existentialism, his philosophy of Judaism and religious socialism - it focuses on the two crucial issues of his mature thought: his dialogic or I-Thou philosophy, and his probing of the nature and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000