Formal Methods in the Philosophy of Natural Science

Cite This

Files in this item

Checksum: MD5:8e2f14ceab40d468af16e3035dc0756b

MÜLLER, Thomas, 2010. Formal Methods in the Philosophy of Natural Science. In: STADLER, Friedrich, ed.. The Present Situation in the Philosophy of Science. Dordrecht:Springer Netherlands, pp. 111-123. ISBN 978-90-481-9114-7. Available under: doi: 10.1007/978-90-481-9115-4_9

@incollection{Muller2010Forma-27234, title={Formal Methods in the Philosophy of Natural Science}, year={2010}, doi={10.1007/978-90-481-9115-4_9}, isbn={978-90-481-9114-7}, address={Dordrecht}, publisher={Springer Netherlands}, booktitle={The Present Situation in the Philosophy of Science}, pages={111--123}, editor={Stadler, Friedrich}, author={Müller, Thomas} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dcterms:rights rdf:resource=""/> <dcterms:available rdf:datatype="">2014-03-31T12:45:11Z</dcterms:available> <dc:contributor>Müller, Thomas</dc:contributor> <dcterms:title>Formal Methods in the Philosophy of Natural Science</dcterms:title> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource=""/> <dspace:hasBitstream rdf:resource=""/> <dcterms:issued>2010</dcterms:issued> <bibo:uri rdf:resource=""/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Müller, Thomas</dc:creator> <dcterms:abstract xml:lang="eng">What is the proper place of formal methods in philosophy of natural science, or in philosophy more broadly speaking? The idea that philosophy should proceed formally (“more geometrico”, as in the title of Spinoza’s Ethica) has been around for some time, but both the attitude towards formal methods and the understanding of formal methods itself has changed. Mathematical logic has succeeded geometrical demonstration as the paradigm of formal precision, and in technical areas such as foundations of mathematics and logic, Frege’s and Russell’s logicist programmes indicate early peaks of the application of these methods. The idea of employing such formal-logical methods in philosophy more generally was championed by the logical empiricism of the 1920s and 1930s. Wrestling with the methodological foundations of their discipline in an attempt to exclude what they perceived to be nonsense, some at the time even sought recourse in a purely formal-logical foundation for philosophy. Frege’s student Carnap in his programmatic paper on “the old and the new logic” (Carnap, 1930, 26) put the matter thus: “To pursue philosophy means nothing but: clarifying the concepts and sentences of science by logical analysis.”</dcterms:abstract> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:bibliographicCitation>The present situation in the philosophy of science / Friedrich Stadler, general ed... - Dordrecht [u.a.] : Springer, 2010. - S. 111-123. - (The Philosophy of Science in a European Perspective ; 1). - ISBN 978-90-481-9114-7</dcterms:bibliographicCitation> <dc:date rdf:datatype="">2014-03-31T12:45:11Z</dc:date> <dcterms:hasPart rdf:resource=""/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:rights>terms-of-use</dc:rights> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

Müller_272349.pdf 486

This item appears in the following Collection(s)

Search KOPS


My Account