more reading about philosophy of science
Jan. 25th, 2004 09:14 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslhttp://www.mmsysgrp.com/stefanik.htm
Check out these references... I wanna read like half of them!
Theories of Truth
Tarski, Carnap, Davidson, Field, Dummett, Prosentential, Putnam articles.
Quine, W.V.O. Philosophy of Logic
Haack, Susan. Philosophy of Logics
Devitt, Michael. Realism and Truth
Putnam, Hilary. Realism and Reason, Words and Life
Kirkman, Richard. Theories of Truth
Stefanik, Richard. "Theories of Truth"
Mathematical Truth and Philosophy of Mathematics
Stefanik, Richard. "Structuralism, Category Theory and Philosophy of Mathematics"
Structure of Scientific Theories: Received View
Suppe, Frederick. "Received View of Scientific Theories",
The Structure of Scientific Theories
Stefanik, Richard. "The Received View of Scientific Theories"
Semantic Approach to Scientific Theories
Van Fraasen, Bas. The Scientific Image, Laws and Symmetry
Giere, Ronald. Understanding Science
Suppe, Frederick.The Semantic Approach to Scientifc Theories
Stefanik, Richard. "Van Fraasen's Philosophy of Science"
Role of Models in Science
Harre, Rom. Reality Rescued, Varieties of Realism
Models of Data and Experiments
Suppes, Patrick. "The Structure of Theories and the Analysis of Data"
Studies in the Methodology and Foundations of Science
Models and Methods in the Philosophy of Science
Hacking, Ian. Representing and Intervening
Savage, F. Philosophical Theories of Measurement
Heelan, Patrick A. "After Experiment: Realism and Research"
"Experiments as Fulfilment of Theory"
"Husserl's Later Philosophy of Natural Science"
Stefanik, Richard. "Heelan : Theories, Experiments, and Phenomena"
Symmetry, Invariance and Covariance in Physical Theories
Nagel, Ernest. "Objectivity and Invariance", The Structure of Science
Lucas, J.R. "Constancy, Invariance, and Symmetry", Space, Time and Causality
Wigner, Eugene. Symmetries and Reflections
Weyl, Herman. Symmetry
Roche, John."A Critical Study of Symmetry in Physics from Galileo to Newton"
"The Semantics of Graphics in Mathematical Natural Philosophy"
Redhead, Michael. "Symmetry in Inter-Theory Relations"
Harre, Rom."Covariance and Conservation" (Mathematical Epistemology),
Varieties of Realism
Van Fraassen,Bas. Laws and Symmetry
Post, Heinz. "Correspondence, Invariance and Heuristics"
Brown, Harvey. "Correspondence, Invaraince & Heurisrtics
in the Emergence of Special Relativity"
The Abstract Logic Characterization of Scientific Theories
Feferman, Solomon. "Two Notes on Abstract Model Theory"
Barwise, Jon. Handbook on Mathematical Logic
Barwise and Feferman. Model-Theoretic Logics
Barwise, Jon. "Axioms for Abstract Model Theory"
Annuals of Mathematical Logic, 7, p.221-265
Hodges, Wilfrid. Model Theory
Stefanik, Richard." Pearce-Rantala and the Abstract Logic Characterization of Theories"
Structuralist Characterization of Scientific Theories
Balzer, Moulines, Sneed. An Architectonic for Science
Sneed, Joseph. "Structuralism and Scientific Theories"
Grandy, Richard. "Theories of Theories: A View from Cognitive Science"
Stefanik, Richard. "Structuralist Representations of Scientific Theories"
Reduction, Incommensurability and Functors
Sneed, Joseph. "Reduction, Interpretation and Invariance"
Mormann, Thomas. "Structuralist Reduction Concepts as Structure Preserving Maps"
Stefanik, Richard. "Functors and Inter-Theoretic Relations"
Scientific Truth, Objectivity and Invariance
Conclusion and Summation of Argument:
The objectivity of scientific theories, especially the objectivity of
theory change, is best explicated using functors and category theory.
The concept of scientific truth based on Tarski's definition of
mathematical truth is a derivative concept.
Appendix I: Basic Constructions of Category Theory
Categories
Pitt, David. "Categories"
Goguen, Joseph. "A Categorical Manifesto", "Types as Theories"
Fourman, Michael. "Theories as Categories"
MacLane, Saunders. "Logic is neither foundations or philosophy"
Poigne, Axel. "Algebra Categorically"
Functors
Rydeheard, David. "Functors and Natural Transformations"
Pierce. Category Theory for Computer Science
Adjunction
Mac Lane and Birkhoff. "Categories and Adjoint Functors", Algebra
Mac Lane. "Adjunction", Categories for the Working Mathematician
Topos
Barr and Wells. Category Theory for Computer Science
Fourman, Michael. "The Logic of Topoi"
Hyland, Martin. "The Effective Topos"
Pure Category Theory
Blyth, T.S. Categories
MacLane, Saunders. Categories for the Working Mathematician
Arbib and Manes. Arrows, Structures and Functors
McLarty, Colin. Elementary Categories, Elementary Topoi
Appendix II: Applications of Category Theory in Scientific Disciplines
Categorical Logic
Poigne, Axel. "Category Theory and Logic"
Kock and Reyes. "Doctrines in Categorical Logic"
Goldblatt, Robert. Topoi - The Categorical Analysis of Logic
Pitts, Andrew. Notes on Categorical Logic, Categories and Types
Lambert and Scott. Introduction to Higher Order Categorical Logic
Crole,R. Types in Categories
Computer Science
Pierce, Benjamin: Category Theory in Computer Science
Barr & Wells: Category Theory for Computer Science
Adamek: Category Theory for Automata Theory
Pitt, Abramsky, Poigne, Rydeheard.(ed) Category Theory and Computer Programming
Mathematical Physics
Geroch, Robert. Mathematical Physics
MacLane, Saunders. Form and Function in Mathematics
Frohlich, Jurg and Kerler, Thomas.
Quantum Groups, Quantum Categories and Quantum Field Theory
Check out these references... I wanna read like half of them!
Theories of Truth
Tarski, Carnap, Davidson, Field, Dummett, Prosentential, Putnam articles.
Quine, W.V.O. Philosophy of Logic
Haack, Susan. Philosophy of Logics
Devitt, Michael. Realism and Truth
Putnam, Hilary. Realism and Reason, Words and Life
Kirkman, Richard. Theories of Truth
Stefanik, Richard. "Theories of Truth"
Mathematical Truth and Philosophy of Mathematics
Stefanik, Richard. "Structuralism, Category Theory and Philosophy of Mathematics"
Structure of Scientific Theories: Received View
Suppe, Frederick. "Received View of Scientific Theories",
The Structure of Scientific Theories
Stefanik, Richard. "The Received View of Scientific Theories"
Semantic Approach to Scientific Theories
Van Fraasen, Bas. The Scientific Image, Laws and Symmetry
Giere, Ronald. Understanding Science
Suppe, Frederick.The Semantic Approach to Scientifc Theories
Stefanik, Richard. "Van Fraasen's Philosophy of Science"
Role of Models in Science
Harre, Rom. Reality Rescued, Varieties of Realism
Models of Data and Experiments
Suppes, Patrick. "The Structure of Theories and the Analysis of Data"
Studies in the Methodology and Foundations of Science
Models and Methods in the Philosophy of Science
Hacking, Ian. Representing and Intervening
Savage, F. Philosophical Theories of Measurement
Heelan, Patrick A. "After Experiment: Realism and Research"
"Experiments as Fulfilment of Theory"
"Husserl's Later Philosophy of Natural Science"
Stefanik, Richard. "Heelan : Theories, Experiments, and Phenomena"
Symmetry, Invariance and Covariance in Physical Theories
Nagel, Ernest. "Objectivity and Invariance", The Structure of Science
Lucas, J.R. "Constancy, Invariance, and Symmetry", Space, Time and Causality
Wigner, Eugene. Symmetries and Reflections
Weyl, Herman. Symmetry
Roche, John."A Critical Study of Symmetry in Physics from Galileo to Newton"
"The Semantics of Graphics in Mathematical Natural Philosophy"
Redhead, Michael. "Symmetry in Inter-Theory Relations"
Harre, Rom."Covariance and Conservation" (Mathematical Epistemology),
Varieties of Realism
Van Fraassen,Bas. Laws and Symmetry
Post, Heinz. "Correspondence, Invariance and Heuristics"
Brown, Harvey. "Correspondence, Invaraince & Heurisrtics
in the Emergence of Special Relativity"
The Abstract Logic Characterization of Scientific Theories
Feferman, Solomon. "Two Notes on Abstract Model Theory"
Barwise, Jon. Handbook on Mathematical Logic
Barwise and Feferman. Model-Theoretic Logics
Barwise, Jon. "Axioms for Abstract Model Theory"
Annuals of Mathematical Logic, 7, p.221-265
Hodges, Wilfrid. Model Theory
Stefanik, Richard." Pearce-Rantala and the Abstract Logic Characterization of Theories"
Structuralist Characterization of Scientific Theories
Balzer, Moulines, Sneed. An Architectonic for Science
Sneed, Joseph. "Structuralism and Scientific Theories"
Grandy, Richard. "Theories of Theories: A View from Cognitive Science"
Stefanik, Richard. "Structuralist Representations of Scientific Theories"
Reduction, Incommensurability and Functors
Sneed, Joseph. "Reduction, Interpretation and Invariance"
Mormann, Thomas. "Structuralist Reduction Concepts as Structure Preserving Maps"
Stefanik, Richard. "Functors and Inter-Theoretic Relations"
Scientific Truth, Objectivity and Invariance
Conclusion and Summation of Argument:
The objectivity of scientific theories, especially the objectivity of
theory change, is best explicated using functors and category theory.
The concept of scientific truth based on Tarski's definition of
mathematical truth is a derivative concept.
Appendix I: Basic Constructions of Category Theory
Categories
Pitt, David. "Categories"
Goguen, Joseph. "A Categorical Manifesto", "Types as Theories"
Fourman, Michael. "Theories as Categories"
MacLane, Saunders. "Logic is neither foundations or philosophy"
Poigne, Axel. "Algebra Categorically"
Functors
Rydeheard, David. "Functors and Natural Transformations"
Pierce. Category Theory for Computer Science
Adjunction
Mac Lane and Birkhoff. "Categories and Adjoint Functors", Algebra
Mac Lane. "Adjunction", Categories for the Working Mathematician
Topos
Barr and Wells. Category Theory for Computer Science
Fourman, Michael. "The Logic of Topoi"
Hyland, Martin. "The Effective Topos"
Pure Category Theory
Blyth, T.S. Categories
MacLane, Saunders. Categories for the Working Mathematician
Arbib and Manes. Arrows, Structures and Functors
McLarty, Colin. Elementary Categories, Elementary Topoi
Appendix II: Applications of Category Theory in Scientific Disciplines
Categorical Logic
Poigne, Axel. "Category Theory and Logic"
Kock and Reyes. "Doctrines in Categorical Logic"
Goldblatt, Robert. Topoi - The Categorical Analysis of Logic
Pitts, Andrew. Notes on Categorical Logic, Categories and Types
Lambert and Scott. Introduction to Higher Order Categorical Logic
Crole,R. Types in Categories
Computer Science
Pierce, Benjamin: Category Theory in Computer Science
Barr & Wells: Category Theory for Computer Science
Adamek: Category Theory for Automata Theory
Pitt, Abramsky, Poigne, Rydeheard.(ed) Category Theory and Computer Programming
Mathematical Physics
Geroch, Robert. Mathematical Physics
MacLane, Saunders. Form and Function in Mathematics
Frohlich, Jurg and Kerler, Thomas.
Quantum Groups, Quantum Categories and Quantum Field Theory