Results for 'Barry Lyons'

897 found
Order:
  1. Publications by Barry Smith.Barry Smith - 2017 - Cosmos + Taxis 4 (4):67-104.
    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   97 citations  
  3. 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   43 citations  
  4. 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  
  5. Constraints on Correspondence.Barry Smith - 1989 - In H. Rutte W. Sauer & W. Gombocz (eds.), Traditionen und Perspektiven der analytischen Philosophie. Festschrift für Rudolf Haller. Hölder/Pichler/Tempsky. pp. 415-430.
    My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  6. 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   21 citations  
  7. 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  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. Uniform and Modular Sequent Systems for Description Logics.Tim Lyon & Jonas Karge - 2022 - In Ofer Arieli, Martin Homola, Jean Christoph Jung & Marie-Laure Mugnier (eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022).
    We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14. Zur Kognition räumlicher Grenzen: Eine mereotopologische Untersuchung.Barry Smith - 1995 - Kognitionswissenschaft 4:177-184.
    The perception of spatial bodies is at least in part a perception of bodily boundaries or surfaces. The usual mathematical conception of boundaries as abstract constructions is, however, of little use for cognitive science purposes. The essay therefore seeks a more adequate conception of the ontology of boundaries building on ideas in Aristotle and Brentano on what we may call the coincidence of boundaries. It presents a formal theory of boundaries and of the continua to which they belong, of a (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. (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  
  16. 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  
  17. Ontologia i analiza logiczna rzeczywistości.Barry Smith - 1994 - Filozofia Nauki 2:5-22.
    The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Rationality in Action: A Symposium.Barry Smith - 2001 - Philosophical Explorations 4 (2):66-94.
    Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...)
    Download  
     
    Export citation  
     
    Bookmark   252 citations  
  19. 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  
  20. 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  
  21. The Game of Belief.Barry Maguire & Jack Woods - 2020 - Philosophical Review 129 (2):211-249.
    It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  22. The bridge between philosophy and information-driven science.Barry Smith - 2021 - Journal of Knowledge Structures and Systems 2 (2):47-55.
    This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  52
    Body.Galen Barry - 2025 - In Karolina Hübner & Justin Steinberg (eds.), The Cambridge Spinoza lexicon. Cambridge: Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark  
  24.  48
    Extension.Galen Barry - 2025 - In Karolina Hübner & Justin Steinberg (eds.), The Cambridge Spinoza lexicon. Cambridge: Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark  
  25. 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  
  26. 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  
  27. 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  
  28. Le credenziali: parole, disegni e poteri deontici.Barry Smith - 2020 - Teoria E Critica Della Regolazione Sociale 1 (20):59-73..
    Driving licenses, identity cards, passports, boarding passes, credit cards, ATM cards – all of these are examples of credentials. Credentials are documents that play a fundamental role in all modern societies. However, philosophers and social ontologists have not yet addressed the analysis of their nature and function. This paper aims to fill this gap through a review of the essential characteristics of credentials, as documents whose primary purpose is to certify the identity and institutional status of the bearer, for example (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. 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  
  30. Four Challenges to Epistemic Scientific Realism—and the Socratic Alternative.Timothy D. Lyons - 2018 - Spontaneous Generations 9 (1):146-150.
    Four Challenges to Epistemic Scientific Realism—and the Socratic Alternative.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Excavating “Excavating AI”: The Elephant in the Gallery.Michael J. Lyons - 2020 - arXiv 2009:1-15.
    Two art exhibitions, “Training Humans” and “Making Faces,” and the accompanying essay “Excavating AI: The politics of images in machine learning training sets” by Kate Crawford and Trevor Paglen, are making substantial impact on discourse taking place in the social and mass media networks, and some scholarly circles. Critical scrutiny reveals, however, a self-contradictory stance regarding informed consent for the use of facial images, as well as serious flaws in their critique of ML training sets. Our analysis underlines the non-negotiability (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. (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  
  33. Epistemic Alienation.Galen Barry - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    The concept of alienation has been used to capture a specific kind of social ill or malady, and one that philosophers have argued is distinctive of life in modern society. I argue that there is a properly epistemic form of alienation present in modern society that arises due to a conflict between the dynamics of group knowledge and traditional requirements on the intellectual virtue of individuals. As group-based knowledge becomes increasingly widespread in modern society, the conflict with virtue becomes more (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. (1 other version)Fiat objects.Barry Smith - 1994 - In Nicola Guarino, Laure Vieu & Simone Pribbenow (eds.), Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, 11th European Conference on Artificial Intelligence, Amsterdam, 8 August 1994, Amsterdam:. European Coordinating Committee for Artificial Intelligence. pp. 14-22.
    Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...)
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  35. The birth of ontology.Barry Smith - 2022 - Journal of Knowledge Structures and Systems 3 (1):57-66.
    This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. 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  
  37. Ontocommons in the standardization environment.Barry Smith & Rita Giuffrida - 2022 - OntoCommons.
    Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. “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  
  39. 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  
  40. Truthmaker realism.Barry Smith - 1999 - Australasian Journal of Philosophy 77 (3):274 – 291.
    We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...)
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  41. The Value-Based Theory of Reasons.Barry Maguire - 2016 - Ergo: An Open Access Journal of Philosophy 3.
    This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  42. On Knowing One's Own Language.Barry C. Smith - 1998 - In C. Macdonald, Barry C. Smith & C. J. G. Wright (eds.), Knowing Our Own Minds: Essays in Self-Knowledge. Oxford, GB: Oxford University Press. pp. 391--428.
    We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  43. 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  
  44. Ingarden vs. Meinong on the logic of fiction.Barry Smith - 1980 - Philosophy and Phenomenological Research 41 (1/2):93-105.
    For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by Ingarden’s (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  45. 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  
  46. 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  
  47. Samuel Butler's Contributions to Biological Philosophy.Barry Allen - 2023 - Common Knowledge 29 (2):251-279.
    Samuel Butler is usually remembered for Erewhon, widely considered among the best English satires. He also contributed to philosophical biology in works that collectively compose the nineteenth century's finest statement of the evolutionary argument associated with the name of Lamarck. In writing on evolution, Butler was not presenting science for a popular audience but deliberately intervening in the scientific argument about Darwinism. Surprised by the success of his first venture in philosophical biology, Life and Habit, Butler committed himself to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Do We Impose Undue Risk When We Emit and Offset? A Reply to Stefansson.Christian Barry & Garrett Cullity - 2022 - Ethics, Policy and Environment 25 (3):242-248.
    ABSTRACT We have previously argued that there are forms of greenhouse gas offsetting for which, when one emits and offsets, one imposes no risk. Orri Stefansson objects that our argument fails to distinguish properly between the people who stand to be harmed by one’s emissions and the people who stand to be benefited by one’s offsetting. We reply by emphasizing the difference between acting with a probability of making a difference to the distribution of harm and acting in a way (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Efficient Markets and Alienation.Barry Maguire - 2022 - Philosophers' Imprint 14.
    Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  50. The structures of the common-sense world.Barry Smith - 1995 - Acta Philosophica Fennica 58:290–317.
    While contemporary philosophers have devoted vast amounts of attention to the language we use in describing and finding our way about the world of everyday experience, they have, with few exceptions, refused to see this world itself as a fitting object of theoretical concern. In what follows I shall seek to show how the commonsensical world might be treated ontologically as an object of investigation in its own right. At the same time I shall seek to establish how such a (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
1 — 50 / 897