Results for 'Craig Smorynski'

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.  78
    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.  24
    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.  40
    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.  64
    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.  14
    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.  11
    Time, Reality and Experience.Craig Callender (ed.) - 2002 - Cambridge University Press.
    Why does time seem to flow in one direction? Can we influence the past? Is only the present real? Does relativity conflict with our common understanding of time? How does time relate to free will? Could science do away with time? These questions and others about time are among the most puzzling problems in philosophy and science. In this exciting collection of original articles, eminent philosophers propose novel answers to these and other questions. Based on the latest research in philosophy (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  38
    A Debate on God and Morality: What is the Best Account of Objective Moral Values and Duties?William Lane Craig & Erik J. Wielenberg - 2020 - New York, NY: Routledge. Edited by Erik J. Wielenberg & Adam Lloyd Johnson.
    In 2018, William Lane Craig and Erik J. Wielenberg participated in a debate at North Carolina State University, addressing the question: "God and Morality: What is the best account of objective moral values and duties?" Craig argued that theism provides a sound foundation for objective morality whereas atheism does not. Wielenberg countered that morality can be objective even if there is no God. This book includes the full debate, as well as endnotes with extended discussions that were not (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  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  
  18. On the Myth of Psychotherapy.Craig French - forthcoming - Philosophy, Psychiatry, and Psychology.
    Thomas Szasz famously argued that mental illness is a myth. Less famously, Szasz argued that since mental illness is a myth, so too is psychotherapy. Szasz’ claim that mental illness is a myth has been much discussed, but much less attention has been paid to his claim that psychotherapy is a myth. In the first part of this essay, I critically examine Szasz’ discussion of psychotherapy in order to uncover the strongest version of his case for thinking that it is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  11
    The Prodigy That Time Forgot: The Incredible and Untold Story of John von Newton.Craig Callender - 2024 - In Angelo Bassi, Sheldon Goldstein, Roderich Tumulka & Nino Zanghi (eds.), Physics and the Nature of Reality: Essays in Memory of Detlef Dürr. Springer. pp. 51-61.
    By developing an absurd counterfactual history, I show that many objections launched against Bohmian mechanics could also have been made against Newtonian mechanics. This paper introduces readers to Koopman–von Neumann dynamics, an operator-based Hilbert space representation of classical statistical mechanics. Lessons for quantum foundations are drawn by replaying the battles between advocates of standard quantum theory and Bohmian mechanics in a fictional classical history.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21.  34
    Philosophy of Film Without Theory.Craig Fox & Britt Harrison (eds.) - 2023 - Palgrave Macmillan.
    Is philosophy of film without theory an oxymoron or a family of non-, anti-, and a-theoretical approaches with which to engage in film-involving philosophical scholarship and understanding? The goal of this collection is to argue for the latter and to do so by example. By demonstrating a mere handful of the many ways in which philosophy of film without theory might be pursued, in tandem with the insights born of these methods, the volume’s contributors both implicitly and explicitly challenge the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  26
    I’m Not Welcome There: Why I Am Not Attending IAB 2024.Craig M. Klugman - 2024 - American Journal of Bioethics 24 (4):34-36.
    Despite the promise of international collaboration and sharing by bringing together bioethicists from throughout the world at the 2024 IAB conference in Qatar, I will not be attending. The authors...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  21
    Habermas and Religion.Craig J. Calhoun, Eduardo Mendieta & Jonathan VanAntwerpen (eds.) - 2012 - Malden, MA: Polity.
    To the surprise of many readers, Jürgen Habermas has recently made religion a major theme of his work. Emphasizing both religion's prominence in the contemporary public sphere and its potential contributions to critical thought, Habermas's engagement with religion has been controversial and exciting, putting much of his own work in fresh perspective and engaging key themes in philosophy, politics and social theory. Habermas argues that the once widely accepted hypothesis of progressive secularization fails to account for the multiple trajectories of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  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  
  25.  6
    Social theory and the political imaginary: practice, critique, and history.Craig Browne - 2023 - New York, NY: Routledge.
    Social Theory and the Political Imaginary: Practice, Critique and History is an innovative work of synthesis, critique, and analysis. It presages a social theory perspective that recognises the constitutive significance of the political imaginary in modernity. Social theory's current dilemmas are explored through a series of interlinked asssessments of some of its recent substantial strands, specifically, Luc Boltanski's pragmatism and the wider 'practical turn', the perspectives of multiple modernities and global modernity, the outlook of social and political imaginaries, and critical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  37
    Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
  27. What Makes Time Special?Craig Callender - 2017 - Oxford: Oxford University Press.
    As we navigate through life, we model time as flowing, the present as special, and the past as “dead.” This model of time—manifest time—develops in childhood and later thoroughly infiltrates our language, thought, and behavior. It is part of what makes a human life recognizably human. Yet if physics is correct, this model of the world is deeply mistaken. This book is about this conflict between manifest and physical time. The first half dives into the physics and philosophy to establish (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   88 citations  
  28.  12
    David Hume: e. Einf. in seine Philosophie.Edward Craig - 1979 - Frankfurt am Main: Klostermann.
    Der Verfasser legt einen Kommentar vor, der allen Lesern von Humes erkenntnistheoretischen Schriften hilfreich sein wird; auch werden zentrale Aspekte seiner Moral- und Religionsphilosophie vorgefuhrt und diskutiert. Dabei wird ein Gesamtbild der Philosophie Humes entwickelt und in den Zusammenhang des zeitgenossischen europaischen Denkens gestellt. Hier bekampft der Verfasser die gelaufige Interpretation, derzufolge Hume als der konsequente Zerstorer des Empirismus gilt; Humes Ziel sei eher die Widerlegung einer Weltauffassung, die fast allen Philosophen seiner Epoche, Empiristen und Rationalisten, gemeinsam war. In einem (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Introducción a l2 filosofía.Izurieta Craig & Juan José[From Old Catalog] - 1965 - Buenos Aires,: Ediciones Esnaola.
     
    Export citation  
     
    Bookmark  
  30.  9
    Philosophy: medical ethics.Craig M. Klugman (ed.) - 2016 - Farmington Hills, Mich: Macmillan Reference USA, a part of Gale, Cengage Learning.
    The Macmillan Interdisciplinary Handbooks: Philosophy series serves undergraduate college students who have had little or no exposure to philosophy, as well as the curious lay reader. Following this first primer volume, which introduces both the discipline and the topics of the remaining nine volumes, each handbook will usher the reader into a subfield of philosophy (see list of titles below), and explore fifteen to thirty topics in that subfield. Every chapter in each volume will use vehicles such as film to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. 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  
  32.  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.
  33.  13
    Elementary extensions of recursively saturated models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203.
  34. 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  
  35.  51
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  36. 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.
  37.  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  
  38.  12
    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  
  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.  34
    Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  41. 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  
  42. History and theory of the cosmos : the role of God in Kant's universal natural history and theory of the heavens (1755).Craig Bacon & Konstantin Pollok - 2023 - In Ina Goy (ed.), Kant on Proofs for God’s Existence. Boston: De Gruyter.
     
    Export citation  
     
    Bookmark  
  43.  10
    Memory and the political art in Plato's Statesman.Catherine Craig - 2023 - Lanham, Maryland: Lexington Books.
    Memory and the Political Art in Plato's Statesman provides a novel reading of Plato's Statesman, while arguing that the philosophic and practical dimensions of memory create a framework for political life.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Technology and values: essential readings.Craig Hanks (ed.) - 2010 - Malden, MA: Wiley-Blackwell.
    Cowan, Ruth Schwartz (1983) More Work for Mother: The Ironies of Household Technology from the Open Hearth to the Microwave. New York: Basic. ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Popular' aesthetics and personal art appreciation in the Hellenistic age.Craig Hardiman - 2012 - In I. Sluiter & Ralph Mark Rosen (eds.), Aesthetic value in classical antiquity. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  46. 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  
  47. Resisting Tracing's Siren Song.Craig Agule - 2016 - Journal of Ethics and Social Philosophy 10 (1):1-24.
    Drunk drivers and other culpably incapacitated wrongdoers are often taken to pose a problem for reasons-responsiveness accounts of moral responsibility. These accounts predicate moral responsibility upon an agent having the capacities to perceive and act upon moral reasons, and the culpably incapacitated wrongdoers lack exactly those capacities at the time of their wrongdoing. Many reasons-responsiveness advocates thus expand their account of responsibility to include a tracing condition: The culpably incapacitated wrongdoer is blameworthy despite his incapacitation precisely because he is responsible (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  48. 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  
  49. 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  
  50.  7
    Christian philosophy: a systematic and narrative introduction.Craig G. Bartholomew - 2013 - Grand Rapids, Michigan: Baker Academic, A division of Baker Publishing Group. Edited by Michael W. Goheen.
    This third book in a series of successful introductory textbooks by Craig Bartholomew and Michael Goheen builds on their previous projects, The Drama of Scripture and Living at the Crossroads, to offer a comprehensive narrative of philosophical thought from a distinctly Christian perspective. After exploring the interaction among Scripture, worldview, theology, and philosophy, the authors tell the story of philosophy from ancient Greece through postmodern times, positioning the philosophers in their historical contexts and providing Christian critique along the way. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000