Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België
Ruim aanbod met 7 miljoen producten

Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

Lees een stukje uit het boek

€ 11,99

+ 11 punten

Uitvoering

Onmiddellijk beschikbaar

Eenvoudig bestellen

Veilig betalen

Onmiddellijk geleverd via e-mail

Omschrijving

C'est avec la découverte du paradoxe de Russell, en 1901, que commence la formation de la théorie russellienne des types. Aucun paradoxe, de l'antique paradoxe du Menteur au récent paradoxe de Burali-Forti, n'avait, plus simplement ni plus gravement, frappé d'incertitude une logique plus que deux fois millénaire. Tous ces paradoxes semblaient à Russell dessiner le symptôme d'un même mal et appeler la mise en œuvre d'une thérapeutique commune. Après nombre de tentatives infructueuses, reprenant de Poincaré l'idée du principe du cercle vicieux, il esquissa, en 1908, la théorie qui devait s'épanouir, en 1910, dans le premier volume des Principia Mathematica et être rétrospectivement connue sous le nom de théorie des types ramifiée. Tout n'est pas faux dans cette façon habituelle de raconter l'histoire : des paradoxes à la théorie des types ramifiée, elle met à juste titre l'accent sur le principe du cercle vicieux. Mais on n'y comprendrait rien si l'on y méconnaissait le rôle fondamental de la doctrine des symboles incomplets (ou fictions logiques) et ne la ressaisissait pas dans l'horizon universaliste ultime de la logique russellienne. Cet ouvrage se présente comme une introduction à la pensée logique de Russell, mais aussi, en dialogue avec elle, sur un mode tant mathématique qu'historique ou philosophique, comme un essai de contribution à la science de la logique elle-même.