Results for 'Craig Smorynski'

(not author) ( search as author name )
1000+ found
Order:
  1. The incompleteness theorems.Smoryński Craig - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 822--865.
     
    Export citation  
     
    Bookmark   1 citation  
  2. The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
  3.  80
    Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
    The proof of the Second Incompleteness Theorem consists essentially of proving the uniqueness and explicit definability of the sentence asserting its own unprovability. This turns out to be a rather general phenomenon: Every instance of self-reference describable in the modal logic of the standard proof predicate obeys a similar uniqueness and explicit definability law. The efficient determination of the explicit definitions of formulae satisfying a given instance of self-reference reduces to a simple algebraic problem-that of solving the corresponding fixed-point equation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  30
    The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
    In a recent paper, Montagna proved the undecidability of the first-order theory of diagonalisable algebras. This result is here refined — the set of finitely refutable sentences is shown effectively inseparable from the set of theorems. The proof is quite simple.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  27
    Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  97
    Review of P. Smith, An introduction to Gödel's theorems[REVIEW]Craig Smorynski - 2010 - Philosophia Mathematica 18 (1):122-127.
    (No abstract is available for this citation).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  26
    Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
  8.  41
    Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  68
    Craig Smorynski. Adventures in formalism. London: College publications, 2012. Isbn 978-1-84890-060-8. Pp. XII + 606.R. Jones - 2012 - Philosophia Mathematica 20 (3):401-403.
  10.  12
    Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
  11.  10
    Review: Craig Smorynski, Modal Logic and Self-Reference. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
  12.  27
    Eckart Menzler-Trott. Translated by Craig Smoryński and Edward Griffor. Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33. American Mathematical Society, Providence, RI, 2007, xxii+441 pp. [REVIEW]W. W. Tait - 2010 - Bulletin of Symbolic Logic 16 (2):270-275.
  13.  13
    Eckart Menzler‐Trott. Logic's Lost Genius: The Life of Gerhard Gentzen. Translated by, Craig Smoryński and Edward Griffor. xxii + 441 pp., apps., bibl., index. Providence, R.I.: American Mathematical Society, 2007. $89. [REVIEW]Charles Parsons - 2009 - Isis 100 (2):424-425.
  14.  15
    Redefining mental invasiveness in psychiatric treatments: insights from schizophrenia and depression therapies.Craig Waldence McFarland & Justis Victoria Gordon - 2024 - Journal of Medical Ethics 50 (4):238-239.
    Over 50% of the world population will develop a psychiatric disorder in their lifetime. 1 In the realm of psychiatric treatment, two primary modalities have been established: pharmacotherapy and psychotherapy. Yet, pharmacological interventions often take precedence as the initial treatment choice despite their comparable outcomes, severe side effects and disputed evidence of their efficacy. This preference for medication foregrounds a vital re-examination of what it means to be invasive in medical treatments, namely in psychiatric care. De Marco _et al_ challenge (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  33
    Extensions of Non-Standard Models of Number Theory.C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
  16.  10
    Acts, intentions, and moral evaluation: a dialogue.Craig M. White - 2023 - New York, NY: Routledge.
    This book argues that the moral quality of an act comes from the agent's inner states. By arguing for the indispensable relevance of intention in the moral evaluation of acts, the book moves against a mainstream, 'objective' approach in normative ethics. It is commonly held that the intentions, knowledge, and volition of agents are irrelevant to the moral permissibility of their acts. This book stresses that the capacities of agency, rather than simply the label 'agent', must be engaged during an (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Leibnizian Idealism.Craig Warmke - 2021 - In Joshua R. Farris & Benedikt Paul Göcke (eds.), The Routledge Handbook of Idealism and Immaterialism. New York, NY: Routledge. pp. 167-178.
    This chapter offers an interpretation of Gottfried Wilhelm Leibniz’s idealism. Despite Leibniz’s frequent claim that the universe ultimately boils down to monads, he also sometimes appears to say that the world’s fundamental furniture includes extended, corporeal substances. Here, I examine Leibniz’s views about the relationship between monads and the material world, especially in connection with material bodies and corporeal substances.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  9
    Procreating in an Overpopulated World: Role Moralities and a Climate Crisis.Craig Stanbury - forthcoming - Journal of Bioethical Inquiry:1-13.
    It is an open question when procreation is justified. Antinatalists argue that bringing a new individual into the world is morally wrong, whereas pronatalists say that creating new life is morally good. In between these positions lie attempts to provide conditions for when taking an anti or pronatal stance is appropriate. This paper is concerned with developing one of these attempts, which can be called qualified pronatalism. Qualified pronatalism typically claims that while procreation can be morally permissible, there are constraints (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Corrections and Ethics: Greater Accuracy Through Honesty.Craig Silverman - 2014 - In Kelly McBride & Tom Rosenstiel (eds.), The new ethics of journalism: principles for the 21st century. Los Angeles: SAGE.
     
    Export citation  
     
    Bookmark   1 citation  
  20. Between persecution and reconciliation : criminal justice, legal form and human emancipation.Craig Reeves, Alan Norrie & Henrique Carvalho - 2019 - In Emilios A. Christodoulidis, Ruth Dukes & Marco Goldoni (eds.), Research handbook on critical legal theory. Northampton, MA: Edward Elgar Publishing.
     
    Export citation  
     
    Bookmark   3 citations  
  21. Providence and seventeenth-century attacks on Averroes.Craig Martin - 2015 - In Paul J. J. M. Bakker, Cristina Cerami, Jean-Baptiste Brenet, Dag Nikolaus Hasse, Silvia Donati, Cecilia Trifogli, Edith Dudley Sylla & Craig Martin (eds.), Averroes' natural philosophy and its reception in the Latin west. Leuven: Leuven University Press.
     
    Export citation  
     
    Bookmark  
  22.  5
    Small Farms, Big Ideas.Craig Van Pelt - 2017-07-26 - In William Irwin & Roy T. Cook (eds.), LEGO® and Philosophy. Wiley. pp. 145–151.
    The farms in the LEGO Farm theme are immaculate. They feature sparkling clean tractors, pristine fences, and the complete absence of dirt. Whether it is on purpose, or a limitation based on the number of pieces that can be placed inside a box, LEGO Farm presents an agricultural utopia. The farms are smaller, less dependent on toxic inputs, and friendlier to animals than real‐life commercial farms. LEGO Farm often features animals that are clean and well fed. Some animals even appear (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  13
    Moral Difference and Moral Differences.Craig Taylor - 2023 - Sophia 62 (4):619-630.
    The idea that human beings have a distinct moral worth—a moral significance over and above any moral worth, such as that may be, possessed by other animals—has a long history and has traditionally been taken for granted by philosophers and theologians. However, in a variety of quarters in recent philosophy, this idea has come into disrepute, seeming to indicate a mere prejudice in favour of our own species. For example, Peter Singer has argued that such a position is mere speciesism, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  41
    Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
  25. Response.Craig Mattson - 2009 - In J. Matthew Bonzo & Michael Roger Stevens (eds.), After worldview: Christian higher education in postmodern worlds. Sioux Center, Iowa: Dordt College Press.
     
    Export citation  
     
    Bookmark  
  26.  36
    Introduction to political science: how to think for yourself about politics.Craig Parsons - 2017 - Hoboken, NJ: Pearson.
    Politics pervades every aspect of our lives as human beings. As Aristotle said, we are "political animals.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. How to control disease transmission : Brazier and Harris's 'public health and private lives'.Craig Purshouse - 2023 - In Sara Fovargue & Craig Purshouse (eds.), Leading works in health law and ethics. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  28. A quick read(ies) : speed and formula in Bob Brown's Pulp fiction and avant-garde machines.Craig Saper - 2010 - In Renée M. Silverman (ed.), The popular avant-garde. New York, NY: Rodopi.
     
    Export citation  
     
    Bookmark  
  29.  10
    A sense for humanity: the ethical thought of Raimond Gaita.Craig Taylor & Melinda Kathleen Graefe (eds.) - 2014 - Clayton, Victoria: Monash University Publishing.
    The essays in this collection examine the influence of Gaita's ethical thought in a broad sense, beyond academic philosophy, especially within Australian society and culture where it has been most significant. Through his various works, including his acclaimed biography, Romulus: My Father, Gaita's ethical thought has had a considerable impact on the intellectual and cultural life of Australia.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  17
    A note on initial segment constructions in recursively saturated models of arithmetic.C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):393-408.
  31.  13
    Elementary extensions of recursively saturated models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203.
  32.  13
    Academic and Private Partnership to Improve Informed Consent Forms Using a Data Driven Approach.Craig Tendler, Patricia S. Hong, Conor Kane, Christa Kopaczynski, William Terry & Ezekiel J. Emanuel - 2023 - American Journal of Bioethics 24 (4):8-10.
    Informed consent documents are central to the informed consent process and are required for participation in clinical trials in the U.S. The primary purpose of the document is “to assist a prospect...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  10
    Social Innovation Is a Team Sport: Combining Top-Down and Shared Leadership for Social Innovation.Craig L. Pearce & Daan van Knippenberg - 2024 - Business and Society 63 (5):1067-1072.
    Leading social innovation is challenging. Creating enduring social innovation requires navigating the tension of simultaneously engaging top-down and shared leadership. We outline the crux of the challenge and provide key takeaways and practical advice for the tandem deployment of top-down and shared leadership for social innovation success.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. A future for presentism.Craig Bourne - 2006 - New York: Oxford University Press.
    How can we talk meaningfully about the past if it does not exist to be talked about? What gives time its direction? Is time travel possible? This defence of presentism - the view that only the present exists - makes an original contribution to a fast growing and exciting debate.
  35.  6
    Free in deed: the heart of Lutheran ethics.Craig L. Nessan - 2022 - Minneapolis: Fortress Press.
    Free in Deed provides an imaginative and succinct introduction to Lutheran ethics, which author Craig L. Nessan contends is, finally, neighbor ethics. The gospel of Jesus Christ sets us free to serve the well-being of our neighbors and all of creation. This Lutheran framework provides a distinctive approach for navigating social issues in tumultuous times."--back cover.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  34
    Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  37. Humanism and the assessment of Averroes in the Renaissance.Craig Martin - 2013 - In Anna Akasoy & Guido Giglioni (eds.), Renaissance Averroism and its aftermath: Arabic philosophy in early modern Europe. New York: Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Philosophy, medicine and humanism in Cesalpino's investigation into demons.Craig Martin - 2023 - In Fabrizio Baldassarri & Craig Edwin Martin (eds.), Andrea Cesalpino and Renaissance Aristotelianism. New York: Bloomsbury.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  21
    A Future for Presentism.Craig Bourne - 2006 - Oxford, GB: Oxford University Press UK.
    How can we talk meaningfully about the past if it does not exist to be talked about? What gives time its direction? Is time travel possible? This defence of presentism - the view that only the present exists - makes an original contribution to a fast growing and exciting debate.
  40.  52
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  41. Information Structure in Discourse: Towards an Integrated Formal Theory of Pragmatics.Craige Roberts - 1996 - Semantics and Pragmatics 5:1-69.
    A framework for pragmatic analysis is proposed which treats discourse as a game, with context as a scoreboard organized around the questions under discussion by the interlocutors. The framework is intended to be coordinated with a dynamic compositional semantics. Accordingly, the context of utterance is modeled as a tuple of different types of information, and the questions therein — modeled, as is usual in formal semantics, as alternative sets of propositions — constrain the felicitous flow of discourse. A requirement of (...)
     
    Export citation  
     
    Bookmark   268 citations  
  42.  12
    Assaulted personhood: original and everyday sins attacking the "other".Craig C. Malbon - 2021 - Lanham, Maryland: Hamilton Books.
    In 21st century America, personhood is under daily assault, sometimes with dire consequences. Scientist, ethicist, and ordained minister Craig C. Malbon encourages the reader to consider such assaults on personhood endured by victims of abortion, ageism, Alzheimer's disease, drug addiction, mental and physical disabilities, gender, gender orientation, racism, sexual preference, identity politics, and our will-to-power over the "other." In exploring personhood status, Malbon poses difficult questions for us. Is personhood assigned as all-or-nothing, or is it a sliding scale based (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  36
    Cofinal extensions of nonstandard models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144.
  44.  14
    Racism in psychology: challenging theory, practice and institutions.Craig Newnes (ed.) - 2021 - New York: Routledge.
    Racism in Psychology examines the history of racism in psychological theory, practice and institutions. The book offers critical reviews by scholars and practising therapists from the US, Africa, Asia, Australia and Europe on racism on the couch and in the wider socio-historical context. The authors present a mixed experience of the success of efforts to counter racism in theory, institutions and organizations and differing views on the possibility of institutional change. Chapters discuss the experience of therapists, anti-Semitism, inter-sectionality and how (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. The normative foundations of restitution for wrongs : justifying gain-based relief for nuisance.Craig Rotherham - 2009 - In Andrew Robertson & Hang Wu Tang (eds.), The goals of private law. Portland, Or.: Hart.
     
    Export citation  
     
    Bookmark  
  46.  39
    Philosophical psychology: psychology, emotions, and freedom.Craig Steven Titus (ed.) - 2009 - Washington, DC: Catholic University of America Press.
    In line with her hopes, Philosophical Psychology outlines a vision that seeks to do justice to the complexity of the human person.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Picking up the pieces of philosophical psychology : an introduction.Craig Steven Titus - 2009 - In Philosophical psychology: psychology, emotions, and freedom. Washington, DC: Catholic University of America Press.
     
    Export citation  
     
    Bookmark  
  48. Minding Negligence.Craig K. Agule - 2022 - Criminal Law and Philosophy 16 (2):231-251.
    The counterfactual mental state of negligent criminal activity invites skepticism from those who see mental states as essential to responsibility. Here, I offer a revision of the mental state of criminal negligence, one where the mental state at issue is actual and not merely counterfactual. This revision dissolves the worry raised by the skeptic and helps to explain negligence’s comparatively reduced culpability.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  17
    Dispositions.Edward Craig - 1987 - Philosophical Quarterly 37 (146):109-111.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  50. Business Ethics from the Standpoint of Redemption: Adorno on the Possibility of Good Work.Craig Reeves & Matthew Sinnicks - 2021 - Business Ethics Quarterly 31 (4):500-523.
    Given his view that the modern world is ‘radically evil’, Adorno is an unlikely contributor to business ethics. Despite this, we argue that his work has a number of provocative implications for the field that warrant wider attention. Adorno regards our social world as damaged, unfree, and false and we draw on this critique to outline why the achievement of good work is so rare in contemporary society, focusing in particular on the ethical demands of roles and the ideological nature (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 1000