Le rôle médiateur de la logique: étude métathéorique |
Other editions - View all
Common terms and phrases
abstrait Aristote aristotéliciennes arithmétique associés avons axiomes calcul d'opérateurs calcul logique cercle de Vienne chapitre chose conception concret connaissance construction d'Aristote d'autres termes d'axiomes définit définitions de correspondance Descartes désignant Destouches-Février dire domaine éléments énoncé expérimental exemple existe expérience expression logique fonction propositionnelle fondamentale forme formule Frege Hilbert intuitioniste intuitive John Locke l'analyse l'énoncé l'existence l'expérience langages formalisés Leibniz Locke logiciens logique déductive logique mathématique lois logiques Łukasiewicz maintenant toujours présent manière mathé mathématique universelle matique ment mesure métalangage méthode modale nombre cardinal nombres naturels notion numériques opérateurs matriciels pensée philosophie physique quantique physique théorique pose postulats préciser prédicats premier principe problème proposition expérimentale propriétés quantification quelconque question raison règles d'inférence relation d'ordre résultat revanche rôle saurait savoir sciences empiriques sémantique sens serait seulement signes signification Stoïciens suite des nombres suiv syllogisme symboles système formel Tarski théorie des ensembles tion transfini valeurs variables d'individus variables libres vécu venons zéro