Results for 'Irenaeus of Lyon'

936 found
Order:
  1. Parallels among the Carpocratians and Ebionites and the Works of Sebastian Franck.Gerhard Lechner - 2022 - Rose+Croix Journal 16:64-77.
    Research on Sebastian Franck (1499 – 1543) has so far mainly focused on the topics “Sebastian Franck as a historian” or “Sebastian Franck as a critic of theology,” while Gnosticism in the philosophy of the radical reformer has received less attention. Since the beginning of the new millennium, the interest in a certain movement of Gnosticism, namely Hermeticism, has increased however. This paper examines the question of the parallels in content between Gnostic representatives such as the Carpocratians, the Ebionites, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Circularity, reliability, and the cognitive penetrability of perception.Jack Lyons - 2011 - Philosophical Issues 21 (1):289-311.
    Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  3. Epistemic selectivity, historical threats, and the non-epistemic tenets of scientific realism.Timothy D. Lyons - 2017 - Synthese 194 (9):3203-3219.
    The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  4. Explaining the Success of a Scientific Theory.Timothy D. Lyons - 2003 - Philosophy of Science 70 (5):891-901.
    Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  5. Inferentialism and cognitive penetration of perception.Jack C. Lyons - 2016 - Episteme 13 (1):1-28.
    Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  6. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Perception and Intuition of Evaluative Properties.Jack C. Lyons - 2018 - In Anna Bergqvist & Robert Cowan (eds.), Evaluative Perception. Oxford, United Kingdom: Oxford University Press.
    Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. The Problem of Deep Competitors and the Pursuit of Epistemically Utopian Truths.Timothy D. Lyons - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):317-338.
    According to standard scientific realism, science seeks truth and we can justifiably believe that our successful theories achieve, or at least approximate, that goal. In this paper, I discuss the implications of the following competitor thesis: Any theory we may favor has competitors such that we cannot justifiably deny that they are approximately true. After defending that thesis, I articulate three specific threats it poses for standard scientific realism; one is epistemic, the other two are axiological (that is, pertaining to (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  9. Two dogmas of empirical justification.Jack C. Lyons - 2020 - Philosophical Issues 30 (1):221-237.
    Nearly everyone agrees that perception gives us justification and knowledge, and a great number of epistemologists endorse a particular two-part view about how this happens. The view is that perceptual beliefs get their justification from perceptual experiences, and that they do so by being based on them. Despite the ubiquity of these two views, I think that neither has very much going for it; on the contrary, there’s good reason not to believe either one of them.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Unconscious Evidence.Jack Lyons - 2016 - Philosophical Issues 26 (1):243-262.
    Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  11. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. The cognitive impenetrability of early vision: What’s the claim?Jack Lyons - 2020 - Rivista Internazionale di Filosofia e Psicologia 11 (3):372-384.
    Raftopoulos’s most recent book argues, among other things, for the cognitive impenetrability of early vision. Before we can assess any such claims, we need to know what’s meant by “early vision” and by “cognitive penetration”. In this contribution to this book symposium, I explore several different things that one might mean – indeed, that Raftopoulos might mean – by these terms. I argue that whatever criterion we choose for delineating early vision, we need a single criterion, not a mishmash of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Algorithm and Parameters: Solving the Generality Problem for Reliabilism.Jack C. Lyons - 2019 - Philosophical Review 128 (4):463-509.
    The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  14. A class of reaction-diffusion mechanisms which preferentially select striped patterns.Michael Lyons & Lionel G. Harrison - 1991 - Chemical Physics Letters 183 (1,2):158-164.
    Reaction-diffusion systems which have reaction term satisfying f(-q) = -f(q) tend strongly to form striped patterns. Haken’s slaving principle is used to derive differential equations for unstable mode amplitudes close to the Turing instability. This connects a dynamical symmetry to pattern selection, with possible relevance to biological and chemical pattern-forming phenomena.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Precis of Perception and Basic Beliefs.Jack Lyons - 2011 - Philosophical Studies 153 (3):443 - 446.
    Part of a book symposium with Terry Horgan, Alvin Goldman, and Peter Graham.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Structural realism versus deployment realism: A comparative evaluation.Timothy D. Lyons - 2016 - Studies in History and Philosophy of Science Part A 59:95-105.
    In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Balancing Acts: Intending Good and Foreseeing Harm -- The Principle of Double Effect in the Law of Negligence.Edward C. Lyons - 2005 - Georgetown Journal of Law and Public Policy 3 (2):453-500.
    In this article, responding to assertions that the principle of double effect has no place in legal analysis, I explore the overlap between double effect and negligence analysis. In both, questions of culpability arise in situations where a person acts with no intent to cause harm but where reasonable foreseeability of unintended harm exists. Under both analyses, the determination of whether such conduct is permissible involves a reasonability test that balances that foreseeable harm against the good intended by the actor's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Should Reliabilists Be Worried About Demon Worlds?Jack C. Lyons - 2012 - Philosophy and Phenomenological Research 86 (1):1-40.
    The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  19. Scientific realism and the stratagema de divide et impera.Timothy D. Lyons - 2006 - British Journal for the Philosophy of Science 57 (3):537-560.
    In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...)
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  20. A Historically Informed Modus Ponens Against Scientific Realism: Articulation, Critique, and Restoration.Timothy D. Lyons - 2013 - International Studies in the Philosophy of Science 27 (4):369-392.
    There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  21. Scientific Realism and the Pessimistic Meta-Modus Tollens.Timothy D. Lyons - 2010 - In S. Clarke & T. D. Lyons (eds.), Recent Themes in the Philosophy of Science: Scientific Realism and Commonsense. Dordrecht: Springer. pp. 63-90.
    Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  22. Reason's freedom and the dialectic of ordered liberty.Edward C. Lyons - 2007 - Cleveland State Law Review 55 (2):157-232.
    The project of “public reason” claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of “public reason,” in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. General Rules and the Justification of Probable Belief in Hume’s Treatise.Jack C. Lyons - 2001 - Hume Studies 27 (2):247-278.
    An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
    The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Experiential evidence?Jack C. Lyons - 2015 - Philosophical Studies 173 (4):1053-1079.
    Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  26. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. The Structure of Defeat: Pollock's Evidentialism, Lackey's Framework, and Prospects for Reliabilism.Peter J. Graham & Jack C. Lyons - 2021 - In Jessica Brown & Mona Simion (eds.), Reasons, Justification, and Defeat. Oxford Oxford: Oxford University Press.
    Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  29. Toward a Purely Axiological Scientific Realism.Timothy D. Lyons - 2005 - Erkenntnis 63 (2):167-204.
    The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  30. Non-linear Analysis of Models for Biological Pattern Formation: Application to Ocular Dominance Stripes.Michael Lyons & Lionel G. Harrison - 1992 - In Frank Eeckman (ed.), Neural Systems: Analysis and Modeling. Springer. pp. 39-46.
    We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not provide (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. In Incognito: The Principle of Double Effect in American Constitutional Law.Edward C. Lyons - 2005 - Florida Law Review 57 (3):469-563.
    Abstract: In Vacco v. Quill, 521 U.S. 793 (1997), the Supreme Court for the first time in American case law explicitly applied the principle of double effect to reject an equal protection claim to physician-assisted suicide. Double effect, traced historically to Thomas Aquinas, proposes that under certain circumstances it is permissible unintentionally to cause foreseen evil effects that would not be permissible to cause intentionally. The court rejected the constitutional claim on the basis of a distinction marked out by the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. (1 other version)Unencapsulated Modules and Perceptual Judgment.Jack C. Lyons - 2015 - In A. Raftopoulos J. Zeimbekis (ed.), Cognitive Penetrability. Oxford University Press. pp. 103-122.
    To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  33. Scientific Realism.Timothy D. Lyons - 2014 - In Paul Humphreys (ed.), The Oxford Handbook of Philosophy of Science. New York, NY, USA: Oxford University Press. pp. 564-584.
    This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  34. (1 other version)Goldman on Evidence and Reliability.Jack C. Lyons - 2016 - In Hilary Kornblith & Brian McLaughlin (eds.), Goldman and his Critics. Malden, MA: Blackwell.
    Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  35. The wisdom of collective grading and the effects of epistemic and semantic diversity.Aidan Lyon & Michael Morreau - 2018 - Theory and Decision 85 (1):99-116.
    A computer simulation is used to study collective judgements that an expert panel reaches on the basis of qualitative probability judgements contributed by individual members. The simulated panel displays a strong and robust crowd wisdom effect. The panel's performance is better when members contribute precise probability estimates instead of qualitative judgements, but not by much. Surprisingly, it doesn't always hurt for panel members to interpret the probability expressions differently. Indeed, coordinating their understandings can be much worse.
    Download  
     
    Export citation  
     
    Bookmark  
  36. What we talk about when we talk about epistemic justification.Jack C. Lyons - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (7-8):867-888.
    Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. History and the Contemporary Scientific Realism Debate.Timothy D. Lyons & Peter Vickers - 2021 - In Timothy D. Lyons & Peter Vickers (eds.), Contemporary Scientific Realism: The Challenge From the History of Science. New York, NY: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. All the freedom you can want: The purported collapse of the problem of free will.Edward C. Lyons - 2007 - St. John's Journal of Legal Commentary 22 (1):101-164.
    Reflections on free choice and determinism constitute a recurring, if rarified, sphere of legal reasoning. Controversy, of course, swirls around the perennially vexing question of the propriety of punishing human persons for conduct that they are unable to avoid. Drawing upon conditions similar, if not identical, to those traditionally associated with attribution of moral fault, persons subject to such necessitating causal constraints generally are not considered responsible in the requisite sense for their conduct; and, thus, they are not held culpable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Non‐competitor Conditions in the Scientific Realism Debate.Timothy D. Lyons - 2009 - International Studies in the Philosophy of Science 23 (1):65-84.
    A general insight of 20th-century philosophy of science is that the acceptance of a scientific theory is grounded, not merely on a theory's relation to data, but on its status as having no, or being superior to its, competitors. I explore the ways in which scientific realists might be thought to utilise this insight, have in fact utilised it, and can legitimately utilise it. In more detail, I point out that, barring a natural but mistaken characterisation of scientific realism, traditional (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  40. The Varieties of Ought-implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer.
    STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Criteria for Attributing Predictive Responsibility in the Scientific Realism Debate: Deployment, Essentiality, Belief, Retention ….Timothy Lyons - 2009 - Human Affairs 19 (2):138-152.
    The most promising contemporary form of epistemic scientific realism is based on the following intuition: Belief should be directed, not toward theories as wholes, but toward particular theoretical constituents that are responsible for, or deployed in, key successes. While the debate on deployment realism is quite fresh, a significant degree of confusion has already entered into it. Here I identify five criteria that have sidetracked that debate. Setting these distractions aside, I endeavor to redirect the attention of both realists and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Systematicity theory meets Socratic scientific realism: the systematic quest for truth.Timothy D. Lyons - 2019 - Synthese 196 (3):833-861.
    Systematicity theory—developed and articulated by Paul Hoyningen-Huene—and scientific realism constitute separate encompassing and empirical accounts of the nature of science. Standard scientific realism asserts the axiological thesis that science seeks truth and the epistemological thesis that we can justifiably believe our successful theories at least approximate that aim. By contrast, questions pertaining to truth are left “outside” systematicity theory’s “intended scope” ; the scientific realism debate is “simply not” its “focus”. However, given the continued centrality of that debate in the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Response to critics.Jack Lyons - 2011 - Philosophical Studies 153 (3):477-488.
    Response to Horgan, Goldman, and Graham. Part of a book symposium on my _Perception and Basic Beliefs_.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Indiscretions of a Contemporary Artist: Reflections on Trevor Paglen's (ab)use of the JAFFE dataset.Michael Lyons - manuscript
    Reflections on Trevor Paglen's (ab)use of the JAFFE dataset.
    Download  
     
    Export citation  
     
    Bookmark  
  47. “Methods, Processes, and Knowledge”.Jack Lyons - 2023 - In Luis R. G. Oliveira (ed.), Externalism about Knowledge. Oxford: Oxford University Press.
    Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.
    Download  
     
    Export citation  
     
    Bookmark  
  48. “Excavating AI” Re-excavated: Debunking a Fallacious Account of the JAFFE Dataset.Michael J. Lyons - 2021 - arXiv 2107:1-20.
    Twenty-five years ago, my colleagues Miyuki Kamachi and Jiro Gyoba and I designed and photographed JAFFE, a set of facial expression images intended for use in a study of face perception. In 2019, without seeking permission or informing us, Kate Crawford and Trevor Paglen exhibited JAFFE in two widely publicized art shows. In addition, they published a nonfactual account of the images in the essay “Excavating AI: The Politics of Images in Machine Learning Training Sets.” The present article recounts the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Axiological Scientific Realism and Methodological Prescription.Timothy D. Lyons - 2011 - In Henk W. De Regt, Stephan Hartmann & Samir Okasha (eds.), EPSA Philosophy of Science: Amsterdam 2009. Springer. pp. 187--197.
    In this paper I distinguish between two kinds of meta-hypotheses, or hypotheses about science, at issue in the scientific realism debate. The first are descriptive empirical hypotheses regarding the nature of scientific inquiry. The second are epistemological theories about what individuals should / can justifiably believe about scientific theories. Favoring the realist Type-D meta-hypotheses, I argue that a particular set of realist and non-realist efforts in the debate over Type-E’s have been valuable in the quest to describe and understand the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Sosa on reflective knowledge and Knowing Full Well.Jack Lyons - 2013 - Philosophical Studies 166 (3):609-616.
    Part of a book symposium on Ernest Sosa's Knowing Full Well. An important feature of Sosa's epistemology is his distinction between animal knowledge and reflective knowledge. What exactly is reflective knowledge, and how is it superior to animal knowledge? Here I try to get clearer on what Sosa might mean by reflective knowledge and what epistemic role it is supposed to play.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 936