Switch to: References

Citations of:

Introduction to Logic

Philosophical Quarterly 10 (40):287-288 (1960)

Add citations

You must login to add citations.
  1. Approaches to reduction.Kenneth F. Schaffner - 1967 - Philosophy of Science 34 (2):137-147.
    Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...)
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics.Raoni Wohnrath Arroyo & Gilson Olegario da Silva - 2022 - Axiomathes 32 (6):1243-1279.
    The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Model-Theoretic Approach in the Philosophy of Science.Newton C. A. Da Costa & Steven French - 1990 - Philosophy of Science 57 (2):248 - 265.
    An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.
    Download  
     
    Export citation  
     
    Bookmark   87 citations  
  • Scientific Theories.Hans Halvorson - 2014 - In Paul Humphreys (ed.), The Oxford Handbook of Philosophy of Science. New York, NY, USA: Oxford University Press. pp. 585-608.
    Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Optimal-design models and the strategy of model building in evolutionary biology.John Beatty - 1980 - Philosophy of Science 47 (4):532-561.
    The prevalence of optimality models in the literature of evolutionary biology is testimony to their popularity and importance. Evolutionary biologist R. C. Lewontin, whose criticisms of optimality models are considered here, reflects that "optimality arguments have become extremely popular in the last fifteen years, and at present represent the dominant mode of thought." Although optimality models have received little attention in the philosophical literature, these models are very interesting from a philosophical point of view. As will be argued, optimality models (...)
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • One or Two Gentle Remarks about Hans Halvorson’s Critique of the Semantic View.Bas C. van Fraassen - 2014 - Philosophy of Science 81 (2):276-283,.
    In recent papers Hans Halvorson has offered a critique of the semantic view of theories, showing that theories may be the same although the corresponding sets of models are different and, conversely, that theories may be different although the corresponding sets of models are the same. This critique will be assessed, first, as it pertains to issues concerning scientific models in the empirical sciences and, second, independent of any concern with empirical science.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • A semantic approach to the structure of population genetics.Elisabeth A. Lloyd - 1984 - Philosophy of Science 51 (2):242-264.
    A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Scientific Structuralism: Presentation and Representation.Katherine Brading & Elaine Landry - 2006 - Philosophy of Science 73 (5):571-581.
    This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Understanding Scientific Theories: An Assessment of Developments, 1969–1998.Frederick Suppe - 2000 - Philosophy of Science 67 (3):115.
    The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View--various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • The conjunction fallacy: a misunderstanding about conjunction?Daniel Osherson - 2004 - Cognitive Science 28 (3):467-477.
    It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X-and-Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners’ interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems. © 2004 Cognitive Science Society, Inc. All rights reserved.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Reduction, integration, and the unity of science: Natural, behavioral, and social sciences and the humanities.William P. Bechtel & Andrew Hamilton - 2007 - In T. Kuipers (ed.), Philosophy of Science: Focal Issues (Volume 1 of the Handbook of the Philosophy of Science). Elsevier.
    1. A Historical Look at Unity 2. Field Guide to Modern Concepts of Reduction and Unity 3. Kitcher's Revisionist Account of Unification 4. Critics of Unity 5. Integration Instead of Unity 6. Reduction via Mechanisms 7. Case Studies in Reduction and Unification across the Disciplines.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Ramsification and Semantic Indeterminacy.Hannes Leitgeb - 2022 - Review of Symbolic Logic 16 (3):900-950.
    Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Essentially Comparative Value Does Not Threaten Transitivity.Toby Handfield - 2016 - Thought: A Journal of Philosophy 5 (1):3-12.
    The essentially comparative conception of value entails that the value of a state of affairs does not depend solely upon features intrinsic to the state of affairs, but also upon extrinsic features, such as the set of feasible alternatives. It has been argued that this conception of value gives us reason to abandon the transitivity of the better than relation. This paper shows that the support for intransitivity derived from this conception of value is very limited. On its most plausible (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Replacing one theory by another under preservation of a given feature.Rolf A. Eberle - 1971 - Philosophy of Science 38 (4):486-501.
    The conditions are examined under which one theory is said to be replaceable by another, while preserving those features of the original theory which made it serviceable for a given purpose. Among such replacements, special attention is given to ones which qualify as so-called reductions of a theory, and some theorems are proved concerning the notion of a reduction.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Leibniz's principle of the identity of indiscernibles: A false principle.Alberto Cortes - 1976 - Philosophy of Science 43 (4):491-505.
    In considering the possibility that the fundamental particles of matter might violate Leibniz's Principle, one is confronted with logical proofs that the Principle is a Theorem of Logic. This paper shows that the proof of that theorem is not universal enough to encompass entities that might not be unique, and also strongly suggests that photons, for example, do violate Leibniz's Principle. It also shows that the existence of non-individuals would imply the breakdown of Quine's criterion of ontological commitment.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • The equivalence myth of quantum mechanics—part II.F. A. Muller - 1997 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 28 (2):219-247.
    The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Models and the Semantic View.Martin Thomson-Jones - 2006 - Philosophy of Science 73 (5):524-535.
    I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Paradoxical hypodoxes.Alexandre Billon - 2019 - Synthese 196 (12):5205-5229.
    Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ramsey Equivalence.Neil Dewar - 2019 - Erkenntnis 84 (1):77-99.
    In the literature over the Ramsey-sentence approach to structural realism, there is often debate over whether structural realists can legitimately restrict the range of the second-order quantifiers, in order to avoid the Newman problem. In this paper, I argue that even if they are allowed to, it won’t help: even if the Ramsey sentence is interpreted using such restricted quantifiers, it is still an implausible candidate to capture a theory’s structural content. To do so, I use the following observation: if (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Confirmation of ecological and evolutionary models.Elisabeth A. Lloyd - 1987 - Biology and Philosophy 2 (3):277-293.
    In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater complexity and (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • A theory of rational decision in games.Michael Bacharach - 1987 - Erkenntnis 27 (1):17 - 55.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The conjunction fallacy: a misunderstanding about conjunction?K. Tentori - 2004 - Cognitive Science 28 (3):467-477.
    It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X‐and‐Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners' interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • John Stuart mill's philosophy of economics.Daniel M. Hausman - 1981 - Philosophy of Science 48 (3):363-385.
    John Stuart Mill regards economics as an inexact and separate science which employs a deductive method. This paper analyzes and restates Mill's views and considers whether they help one to understand philosophical peculiarities of contemporary microeconomic theory. The author concludes that it is philosophically enlightening to interpret microeconomics as an inexact and separate science, but that Mill's notion of a deductive method has only a little to contribute.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Identity, Individuation and Substance.David Wiggins - 2012 - European Journal of Philosophy 20 (1):1-25.
    The paper takes off from the problem of finding a proper content for the relation of identity as it holds or fails to hold among ordinary things or substances. The necessary conditions of identity are familiar, the sufficient conditions less so. The search is for conditions at once better usable than the Leibnizian Identity of Indiscernibles (independently suspect) and strong enough to underwrite all the formal properties of the relation.It is contended that the key to this problem rests at the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The axiomatization of physical theories.Herbert A. Simon - 1970 - Philosophy of Science 37 (1):16-26.
    The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Supervenient bridge laws.Terence E. Horgan - 1978 - Philosophy of Science 45 (2):227-249.
    I invoke the conceptual machinery of contemporary possible-world semantics to provide an account of the metaphysical status of "bridge laws" in intertheoretic reductions. I argue that although bridge laws are not definitions, and although they do not necessarily reflect attribute-identities, they are supervenient. I.e., they are true in all possible worlds in which the reducing theory is true.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Truth Diagrams Versus Extant Notations for Propositional Logic.Peter C.-H. Cheng - 2020 - Journal of Logic, Language and Information 29 (2):121-161.
    Truth diagrams are introduced as a novel graphical representation for propositional logic. To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle diagrams. The comparison (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)On Morita equivalence and interpretability.Paul Anh Mceldowney - 2020 - Review of Symbolic Logic 13 (2):388-415.
    In a recent article, Barrett & Halvorson define a notion of equivalence for first-order theories, which they call “Morita equivalence.” To argue that Morita equivalence is a reasonable measure of “theoretical equivalence,” they make use of the claim that Morita extensions “say no more” than the theories they are extending. The goal of this article is to challenge this central claim by raising objections to their argument for it and by showing why there is good reason to think that the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Scientific realism: The new debates.Edward MacKinnon - 1979 - Philosophy of Science 46 (4):501-532.
    In place of earlier instrumentalist and phenomenalist interpretations of science both Quine and Sellars have developed highly influential realist positions centering around the doctrine that accepting a theory as explanatory and irreducible rationally entails accepting the entities posited by the theory. A growing reaction against this realism is partially based on perceived inadequacies in the doctrines of Quine and Sellars, but even more on reconstructions of scientific explanations which do not involve such ontic commitments. Three types of anti-realistic positions are (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Mario Bunge (1919–2020): Conjoining Philosophy of Science and Scientific Philosophy.Martin Mahner - 2021 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 52 (1):3-23.
    The leitmotif of Mario Bunge’s work was that the philosophy of science should be informed by a comprehensive scientific philosophy, and vice versa; with both firmly rooted in realism and materialism. Now Bunge left such a big oeuvre, comprising more than 70 books and hundreds of articles, that it is impossible to review it in its entirety. In addition to biographical remarks, this obituary will therefore restrict itself to some select issues of his philosophy: his scientific metaphysics, his philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.
    §1. The mission of axiomatic set theory. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common consent the received first-order logic. Why cannot it take care of itself? (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Supervenience, Reduction, and Translation.Neil Dewar - 2019 - Philosophy of Science 86 (5):942-954.
    This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Definition in mathematics.Carlo Cellucci - 2018 - European Journal for Philosophy of Science 8 (3):605-629.
    In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Knowledge: Genuine and Bogus.Mario Bunge - 2011 - Science & Education 20 (5-6):411-438.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Meta-Theoretical Contributions to the Constitution of a Model-Based Didactics of Science.Yefrin Ariza, Pablo Lorenzano & Agustín Adúriz-Bravo - 2016 - Science & Education 25 (7-8):747-773.
    There is nowadays consensus in the community of didactics of science regarding the need to include the philosophy of science in didactical research, science teacher education, curriculum design, and the practice of science education in all educational levels. Some authors have identified an ever-increasing use of the concept of ‘theoretical model’, stemming from the so-called semantic view of scientific theories. However, it can be recognised that, in didactics of science, there are over-simplified transpositions of the idea of model. In this (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Proof and Understanding in Mathematical Practice.Danielle Macbeth - 2012 - Philosophia Scientiae 16 (1):29-54.
    Prouver des théorèmes est une pratique mathématique qui semble clairement améliorer notre compréhension mathématique. Ainsi, prouver et reprouver des théorèmes en mathématiques, vise à apporter une meilleure compréhension. Cependant, comme il est bien connu, les preuves mathématiques totalement formalisées sont habituellement inintelligibles et, à ce titre, ne contribuent pas à notre compréhension mathématique. Comment, alors, comprendre la relation entre prouver des théorèmes et améliorer notre compréhension mathématique. J'avance ici que nous avons d'abord besoin d'une notion différente de preuve (formelle), qui (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Erotetic logic and the structure of scientific revolution.Scott A. Kleiner - 1970 - British Journal for the Philosophy of Science 21 (2):149-165.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.
    The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis. To be more detailed, in this paper the latter is adapted to Weir’s non-transitive trivalent logic \({\mathbf{NC}}_{\mathbf{3}}\). As a result, for each binary extension of \({\mathbf{NC}}_{\mathbf{3}}\), we present a sound and complete Lemmon-style natural deduction system. Last, but not least, we stress the fact that Avron and his co-authors’ general method of obtaining _n_-sequent proof systems for any _n_-valent logic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Foundations of applied mathematics I.Jeffrey Ketland - 2021 - Synthese 199 (1-2):4151-4193.
    This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Burn all your textbooks.Varol Akman - 2017 - Australasian Journal of Logic 14 (3).
    The standard propositional exposition of necessary and sufficient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dimensionally invariant numerical laws correspond to meaningful qualitative relations.R. Duncan Luce - 1978 - Philosophy of Science 45 (1):1-16.
    In formal theories of measurement meaningfulness is usually formulated in terms of numerical statements that are invariant under admissible transformations of the numerical representation. This is equivalent to qualitative relations that are invariant under automorphisms of the measurement structure. This concept of meaningfulness, appropriately generalized, is studied in spaces constructed from a number of conjoint and extensive structures some of which are suitably interrelated by distribution laws. Such spaces model the dimensional structures of classical physics. It is shown that this (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Models, models, models: a deflationary view.Jay Odenbaugh - 2018 - Synthese 198 (Suppl 21):1-16.
    In this essay, I first consider a popular view of models and modeling, the similarity view. Second, I contend that arguments for it fail and it suffers from what I call “Hughes’ worry.” Third, I offer a deflationary approach to models and modeling that avoids Hughes’ worry and shows how scientific representations are of apiece with other types of representations. Finally, I consider an objection that the similarity view can deal with approximations better than the deflationary view and show that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reduction, representation and commensurability of theories.Peter Schroeder-Heister & Frank Schaefer - 1989 - Philosophy of Science 56 (1):130-157.
    Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Analysis in Prior Analytics I.45.Igor Martinjak - 2022 - History and Philosophy of Logic 43 (3):207-231.
    I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetrically analysable, and non-analysable syllogisms. From the first and the third group could be extracted 27 combinations of the two mutually non-derivable deductive rules. Aristotle’s reduced deductive system in APr. I.7 with the two moods in the first figure (traditionally called Barbara and Celarent) follows this pattern. I demonstrate that the deductive system with Barbara and Celarent is just (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Alf Ross on the Concept of a Legal Right.Torben Spaak - 2014 - Ratio Juris 27 (4):461-476.
    In this article, I discuss Alf Ross's claim that the concept of a legal right is best understood as a technical tool of presentation, which ties together a disjunction of operative facts and a conjunction of legal consequences, and that rights statements render the content of a number of legal norms in a convenient manner. I argue that while Ross's analysis is appealing, it is problematic in at least three respects. I also argue, however, that despite these difficulties Ross's analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Anselm’s Ontological Argument in Proslogion II.Paul E. Oppenheimer & Edward N. Zalta - 2021 - History of Philosophy & Logical Analysis 25 (2):327-351.
    Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reviewing Reduction in a Preferential Model‐Theoretic Context.Emma Ruttkamp & Johannes Heidema - 2005 - International Studies in the Philosophy of Science 19 (2):123 – 146.
    In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Approximate Semantic Transference: A Computational Theory of Metaphors and Analogies.Bipin Indurkhya - 1987 - Cognitive Science 11 (4):445-480.
    In this paper we start from the assumption that in a metaphor, or an analogy, some terms belonging to one domain (source domain) are used to refer to objects other than their conventional referents belonging to a possibly different domain (target domain). We describe a formalism, which is based on the First Order Predicate Calculus, for representing the knowledge structure associated with a domain and then develop a theory of Constrained Semantic Transference [CST] which allows the terms and the structural (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations