Mathématiques et sciences humaines/Mathematics and social sciences

logique

Ernest Coumet

Les diagrammes de Venn
Paru dans :  n° 10, Printemps 1965

Michel Eytan

Qu'est-ce qu'un quantificateur ? Le point de vue de l'algébriste
Paru dans :  n° 10, Printemps 1965

Marc Barbut

Topologie générale et algèbre de Kuratowski
Paru dans :  n° 12, Automne 1965

Michel Eytan

Topologie et logique propositionnelle modale
Paru dans :  n° 12, Automne 1965

Michel Eytan

Axiomatique des ensembles
Paru dans :  n° 13, Hiver 1965

Bernard Jaulin

Sur un aspect du calcul
Paru dans :  n° 14, Printemps 1966

Jean-blaise Grize

Logique et algèbre de Boole
Paru dans :  n° 14, Printemps 1966

Ernest Coumet

Logique, mathématiques et langages dans l'oeuvre de Georges Boole (1)
Paru dans :  n° 15, Été 1966

Ernest Coumet

Logique, mathématiques et langages dans l'oeuvre de Boole (2)
Paru dans :  n° 16, Automne 1966

J. Jastrabsky

Circuits logiques
Paru dans :  n° 16, Automne 1966

Ernest Coumet

Logique, mathématiques et langage dans l'oeuvre de G. Boole (suite et fin)
Paru dans :  n° 17, Hiver 1966

Roger Martin

Problèmes d'enseignement. A propos de la notion de démonstration dans l'enseignement élémentaire de la théorie des ensembles
Paru dans :  n° 20, Automne 1967

Roger Martin

L'enseignement des mathématiques aux étudiants en philosophie (1e année, 1er cycle) dans les facultés de Paris-Sorbonne et Paris-Nanterre
Paru dans :  n° 20, Automne 1967

Claude Pair

La formalisation des langages de programmation

Jean-blaise Grize

Quelques problèmes logico-linguistiques

Roger Martin

Alfred Tarski, "Logique, sémantique, métamathématique", 1923-1944, tome 1, Paris, Armand Colin, 1972, 278 p.
Paru dans :  n° 42, Été 1973

Michel Eytan

Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Smullyan tables, Hintikka set and so on: algebraic point of view
Paru dans :  n° 48, Hiver 1974

F. Lapscher

Utilisation des matrices booléennes pour l'étude des treillis de Post
The use of boolean matrixes in the study of Post lattices
Paru dans :  n° 49, Printemps 1975

Michel Eytan

Logique modale et propositionnelle : une vue cavalière
Propositional modal logic: a cavalier survey
Paru dans :  n° 57, Printemps 1977

Ernest Coumet

Sur l'histoire des diagrammes logiques, "figures géométriques"
On the history of logic diagrams, "geometrical figures"
Paru dans :  n° 60, Hiver 1977

G. Jumarie

Ensembles flous relativistes. Pour une nouvelle approche de la subjectivité dans les systèmes humains
Relativistic fuzzy sets. Toward a new approach to subjectivity in human systems
Paru dans :  n° 71, Automne 1980

Hermann Weyl

Le fantôme de la modalité
The Modality's ghost
Paru dans :  n° 74, Été 1981

Jean-pierre Descles

Programme interdisciplinaire de traitement formel et automatique des langues et du langage (PITFALL)
Interdisciplinary programm in formal treatment of natural languages (PITFALL)

Jean-pierre Descles

Multiopérateurs, multiopérations
Multioperators, multioperations

Jean-pierre Descles et Ch. Froidevaux

Axiomatisation de la notion de repérage abstrait
Abstract location axiomatisation

M. Santha

La logique intensionnelle et les langues naturelles
Intensional logic and natural languages

Ch. Froidevaux

La fonction logique Epsilon de Hilbert à travers les "Grundlagen der mathematik"
The logic function Epsilon of Hilbert in the "Grundlagen der mathematik"
Paru dans :  n° 84, Hiver 1983

Rudolf Wille

Sur la fusion des contextes individuels
On the fusion of individual contexts
Paru dans :  n° 85, Printemps 1984

Rémi Langevin et Lucinda Ferreira Brito

Modalités : un modèle géométrique
Modalities: a geometrical model
Paru dans :  n° 95, Automne 1986

René Guitart

Introduction à l'analyse algébrique. 2. Algèbres figuratives et esquisses
Introduction to algebraic analysis
Paru dans :  n° 97, Printemps 1987

Solomon Marcus

Mathématique et linguistique
Mathematics and linguistics

Jean-pierre Chanod et Frédérique Segond

Grammaire applicative : traitement informatique de la composante morpho-syntaxique
Applicative grammar: computerization of the morphosyntactic component

Jean-pierre Ginisti

Présentation de la logique combinatoire en vue de ses applications
Presentation of combinatory logic with a view of its applications

Jean-pierre Descles

Théorème de Church-Rosser et structuration des langues naturelles
Church-Rosser's theorem and structuration of natural languages

Jean-pierre Descles et Jean-pierre Ginisti

Bibliographie commentée, numéro spécial : Linguistique et mathématique
Commented bibliography, special issue: Linguistics and mathematics

Régine Delforges

Logique combinatoire et caractères chinois
Combinatory and Chineses characters
Paru dans :  n° 105, Printemps 1989

Jacques Courcier

Le texte philosophique comme lieu d'étude sur la logique usuelle
Philosophical text: a place to study usual logic
Paru dans :  n° 107, Automne 1989

Dominique Dubarle

Essai sur la généralisation naturelle de la logique usuelle (premier mémoire)
Essay on natural generalization of usual logic
Paru dans :  n° 107, Automne 1989

M. Schonfinkel

Sur les éléments de construction de la logique mathématique. Traduction de G. Vandevelde, Analyse et notes de J. P. Ginisti
Construction elements of mathematic logic. G. Vandevelde: translation, J. P. Ginisti: analyse and notes
Paru dans :  n° 112, Hiver 1990

Dominique Guin

La notion d'opérateur dans une modélisation cognitive de la compréhension des problèmes additifs
The operator notion in a cognitive modeling of the understanding process of additive word problems
Paru dans :  n° 113, Printemps 1991

Michael Luxenburger

Implications partielles dans un contexte
Partial implications of a context
Paru dans :  n° 113, Printemps 1991

Jean-pierre Ginisti

Les problèmes de la définition
The problems of definition

Jan Gregorowicz

La théorie des définitions dans la littérature logique polonaise
The theory of definitions in the polish logical literature

Daniel Parrochia

Trames, classifications, définitions
Grids, classifications, definitions

Claude Gaudin

Un point de logique aristotélicienne : le "définitionnel"
A point of aristotelian logic: definition as a "formula"

Grzegorz Malinovski

Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle
On semantic principles of Frege and non-fregean definition of the concept of propositional identity

Maria Lewandowska

Quelques remarques sur les définitions des notions principales de la logique de l'action
Remarks on the definitions of main concepts of logic of action

Jean-pierre Ginisti

La créativité des définitions dans les systèmes para-euclidiens
The creativity of definitions in the paraeuclidean systems

Constantin Thiopoulos

Vers une logique des systèmes sémiotiques
Towards a logic of semiotic systems
Paru dans :  n° 117, Printemps 1992

Dominique Guin

Une modélisation mathématique de la compréhension des énoncés additifs
A mathematical modeling of the understanding process of additive word problems
Paru dans :  n° 120, Hiver 1992

Pascal Boldini

Structuration cognitive et logique intrinsèque
Cognitive structuration and intrinsic logic
Paru dans :  n° 121, Printemps 1993

Engelbert Mephu Nguifo

Une nouvelle approche basée sur le treillis de Galois pour l'apprentissage des concepts
A new approach base on Galois lattice for concept learning
Paru dans :  n° 124, Hiver 1993

Matthias Gerner

Pour une typologie discursive via la théorie des esquisses
For a discourse typology via the sketch theory
Paru dans :  n° 129, Été 1995

Marion Carel

Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique
A few remarks on the teaching of propositional calculus
Paru dans :  n° 130, Été 1995

>> Index thématique.

 
Page générée par Lodel - Nous adhérons à www.revues.org

ISSN : 0987 6936
Ecole des hautes études en sciences sociales