126 found
Order:
Disambiguations
Stephen Read [121]Stephen J. Read [6]Stephen L. Read [1]Stephen Louis Read [1]
See also
Stephen Read
University of St. Andrews
  1. General-Elimination Stability.Bruno Miguel Jacinto & Stephen Louis Read - 2017 - 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  
     
    Bookmark   4 citations  
  2. Anti-Exceptionalism About Logic.Stephen Read - forthcoming - Australasian Journal of Logic.
    Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsificationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term ‘quasi-empirical' for the counterinstances to putative mathematical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  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  
     
    Bookmark   20 citations  
  4. Aristotle's Theory of the Assertoric Syllogism.Stephen Read - manuscript
    Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated logical theory for the succeeding two millenia, accounts of the syllogism evolved and changed over that time. Indeed, in the twentieth century, doctrines were attributed to Aristotle which lost sight of what Aristotle intended. One of these mistaken doctrines was the very form of the syllogism: that a syllogism consists of three propositions containing three terms arranged in four figures. Yet another was that a syllogism is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  51
    Relevant Logic: A Philosophical Examination of Inference.Stephen Read - 1988 - Blackwell.
  6.  99
    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  
     
    Bookmark   31 citations  
  7.  50
    Aristotle and ŁUkasiewicz 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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8. 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  
     
    Bookmark   26 citations  
  9.  45
    Swyneshed, Paradox and the Rule of Contradictory Pairs.Stephen Read - manuscript
    Roger Swyneshed, in his treatise on insolubles (logical paradoxes), dating from the early 1330s, drew three notorious corollaries of his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict the Rule of Contradictory Pairs, which requires that in every such pair, one must be true and the other false. Looking back at Aristotle's treatise De Interpretatione, we find that Aristotle himself, immediately after defining the notion of a contradictory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. The Liar Paradox From John Buridan Back to Thomas Bradwardine.Stephen Read - 2002 - Vivarium 40 (2):189-218.
  11.  28
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12.  6
    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 (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13. 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  
     
    Bookmark   3 citations  
  14. Formal and Material Consequence.Stephen Read - 1994 - Journal of Philosophical Logic 23 (3):247 - 265.
  15.  41
    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  
     
    Bookmark   4 citations  
  16.  18
    Proof-Theoretic Validity.Read Stephen & Stephen Read - 2015 - In Foundations of Logical Consequence. Oxford, UK: pp. 136-158.
    The idea of proof-theoretic validity originated in the work of Gentzen, when he suggested that the meaning of each logical expression was encapsulated in its introduction-rules. The idea was developed by Prawitz and Dummett, but came under attack by Prior under the soubriquet 'analytic validity'. Logical truths and logical consequences are deemed analytically valid by virtue of following, in a way which the present chapter clarifies, from the meaning of the logical constants. But different logics are based on different rules, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  33
    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  
     
    Bookmark   2 citations  
  18.  25
    Revisiting the Role of the Insula in Addiction.Vita Droutman, Stephen J. Read & Antoine Bechara - 2015 - Trends in Cognitive Sciences 19 (7):414-420.
  19. 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  
     
    Bookmark   6 citations  
  20.  21
    Obligations, Sophisms and Insolubles.Stephen Read - 2013 - National Research University “Higher School of Economics” - (Series WP6 “Humanities”).
    The focus of the paper is a sophism based on the proposition ‘This is Socrates’ found in a short treatise on obligational casus attributed to William Heytesbury. First, the background to the puzzle in Walter Burley’s traditional account of obligations (the responsio antiqua), and the objections and revisions made by Richard Kilvington and Roger Swyneshed, are presented. All six types of obligations described by Burley are outlined, including sit verum, the type used in the sophism. Kilvington and Swyneshed disliked the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Identity and Harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.
  22.  31
    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  
     
    Bookmark   1 citation  
  23. 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  
     
    Bookmark   2 citations  
  24.  33
    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  
     
    Bookmark   5 citations  
  25.  58
    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  
     
    Bookmark   2 citations  
  26.  85
    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  
     
    Bookmark   4 citations  
  27.  2
    Harmonic Inferentialism and the Logic of Identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  55
    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  
     
    Bookmark   6 citations  
  29.  22
    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  
     
    Bookmark   2 citations  
  30. The Philosophy of Thomas Reid: A Collection of Essays.John Haldane & Stephen L. Read (eds.) - 2003 - Wiley-Blackwell.
    Thomas Reid was one of the greatest philosophers of the eighteenth century and a contemporary of Kant's. This volume is part of a new wave of international interest in Reid from a new generation of scholars. The volume opens with an introduction to Reid's life and work, including biographical material previously little known. A classic essay by Reid himself - 'Of Power' - is then reproduced, in which he sets out his distinctive account of causality and agency. This is followed (...)
     
    Export citation  
     
    Bookmark   3 citations  
  31.  76
    Conditionals Are Not Truth-Functional: An Argument From Peirce.Stephen Read - 1992 - Analysis 52 (1):5 - 12.
  32.  46
    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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  55
    Self-Reference and Validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.
  34.  69
    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  
     
    Bookmark   2 citations  
  35.  77
    Hairier Than Putnam Thought.Stephen Read & Crispin Wright - 1985 - Analysis 45 (1):56 - 58.
  36.  30
    Conditionals and the Ramsey Test.Stephen Read & Dorothy Edgington - 1995 - Aristotelian Society Supplementary Volume 69 (1):47 - 86.
  37. Identity and Reference.Stephen Read - 1978 - Mind 87 (348):533-552.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38. Bradwardine's Revenge.Stephen Read - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
  39.  10
    Richard Montague: Formal Philosophy: Selected Papers. [REVIEW]Stephen Read - 1976 - Philosophical Quarterly 26 (103):182.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  40.  25
    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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. The Slingshot Argument.Stephen Read - 1993 - Logique Et Analyse 36:195-218.
  42.  81
    What Is Wrong with Disjunctive Syllogism?Stephen Read - 1980 - Analysis 41 (2):66 - 70.
  43.  1
    A General Connectionist Model of Attitude Structure and Change: The ACS Model.Brian M. Monroe & Stephen J. Read - 2008 - Psychological Review 115 (3):733-759.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  44
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  24
    Ockham's Rejection of Ampliation.Graham Priest & Stephen Read - 1981 - Mind 90 (358):274-279.
  46.  5
    Sten Ebbesen and Mary Sirridge, Eds., Master Richard Sophista: “Abstractiones”, with E. J. Ashworth. Oxford and New York: Oxford University Press for the British Academy, 2016. Pp. Vi, 366. £80. ISBN: 978-0-19-726597-0. [REVIEW]Stephen Read - 2018 - Speculum 93 (3):831-832.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  45
    Thomas of Cleves and Collective Supposition.Stephen Read - 1991 - Vivarium 29 (1):50-84.
  48.  7
    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.
  49.  57
    Review of J.C.Beall, Greg Restall, Logical Pluralism[REVIEW]Stephen Read - 2006 - Notre Dame Philosophical Reviews 2006 (5).
  50.  32
    The Formalization of Ockham's Theory of Supposition.Graham Priest & Stephen Read - 1977 - Mind 86 (341):109-113.
1 — 50 / 126