Platonicien vs formaliste ? - Page 6

Affichage des résultats du sondage: Etes-vous plutôt :

Votants
18. Vous ne pouvez pas participer à ce sondage.
  • platonicien

    12 66,67%
  • formaliste

    1 5,56%
  • autre

    5 27,78%
Page 6 sur 8 PremièrePremière 6 DernièreDernière
Affichage des résultats 151 à 180 sur 232

Platonicien vs formaliste ?



  1. #151
    invite6754323456711
    Invité

    Re : Platonicien vs formaliste ?


    ------

    Citation Envoyé par lamorgana Voir le message
    les œuvres abstraites sont issues d'un travail intellectuel après un vécu avec le sensible.
    Mais peut on dire que c'est un objet intemporel, qui existait avant d'être peint ? Et qui existera tout autant quand il n'y aura plus personne pour le regarder ?

    Patrick

    -----

  2. #152
    invited9ab8c2f

    Re : Platonicien vs formaliste ?

    objet intemporel
    C'est à dire? de quel objet parles tu?

  3. #153
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par lamorgana Voir le message
    Mais là je ne suis pas d'accord car les œuvres réalistes,abstraites ou autres sont issues d'un travail intellectuel après un vécu avec le sensible.
    Pour toutes il y a le paysage extérieur et intérieur.
    Je ne dit pas le contraire, je dis qu'une oeuvre réaliste peut s'expliquer par l'existense de la-dîte "réalité", il n'est pas nécessaire de chercher ailleurs (ce qui ne veut pas dire que cet ailleurs n'existe pas), alors que l'oeuvre abstraite non, il faut donc chercher une autre explication ; pour l'art on constate que les oeuvres, surtout abstraites, ne sont que rarement (jamais ?) universelles, elles ne sont pas l'ontologie de l'être humain, mais juste la manifestation d'un être humain ; les mathématiques, sont de ce point de vue, universelles, elles manifestent donc quelque chose de commun à tous les êtres humains : l'ontologie.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  4. #154
    invited9ab8c2f

    Re : Platonicien vs formaliste ?

    pour l'art on constate que les oeuvres, surtout abstraites, ne sont que rarement (jamais ?) universelles
    C'est à dire que deux personnes ne peuvent pas faire exactement la même œuvre?
    Ou tu veux dire autre chose?

  5. #155
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Sephi Voir le message
    Et elle est plus compatible avec le platonisme qu'avec le formalisme.
    Et pourtant je suis formaliste, logicien, spécialiste de la théorie des modèles.

    Citation Envoyé par Sephi Voir le message
    "Si HC [...]est indécidable dans ZFC, alors elle est vraie [...] dans ZFC tout en restant indécidable dans ZFC."
    En supposant ZFC consistante (sinon, il n'y a pas grand chose à dire) :
    Indécidable dans ZFC veut dire : ZFC U {HC} est consistante, et ZFC U {NonHC} est consistante.
    Vraie dans ZFC veut dire : ZFC permet de démontrer HC, donc ZFC U {NonHC} est inconsistante.

    Je ne vois aucun moyen de réconciler ces deux définitions.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  6. #156
    invite6754323456711
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par lamorgana Voir le message
    C'est à dire? de quel objet parles tu?
    Toujours dans l'analogie avec la peinture.

    Patrick

  7. #157
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par lamorgana Voir le message
    C'est à dire que deux personnes ne peuvent pas faire exactement la même œuvre?
    Ou tu veux dire autre chose?
    Je veux dire que Kandinski ne parle pas à tout le monde, il n'exhibe pas un message dont la signification est universelle, et, a fortiori, tout le monde ne fait pas du Kandinski.

    Pour prolonger l'analogie, tout le monde ne fait pas de la théorie des groupes, et tous ceux qui font de la théorie des groupes n'en font pas de la même façon, mais tous les mathématiciens comprennent (ou en tout cas peuvent comprendre) ce que font les autres mathématiciens en théorie des groupes et sont d'accord sur les résultats.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  8. #158
    invited9ab8c2f

    Re : Platonicien vs formaliste ?

    Envoyé par lamorgana Voir le message
    C'est à dire? de quel objet parles tu?
    Toujours dans l'analogie avec la peinture.
    Si tu parles de l'objet peint et de son existence avant sa "mise en peinture", pendant ou après, je pense que cet objet existe par son "vécu" par le peintre (mais c'est plutôt le dialogue entre l'objet et le peintre qui est peint).
    Mais je ne sais pas si cela a un rapport avec le formaliste ou platonisme? Le fait qu'une chose existe par delà du "regard" qu'on lui porte?

  9. #159
    invité576543
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Sephi Voir le message
    "Si HC (NHC) est indécidable dans ZFC, alors elle est vraie (fausse) dans ZFC tout en restant indécidable dans ZFC." Cet énoncé se démontre (mais pas dans ZFC !), on ne choisit donc pas de dire que HC est vraie. (...) Il n'y a pas de choix !
    A ce que j'en ai compris, Woodin et consort se dirigent vers NHC vrai ("essentiellement vrai" dans un article de Dehornoy).

    Ce qui me semble être en parfaite contradiction avec ton texte. J'imagine que je n'ai pas compris ton texte.

    Cordialement,

  10. #160
    invited9ab8c2f

    Re : Platonicien vs formaliste ?

    Médiat,

    Je veux dire que Kandinski ne parle pas à tout le monde, il n'exhibe pas un message dont la signification est universelle, et, a fortiori, tout le monde ne fait pas du Kandinski.
    tout le monde ne fait pas du Kandinski, d'accord, maintenant qu'il ne parle pas à tout le monde je n'en suis pas si sure. Mais peut être allons nous entrer dans le Hors sujet? Je me risque!
    Je pense que d'autres peintures beaucoup plus réalistes sont beaucoup moins accessibles car ayant un code beaucoup plus culturel.

  11. #161
    invitef591ed4b

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Médiat Voir le message
    En supposant ZFC consistante (sinon, il n'y a pas grand chose à dire) :
    Indécidable dans ZFC veut dire : ZFC U {HC} est consistante, et ZFC U {NonHC} est consistante.
    Vraie dans ZFC veut dire : ZFC permet de démontrer HC, donc ZFC U {NonHC} est inconsistante.

    Je ne vois aucun moyen de réconciler ces deux définitions.
    Il est impossible de réconcilier ces deux définitions si on garde la définition "vrai := démontrable", que tu utilises explicitement et qui amène le problème. L'existence d'énoncés vrais indécidables empêche de réduire la vérité à la démontrabilité.

    Avec une telle déf. de la vérité, on ne peut pas expliquer l'existence de la phrase de Gödel. Pour avoir un peu de concret, faudrait trouver explicitement un énoncé mathématique vrai et indécidable, je me rappelle qu'on a pu en trouver après les années 70, vais voir...

    Mais alors, que voudrait dire "vrai dans ZFC" ? Peut-être "vrai dans tous les modèles de ZFC", mais alors il faut que le problème "déterminer la vérité dans tous les modèles" soit indécidable pour rester compatible avec l'existence d'un vrai indécidable.

  12. #162
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Michel (mmy) Voir le message
    A ce que j'en ai compris, Woodin et consort se dirigent vers NHC vrai ("essentiellement vrai" dans un article de Dehornoy).
    Et nous sommes bien d'accord que le "essentiellement vrai" de Woodin ne veut pas dire "vrai" dans la définition de Sephi :

    Citation Envoyé par Sephi message #135
    "être vrai, c'est être vrai dans tous les modèles"
    Et donc ne remet pas en cause le caractère indécidable de HC (et donc de NHC), cela donne juste (ce qui n'est pas une manière de minimiser ce travail) un critère de choix "fondé en raison" entre les deux.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  13. #163
    invité576543
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Médiat Voir le message
    Sauf si on dit qu'il s'agit d'un paysage intérieur ... et voila l'ontologie qui revient
    =

    Sauf si on dit qu'il s'agit d'un paysage intérieur ... et voilà l'ensemble de vérités fondamentales de l'être qui revient.


    Je dois être bouché, mais pour moi cela reste dans le domaine des "green colorless ideas" qui dorment furieusement.

    Je sais bien que "ontologie" est un mot très à la mode, mais ça n'aide pas vraiment. J'en suis resté à la définition de base (branche de la philosophie), et il m'est difficile de m'adapter à un usage que je perçois jargonesque.

    Cordialement,

  14. #164
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Sephi Voir le message
    Il est impossible de réconcilier ces deux définitions si on garde la définition "vrai := démontrable", que tu utilises explicitement et qui amène le problème. L'existence d'énoncés vrais indécidables empêche de réduire la vérité à la démontrabilité.

    Avec une telle déf. de la vérité, on ne peut pas expliquer l'existence de la phrase de Gödel. Pour avoir un peu de concret, faudrait trouver explicitement un énoncé mathématique vrai et indécidable, je me rappelle qu'on a pu en trouver après les années 70, vais voir...
    Mais ZFC c'est une théorie non, c'est à dire, pour parler comme un platonicien, une formalisation des "ensembles" ? C'est pas un objet mathématiques dans lequel il y a des objets qui se baladent et qu'on appelle ensembles ! Quel est pour toi la définition de vrai dans une théorie, si ce n'est démontrable ?
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  15. #165
    invite6754323456711
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par lamorgana Voir le message
    Mais je ne sais pas si cela a un rapport avec le formaliste ou platonisme?
    C'est pour cela que j'ai posé la question de l'intemporalité (le caractère intemporel des ontologies, qui ne connaissent ni avant ni après).

    Patrick

  16. #166
    invitef591ed4b

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Médiat Voir le message
    Quel est pour toi la définition de vrai dans une théorie, si ce n'est démontrable ?
    (Bien sûr que ZFC est une théorie, et pas un objet !)
    J'aimerais répondre, de façon affirmative : "vrai := vrai dans tous les modèles". Mais j'ai une question à poser :

    "Être vrai dans tous les modèles" (au sens de la théorie des modèles) implique-t-il "être démontrable" (au sens de la théorie de la preuve dans des systèmes formels) ? J'espère que non, sinon je ne pourrais que répondre de façon négative en disant "la vérité, ce n'est pas la démontrabilité", ce qui n'est pas génial...

  17. #167
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Michel (mmy) Voir le message
    Je dois être bouché
    Je ne sais pas, en fait c'est de ma faute, j'ai répondu très vite tout à l'heure (pas de temps), il s'agissait bien de prolonger l'analogie avec la peinture :
    Kandinski petit des tableaux qui ne correspondent pas à des paysages que chacun peut voir, ni même que chacun peut imaginer (cohérent avec l'expérience de chacun), ses "paysages" viennent d'ailleurs que de son extérieur, cela vient donc de son intérieur (ou de sa frontière pour les artistes à fleur de peau), or dans le cas de Kandinski, ces peintures ne sont pas universelles, elles me parlent donc de Kandinski.
    Même raisonnement avec les systèmes formels, sauf qu'ils sont universels, ils ne me parlent pas (que) du mathématicien, mais de l'homo mathematicus (c'est à dire tous les êtres humains).

    Citation Envoyé par Michel (mmy) Voir le message
    J'en suis resté à la définition de base (branche de la philosophie), et il m'est difficile de m'adapter à un usage que je perçois jargonesque.
    Je sais que les arguments d'autorité ne sont pas les meilleurs, mais A. Badiou est prof à Normale Sup, je ne pense pas qu'il utilise les mots à la légère et pour satisfaire à une mode jargonesque.
    Dernière modification par Médiat ; 05/04/2009 à 19h20.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  18. #168
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Sephi Voir le message
    (Bien sûr que ZFC est une théorie, et pas un objet !)
    J'aimerais répondre, de façon affirmative : "vrai := vrai dans tous les modèles". Mais j'ai une question à poser :

    "Être vrai dans tous les modèles" (au sens de la théorie des modèles) implique-t-il "être démontrable" (au sens de la théorie de la preuve dans des systèmes formels) ?
    Nous allons à nouveau être d'accord, et pour répondre à ta question : OUI, et même réciproquement, c'est le théorème de complétude de Gödel (pour la logique du premier ordre, qui est celle de ZFC) que je chéris plus encore que ceux d'incomplétude
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  19. #169
    invitef591ed4b

    Re : Platonicien vs formaliste ?

    Dans ce cas, comment comprendre la phrase de Gödel qui est vraie et indécidable dans toute théorie T consistante contenant l'arithmétique (dont ZFC) ? Car Gödel a démontré que [dans T, il existe un énoncé E indécidable] et [T consistante=>E vrai].

  20. #170
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Sephi Voir le message
    Dans ce cas, comment comprendre la phrase de Gödel qui est vraie et indécidable dans toute théorie T consistante contenant l'arithmétique (dont ZFC) ? Car Gödel a démontré que [dans T, il existe un énoncé E indécidable] et [T consistante=>E vrai].
    Ca c'est ce que j'ai, très vite, dit dans le message #134, à savoir que vrai ici veut dire, dans le cas de l'arithmétique, "vrai dans le modèle standard", mais je ne vois pas comment sortir de : "énoncé indécidable = il existe des modèles dans lequel l'énoncé est vrai et d'autres dans lequel il est faux" ; c'est la définition de indécidable.
    Et, je le répète, je déteste ce vocabulaire qui provoque des confusions dangereuses.

    Question : est-ce que, pour un platonicien, les modèles non-standard "existent" ? Est-ce qu'ils "existent" moins que le modèle standard ?
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  21. #171
    invité576543
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Médiat Voir le message
    Et nous sommes bien d'accord que le "essentiellement vrai" de Woodin ne veut pas dire "vrai" dans la définition de Sephi :
    Tout à fait. Et personnellement je trouve la notion de "essentiellement vrai" (conditionnellement à ma compréhension) bien plus satisfaisante que celle de Sephi. J'imagine que cela me colore plutôt "formaliste"?

    Cordialement,

  22. #172
    invite6754323456711
    Invité

    Re : Platonicien vs formaliste ?

    Bonjour,

    Je trouve l'exemple de la théorie des groupes avec ou sans commutativité pédagogiques.

    Le fait qu'il existe un modèle (un seul élément) de la théorie axiomatique des groupes alors cette dernière est consistante.

    Maintenant

    Citation Envoyé par Media
    "énoncé indécidable = il existe des modèles dans lequel l'énoncé est vrai et d'autres dans lequel il est faux"
    Citation Envoyé par jobherzt
    Ça revient a dire que la théorie seule n'est pas "assez complète" pour prouver cette proposition ou son contraire.

    Le fait même qu'il existe des groupes commutatifs et d'autre qui ne le sont pas prouve que cette proposition est indécidable dans la théorie des groupes.
    La théorie des groupes est donc consistante mais incomplète (si j'ai bien compris)

    Patrick

  23. #173
    invité576543
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Médiat Voir le message
    Je sais que les arguments d'autorité ne sont pas les meilleurs, mais A. Badiou est prof à Normale Sup, je ne pense pas qu'il utilise les mots à la légère et pour satisfaire à une mode jargonesque.
    C'est tout le contraire pour moi. Tous les mots en philosophie ont commencé leur carrière comme "jargonesques" et utilisés par une seule personne. L'espoir des auteurs en philo est que leurs termes restent, il me semble.

    Je m'attend donc à ce qu'une "autorité" cherche à lancer des mots ou des acceptions particulières.

    Cela impose seulement qu'au début, dans la phase où le terme (ou une acception d'un terme) n'est pas pas adopté largement, de ne l'utiliser qu'en rapport avec l'auteur.

    Cordialement,

  24. #174
    invited9ab8c2f

    Re : Platonicien vs formaliste ?

    Envoyé par lamorgana
    Mais je ne sais pas si cela a un rapport avec le formaliste ou platonisme?
    C'est pour cela que j'ai posé la question de l'intemporalité (le caractère intemporel des ontologies, qui ne connaissent ni avant ni après).
    L'objet dans son essence? S'il n'y a ni avant, ni après, cet objet n'est soumis à rien? Est ce à rapproché de l'Idée de Platon?

    Lorsque j'ai parlé de l'existence de l'objet par le vécu de celui qui en fait l'expérience je ne disait pas que cet objet n'existait plus du tout (un arbre est vu à la même place par tous...je pense).

  25. #175
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par ù100fil Voir le message
    La théorie des groupes est donc consistante mais incomplète (si j'ai bien compris)
    Exact, mais elle n'est pas essentiellement incomplète, en effet en lui ajoutant l'axiome :

    J'obtiens une théorie complète, mais pas passionante : la théorie des groupes à un seule élément .

    Par contre il y a des choses intéressantes (pour un formaliste pervers comme moi ) en théorie des groupes, par exemple : l'ensemble des énoncés vrais dans tous les groupes de torsion n'est pas axiomatisable (logique classique du premier ordre).
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  26. #176
    invité576543
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par ù100fil Voir le message
    Je trouve l'exemple de la théorie des groupes avec ou sans commutativité pédagogique.
    Je suis assez sceptique là-dessus. Mais ce n'est que mon point de vue. (Mais celui de quelqu'un qui pense faire des progrès petit à petit dans la compréhension de la théorie des modèles : c'est un point de vue basé sur une expérience d'apprentissage.)

    Simplement parce que le fond du sujet est la notion de modèle de ZFC, quelque chose qui ne semble pas aussi simple que de comprendre qu'un groupe est un modèle de la théorie des groupes.

    En particulier parce que la commutativité n'a rien de spécial, il y a tout plein d'assertions indécidables dans la théorie des groupes. Et que c'est ce qui fait sa richesse. La liberté qui reste permet tout à la fois d'avoir pleins de modèles différents, et de les traiter tous simultanément via la théorie.

    Rien de tel avec ZFC. On ne voit pas en pratique "plein de modèles différents" et d'utiliser ZFC pour gérer des assertions valides pour tous.

    L'exemple de la théorie des groupes est un éclairage très utile, mais laissant pas mal (trop) de choses importantes dans l'ombre.

    Cordialement,

  27. #177
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Michel (mmy) Voir le message
    C'est tout le contraire pour moi. Tous les mots en philosophie ont commencé leur carrière comme "jargonesques" et utilisés par une seule personne. L'espoir des auteurs en philo est que leurs termes restent, il me semble.
    Ontologie date du XVIIième siècle si j'en crois le CNTRL, et dans l'acception que j'en ai donné, des années 1950, c'est pas nouveau-nouveau.

    Personnellement j'ai adopté le vocabulaire de Badiou, parce que j'avais ce ressenti (que j'expose depuis le début) sans avoir les mots pour le dire de façon "philosophique", la lecture de Badiou me les a donné.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  28. #178
    Médiat

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Michel (mmy) Voir le message
    Rien de tel avec ZFC. On ne voit pas en pratique "plein de modèles différents" et d'utiliser ZFC pour gérer des assertions valides pour tous.
    C'est pourtant bien là, la méthode du forcing (créer autant de modèle que l'on veut [...]) qui est au coeur des travaux de Woodin.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  29. #179
    invitef591ed4b

    Re : Platonicien vs formaliste ?

    Citation Envoyé par Médiat Voir le message
    Ca c'est ce que j'ai, très vite, dit dans le message #134, à savoir que vrai ici veut dire, dans le cas de l'arithmétique, "vrai dans le modèle standard"
    Revenons alors sur le résultat suivant : T consistante => E vrai dans le modèle standard. Dans ce cas, je suppose que l'énoncé "E faux" signifie "E faux dans le modèle standard" ? Or, E faux => T inconsistante => T n'a pas de modèle. Argh ?

    Citation Envoyé par Médiat Voir le message
    Question : est-ce que, pour un platonicien, les modèles non-standard "existent" ? Est-ce qu'ils "existent" moins que le modèle standard ?
    Je parle seulement pour mon cas (je suis de tendance platoniste). Naïvement, le modèle standard n'a pas de "priorité d'existence" sur d'autres modèles. Cela dit, je ne pense pas que l'existence mathématique, telle que je la conçois intuitivement, concerne d'abord les modèles. Pour moi, ça serait "les modèles à isomorphisme près", et encore. Mais ça, c'est parce que je suis apprenti catégoricien

  30. #180
    invite6754323456711
    Invité

    Re : Platonicien vs formaliste ?

    Citation Envoyé par lamorgana Voir le message
    Est ce à rapproché de l'Idée de Platon?


    Platon : L'existence d'un lieu, séparé du monde sensible, où se trouvent les réalités intelligibles.

    Reste à définir la nature des objets sur lesquels une telle connaissance peut porter : l'eidos («idée») réalité intégralement intelligible, détachée des êtres sensibles et matériels.

    Citation Envoyé par L'ontologie platonicienne
    Elle se présente comme un réalisme des essences. Mais les Formes sont aussi des êtres intelligibles, qui donnent la condition de toute connaissance. Toutefois, elles ne sont aucunement des représentations de l'esprit, des concepts ou des idées. Non seulement elles sont de vraies réalités, mais elles sont toute la réalité. Cela a conduit à désigner la philosophie de Platon comme un «réalisme des Idées».
    Théorie de ce qui est (ontologie) : Le monde idéal et immuable (monde intelligible) > monde transcendant, immatériel et intemporel.

    Patrick

Page 6 sur 8 PremièrePremière 6 DernièreDernière

Discussions similaires

  1. Amour platonique (ou platonicien)
    Par invite67d96d45 dans le forum [ARCHIVE] Philosophie
    Réponses: 19
    Dernier message: 21/01/2005, 11h16