skip to content
The logical foundations of scientific theories : languages, structures, and models Preview this item
ClosePreview this item
Checking...

The logical foundations of scientific theories : languages, structures, and models

Author: Decio Krause; Jonas R Becker Arenhart
Publisher: New York : Routledge/Taylor & Francis Group, 2017.
Series: Routledge studies in philosophy of mathematics and physics, 1.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Decio Krause; Jonas R Becker Arenhart
ISBN: 9781138684492 113868449X
OCLC Number: 946031715
Description: xv, 143 pages ; 24 cm.
Contents: Machine generated contents note: 1. Quandary on the Characterization of Scientific Theories --
1.1. Received View and Syntactical Approaches --
1.2. Semantic Approach --
1.3. Scientific Theories and Philosophical Tools --
2. Axiomatization --
2.1. Concrete Axiomatics --
2.2. Abstract Axiomatics --
2.3. Formal Axiomatics --
2.3.1. First-Order Classical Logic With Identity --
2.3.2. Peano Arithmetics --
3. Mathematical Background --
3.1. Principle of Constructivity --
3.2. ZF(C) Set Theories --
3.2.1. Postulates of ZF(C) --
3.2.2. Matter of Terminology --
3.2.3. Inaccessible Cardinals --
3.2.4. Informal Semantics of £e --
3.3. `Models' of ZF(C), Again --
3.4. Urelemente --
3.4.1. Some Comments --
3.5. More on the `Models' of ZF(C) --
4. Criticism of the Axiomatic Method and Its Defense --
4.1. Does the AM Encompass Heuristics? --
4.1.1. Axiomatic Method and Heuristics --
4.2. Truesdell Against the `Suppesians' --
4.3. Arnol'd and the Bourbaki Program --
4.4. Worth Axiomatize? --
4.5. Does Axiomatization Really Axiomatize? --
5. Axiomatization and Scientific Theories --
5.1. External Axiomatizations --
5.2. Structures --
5.3. Languages and Algebras --
5.4. Languages for Speaking of Structures --
5.4.1. Language of a Structure --
5.5. Definability and Expressive Elements --
5.6. On the New Symbols --
5.7. Da Costa and Chuaqui --
Suppes Predicates --
5.7.1. Suppes Predicate for Group Theory --
5.7.2. Suppes Predicate for Classical Particle Mechanics --
5.8. Approach of Suppes --
5.8.1. Axiomatization of Non-relativistic Quantum Mechanics --
6. Models and Scientific Theories --
6.1. Again on the Order of Languages and Structures --
6.2. Further Remarks on the Suppes Approach --
6.3. Da Costa and Chuaqui, Further Remarks --
6.4. Metamathematical Framework.
Series Title: Routledge studies in philosophy of mathematics and physics, 1.
Responsibility: Décio Krause and Jonas R.B. Arenhart.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/946031715> # The logical foundations of scientific theories : languages, structures, and models
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "946031715" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2972702340#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/2972702340#Topic/science_theory_reduction> ; # Science--Theory reduction
    schema:about <http://experiment.worldcat.org/entity/work/data/2972702340#Topic/science_philosophy> ; # Science--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/2972702340#Topic/science_methodology> ; # Science--Methodology
    schema:about <http://dewey.info/class/501/e23/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2972702340#Person/becker_arenhart_jonas_r> ; # Jonas R. Becker Arenhart
    schema:creator <http://experiment.worldcat.org/entity/work/data/2972702340#Person/krause_decio> ; # Decio Krause
    schema:datePublished "2017" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2972702340> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2972702340#Series/routledge_studies_in_philosophy_of_mathematics_and_physics> ; # Routledge studies in philosophy of mathematics and physics ;
    schema:name "The logical foundations of scientific theories : languages, structures, and models"@en ;
    schema:productID "946031715" ;
    schema:workExample <http://worldcat.org/isbn/9781138684492> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/946031715> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2972702340#Person/becker_arenhart_jonas_r> # Jonas R. Becker Arenhart
    a schema:Person ;
    schema:familyName "Becker Arenhart" ;
    schema:givenName "Jonas R." ;
    schema:name "Jonas R. Becker Arenhart" ;
    .

<http://experiment.worldcat.org/entity/work/data/2972702340#Person/krause_decio> # Decio Krause
    a schema:Person ;
    schema:familyName "Krause" ;
    schema:givenName "Decio" ;
    schema:name "Decio Krause" ;
    .

<http://experiment.worldcat.org/entity/work/data/2972702340#Series/routledge_studies_in_philosophy_of_mathematics_and_physics> # Routledge studies in philosophy of mathematics and physics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/946031715> ; # The logical foundations of scientific theories : languages, structures, and models
    schema:name "Routledge studies in philosophy of mathematics and physics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2972702340#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2972702340#Topic/science_methodology> # Science--Methodology
    a schema:Intangible ;
    schema:name "Science--Methodology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2972702340#Topic/science_philosophy> # Science--Philosophy
    a schema:Intangible ;
    schema:name "Science--Philosophy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2972702340#Topic/science_theory_reduction> # Science--Theory reduction
    a schema:Intangible ;
    schema:name "Science--Theory reduction"@en ;
    .

<http://worldcat.org/isbn/9781138684492>
    a schema:ProductModel ;
    schema:isbn "113868449X" ;
    schema:isbn "9781138684492" ;
    .

<http://www.worldcat.org/title/-/oclc/946031715>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/946031715> ; # The logical foundations of scientific theories : languages, structures, and models
    schema:dateModified "2017-12-05" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.