Type of Publication: | Journal article |
Publication status: | Published |
URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1jcet4aefxaz21 |
Author: | Horsten, Leon; Douven, Igor |
Year of publication: | 2008 |
Published in: | Studia Logica ; 89 (2008). - pp. 151-162. - Springer. - ISSN 0039-3215. - eISSN 1572-8730 |
DOI (citable link): | https://dx.doi.org/10.1007/s11225-008-9129-2 |
Summary: |
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.
|
Subject (DDC): | 100 Philosophy |
Keywords: | formalization, formal method, applied logic |
Link to License: | In Copyright |
Refereed: | Yes |
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>
Horsten_2-1jcet4aefxaz21.pdf | 29 |