127 found
Order:
Disambiguations
Stephen Read [122]Stephen J. Read [6]Stephen L. Read [1]Stephen Louis Read [1]
See also
Stephen Read
University of St. Andrews
  1.  80
    Relevant Logic: A Philosophical Examination of Inference.Stephen Read - 1988 - Oxford: Wiley-Blackwell.
    The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  2. 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 (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  3. 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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4. 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 (5 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  5.  64
    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   16 citations  
  6.  82
    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   30 citations  
  7. 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   44 citations  
  8. Anti-Exceptionalism About Logic.Stephen Read - 2019 - Australasian Journal of Logic 16 (7):298.
    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 falsicationism 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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Formal and Material Consequence.Stephen Read - 1994 - Journal of Philosophical Logic 23 (3):247 - 265.
  10. The Liar Paradox From John Buridan Back to Thomas Bradwardine.Stephen Read - 2002 - Vivarium 40 (2):189-218.
  11.  57
    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 (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12. 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   25 citations  
  13.  7
    Swyneshed, Aristotle and the Rule of Contradictory Pairs.Stephen Read - 2020 - Logica Universalis 14 (1):27-50.
    Roger Swyneshed, in his treatise on insolubles, dating from the early 1330s, drew three notorious corollaries from his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict what Whitaker, in his iconoclastic reading of Aristotle’s De Interpretatione, dubbed “The Rule of Contradictory Pairs”, which requires that in every such pair, one must be true and the other false. Whitaker argued that, immediately after defining the notion of a contradictory (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  14.  35
    Proof-Theoretic Validity.Stephen Read - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), 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 (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  15
    Marilyn McCord Adams, William Ockham. [REVIEW]Stephen Read - 1990 - Philosophical Quarterly 40 (161):537-538.
  16.  75
    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 (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  69
    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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18. 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19. 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   1 citation  
  20.  65
    Self-Reference and Validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.
  21.  46
    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 (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  13
    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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  35
    Revisiting the Role of the Insula in Addiction.Vita Droutman, Stephen J. Read & Antoine Bechara - 2015 - Trends in Cognitive Sciences 19 (7):414-420.
  24. 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   6 citations  
  25.  47
    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 (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  26.  53
    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 (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27. What Is Wrong with Disjunctive Syllogism?Stephen Read - 1980 - Analysis 41 (2):66 - 70.
  28.  95
    Hairier Than Putnam Thought.Stephen Read & Crispin Wright - 1985 - Analysis 45 (1):56.
    " In 'Vagueness and Alternative Logic' (Realism and Reason, Cambridge 1983, pp. 271-86, especially 285-6), Hilary Putnam puts forward a suggestion for a formal treatment of the logic of vagueness. … Putnam admits that, at the time of writing, he had not thought this idea through. What will already be apparent to the alert reader is that, in order to disclose serious difficulties for the proposal, Putnam would not have had to think far.".
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  66
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  4
    The Rule of Contradictory Pairs, Insolubles and Validity.Stephen Read - 2020 - Vivarium 58 (4):275-304.
    The Oxford Calculator Roger Swyneshed put forward three provocative claims in his treatise on insolubles, written in the early 1330s, of which the second states that there is a formally valid inference with true premises and false conclusion. His example deployed the Liar paradox as the conclusion of the inference: ‘The conclusion of this inference is false, so this conclusion is false’. His account of insolubles supported his claim that the conclusion is false, and so the premise, referring to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Identity and Harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.
  32.  32
    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   5 citations  
  33.  32
    Ockham's Rejection of Ampliation.Graham Priest & Stephen Read - 1981 - Mind 90 (358):274-279.
  34.  85
    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   6 citations  
  35.  99
    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   7 citations  
  36.  47
    Thomas of Cleves and Collective Supposition.Stephen Read - 1991 - Vivarium 29 (1):50-84.
  37.  10
    Essays in Analysis.Stephen Read - 1974 - Philosophical Quarterly 24 (95):181-184.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  38.  88
    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 (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  40
    Conditionals and the Ramsey Test.Stephen Read & Dorothy Edgington - 1995 - Aristotelian Society Supplementary Volume 69 (1):47 - 86.
  40.  99
    Conditionals Are Not Truth-Functional: An Argument From Peirce.Stephen Read - 1992 - Analysis 52 (1):5 - 12.
  41.  40
    The Formalization of Ockham's Theory of Supposition.Graham Priest & Stephen Read - 1977 - Mind 86 (341):109-113.
  42.  13
    Richard Montague: Formal Philosophy: Selected Papers. [REVIEW]Stephen Read - 1976 - Philosophical Quarterly 26 (103):182.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  14
    Paradoxes of Signification.Stephen Read - 2018 - New Content is Available for Vivarium.
    _ Source: _Page Count 21 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, although such a distinction played (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  47
    How Is Material Supposition Possible?Stephen Read - 1999 - Medieval Philosophy and Theology 8 (1):1-20.
  45.  30
    Square of Opposition: A Diagram and a Theory in Historical Perspective.Jean-Yves Beziau & Stephen Read - 2014 - History and Philosophy of Logic 35 (4):315-316.
  46.  77
    Hypertasks.Peter Clark & Stephen Read - 1984 - Synthese 61 (3):387 - 390.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  7
    The Cambridge History of Later Medieval Philosophy.Stephen Read - 1984 - Philosophical Quarterly 34 (135):170.
  48.  22
    The Objective Being of Ockham's Ficta.Stephen Read - 1977 - Philosophical Quarterly 27 (106):14-31.
  49.  51
    Necessary Truth and Proof.Stephen Read - 2010 - Kriterion: Journal of Philosophy 51 (121):47-67.
    What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification- truth is not compatible with the theory of meaning, are mistaken. The answer is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  59
    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   1 citation  
1 — 50 / 127