Système d’information en philosophie des sciences
Information system on philosophy of science

Carnap, Semantics and Ontology

Gregory LAVERS

Dans : Erkenntnis - 2004

Confirmation non probabiliste

Hervé P. ZWIRN, Denis ZWIRN

Dans : Méthodes logiques pour les sciences cognitives - 1995

De la théorie de la connaissance à la logique de la science

Rudolf CARNAP

Dans : L'Âge d'or de l'empirisme logique - 2006

Géométrie au XXe siècle, 1930-2000. Histoire et horizons

Sous la direction de : Jean-Jacques SZCZECINIARZ, Joseph KOUNEIHER, Dominique FLAMENT, et al.

Hermann - 2005

Géométrie et syntaxe : les ensembles semi-algébriques et leurs généralisations

Marie-Françoise ROY

Dans : Géométrie au XXe siècle, 1930-2000. Histoire et horizons - 2005

Les cadres probatoires

Jean SALLANTIN

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Les modèles de l’économie cognitive

Bernard WALLISER

Dans : Matière première. Revue d’épistémologie et d’études matérialistes - 2008

Les tableaux de Beth : syntaxe ou sémantique ?

Philippe de ROUILHAN

Dans : Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999

Logique constructive et donkey-anaphore

Gabriele USBERTI

Dans : Méthodes logiques pour les sciences cognitives - 1995

On Meta-Knowledge and Truth

Urszula WYBRANIEC-SKARDOWSKA

Dans : Towards Mathematical Philosophy - 2009

Qu'est-ce qu'une théorie scientifique ?

Marion VORMS

Vuibert - 2011

Science formelle et science du réel

Rudolf CARNAP

Dans : L'Âge d'or de l'empirisme logique - 2006

Syntaxe, sémantique et pragmatique

Léo APOSTEL

Dans : Logique et connaissance scientifique - 1967