Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Communication
Suivant Tarski, on peut distinguer trois aspects de la logique: la méthodologie formelle, l’épistémologie formelle et l’ontologie formelle. J’utiliserai cette caractérisation tripartite pour évaluer deux modèles mathématiques de la logique d’Aristote. Le premier modèle, qui fait autorité dans la littérature, est celui de Lukasiewicz (1957); il conçoit la logique aristotélicienne comme une extension du calcul propositionnel. Cette reconstruction traite la logique d’Aristote comme une ontologie formelle, bien que ceci implique qu’elle contienne plusieurs erreurs majeures. En conséquence, la logique d’Aristote ne respecterait pas les standards de la logique moderne. Comme je le démontrerai, ce modèle est incompatible avec les méthodes …
Communication
Malgré la critique soutenue qu’a subit l’empirisme logique depuis environ un demi-siècle, son idée générale de confirmation qui consiste à analyser le contenu empirique des théories scientifiques en termes de conséquences observationnelles persiste toujours en philosophie des sciences (''e.g.'', dans les travaux influents de Earman, van Fraassen, Cartwright). Le but de cette communication est d’expliquer que cette position ne peut rendre contre des pratiques explicative et confirmative dans le cas des théories « phénoménologiques » en physique. Spécifiquement, j’examinerai les théories physiques qu’on retrouve en mécanique des continua. Je présenterai brièvement la structure des théories qu’on retrouve en mécanique des …
