Formal Methods in the Philosophy of Natural Science

Müller, Thomas

Formal Methods in the Philosophy of Natural Science

Dateien

Müller_272349.pdfGröße: 1.55 MBDownloads: 379

Datum

2010

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Philosophie

Publikationstyp

Beitrag zu einem Sammelband

Publikationsstatus

Published

Erschienen in

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

Zusammenfassung

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.”

Fachgebiet (DDC)

100 Philosophie

Zitieren

ISO 690

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, 2010, pp. 111-123. ISBN 978-90-481-9114-7. Available under: doi: 10.1007/978-90-481-9115-4_9

BibTex

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

RDF

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/27234">
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Müller, Thomas</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-31T12:45:11Z</dc:date>
    <dcterms:title>Formal Methods in the Philosophy of Natural Science</dcterms:title>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <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>
    <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:language>eng</dc:language>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27234/2/M%c3%bcller_272349.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-31T12:45:11Z</dcterms:available>
    <dc:contributor>Müller, Thomas</dc:contributor>
    <dcterms:issued>2010</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27234/2/M%c3%bcller_272349.pdf"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27234"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein