Switch to: Citations

Add references

You must login to add references.
  1. Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
    The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...)
    Download  
     
    Export citation  
     
    Bookmark   231 citations  
  • The structure and dynamics of theories.Wolfgang Stegmüller - 1976 - New York: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • The Logical Structure of Mathematical Physics.Joseph D. Sneed - 1975 - Erkenntnis 9 (3):423-436.
    Download  
     
    Export citation  
     
    Bookmark   251 citations  
  • A comparison of the meaning and uses of models in mathematics and the empirical sciences.Patrick Suppes - 1960 - Synthese 12 (2-3):287--301.
    Download  
     
    Export citation  
     
    Bookmark   206 citations  
  • Introduction to symbolic logic and its applications.Rudolf Carnap - 1958 - New York,: Dover Publications.
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • (1 other version)Logische Syntax der Sprache.R. Carnap - 1936 - Philosophy 11 (41):110-114.
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Deterministic theories.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • (1 other version)The Structuralist View of Theories. A Possible Analogue of the Bourbaki Programme in Physical Science.W. Stegmüller - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):85-86.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Psychoneural Reduction (B. Hannan).J. Bickle - 2000 - Philosophical Books 41 (1):53-54.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Structuralist knowledge representation: paradigmatic examples.P. Lorenzano, W. Balzer, C. U. Moulines & J. Sneed - 2000 - In Joseph D. Sneed, Wolfgang Balzer & C.-U. Moulines (eds.), Structuralist Knowledge Representation: Paradigmatic Examples. Rodopi.
    Contents: Foreword. Wolfgang BALZER and C. ULISES MOULINES: Introduction. José A. DÍEZ CALZADA: Structuralist Analysis of Theories of Fundamental Measurement. Adolfo GARCÍA DE LA SIENRA and Pedro REYES: The Theory of Finite Games in Extensive Form. Hans Joachim BURSCHEID und Horst STRUVE: The Theory of Stochastic Fairness - its Historical Development, Formulation and Justification. Wolfgang BALZER and Richard MATTESSICH: Formalizing the Basis of Accounting. Werner DIEDERICH: A Reconstruction of Marxian Economics. Bert HAMMINGA and Wolfgang BALZER: The Basic Structure of Neoclassical (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Über Extremalaxiome.Rudolf Carnap & Friedrich Bachmann - 1936 - Erkenntnis 6 (1):166-188.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Is there any theoretical justification for a nonstatement view of theories?David Pearce - 1981 - Synthese 46 (1):1 - 39.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Logical properties of the structuralist concept of reduction.David Pearce - 1982 - Erkenntnis 18 (3):307 - 333.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • On the logical basis of the structuralist philosophy of science.Veikko Rantala - 1980 - Erkenntnis 15 (3):269 - 286.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • The old and the new logic of metascience.Veikko Rantala - 1978 - Synthese 39 (2):233 - 247.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Structuralist Theory of Science.Wolfgang Balzer & C. Ulises Moulines - 1999 - Erkenntnis 51 (2-3):353-356.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Uniform microreductions.Robert L. Causey - 1972 - Synthese 25 (1-2):176 - 218.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.
    This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Incommensurability, reduction, and translation.W. Balzer - 1985 - Erkenntnis 23 (3):255 - 267.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Bridges, Constraints, and Links1.C. Ulises Moulines & Marek Polanski - 1996 - In Wolfgang Balzer & Carles Ulises Moulines (eds.), Structuralist theory of science: focal issues, new results. New York: Walter de Gruyter. pp. 6--219.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Adams on theoretical reduction.MichaelA Day - 1985 - Erkenntnis 23 (2):161 - 184.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Model theory and empirical interpretation of scientific theories.Raimo Tuomela - 1972 - Synthese 25 (1-2):165 - 175.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Axiomatic Foundations of Rigid Body Mechanics.Ernest Wilcox Adams - 1956 - Dissertation, Stanford University
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.
    This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'''' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   13 citations