Formal Methods in the Philosophy of Science

Horsten, Leon; Douven, Igor

Formal Methods in the Philosophy of Science

Dateien

Horsten_2-1jcet4aefxaz21.pdfGröße: 154.75 KBDownloads: 128

Datum

2008

Autor:innen

Horsten, Leon

Douven, Igor

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Philosophie

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Studia Logica. Springer. 2008, 89, pp. 151-162. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-008-9129-2

Zusammenfassung

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.

Fachgebiet (DDC)

100 Philosophie

Schlagwörter

formalization, formal method, applied logic

Zitieren

ISO 690

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

BibTex

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

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/56725">
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-02T15:31:31Z</dcterms:available>
    <dc:rights>terms-of-use</dc:rights>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-02T15:31:31Z</dc:date>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <dc:language>eng</dc:language>
    <dcterms:issued>2008</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56725"/>
    <dc:creator>Horsten, Leon</dc:creator>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56725/3/Horsten_2-1jcet4aefxaz21.pdf"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56725/3/Horsten_2-1jcet4aefxaz21.pdf"/>
    <dcterms:title>Formal Methods in the Philosophy of Science</dcterms:title>
    <dc:contributor>Douven, Igor</dc:contributor>
    <dc:creator>Douven, Igor</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <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>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein

Begutachtet

Ja