Towards finishing off the axiom of reducibility
Note sur Popper lecteur de Tarski
1. Introduction 2. La théorie de la vérité de Tarski est-elle, comme Popper l’affirme à la suite de Tarski lui-même, une réhabilitation de la conception traditionnelle de la vérité comme correspondance aux faits ? — Oui, mais pas pour la raison qu’il donne. 3. La définition explicite de la vérité de Tarski (quand elle est possible) est-elle, comme Popper l’affirme à la suite de Tarski lui-même, purement morphologique (syntaxique) ? — Non. 4. La théorie de Tarski est-elle, comme celui-ci le prétend,...
Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?
La logique IF est-elle la logique élémentaire, comme le prétend Hintikka ? Mais, d’abord, est-elle véritablement , c’est-à-dire du ordre ? Il est tentant de répondre , en arguant du pouvoir extraordinaire de cette logique par rapport à la logique du premier ordre ordinaire. Mais, pour impressionnante que puisse être l’objection, elle n’atteint pas son but. Il faut une réfutation directe, fondée sur l’analyse de la notion d’ordre.
Les tableaux de Beth : syntaxe ou sémantique ?
Page 1