<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF 
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns="http://purl.org/rss/1.0/"
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:dcterms="http://purl.org/dc/terms/"
>
  <channel rdf:about="http://philosophiascientiae.revues.org">
    <title>Philosophia Scientiæ</title>
    <link>http://philosophiascientiae.revues.org</link>
    <description>Philosophia Scientiæ est une revue scientifique à comité de lecture qui publie des travaux en épistémologie, en histoire et en philosophie des sciences. Elle accueille notamment des études traitant des mathématiques, de la physique et de la logique, mais elle est ouverte aux travaux portant sur les autres disciplines scientifiques. Philosophia Scientiæ is a peer-reviewed scientific journal. It publishes research in epistemology, history and philosophy of science, especially in the field of mathematics, physics, and logic, without excluding any particular  scientific field.</description>        
    <items>    
      <rdf:Seq>      
        <rdf:li resource="http://philosophiascientiae.revues.org/787" />
        <rdf:li resource="http://philosophiascientiae.revues.org/790" />
        <rdf:li resource="http://philosophiascientiae.revues.org/763" />
        <rdf:li resource="http://philosophiascientiae.revues.org/766" />
        <rdf:li resource="http://philosophiascientiae.revues.org/769" />
        <rdf:li resource="http://philosophiascientiae.revues.org/772" />
        <rdf:li resource="http://philosophiascientiae.revues.org/777" />
        <rdf:li resource="http://philosophiascientiae.revues.org/780" />
        <rdf:li resource="http://philosophiascientiae.revues.org/785" />
        <rdf:li resource="http://philosophiascientiae.revues.org/803" />
              </rdf:Seq>  </items>  </channel>
  <item rdf:about="http://philosophiascientiae.revues.org/763">
    <title>Turing et la dimension ontologique du jeu</title>
    <description><![CDATA[
      <p class="resume">Dans son dernier article de 1954, <em>Solvable and Unsolvable Problems, </em>Turing répète le résultat fondamental de 1936 dans lequel est formulée l’impossibilité de résoudre tout problème algorithmique à l’aide d’une méthode universelle. Il expose ce résultat en le reliant à une notion qui paraît simple et accessible à tous : le jeu. Mais qu’est-ce qui est au juste entendu par cette notion de jeu ? S’agit-il d’un simple objet mathématique ou n’y a-t-il pas ici une notion qui touche à l’ordre du monde dans son ensemble ? N’y a-t-il pas chez Turing l’intuition que la cybernétique transformera le monde en une chose contrôlable et organisable, à l’image d’un grand Jeu ? Dans la mesure où le développement des machines à calculer dépasse le strict cadre des techno-sciences, peut-on voir là le déploiement d’un Jeu dont, nous dit Héraclite, nous serions nous-mêmes les pions ?</p>]]></description> 
    <dc:creator>Nazim Fatès</dc:creator>
    <link>http://philosophiascientiae.revues.org/763</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/766">
    <title>La thèse de l’hyper-calcul : enjeux et problèmes philosophiques</title>
    <description><![CDATA[
      <p class="resume">Dans cet article je réponds à deux questions philosophiques soule­vées par la thèse suivante appelée « thèse de l’hyper-calcul » : il est possible de construire physiquement un modèle d’hyper-calcul. La première question est liée aux enjeux de cette thèse. Puisque la construction physique d’un modèle de calcul dépasse le cadre mathématique initial de la théorie de la calculabilité, j expliquerai pourquoi il est nécessaire de construire physiquement un modèle d’hyper-calcul. La seconde question concerne le problème de la vérification : à supposer que l’on dispose d’un modèle d’hyper-calcul construit physiquement, il serait impossible de vérifier que ce modèle calcule une fonction non calculable par machine de Turing. Je proposerai une analyse de ce problème dans le but de montrer qu’il ne remet pas en cause de façon explicite la thèse de l’hyper-calcul.</p>]]></description> 
    <dc:creator>Florent Franchette</dc:creator>
    <link>http://philosophiascientiae.revues.org/766</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/769">
    <title>Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul</title>
    <description><![CDATA[
      <p class="resume">La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing. En distinguant, à la suite de nombreux auteurs, une forme algorithmique de la thèse de Church-Turing portant sur les fonctions calculables <em>par</em><em> </em><em>un</em><em> </em><em>algorithme</em><em> </em>d’une forme <em>empirique</em><em> </em>de cette même thèse, portant sur les fonctions calculables <em>par</em><em> </em><em>une</em><em> </em><em>machine,</em><em> </em>il devient possible de poser une nouvelle question : les limites empiriques du calcul sont-elles identiques aux limites des algorithmes ? Ou existe-t-il un moyen empirique d’effectuer un calcul qu’aucun algorithme ne permet d’effectuer ? Je montrerai ici la pertinence philosophique de cette question. Elle interroge la capacité de processus symboliques comme les calculs à simuler certains processus empiriques. Elle permet également d’étudier le statut épistémologique des calculs réalisés par des machines. S’il existait une fonction calculable par une machine sans être calculable par un algorithme, il existerait un problème mathém...</p>]]></description> 
    <dc:creator>Maël Pégny</dc:creator>
    <link>http://philosophiascientiae.revues.org/769</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/772">
    <title>Cleland on Church’s Thesis and the Limits of Computation</title>
    <description><![CDATA[
      <p class="resume"><span xml:lang="en" lang="en">Even</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">though</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">Church</span><span xml:lang="en" lang="en">’</span><span xml:lang="en" lang="en">s</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">thesis</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">is</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">widely</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">accepted</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">among</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">mathematicians,</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">it</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">is</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">nonetheless</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">controversial.</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">In</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">this</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">paper,</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">we</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">argue</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">against</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">position</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">[Cleland</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">1993],</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">which</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">defends</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">that</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">Church</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">s</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">thesis</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">must</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">be</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">rejected</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">because</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">limits</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">computation</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">depend</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">upon</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">physical</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">structure</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">world.</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">We</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">first</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">give</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">a</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">brief</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">overview</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">Church</span><span xml:lang="en" lang="en">’</span><span xml:lang="en" lang="en">s</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">thesis</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">and</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">then</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">we</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">present</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">Cleland</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">s</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">argument.</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">We</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">then</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">propose</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">a</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">critical</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">analysis</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">Cleland</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">s</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">argu­ment,</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">which</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">will</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">involve</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">some</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">conceptual</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">distinctions</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">regarding</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">notion</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">computability,</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">and</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">finally</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">we</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">will</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">show</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">that</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">limits</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">of</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">computation</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">are</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">not</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">physical</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">but</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">logical.</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">In</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">short,</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">we</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">argue</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">that</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">computation</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">is</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">limited</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">by</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">the</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">fact</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">that</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">an</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">effective</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">procedure</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">must</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">be</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">described</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">in</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">a</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">finite</span><span xml:lang="en" lang="en"> </span><span xml:lang="en" lang="en">way.</span></p>]]></description> 
    <dc:creator>Clayton Peterson</dc:creator> 
    <dc:creator>François Lepage</dc:creator>
    <link>http://philosophiascientiae.revues.org/772</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/777">
    <title>La temporalité de la santé</title>
    <description><![CDATA[
      <p class="resume">Cet article s’interroge la temporalité de la santé : il s’efforce de démontrer que les phénomènes de santé et de maladie peuvent être dits temporels non pas accidentellement, mais essentiellement. Il met au jour quatre aspects temporels de la santé : son épaisseur de durée, sa relation avec l’avenir, la nature partiellement rétrospective des jugements dans lesquels elle entre, et son irréversibilité.</p>]]></description> 
    <dc:creator>Arnaud François</dc:creator>
    <link>http://philosophiascientiae.revues.org/777</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/780">
    <title>L’identité des indiscernables</title>
    <description><![CDATA[
      <p class="question">A. Le principe de l’identité des indiscernables me semble de toute évidence vrai. Et je ne vois pas comment nous pourrions définir l’identité ou établir la connexion entre les mathématiques et la logique si nous ne l’utilisons pas.</p>
      <p class="reponse">B. Quant à moi, il me semble de toute évidence faux. Tes difficultés de logicien mathématicien sont hors de propos. Si le principe est faux, tu n’as pas le droit de l’utiliser.</p>
      <p class="question">A. Tu ne fais que <em>dire </em>qu’il est faux — et même si tu le disais trois fois de suite, cela ne le rendrait pas faux pour autant.</p>
      <p class="reponse">B. Eh bien, toi non plus tu n’as pas fait grand chose de plus que d’affirmer que le principe était vrai. Comme Bradley le dit une fois : « Une affirmation peut ne demander rien de plus qu’une contre-affirmation ; et ce qui est affirmé d’un côté, nous de l’autre côté, pouvons simplement le nier. »</p>
      <p class="question">A. Alors que penses-tu de l’argument suivant ? Si deux choses, <em>a </em>et <em>b </em>sont données, la première a la propriété d’être identique à <em>a. </em>Maintenant <em>b </em>ne peut pas avoir cet...</p>]]></description> 
    <dc:creator>Max Black</dc:creator>
    <link>http://philosophiascientiae.revues.org/780</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/785">
    <title>Déflationnisme et conservativité : quelqu’un a-t-il changé de sujet ?</title>
    <description><![CDATA[
      <p class="resume">Nous clarifions et critiquons un argument influent opposé au déflationnisme par [Shapiro 1998b] et [Ketland 1999], fondé sur la non-conservativité des extensions des théories formalisées par des principes aléthiques universellement admis. À cette interprétation anti-déflationniste des phénomènes de non-conservativité, nous en opposons une autre, compatible à la fois avec les faits logiques et les thèses déflationnistes.</p>]]></description> 
    <dc:creator>Henri Galinon</dc:creator>
    <link>http://philosophiascientiae.revues.org/785</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/803">
    <title>Présentation du texte de Max BlackL’identité des indiscernables</title>
    <description><![CDATA[
      <p class="resume">Nous proposons une traduction inédite du fameux dialogue de Max Black intitulé « L’identité des indiscernables », paru en 1952 <em>(Mind,</em><em> </em><em>vol. </em>61, n<sup>o</sup> 242, avril 1952, 153-164) et aujourd’hui considéré comme un classique de la philosophie contemporaine. Cette traduction est précédée d’une présentation rapide du texte et du problème philosophique qu’il soulève. </p>]]></description> 
    <dc:creator>Sébastien Motta</dc:creator>
    <link>http://philosophiascientiae.revues.org/803</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/787">
    <title>Principes d’invariance et lois de la nature d’après Weyl et Wigner</title>
    <description><![CDATA[
      <p class="resume">Dans cet article, nous entendons montrer que les principes d’invariance interviennent de manière essentielle pour caractériser les lois de la nature en physique. Pour ce faire, nous nous focaliserons sur les réflexions épistémologiques que Weyl et Wigner consacrent aux symétries. Nous proposerons une analyse conceptuelle de l’invariance en indiquant qu’elle permet de généraliser la première analogie de l’expérience de Kant (le principe de permanence de la substance). Nous analyserons de plus l’argument de Weyl selon lequel les principes d’invariance constituent des connaissances <em>a</em><em> </em><em>priori</em><em> </em>en un sens relativisé. Nous indiquerons pour finir qu’aux yeux de Wigner, les « symétries » constituent des conditions qui nous permettent de structurer notre compréhension de la réalité empirique.</p>]]></description> 
    <dc:creator>Christophe Eckes</dc:creator>
    <link>http://philosophiascientiae.revues.org/787</link>
    <dc:date>2015-11-01</dc:date>
  </item>
  <item rdf:about="http://philosophiascientiae.revues.org/790">
    <title>A Symmetrical Approach to Causality in Biology</title>
    <description><![CDATA[
      <p class="resume"><span xml:lang="en" lang="en">The purely genetic description of embryogenesis has recently been challenged. Some papers then pay special attention to the causal effects of mechanical constraints. In order to understand if they produce a genuine integration of levels, this paper will analyze one of these researches from a transcendental point of view. That means, we will consider the constitutive process through which a biological object is described. This analysis reveals an objectivation process characteristic of the genetic determinism that cannot represent a genuine integration. That will lead us to introduce a concept of epistemological symmetry that refers to a balanced way of accessing the organism. Finally, we will suggest a model of epistemological symmetry that explicitly comes from the Kantian concept of organism.</span></p>]]></description> 
    <dc:creator>Nicole Perret</dc:creator>
    <link>http://philosophiascientiae.revues.org/790</link>
    <dc:date>2015-11-01</dc:date>
  </item>
</rdf:RDF>