Formal Methods in the Philosophy of Science

Cite This

Files in this item

Checksum: MD5:3e1007dac887f4cbb8838d0f7ad268d5

HORSTEN, Leon, Igor DOUVEN, 2008. Formal Methods in the Philosophy of Science. In: Studia Logica. Springer. 89, pp. 151-162. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-008-9129-2

@article{Horsten2008Forma-56725, title={Formal Methods in the Philosophy of Science}, year={2008}, doi={10.1007/s11225-008-9129-2}, volume={89}, issn={0039-3215}, journal={Studia Logica}, pages={151--162}, author={Horsten, Leon and Douven, Igor} }

<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/rdf/resource/123456789/56725"> <dc:rights>terms-of-use</dc:rights> <dc:creator>Douven, Igor</dc:creator> <dcterms:abstract xml:lang="eng">In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.</dcterms:abstract> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Horsten, Leon</dc:creator> <dc:language>eng</dc:language> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56725"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-02T15:31:31Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56725/3/Horsten_2-1jcet4aefxaz21.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Douven, Igor</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:issued>2008</dcterms:issued> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56725/3/Horsten_2-1jcet4aefxaz21.pdf"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-02T15:31:31Z</dc:date> <dcterms:title>Formal Methods in the Philosophy of Science</dcterms:title> <dc:contributor>Horsten, Leon</dc:contributor> </rdf:Description> </rdf:RDF>

Downloads since Mar 2, 2022 (Information about access statistics)

Horsten_2-1jcet4aefxaz21.pdf 19

This item appears in the following Collection(s)

Search KOPS


Browse

My Account