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.  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. 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.  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  
  16. 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.
  17.  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.
  18.  52
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  19. 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  
  20.  41
    Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
  21.  92
    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  
  22.  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  
  23. 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  
  24.  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  
  25.  39
    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  
  26. 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  
  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
    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.
  29.  13
    Elementary extensions of recursively saturated models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203.
  30. 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  
  31.  9
    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  
  32. 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  
  33.  34
    Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  34. Meaning, Use and Privacy.E. Craig - 1982 - Mind 91:541.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  35. 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   89 citations  
  36.  44
    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  
  37. 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  
  38.  36
    Cofinal extensions of nonstandard models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144.
  39.  17
    Dispositions.Edward Craig - 1987 - Philosophical Quarterly 37 (146):109-111.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  40.  14
    Commutativity and self-reference.C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):443-452.
  41. 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  
  42.  33
    Extensions of Non-Standard Models of Number Theory.C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
  43. Habermas and the Public Sphere.Craig Calhoun (ed.) - 1993 - MIT Press.
    Harry C. Boyte. Craig Calhoun. Geoff Eley. Nancy Fraser. Nicholas Garnham. JürgenHabermas. Peter Hohendahl. Lloyd Kramer. Benjamin Lee. Thomas McCarthy. Moishe Postone. Mary P.Ryan. Michael Schudson. Michael Warner. David Zaret.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   88 citations  
  44.  81
    Attitudes toward physician-assisted suicide among physicians in Vermont.A. Craig, B. Cronin, W. Eward, J. Metz, L. Murray, G. Rose, E. Suess & M. E. Vergara - 2007 - Journal of Medical Ethics 33 (7):400-403.
    Background: Legislation on physician-assisted suicide is being considered in a number of states since the passage of the Oregon Death With Dignity Act in 1994. Opinion assessment surveys have historically assessed particular subsets of physicians.Objective: To determine variables predictive of physicians’ opinions on PAS in a rural state, Vermont, USA.Design: Cross-sectional mailing survey.Participants: 1052 physicians licensed by the state of Vermont.Results: Of the respondents, 38.2% believed PAS should be legalised, 16.0% believed it should be prohibited and 26.0% believed it should (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45. Routledge Encyclopedia of Philosophy: Genealogy to Iqbal.Edward Craig - 1996 - New York: Routledge.
    The_ Routledge Encyclopedia of Philosophy_ is the most ambitious international philosophy project in many years. Edited by Edward Craig and assisted by thirty specialist subject editors, the REP consists of ten volumes of the world's most eminent philosophers writing for the needs of students and teachers of philosophy internationally. The REP is a project on an unparalleled scale: Over 2000 entries ranging from 500 to 15,000 words in length - thematic, biographical and national 10 volumes consisting of over 5 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  46. Einstein, relativity, and absolute simultaneity.William Lane Craig & Quentin Smith - 2007 - In Heather Dyke (ed.), Metaphysics and the Representational Fallacy. Routledge.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  47. Defending Elective Forgiveness.Craig K. Agule - 2023 - Ergo: An Open Access Journal of Philosophy 10.
    In deciding whether to forgive, we often focus on the wrongdoer, looking for an apology or a change of ways. However, to fully consider whether to forgive, we need to expand our focus from the wrongdoer and their wrongdoing, and we need to consider who we are, what we care about, and what we want to care about. The difference between blame and forgiveness is, at bottom, a difference in priorities. When we blame, we prioritize the wrong, and when we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  73
    A Defence of the Counterfactual Account of Harm.Craig Purshouse - 2015 - Bioethics 30 (4):251-259.
    In order to determine whether a particular course of conduct is ethically permissible it is important to have a concept of what it means to be harmed. The dominant theory of harm is the counterfactual account, most famously proposed by Joel Feinberg. This determines whether harm is caused by comparing what actually happened in a given situation with the ‘counterfacts’ i.e. what would have occurred had the putatively harmful conduct not taken place. If a person's interests are worse off than (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49. One world, one beable.Craig Callender - 2015 - Synthese 192 (10):3153-3177.
    Is the quantum state part of the furniture of the world? Einstein found such a position indigestible, but here I present a different understanding of the wavefunction that is easy to stomach. First, I develop the idea that the wavefunction is nomological in nature, showing how the quantum It or Bit debate gets subsumed by the corresponding It or Bit debate about laws of nature. Second, I motivate the nomological view by casting quantum mechanics in a “classical” formalism (Hamilton–Jacobi theory) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  50. 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   275 citations  
1 — 50 / 1000