Displaying similar documents to “Introduction. Des jeux en logique”

Heuristique formelle et logiques modales non-normales

Laurent Keiff (2004)

Philosophia Scientiae

Similarity:

Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux.

Preuves et jeux sémantiques

Denis Bonnay (2004)

Philosophia Scientiae

Similarity:

Hintikka makes a distinction between two kinds of games: truth-constituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of games. In order to ground Hintikka’s claim that truth-constituting games are genuine verification and falsification games that make explicit the language games underlying the use of logical constants, it would be desirable to establish a...

Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?

Philippe de Rouilhan (2005)

Philosophia Scientiae

Similarity:

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.

Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle

Grzegorz Malinowski (1991)

Mathématiques et Sciences Humaines

Similarity:

Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.