Displaying similar documents to “DERIVE, un système de calcul formel en classe de mathématiques”

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.

Bibliographie commentée

Jean-Pierre Desclés, Jean-Pierre Ginisti (1988)

Mathématiques et Sciences Humaines

Similarity:

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.