Philosophie analytique et libertarianisme

Canalblog

Suivre ce blog

Administration + Créer mon blog

Publicité

8 juillet 2020

Un problème de la connaissance mathématique

Un problème de la connaissance mathématique

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...

Posté par hdef à 16:07 - Commentaires […] - Permalien [#]

Tags: épistémologie, logique, théorie de la connaissance, Turing, mathématique, problème

Partager cet article

Vous aimez ?

0 vote

Publicité

Publicité

1 juillet 2020

Machines de Turing et mind-body problem

Machines de Turing et mind-body problem

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...

Posté par hdef à 18:18 - Commentaires […] - Permalien [#]

Tags: Putnam, épistémologie, logique, philosophie analytique, Turing, douleur

Partager cet article

Vous aimez ?

0 vote

3 mai 2020

Contre les mégariques

Contre les mégariques

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...

Posté par hdef à 20:32 - Commentaires […] - Permalien [#]

Tags: logique, libre arbitre, philosophie analytique, philosophie classique

Partager cet article

Vous aimez ?

0 vote

26 octobre 2019

Problème bayésien

Problème bayésien

((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...

Posté par hdef à 00:17 - Commentaires […] - Permalien [#]

Tags: épistémologie, logique, Bayes, probabilités

Partager cet article

Vous aimez ?

0 vote

20 octobre 2019

Y aura-t-il toujours de la neige au sommet du mont Everest après que nous serons tous morts ?

Y aura-t-il toujours de la neige au sommet du mont Everest après que nous serons tous morts ?

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...

Posté par hdef à 09:50 - Commentaires […] - Permalien [#]

Tags: Putnam, positivisme, épistémologie, Wittgenstein, langage, théorie de la connaissance

Partager cet article

Vous aimez ?

0 vote

Publicité

Publicité

18 juin 2019

La science et le langage observationnel

La science et le langage observationnel

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é...

Posté par hdef à 21:42 - Commentaires […] - Permalien [#]

Tags: Carnap, Cercle de Vienne, Putnam, Quine, positivisme, épistémologie, logique

Partager cet article

Vous aimez ?

0 vote

Publicité

Publicité

Publicité

Publicité