27 found
Order:
Disambiguations
Sean Walsh [15]Sean Noah Walsh [6]Sean Drysdale Walsh [4]Sean P. Walsh [2]
Seán Froudist Walsh [1]
  1. Philosophy and Model Theory.Tim Button & Sean P. Walsh - 2018 - Oxford, UK: Oxford University Press. Edited by Sean Walsh & Wilfrid Hodges.
    Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  2. Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  3. Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.
    This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4. Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
    A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5. Fragments of frege’s grundgesetze and gödel’s constructible universe.Sean Walsh - 2016 - Journal of Symbolic Logic 81 (2):605-628.
    Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6. Comparing Peano arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
    This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  71
    The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.
    This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8. Relative categoricity and abstraction principles.Sean Walsh & Sean Ebels-Duggan - 2015 - Review of Symbolic Logic 8 (3):572-606.
    Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative categoricity. In this paper, we show (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9. The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
    Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  62
    Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.
    A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces (i) a model of a modal version of Church's Thesis and a variant of a modal set theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  12
    Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth.Simon M. Huttegger, Sean Walsh & Francesca Zaffora Blando - manuscript
    Lévy's Upward Theorem says that the conditional expectation of an integrable random variable converges with probability one to its true value with increasing information. In this paper, we use methods from effective probability theory to characterise the probability one set along which convergence to the truth occurs, and the rate at which the convergence occurs. We work within the setting of computable probability measures defined on computable Polish spaces and introduce a new general theory of effective disintegrations. We use this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  79
    Maximality, duplication, and intrinsic value.Sean Drysdale Walsh - 2011 - Ratio 24 (3):311-325.
    In this paper, I develop an argument for the thesis that ‘maximality is extrinsic’, on which a whole physical object is not a whole of its kind in virtue of its intrinsic properties. Theodore Sider has a number of arguments that depend on his own simple argument that maximality is extrinsic. However, Peter van Inwagen has an argument in defence of his Duplication Principle that, I will argue, can be extended to show that Sider's simple argument fails. However, van Inwagen's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.
    The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgements of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Modal Mereology and Modal Supervenience.Sean Drysdale Walsh - 2012 - Philosophical Studies 159 (1):1-20.
    David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Mencius' Jun-zi, Aristotle's megalopsuchos, & moral demands to help the global poor.Sean Walsh - 2013 - Comparative Philosophy 4 (1):103-129.
    Normal 0 false false false EN-US X-NONE X-NONE Normal 0 false false false EN-US ZH-TW X-NONE It is commonly believed that impartial utilitarian moral theories have significant demands that we help the global poor, and that the partial virtue ethics of Mencius and Aristotle do not. This ethical partiality found in these virtue ethicists has been criticized, and some have suggested that the partialistic virtue ethics of Mencius and Aristotle are parochial (i.e., overly narrow in their scope of concern). I (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  16.  39
    Repeating with the right hemisphere: reduced interactions between phonological and lexical-semantic systems in crossed aphasia?Irene De-Torres, Guadalupe Dávila, Marcelo L. Berthier, Seán Froudist Walsh, Ignacio Moreno-Torres & Rafael Ruiz-Cruces - 2013 - Frontiers in Human Neuroscience 7.
  17.  15
    Interpretation in Political Theory.Clement Fatovic & Sean Noah Walsh (eds.) - 2016 - New York, NY: Routledge.
    Theorists interested in learning more about any given interpretive approach are often required to navigate a dizzying array of sources, with no clear sense of where to begin. The prose of many primary sources is often steeped in dense and technical argot that novices find intimidating or even impenetrable. Interpretation in Political Theory provide students of political theory a single introductory reference guide to major approaches to interpretation available in the field today. Comprehensive and clearly written, the book includes: A (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    Counterrevolution and Repression in the Politics of Education: At the Midnight of Dissent.Sean Noah Walsh - 2013 - Lexington Books.
    In this book, Sean Noah Walsh applies Herbert Marcuse’s observations on counterrevolution to recent developments in education politics. Seemingly disparate issues such as the exercise of state power to reorganize curricula, the derision of intellectuals, the permeation of consumerism into the collegiate experience, and the expansion of online teaching belong to the same strategy in which the faculties of dissent are neutralized before they can develop and dissent is established as the paramount political obscenity.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  77
    Contemplation and the Moral Life in Confucius and Aristotle.Sean Drysdale Walsh - 2015 - Dao: A Journal of Comparative Philosophy 14 (1):13-31.
    Aristotle’s best human life is attained through theoretical contemplation, and Confucius’ is attained through practical cultivation of the social self. However, I argue that in the best human life for both Confucius and Aristotle, a form of theoretical contemplation must occur and can only occur with an ethical commitment to community life. Confucius, like Aristotle, sees that the best contemplation comes after later-life, greater-learning and is central to ethical and community life. Aristotle, like Confucius, sees the best contemplation as presupposing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Empty Esotericisms: Doctrines of Secret Writing and the Politics of a Platonic Code.Sean Noah Walsh - 2012 - Polis 29 (1):62-82.
    The aim of this article is to address the recently renewed debate pertaining to esotericism, secret messages encoded within writings from antiquity, especially in the writings of Plato. The question of esotericism has assumed a prominent role within debates concerning the history of political thought. Ever since Leo Strauss offered his suspicion that there were secrets ‘buried in the writings of the rhetoricians of antiquity’, the idea that philosophers deliberately concealed their true beliefs in a way that few could detect (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  25
    Incongruent Counterparts and Causality.Sean Walsh - 2007 - Kant Studien 98 (4):418-430.
    Two puzzles with regard to the Kritik der reinen Vernunft are incongruent counterparts and causality. In De mundi sensibilis atque intelligibilis forma et principiis, Kant indicates that the experience of things like left and right hands, so-called incongruent counterparts, involve certain pure intuitions, and hence constitute one line of evidence for the claim that the concept of space itself is a pure intuition. In KrV, Kant again argues that the concept of space itself is a pure intuition, but does not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  37
    Kant’s Theory of Right as Aristotelian Phronesis.Sean Drysdale Walsh - 2012 - International Philosophical Quarterly 52 (2):227-246.
    Many philosophers believe that a moral theory, given all the relevant facts, should be able to determine what is morally right and wrong. It is commonly argued that Aristotle’s ethical theory suffers from a fatal flaw: it places responsibility for determining right and wrong with the virtuous agent who has phronesis rather than with the theory itself. It is also commonly argued that Immanuel Kant’s ethical theory does provide a concept of right that is capable of determining right and wrong (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Masters of Hyperreality.Sean Noah Walsh - 2010 - Journal of Philosophy, Science and Law 10:8-24.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  24
    Perversion and the Art of Persecution: Esotericism and Fear in the Political Philosophy of Leo Strauss.Sean Noah Walsh - 2012 - Lexington Books.
    This book critically examines Leo Strauss s claim that the philosophers of antiquity, especially Plato, wrote esoterically, hiding the highest truths exclusively between the lines.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. (1 other version)Critical Review of Mathematics and Scientific Representation. [REVIEW]Sean Walsh, Eleanor Knox & Adam Caulton - 2014 - Philosophy of Science 81 (3):460-469.
  26.  15
    Lampert, Laurence., The Enduring Importance of Leo Strauss. [REVIEW]Sean Noah Walsh - 2014 - Review of Metaphysics 67 (3):642-644.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  59
    Review of Jens Timmermann, Kant's Groundwork of the Metaphysics of Morals: A Commentary[REVIEW]Sean P. Walsh - 2008 - Notre Dame Philosophical Reviews 2008 (4).