Histoire de la logique PDF

Jevons a travaillé sans succès pour résoudre ce problème, qu’il a appelé le problème inverse et qu’il a un peu trompeusement associé au processus d’induction mathématique.


Précisément, que T 0 et T 1 soient de vrais énoncés, et que F 0 et F 1 soient de fausses déclarations; alors, selon Philon, chacun des conditionnels suivants est une affirmation vraie, parce que ce n’est pas le cas que le conséquent est faux alors que l’antécédent est vrai (ce n’est pas le cas qu’une affirmation fausse est affirmée d’après une affirmation vraie ). Les Principia étaient une tentative de dériver toutes les vérités mathématiques d’un ensemble bien défini d’axiomes et de règles d’inférence dans la logique symbolique. Boole lui-même, et son Calcul des classes., Fait l’objet d’un chapitre complet.-}