123 found
Order:
Disambiguations
Stephen Read [119]Stephen J. Read [6]Stephen L. Read [1]
See also
Profile: Stephen Read (University of St. Andrews)
  1. General-Elimination Stability.Bruno Jacinto & Stephen Read - 2016 - Studia Logica:1-45.
    General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  39
    Relevant Logic: A Philosophical Examination of Inference.Stephen Read - 1988 - Blackwell.
  3. General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
    Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Truthmakers and the Disjunction Thesis.Stephen Read - 2000 - Mind 109 (432):67-80.
    The correspondence theory of truth has experienced something of a revival recently in the form of the Truthmaker Axiom: whatever is true, something makes it true. We consider various postulates which have been proposed to characterize truthmaking, in particular, the Disjunction Thesis (DT), that whatever makes a disjunction true must make one or other disjunct true. In conjunction with certain other assumptions, DT leads to triviality. We show that there are elaborations of truthmaking on which DT holds (which must therefore (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   24 citations  
  5.  78
    Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
    Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  6.  13
    Revisiting the Role of the Insula in Addiction.Vita Droutman, Stephen J. Read & Antoine Bechara - 2015 - Trends in Cognitive Sciences 19 (7):414-420.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7. Thinking About Logic: An Introduction to the Philosophy of Logic.Stephen Read - 1994 - Oxford University Press.
    In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue (...)
     
    Export citation  
     
    My bibliography   13 citations  
  8. The Liar Paradox From John Buridan Back to Thomas Bradwardine.Stephen Read - 2002 - Vivarium 40 (2):189-218.
  9.  19
    The Philosophy of Logic.Stephen Read - unknown
  10.  45
    Aristotle and Lukasiewicz on Existential Import.Stephen Read - 2015 - Journal of the American Philosophical Association 1 (3):535-544.
    Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based on a number of tendentious claims, not least, the claim that the syllogistic was intended to apply only to non-empty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Formal and Material Consequence.Stephen Read - 1994 - Journal of Philosophical Logic 23 (3):247 - 265.
  12. Merely Confused Supposition.Graham Priest & Stephen Read - 1980 - Franciscan Studies 40 (1):265-97.
    In this article, we discuss the notion of merely confused supposition as it arose in the medieval theory of suppositio personalis. The context of our analysis is our formalization of William of Ockham's theory of supposition sketched in Mind 86 (1977), 109-13. The present paper is, however, self-contained, although we assume a basic acquaintance with supposition theory. The detailed aims of the paper are: to look at the tasks that supposition theory took on itself and to use our formalization to (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  32
    Richard Kilvington and the Theory of Obligations.Stephen Read - 2015 - Vivarium 53 (2-4):391-404.
    Kretzmann and Spade were led by Richard Kilvington’s proposed revisions to the rules of obligations in his discussion of the 47th sophism in his Sophismata to claim that the purpose of obligational disputations was the same as that of counterfactual reasoning. Angel d’Ors challenged this interpretation, realising that the reason for Kilvington’s revision was precisely that he found the art of obligation unsuited to the kind of reasoning which lay at the heart of the sophismatic argument. In his criticism, Kilvington (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  96
    Identity and Harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  43
    Plural Signification and the Liar Paradox.Stephen Read - 2009 - Philosophical Studies 145 (3):363-375.
    In recent years, speech-act theory has mooted the possibility that one utterance can signify a number of different things. This pluralist conception of signification lies at the heart of Thomas Bradwardine’s solution to the insolubles, logical puzzles such as the semantic paradoxes, presented in Oxford in the early 1320s. His leading assumption was that signification is closed under consequence, that is, that a proposition signifies everything which follows from what it signifies. Then any proposition signifying its own falsity, he showed, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  26
    Symmetry and Paradox.Stephen Read - 2006 - History and Philosophy of Logic 27 (4):307-318.
    The ?no???no? paradox (so-called by Sorensen) consists of a pair of propositions each of which says of the other that it is false. It is not immediately paradoxical, since it has a solution in which one proposition is true, the other false. However, that is itself paradoxical, since there is no clear ground for determining which is which. The two propositions should have the same truth-value. The paper shows how a proposal by the medieval thinker Thomas Bradwardine solves not only (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  17.  4
    General-Elimination Stability.Bruno Jacinto & Stephen Read - 2016 - Studia Logica 105 (2):361-405.
    General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  37
    The Medieval Theory of Consequence.Stephen Read - 2012 - Synthese 187 (3):899-912.
    The recovery of Aristotle’s logic during the twelfth century was a great stimulus to medieval thinkers. Among their own theories developed to explain Aristotle’s theories of valid and invalid reasoning was a theory of consequence, of what arguments were valid, and why. By the fourteenth century, two main lines of thought had developed, one at Oxford, the other at Paris. Both schools distinguished formal from material consequence, but in very different ways. In Buridan and his followers in Paris, formal consequence (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19. A Neural Network Model of the Structure and Dynamics of Human Personality.Stephen J. Read, Brian M. Monroe, Aaron L. Brownstein, Yu Yang, Gurveen Chopra & Lynn C. Miller - 2010 - Psychological Review 117 (1):61-92.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  20. The Philosophy of Alternative Logics.Andrew Aberdein & Stephen Read - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 613-723.
    This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  76
    The Unity of the Fact.Stephen Read - 2005 - Philosophy 80 (3):317-342.
    What binds the constituents of a state of affairs together and provides unity to the fact they constitute? I argue that the fact that they are related is basic and fundamental. This is the thesis of Factualism: the world is a world of facts. I draw three corollaries: first, that the Identity of truth is mistaken, in conflating what represents (the proposition) with what is represented (the fact). Secondly, a popular interpretation of Wittgenstein's Tractatus, due to Steinus, whereby false propositions (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22.  25
    Harmonic Inferentialism and the Logic of Identity.Stephen Read - unknown
    Inferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specically for the logical constants. Harmonic inferentialism, as the term is introduced here, usually but not necessarily a subbranch of logical inferentialism, follows Gentzen in proposing that it is the introduction-rules whch give expressions their meaning and the elimination-rules should accord harmoniously with the meaning so given. It is proposed here that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23.  46
    Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
    Frege?s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel?s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ?complete? it is clear from Dedekind?s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are categorical or (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  24.  58
    Insolubilia and the Fallacy Secundum Quid Et Simpliciter.Catarina Dutilh Novaes & Stephen Read - 2008 - Vivarium 46 (2):175-191.
    Thomas Bradwardine makes much of the fact that his solution to the insolubles is in accordance with Aristotle's diagnosis of the fallacy in the Liar paradox as that of secundum quid et simpliciter. Paul Spade, however, claims that this invocation of Aristotle by Bradwardine is purely "honorary" in order to confer specious respectability on his analysis and give it a spurious weight of authority. Our answer to Spade follows Bradwardine's response to the problem of revenge: any proposition saying of itself (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  73
    Conditionals Are Not Truth-Functional: An Argument From Peirce.Stephen Read - 1992 - Analysis 52 (1):5 - 12.
  26. Identity and Reference.Stephen Read - 1978 - Mind 87 (348):533-552.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  72
    Hairier Than Putnam Thought.Stephen Read & Crispin Wright - 1985 - Analysis 45 (1):56 - 58.
  28.  20
    Technology as In-Between.Stephen Read - 2013 - Foundations of Science 18 (1):195-200.
    This commentary on Søren Riis’s paper “Dwelling in-between walls” starts from a position of solidarity with its attempt to build a postphenomenological perspective on architecture and the built environment. It proposes however that a clearer view of a technological structure of experience may be obtained by finding technological-perceptual wholes that incorporate perceiver and perceived as well as the mediating apparatus. Parts and wholes may be formed as nested human-technological interiorities that have structured relations with what is outside—so that the outside (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29. Monism: The One True Logic.Stephen Read - 2006 - In D. de Vidi & T. Kenyon (eds.), A Logical Approach to Philosophy: Essays in Memory of Graham Solomon. Springer.
    Logical pluralism is the claim that different accounts of validity can be equally correct. Beall and Restall have recently defended this position. Validity is a matter of truth-preservation over cases, they say: the conclusion should be true in every case in which the premises are true. Each logic specifies a class of cases, but differs over which cases should be considered. I show that this account of logic is incoherent. Validity indeed is truth-preservation, provided this is properly understood. Once understood, (...)
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  30. Bradwardine's Revenge.Stephen Read - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
  31.  15
    John Buridan's Theory of Consequence and His Octagons of Opposition.Stephen Read - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 93--110.
    One of the manuscripts of Buridan’s Summulae contains three figures, each in the form of an octagon. At each node of each octagon there are nine propositions. Buridan uses the figures to illustrate his doctrine of the syllogism, revising Aristotle's theory of the modal syllogism and adding theories of syllogisms with propositions containing oblique terms (such as ‘man’s donkey’) and with ‘propositions of non-normal construction’ (where the predicate precedes the copula). O-propositions of non-normal construction (i.e., ‘Some S (some) P is (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  20
    Inferentialism: Why Rules Matter, by Jaroslav Peregrin. [REVIEW]Stephen Read - 2016 - Australasian Journal of Philosophy 94 (3):628-628.
  33.  49
    Self-Reference and Validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  34. The Slingshot Argument.Stephen Read - 1993 - Logique Et Analyse 36:195-218.
  35.  41
    Field's Paradox and Its Medieval Solution.Stephen Read - 2010 - History and Philosophy of Logic 31 (2):161-176.
    Hartry Field's revised logic for the theory of truth in his new book, Saving Truth from Paradox , seeking to preserve Tarski's T-scheme, does not admit a full theory of negation. In response, Crispin Wright proposed that the negation of a proposition is the proposition saying that some proposition inconsistent with the first is true. For this to work, we have to show that this proposition is entailed by any proposition incompatible with the first, that is, that it is the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  26
    Semantic Pollution and Syntactic Purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.
    Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  71
    What Is Wrong with Disjunctive Syllogism?Stephen Read - 1980 - Analysis 41 (2):66 - 70.
  38.  25
    Conditionals and the Ramsey Test.Stephen Read & Dorothy Edgington - 1995 - Aristotelian Society Supplementary Volume 69 (1):47 - 86.
  39.  8
    Richard Montague: Formal Philosophy: Selected Papers. [REVIEW]Stephen Read - 1976 - Philosophical Quarterly 26 (103):182.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  40.  38
    Thomas of Cleves and Collective Supposition.Stephen Read - 1991 - Vivarium 29 (1):50-84.
  41.  3
    In Defence of the Dog: Response to Restall.Stephen Read - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 175--180.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  42.  87
    Priest, Beall and Armour-Garb: The Law of Non-Contradiction: New Philosophical Essays. [REVIEW]Stephen Read - 2007 - Mind 116 (461):203-206.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43.  19
    Ockham's Rejection of Ampliation.Graham Priest & Stephen Read - 1981 - Mind 90 (358):274-279.
  44.  26
    The Formalization of Ockham's Theory of Supposition.Graham Priest & Stephen Read - 1977 - Mind 86 (341):109-113.
  45.  11
    Signification, Closure and Indirect Speech Reports.Stephen Read - unknown
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  17
    Logical Consequences as Truth-Preservation.Stephen Read - 2003 - Logique and Analyse 183 (4):479-493.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  22
    The Philosophy of Logic.Stephen Read - 1995 - Oxford University Press.
  48.  16
    Sheffer's Stroke: A Study in Proof-Theoretic Harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34:7-23.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  2
    Paradoxes of Signification.Stephen Read - 2016 - Vivarium 54 (4):335-355.
    _ Source: _Volume 54, Issue 4, pp 335 - 355 Ian Rumfitt has recently drawn our attention to a couple of paradoxes of signification, claiming that although Thomas Bradwardine’s “multiple-meanings” account of truth and signification can solve the first of them, it cannot solve the second. The paradoxes of signification were in fact much discussed by Bradwardine’s successors in the fourteenth century. Bradwardine’s solution appears to turn on a distinction between the principal and the consequential signification of an utterance. However, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Quotation and Reach's Puzzle.Stephen Read - 1997 - Acta Analytica 19:9--20.
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 123