Switch to: References

Add citations

You must login to add citations.
  1. Sobre la historia de la filosofía de la ciencia. A propósito de un libro de C. Ulises Moulines.Alejandro Cassini - 2013 - Critica 45 (134):69-97.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Metaphysics and the Advancement of Science.J. W. N. Watkins - 1975 - British Journal for the Philosophy of Science 26 (2):91-121.
  • Problématique de la preuve en épistémologie contemporaine.Robert Nadeau - 1980 - Philosophiques 7 (2):217-246.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Imre Lakatos: A Critical Appraisal.Leslie Allan - manuscript
    Imre Lakatos holds a well-deserved primary place in current philosophy of science. In this essay, Leslie Allan critically examines Lakatos' theory of knowledge in two key areas. The first area of consideration is Lakatos' notion that knowledge is gained through a process of competition between rival scientific research programmes. Allan identifies and discusses four problems with Lakatos' characterization of a research programme. Next, Allan considers Lakatos' proposed test of adequacy for theories of rationality using his methodology of historiographical research programmes. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Towards an Objective Theory of Rationality.Leslie Allan - manuscript
    Drawing on insights from Imre Lakatos' seminal work on theories of rationality, Leslie Allan develops seven criteria for rational theory choice that avoid presuming the rationality of the scientific enterprise. He shows how his axioms of rationality follow from the general demands of an objectivist epistemology. Allan concludes by considering two weighty objections to his framework.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quine's Philosophical Naturalism.Jerzy Giedymin - 1972 - British Journal for the Philosophy of Science 23 (1):45-55.
    Quine's reasons for recommending naturalist epistemology are: (1) knowledge, Mind and meaning are part of the world they have to do with, (2) since the cartesian quest for certainty and reductionism of carnap's 'aufbau' type have failed, Rational reconstruction has no more any advantage over psychology, (3) since phenomenalist validation of science is no longer our concern, It is not circular to appeal to psychology. Against this it is argued that (a) no definite methodological policy can be based on (1) (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • My Route to Arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
    I had the pleasure of renewing my acquaintance with Per Lindström at the meeting of the Seventh Scandinavian Logic Symposium, held in Uppsala in August 1996. There at lunch one day, Per said he had long been curious about the development of some of the ideas in my paper [1960] on the arithmetization of metamathematics. In particular, I had used the construction of a non-standard definition !* of the set of axioms of P (Peano Arithmetic) to show that P + (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • An Empiricist Criterion of Meaning.Yann Benétreau-Dupin - 2011 - South African Journal of Philosophy 30 (2):95-108.
    The meaning of scientific propositions is not always expressible in terms of observable phenomena. Such propositions involve generalizations, and also terms that are theoretical constructs. I study here how to assess the meaning of scientific propositions, that is, the specific import of theoretical terms. Empiricists have expressed a concern that scientific propositions, and theoretical terms, should always be, to some degree, related to observable consequences. We can see that the former empiricist criterion of meaning only implies for theoretical terms not (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Moral Epistemology: The Mathematics Analogy.Justin Clarke-Doane - 2014 - Noûs 48 (2):238-255.
    There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  • On a Straw Man in the Philosophy of Science - A Defense of the Received View.Sebastian Lutz - 2012 - Hopos: The Journal of the International Society for the History of Philosophy of Science 2 (1):77–120.
    I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Computability and Human Symbolic Output.Jason Megill & Tim Melvin - 2014 - Logic and Logical Philosophy 23 (4):391-401.
    This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Craig's Theorem and the Empirical Underdetermination Thesis Reassessed.Christian List - 1999 - Disputatio 1 (7):27-39.
  • Craig's Theorem and the Empirical Underdetermination Thesis Reassessed.Christian List - 1999 - Disputatio 1 (7):27-39.
    This paper reassesses the question of whether Craig’s theorem poses a challenge to Quine's empirical underdetermination thesis. It will be demonstrated that Quine’s account of this issue in his paper “Empirically Equivalent Systems of the World” (1975) is flawed and that Quine makes too strong a concession to the Craigian challenge. It will further be pointed out that Craig’s theorem would threaten the empirical underdetermination thesis only if the set of all relevant observation conditionals could be shown to be recursively (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Realism/Antirealism Debate in the Philosophy of Science.Radu Dudau - unknown
    This is a defense of the doctrine of scientific realism. SR is defined through the following two claims: Most essential unobservables posited by the well-established current scientific theories exist independently of our minds. We know our well-established scientific theories to be approximately true. I first offer positive argumentation for SR. I begin with the so-called 'success arguments' for SR: 1) scientific theories most of the times entail successful predictions; 2) science is methodologically successful in generating empirically successful theories. SR explains (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Interpretation and Equivalence; or, Equivalence and Interpretation.Neil Dewar - unknown
    Philosophers of science spend a lot of time “interpreting” scientific theories. In this paper, I try to get a handle on what it is they might be up to. My main contention is that a certain picture of interpretation is widespread in contemporary philosophy of science: a picture according to which interpretation of theories is relevantly analogous to the interpretation of foreign literature. On this picture, which we might call the external account of theory-interpretation, meaning is to be imported into (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Criteria of Empirical Significance: Foundations, Relations, Applications.Sebastian Lutz - 2012 - Dissertation, Utrecht University
    This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • On Field's Nominalization of Physical Theories.Mate Szabo - unknown
    Quine and Putnam's Indispensability Argument claims that we must be ontologically committed to mathematical objects, because of the indispensability of mathematics in our best scientific theories. Indispensability means that physical theories refer to and quantify over mathematical entities such as sets, numbers and functions. In his famous book 'Science Without Numbers' Hartry Field argues that this is not the case. We can "nominalize" our physical theories, that is we can reformulate them in such a way that 1) the new version (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • The Abridgement Paradox.Roy Sorensen - 2019 - Australasian Journal of Philosophy 97 (3):572-588.
    When axiomatizing a body of truths, one first concentrates on obtaining a set of axioms that entail all and only those truths. The theorist expects that this complete system will have some...
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Truth, Ramsification, and the Pluralist's Revenge.Cory D. Wright - 2010 - Australasian Journal of Philosophy 88 (2):265–283.
    Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Carnap’s Ramseyfications Defended.Thomas Uebel - 2011 - European Journal for Philosophy of Science 1 (1):71-87.
    This paper seeks to evaluate the potential of the Newman objection to function as an immanent critique of Carnap's use of the Ramsey method of regimenting scientific theories. Stress is laid on the distinctive way in which ramseyfications are used by Carnap to formulate the analytic/synthetic distinction for the theoretical language and on the difference between the ontological and the epistemic readings of the Newman objection. While the former reading of the Newman objection is rejected as trading on an assumption (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • On the Possibility of Inference to the Best Explanation.Clark Glymour - 2012 - Journal of Philosophical Logic 41 (2):461-469.
    Various proposals have suggested that an adequate explanatory theory should reduce the number or the cardinality of the set of logically independent claims that need be accepted in order to entail a body of data. A (and perhaps the only) well-formed proposal of this kind is William Kneale’s: an explanatory theory should be finitely axiomatizable but it’s set of logical consequences in the data language should not be finitely axiomatizable. Craig and Vaught showed that Kneale theories (almost) always exist for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Some Properties of Humanly Known and Humanly Knowable Mathematics.Jason L. Megill, Tim Melvin & Alex Beal - 2014 - Axiomathes 24 (1):81-88.
    We argue that the set of humanly known mathematical truths (at any given moment in human history) is finite and so recursive. But if so, then given various fundamental results in mathematical logic and the theory of computation (such as Craig’s in J Symb Log 18(1): 30–32(1953) theorem), the set of humanly known mathematical truths is axiomatizable. Furthermore, given Godel’s (Monash Math Phys 38: 173–198, 1931) First Incompleteness Theorem, then (at any given moment in human history) humanly known mathematics must (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • O Pojęciu Zdania Analitycznego.Marian Przełęcki - 1963 - Studia Logica 14 (1):155 - 182.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • . . .And Away From a Theory of Explanation Itself.Christopher Hitchcock - 2005 - Synthese 143 (1-2):109-124.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Axiomatizing Belnap's Conditional Assertion.J. Michael Dunn - 1975 - Journal of Philosophical Logic 4 (4):383 - 397.
  • Craig's Theorem, Ramsey-Sentences, and Scientific Instrumentalism.James W. Cornman - 1972 - Synthese 25 (1-2):82 - 128.
  • Decidability by Filtrations for Graded Normal Logics (Graded Modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
  • Pojęcia Teoretyczne a Doświadczenie.Marian Przeŀęcki - 1961 - Studia Logica 11 (1):91 - 138.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Über Theorien Im Erweiterten Sinne.August Pieczkowski - 1974 - Studia Logica 33 (4):317-331.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Road to Two Theorems of Logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
    Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Inductive Systematization: Definition and a Critical Survey.Ilkka Niiniluoto - 1972 - Synthese 25 (1-2):25 - 81.
    In 1958, to refute the argument known as the theoretician's dilemma, Hempel suggested that theoretical terms might be logically indispensable for inductive systematization of observational statements. This thesis, in some form or another, has later been supported by Scheffler, Lehrer, and Tuomela, and opposed by Bohnert, Hooker, Stegmüller, and Cornman. In this paper, a critical survey of this discussion is given. Several different putative definitions of the crucial notion inductive systematization achieved by a theory are discussed by reference to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Wissenschaftslogik: The Role of Logic in the Philosophy of Science.Michael Friedman - 2008 - Synthese 164 (3):385-400.
    Carl Hempel introduced what he called "Craig's theorem" into the philosophy of science in a famous discussion of the "problem of theoretical terms." Beginning with Hempel's use of 'Craig's theorem," I shall bring out some of the key differences between Hempel's treatment of the "problem of theoretical terms" and Carnap's in order to illuminate the peculiar function of Wissenschaftslogik in Carnap's mature philosophy. Carnap's treatment, in particular, is fundamentally antimetaphysical—he aims to use the tools of mathematical logic to dissolve rather (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Analityczne Komponenty Definicji Arbitralnych.Ryszard Wójcicki - 1963 - Studia Logica 14 (1):119 - 154.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Too Naturalist and Not Naturalist Enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.
    Leon Horsten has recently claimed that the class of mathematical truths coincides with the class of theorems of ZFC. I argue that the naturalistic character of Horsten’s proposal undermines his contention that this claim constitutes an analogue of a thesis that Daniel Isaacson has advanced for PA. I argue, moreover, that Horsten’s defence of his claim against an obvious objection makes use of a distinction which is not available to him given his naturalistic approach. I suggest a way out of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pragmatics and Intensional Logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.
  • On Rosser's Provability Predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • User Dem Hegriff der Theorie.August Pieczkowski - 1974 - Bulletin of the Section of Logic 3 (1):25-28.
  • Vaught's Theorem on Axiomatizability by a Scheme.Albert Visser - 2012 - Bulletin of Symbolic Logic 18 (3):382-402.
    In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a strengthening of Vaught's theorem by weakening the hypothesis of direct interpretability of VS to direct interpretability of the finitely axiomatized fragment VS2 of VS. This improvement significantly increases the scope of the original result, since VS is essentially undecidable, but VS2 has (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pragmatics and Intensional Logic.Richard Montague - 1970 - Dialectica 24 (4):277-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Craig’s Trick and a Non-Sequential System for the Lambek Calculus and its Fragments.Stepan Kuznetsov, Valentina Lugovaya & Anastasiia Ryzhova - 2019 - Logic Journal of the IGPL 27 (3):252-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Le réalisme des hypothèses et la Partial Interpretation View.Philippe Mongin - 1988 - Philosophy of the Social Sciences 18 (3):281-325.
    The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  • Independent Axiomatizability of Sets of Sentences.Piotr Wojtylak - 1989 - Annals of Pure and Applied Logic 44 (3):259-299.
    This is an expository paper on the problem of independent axiomatization of any set of sentences. This subject was investigated in 50's and 60's, and was abandoned later on, though not all fundamental questions were settled then. Besides, some papers written at that time are hardly available today and there are mistakes and misunderstandings there. We would like to get back to that unfinished business to clarify the subject matter, correct mistakes and answer questions left open by others. We shall (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • The Coherence of Theories-Dependencies and Weights.Jason Jingshi Li, Rex Bing Hung Kwok & Norman Foo - unknown
    One way to evaluate and compare rival but potentially incompatible theories that account for the same set of observations is coherence. In this paper we take the quantitative notion of theory coherence as proposed by [Kwok, et.al. 98] and broaden its foundations. The generalisation will give a measure of the efficacy of a sub–theory as against single theory components. This also gives rise to notions of dependencies and couplings to account for how theory components interact with each other. Secondly we (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Enumeration Reducibility and Partial Degrees.John Case - 1971 - Annals of Mathematical Logic 2 (4):419-439.
  • Theoretical Contingencies.B. F. Skinner - 1984 - Behavioral and Brain Sciences 7 (4):541.
  • Behavioral and Statistical Theorists and Their Disciples.Leroy Wolins - 1984 - Behavioral and Brain Sciences 7 (4):540.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Psychology: Toward the Mathematical Inner Man.James T. Townsend - 1984 - Behavioral and Brain Sciences 7 (4):539.
  • Behavior, Theories, and the Inner.Ernest Sosa - 1984 - Behavioral and Brain Sciences 7 (4):537.
  • The Question: Not Shall It Be, but Which Shall It Be?Charles P. Shimp - 1984 - Behavioral and Brain Sciences 7 (4):536.
  • Theories and Human Behavior.Morton L. Schagrin - 1984 - Behavioral and Brain Sciences 7 (4):536.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark