29 résultats trouvés
- 14 déc. 2016, 16:39
- Forum : L'ontologie spinoziste
- Sujet : Les démonstrations évidentes?! (exemple: E1P1)
- Réponses : 41
- Vues : 46521
Re: Les démonstrations évidentes?! (exemple: E1P1)
Bonjour, Malheureusement, Coq n'est pas mon fort, je m'intéresse plutôt à Agda (et encore, je commence tout juste). Néanmoins, le bloc de code que vous avez cité se décompose en proposition à prouver (entre crochets) et preuve (se terminant par Qed). La partie « proposition » peut se comprendre en r...
- 12 déc. 2016, 02:22
- Forum : L'ontologie spinoziste
- Sujet : Les démonstrations évidentes?! (exemple: E1P1)
- Réponses : 41
- Vues : 46521
Re: Les démonstrations évidentes?! (exemple: E1P1)
Bonjour, En ce qui me concerne, il m'a toujours semblé en effet que les raisonnements de Spinoza étaient assez peu rigoureux, en tout cas vu à travers le prisme de nos standards actuels (il faut dire que les mathématiques ont sacrément évolué). @romwel : je suis étudiant en informatique, et votre me...
- 11 août 2015, 02:06
- Forum : Questions transversales
- Sujet : Spinoza et Paul Diel
- Réponses : 13
- Vues : 33738
Re: Spinoza et Paul Diel
Bonjour, Cela fait un moment que ce sujet n'est plus actif, mais il me semble pertinent de le déterrer : vous demandiez en début de conversation s'il existait un forum Web consacré à Paul Diel. C'est désormais le cas, il est accessible à l'adresse : http://www.forumpauldiel.org . Puisse-t-il un jou...
- 28 août 2014, 16:26
- Forum : L'ontologie spinoziste
- Sujet : Déterminisme sans fatalisme
- Réponses : 31
- Vues : 44644
Re: Déterminisme sans fatalisme
Un mot encore. Selon la science contemporaine, un phénomène est prédictible s’il obéit à une loi déterministe et si les conditions initiales sont données. C’est ce qu’écrivait déjà Laplace : « Une intelligence qui, à un instant donné, connaîtrait toutes les forces dont la nature est animée, la posi...
- 16 déc. 2013, 21:52
- Forum : La connaissance
- Sujet : Problème à propos de la vérité des axiomes
- Réponses : 5
- Vues : 10647
Comme l'a dit sescho, les axiomes sont par nature admis. Toutefois, ce n'est pas pour autant que leur formulation doit nous paraître évidente et naturelle. Je pourrais illustrer mon propos avec l'exemple suivant : les axiomes qui fondent les mathématiques (théorie des ensembles) sont à la base d'un ...
- 02 mai 2013, 15:02
- Forum : Anthropologie
- Sujet : liberte et determinisme
- Réponses : 24
- Vues : 37002
Bonjour, Vous semblez croire qu'un comportement illogique est la preuve du libre arbitre. Pourtant c'est faux, lorsque vous négligerez délibérément de prendre votre parapluie alors qu'il pleut, ce sera suite à cette discussion, ou bien à une autre cause, consciente ou non. Le simple fait d'essayer d...
- 01 janv. 2013, 18:49
- Forum : Questions de philosophie
- Sujet : Spinoza et les limites du néodarwinisme
- Réponses : 6
- Vues : 48780
Spinoza et les limites du néodarwinisme
Bonjour, J'interviens sur ce forum afin de partager avec vous une réflexion quant à la controverse qui s'élève envers le néodarwinisme dans le monde scientifique. Je vais détailler, mais avant tout j'aimerais insister sur le point suivant : ce n'est pas la théorie de l'évolution des espèces qui est ...
- 09 août 2012, 17:27
- Forum : La connaissance
- Sujet : Ma santé engendre mes passions
- Réponses : 2
- Vues : 11233
Ma santé engendre mes passions
Bonjour, Depuis que j'ai découvert l'opuscule de Philippe Borrell sur Spinoza, disponible à la page des téléchargements, je ne cesse de trouver de nouveaux trésors de synthèse qui me font voir la doctrine de Spinoza sous un angle nouveau. J'éprouve aussi une grande admiration pour l'éloquence de cet...
- 15 juin 2012, 19:07
- Forum : L'ontologie spinoziste
- Sujet : Le « parallélisme » : une erreur de Spinoza ?
- Réponses : 78
- Vues : 172589
- 14 juin 2012, 18:56
- Forum : L'ontologie spinoziste
- Sujet : Le « parallélisme » : une erreur de Spinoza ?
- Réponses : 78
- Vues : 172589