<?xml version="1.0" encoding="UTF-8" ?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel>
        <link xmlns="http://www.w3.org/2005/Atom" rel="hub" href="https://overblog.superfeedr.com"/>
        <link xmlns="http://www.w3.org/2005/Atom" rel="self" href="https://analib.canalblog.com/rss" type="application/rss+xml"/>
        <title><![CDATA[Philosophie analytique et libertarianisme]]></title>
        <link>https://analib.canalblog.com/</link>
        <generator>Overblog - https://www.over-blog.com</generator>
        <description><![CDATA[Le libertarianisme est l'application &agrave; la philosophie politique de la m&eacute;thode analytique. R&eacute;f&eacute;rences : Nozick, Goodman, Hempel, Popper, Hayek, Nagel, Quine.]]></description>
                    <item>
    <title><![CDATA[Un problème de la connaissance mathématique]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2020/07/08/38419404.html]]></link>
    <guid>https://analib.canalblog.com/archives/2020/07/08/38419404.html</guid>
    <pubDate>Wed, 08 Jul 2020 16:07:00 +0200</pubDate>
    <description><![CDATA[Dans un système formel F, on se demande si on peut trouver une preuve de l'énoncé math S t.q. le nb de symboles de la preuve < n. Le problème est décidable, il faut chercher la preuve dans tout le code de F dont les cordes (bit-strings) < n (c'est comme... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Machines de Turing et mind-body problem]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2020/07/01/38405477.html]]></link>
    <guid>https://analib.canalblog.com/archives/2020/07/01/38405477.html</guid>
    <pubDate>Wed, 01 Jul 2020 18:18:46 +0200</pubDate>
    <description><![CDATA[Une machine de Turing peut vérifier qu'elle fait telle opération A (par exemple afficher la 3000e décimale de pi) en donnant une suite d'états ou d'opérations qui aboutit à telle opération A mais elle ne peut vérifier qu'elle est dans tel état B parce... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Contre les mégariques]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2020/05/03/38258282.html]]></link>
    <guid>https://analib.canalblog.com/archives/2020/05/03/38258282.html</guid>
    <pubDate>Sun, 03 May 2020 20:32:00 +0200</pubDate>
    <description><![CDATA[Les événements peuvent arriver par hasard ou par nécessité mais ils ne peuvent arriver par contingence, car le contingent recouvre tout ce qui peut arriver. Pour qu’il y ait une science du contingent, il faudrait que tout arrive par nécessité car pour... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Problème bayésien]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2019/10/26/37739957.html]]></link>
    <guid>https://analib.canalblog.com/archives/2019/10/26/37739957.html</guid>
    <pubDate>Sat, 26 Oct 2019 00:17:00 +0200</pubDate>
    <description><![CDATA[((X=A) ⊃ ¬C) ⊃ (C ⊃ ¬A) Démontrez que c'est faux. Si p(A|C) = 1, alors C => A. Soit A la proposition "Julie va au Japon" et C, "Julie apprendra le japonais". Il ne suit pas de ce que Julie n'apprenne pas le japonais si elle va au Japon (ce qui n'est pas... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Y aura-t-il toujours de la neige au sommet du mont Everest après que nous serons tous morts ?]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2019/10/20/37725686.html]]></link>
    <guid>https://analib.canalblog.com/archives/2019/10/20/37725686.html</guid>
    <pubDate>Sun, 20 Oct 2019 09:50:00 +0200</pubDate>
    <description><![CDATA[Un énoncé peut être vrai s'il peut être vérifié. Un énoncé a du sens s'il est vrai ou faux, et nous savons ce qui est le cas quand il est vrai. Nous savons ce qui est le cas si l'énoncé (A) "Il y aura de la neige au sommet du mont Everest même après que... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Circularité de l'axiome praxéologique]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2019/10/07/37693502.html]]></link>
    <guid>https://analib.canalblog.com/archives/2019/10/07/37693502.html</guid>
    <pubDate>Mon, 07 Oct 2019 19:01:00 +0200</pubDate>
    <description><![CDATA[Si, quand on agit, on agit toujours en accord avec une préférence que l'action exprime MAIS que la préférence n'existe pas en dehors de l'action (=/= Samuelson, Caplan (1)), dire qu'on agit toujours en accord avec ses préférences, c'est dire qu'on agit... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Deux remarques sur le domaine régalien]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2019/06/29/37465870.html]]></link>
    <guid>https://analib.canalblog.com/archives/2019/06/29/37465870.html</guid>
    <pubDate>Sat, 29 Jun 2019 14:42:34 +0200</pubDate>
    <description><![CDATA[§1. Si une coopération pacifique entre deux individus ne peut exister en l'absence d'un Etat, peut-il exister une coopération pacifique entre plusieurs Etats en l'absence d'un super-Etat ? §2. Si la coexistence de plusieurs Etats est anarchique comme... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[La science et le langage observationnel]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2019/06/18/37439623.html]]></link>
    <guid>https://analib.canalblog.com/archives/2019/06/18/37439623.html</guid>
    <pubDate>Tue, 18 Jun 2019 21:42:01 +0200</pubDate>
    <description><![CDATA[Carnap tente de reformuler les termes théoriques des énoncés physiques en langage observationnel. Par "langage observationnel", on tente de recouvrir les termes qui désignent des qualités observables et que l'on peut déterminer rapidement avec un degré... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
                    <item>
    <title><![CDATA[Les manipulations monétaires de Salvini]]></title>
    <link><![CDATA[https://analib.canalblog.com/archives/2019/06/10/37418049.html]]></link>
    <guid>https://analib.canalblog.com/archives/2019/06/10/37418049.html</guid>
    <pubDate>Mon, 10 Jun 2019 16:31:51 +0200</pubDate>
    <description><![CDATA[Matteo Salvini lancerait une nouvelle monnaie qui circulerait dans le marché italien : les minibots, semblables aux IOU californiens de 2009. Comme le déclare David Cayla au Figaro , "Concrètement, les minibots serviront à payer les entreprises à qui... ]]></description>
        <dc:creator><![CDATA[hdef]]></dc:creator>
    </item>
            </channel>
</rss>

