Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?
RésuméLe présent article porte sur le rôle inférentiel des quantificateurs chez Frege, Peano et Russell. Nous abordons ici deux aspects qui caractérisent la logique mathématique à ses débuts: le progressif perfectionnement des principes de raisonnement à l’aide des quantificateurs d’une part, la pré...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Article ou chapitre numérique |
| Teanga: | Français |
| Foilsithe / Cruthaithe: |
2021
|
| Rochtain ar líne: | Accès Université d'Orléans et IFPM |
| Achoimre: | RésuméLe présent article porte sur le rôle inférentiel des quantificateurs chez Frege, Peano et Russell. Nous abordons ici deux aspects qui caractérisent la logique mathématique à ses débuts: le progressif perfectionnement des principes de raisonnement à l’aide des quantificateurs d’une part, la prétendue impossibilité conceptuelle de poser des questions de type métathéorique d’autre part, telle qu’elle est incarnée par le célèbre dicton de Jean van Heijenoort sur « la logique comme calcul et la logique comme langage». |
|---|