Laure Damien, Marie-Hélène Gorisse, Shahid Rahman (2004)
Philosophia Scientiae
Similarity:
L’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les dont Patrick Blackburn s’est servi pour caractériser la logique modale comme logique dialogique.
Louis Vax (1997)
Philosophia Scientiae
Similarity:
Laurent Keiff (2004)
Philosophia Scientiae
Similarity:
Jean-Pierre Ginisti (1991)
Mathématiques et Sciences Humaines
Similarity:
The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.
Fabien Schang (2005)
Philosophia Scientiae
Similarity:
La position résolument extensionaliste de Quine a été appuyée par des arguments de nature différente, dans ses multiples articles destinés à rejeter le projet de logique modale. On peut classer ces arguments en trois catégories : un argument , où l’auteur tente de baser le langage scientifique sur une notation tâchée de décrire la “structure ultime de la réalité” ; un argument , où Quine fait allusion à des raisons de clarté et d’efficacité démonstrative pour privilégier la théorie des...
Philippe de Rouilhan (2005)
Philosophia Scientiae
Similarity:
La logique IF est-elle la logique élémentaire, comme le prétend Hintikka ? Mais, d’abord, est-elle véritablement , c’est-à-dire du ordre ? Il est tentant de répondre , en arguant du pouvoir extraordinaire de cette logique par rapport à la logique du premier ordre ordinaire. Mais, pour impressionnante que puisse être l’objection, elle n’atteint pas son but. Il faut une réfutation directe, fondée sur l’analyse de la notion d’ordre.
Anne-Françoise Schmid (2005)
Philosophia Scientiae
Similarity:
Le logicisme de Russell consiste en une thèse affirmant que toutes les mathématiques pures peuvent être exprimées à l’aide de constantes logiques et de variables. Il est compris habituellement comme une des mathématiques pures à la logique. Pourtant cette thèse est une garantie de des mathématiques au nombre et à la grandeur, de l’arithmétique aux seuls nombres finis, de la géométrie à celle d’Euclide, de la logique à la syllogistique. Le logicisme ne peut donc être interprété comme...
Helge Rückert (2004)
Philosophia Scientiae
Similarity:
Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique à trois valeurs de Łukasiewicz...
Albert Sade (1969)
Archivum Mathematicum
Similarity: