Results for 'Craig Smorynski'

(not author) ( search as author name )
1000+ found
Order:
  1. The incompleteness theorems.Smoryński Craig - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 822--865.
     
    Export citation  
     
    Bookmark   1 citation  
  2. The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: 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   14 citations  
  6.  98
    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.  42
    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.  69
    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. The Kalam Cosmological Argument.William Lane Craig - 1998 - In Philosophy of Religion: A Reader and Guide. New Brunswick, N.J.: Georgetown Univ Pr. pp. 383-383.
  15.  83
    The mind of God and the works of man.Edward Craig - 1987 - Oxford [Oxfordshire]: Clarendon Press.
    What is the connection between philosophy as studied in universities and those general views of man and reality which are commonly considered "philosophy"? Through his attempt to rediscover this connection, Craig offers a view of philosophy and its history since the early 17th century. Craig discusses the two contrary visions of man's essential nature that dominated this period--one portraying man as made in the image of God and required to resemble him as closely as possible, the other depicting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  16. 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   277 citations  
  17. 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.
  18.  16
    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 the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  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.
  20. Epistemological Disjunctivism and its Representational Commitments.Craig French - 2019 - In Casey Doyle, Joe Milburn & Duncan Pritchard (eds.), New Issues in Epistemological Disjunctivism. Routledge.
    Orthodox epistemological disjunctivism involves the idea that paradigm cases of visual perceptual knowledge are based on visual perceptual states which are propositional, and hence representational. Given this, the orthodox version of epistemological disjunctivism takes on controversial representational commitments in the philosophy of perception. Must epistemological disjunctivism involve these commitments? I don’t think so. Here I argue that we can take epistemological disjunctivism in a new direction and develop a version of the view free of these representational commitments. The basic idea (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  52
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  22. Anaphora in Intensional Contexts.Craige Roberts - 1996 - In Shalom Lappin (ed.), The handbook of contemporary semantic theory. Cambridge, Mass., USA: Blackwell Reference. pp. 215--246.
    In the semantic literature, there is a class of examples involving anaphora in intensional contexts, i.e. under the scope of modal operators or propositional attitude predicates, which display anaphoric relations that appear at first glance to violate otherwise well-supported generalizations about operator scope and anaphoric potential. In Section 1,I will illustrate this phenomenon, which, for reasons that should become clear below, I call modal subordination; I will develop a general schema for its identification, and show how it poses problems for (...)
     
    Export citation  
     
    Bookmark   23 citations  
  23. 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  
  24.  93
    Philosophy of religion: a reader and guide.William Lane Craig (ed.) - 2002 - New Brunswick, N.J.: Rutgers University Press.
    This book is a combined anthology and guide intended for use as a textbook in courses on philosophy of religion. It aims to bring to the student the very best of cutting-edge work on important topics in the field. (publisher, edited).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  8
    The Bakhtin Circle: In the Master's Absence.Craig Brandist, David Shepherd, Lecturer in Russian Studies David Shepherd, Galin Tihanov & Junior Research Fellow in Russian and German Intellectual History Galin Tihanov - 2004 - Manchester University Press.
    The Russian philosopher and cultural theorist Mikhail Bakhtin has traditionally been seen as the leading figure in the group of intellectuals known as the Bakhtin Circle. The writings of other members of the Circle are considered much less important than his work, while Bakhtin's achievement has been exaggerated in proportion to the downgrading of the thinkers with whom he associated in the 1920s. This volume, which includes new translations and studies of the work of the most important members of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  42
    Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
  27.  61
    Are individual rights necessary? A Confucian perspective.Craig K. Ihara - 2004 - In Kwong-Loi Shun & David B. Wong (eds.), Confucian Ethics: A Comparative Study of Self, Autonomy, and Community. Cambridge: Cambridge University Press. pp. 11--30.
  28.  17
    The Unprovability of Consistency. An Essay in Modal Logic.C. Smoryński - 1979 - Journal of Symbolic Logic 46 (4):871-873.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  29. Organizational Ethics: A Practical Approach.Craig E. Johnson - 2011 - Thousand Oaks, California: Sage Publications.
    Ethical perspectives -- Components of personal ethical development -- Ethical decision making and action -- Ethical interpersonal communication -- Exercising ethical influence -- Ethical conflict management and negotiation -- Improving group ethical performance -- Leadership ethics -- Followership ethics -- Building an ethical organizational culture -- Managing ethical hotspots in organizations -- Promoting organizational citizenship in a global society.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. 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  
  31.  14
    Philosophy of Religion: A Reader and Guide.William Lane Craig (ed.) - 1998 - New Brunswick, N.J.: Georgetown Univ Pr.
    This 2-in-1 anthology and guide brings together the most influential readings on key topics in philosophy of religion from the Christian tradition and sets them in context.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  42
    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  
  33. Gödel's incompleteness theorems.C. A. Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 27.
     
    Export citation  
     
    Bookmark  
  34. Theism, atheism, and big bang cosmology.William Lane Craig & Quentin Smith - 1993 - New York: Oxford University Press. Edited by Quentin Smith.
    Contemporary science presents us with the remarkable theory that the universe began to exist about fifteen billion years ago with a cataclysmic explosion called "the Big Bang." The question of whether Big Bang cosmology supports theism or atheism has long been a matter of discussion among the general public and in popular science books, but has received scant attention from philosophers. This book sets out to fill this gap by means of a sustained debate between two philosophers, William Lane (...) and Quentin Smith, who defend opposing positions. Craig argues that the Big Bang that began the universe was created by God, while Smith argues that the Big Bang has no cause. Alternating chapters by the two philosophers criticize and attempt to refute preceding arguments. Their arguments are based on Einstein's theory of relativity and include a discussion of the new quantum cosmology recently developed by Stephen Hawking and popularized in A Brief History of Time. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  35.  45
    The war lover: a study of Plato's Republic.Leon Harold Craig - 1996 - Buffalo: University of Toronto Press.
    This is an essential book for every serious student of Plato, for anyone teaching the Republic, and for every library.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. 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  
  37.  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.
  38.  13
    Elementary extensions of recursively saturated models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203.
  39.  11
    Thinking about Addiction: Hyperbolic Discounting and Responsible Agency.Craig Hanson (ed.) - 2009 - BRILL.
    What is addiction? Why do some people become addicted while others do not? Is the addict rational? In this book, Craig Hanson attempts to answer these questions and more. Using insights from the beginnings of philosophy to contemporary behavioral economics, Hanson attempts to assess the variety of ways in which we can and cannot, understand addiction. Special consideration is given to a challenging (and controversial) proposal dubbed “hyperbolic discounting.” Hanson proposes some modifications to the hyperbolic discounting view that permit (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Meaning, Use and Privacy.E. Craig - 1982 - Mind 91:541.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  41. Being Sympathetic to Bad-History Wrongdoers.Craig K. Agule - 2021 - Pacific Philosophical Quarterly (1):147-169.
    For many philosophers, bad-history wrongdoers are primarily interesting because of what their cases might tell us about the interaction of moral responsibility and history. However, philosophers focusing on blameworthiness have overlooked important questions about blame itself. These bad-history cases are complicated because blame and sympathy are both fitting. When we are careful to consider the rich natures of those two reactions, we see that they conflict in several important ways. We should see bad-history cases as cases about whether and how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42. From Ideal Worlds to Ideality.Craig Warmke - 2023 - Journal of the American Philosophical Association 9 (1):114-134.
    In common treatments of deontic logic, the obligatory is what is true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  34
    Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  44. 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   100 citations  
  45.  34
    The Nonproliferation Complex.Campbell Craig & Jan Ruzicka - 2013 - Ethics and International Affairs 27 (3):329-348.
    For more than four decades the twin goals of nuclear nonproliferation and disarmament have been an almost unchallenged objective of the “international community.” Like drought prevention, or bans on the use of child soldiers, nonproliferation remains a mostly uncontroversial, largely universalistic initiative to which few object. The proponents of nonproliferation are fond of stressing that the Treaty on the Nonproliferation of Nuclear Weapons (NPT) has more signatories than any other arms control treaty. Who would not want to prevent more states (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Einstein, relativity and absolute simultaneity.William Lane Craig & Quentin Smith - 2007 - In Jennifer McMahon (ed.), Aesthetics and Material Beauty: Aesthetics Naturalized. New York: Routledge.
     
    Export citation  
     
    Bookmark   2 citations  
  47. Distinctive duress.Craig K. Agule - 2020 - Philosophical Studies 177 (4):1007-1026.
    Duress is a defense in both law and morality. The bank teller who provides an armed robber with the bank vault combination, the innocent suspect who fabricates a story after hours of interrogation, the Good Samaritan who breaks into a private cabin in the woods to save a stranded hiker, and the father who drives at high speed to rush his injured child to the hospital—in deciding how to respond to agents like these, we should take into account that they (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  10
    Systems theory for pragmatic schooling: toward principles of democratic education.Craig A. Cunningham - 2014 - New York: Palgrave-Macmillan.
    The schooling we have -- The nature of nature -- Systems -- The complexities of schooling -- Learners and learning -- Teachers and teaching -- The schooling we need -- Epilogue: emergent principles of democratic schooling.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  7
    Evandro Agazzi: Right, Wrong and Science: The Ethical Dimensions of the Techno-Scientific Enterprise.Craig Dilworth (ed.) - 2004 - BRILL.
    Solving the problem of the negative impact of science and technology on society and the environment is indeed the greatest challenge of our time. To date, this challenge has been taken up by few professional philosophers of science, making this volume a welcome contribution to the general debate. Agazzi’s treatment involves viewing modern science and technology as each constituting _systems._ Against the background of this approach, he provides a penetrating analysis of science, technology and ethics, and their interrelations. Agazzi sees (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. 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  
1 — 50 / 1000