Displaying: 1-20 of 37 documents

0.199 sec

1. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 3
Colloque international “L’ambiguïté et la paraphrase”
2. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 3
Miguel Sánchez-Mazas Le programme “Ars judicandi”
3. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 3
Alicia Sánchez-Mazas Mathematical Genetics Meeting
4. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 2 > Issue: 1
Gérold Stahl Á la recherche d’une grammaire universelle
abstract | view |  rights & permissions
Since antiquity many philosophers and grammarians were looking for what is “behind” the particular grammars, for something like “the unchangeable principles common to all languages”. Even limitingourselves to the most concrete aspects of such a general grammar, we may ask whether there is something realizable among the risky hipotheses and the vague projects.In this paper we do not try to discover something more or less hidden in the particular grammars, but to show, in a very general way, some directions for constructing, eventually, an universal grammar. Four approaches are mentioned:(1) artificial universal languages like Esperanto,(2) systems of automatic analysis of a language,(3) programming languages,(4) the first-order systems of logic.It is shown how those approaches (and the experiences acquired in working with them might be combined; but wether this combination produces interesting results and brings us nearer to an universal and rational grammar of our computerized epoch is an open question, which can be answered only by practical experience.
5. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 2 > Issue: 1
James Gasser Un développement des systèmes logiques de Stanislas Leśniewski (1886-1939). Protothétigue, Ontologie, Méréologie
6. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 2 > Issue: 1
Colloque sur la réferénce. Points de vue linguistique et logique
7. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 1
James Gasser Colloque Lesniewski
8. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 1
James Gasse Sémiologie du raisonnement
9. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 1
Georges Kalinowski Sur le fondement des normes et des énoncés normatifs: á propos des idées de von Wright et de Castañeda
abstract | view |  rights & permissions
A dix ans d’intervalle deux déontciens de premier plan, G.H. von Wright et H.N. Castañeda, ont abordé -indépendamment l’un de l’autre- le probleme du fondement des normes et des énoncés normatifs. Leurs solutions respectives méritent d’être attentivement examinées. Ne prêtent-elles pas a discussion? Pour qu’une norme juridique soit fondée, suffit-il qu’elle soit édictée par un législateur compétent conformément a la procédure législative en vigueur? Un énoncé nornlatif est-il fondé du moment que l’ordre en faisant partie est légitimé au sens conféré a ce terme par l’auteur de Thinking and doing? Et tout d’abord peut-on admettre que les ordres fassent partie des énoncés nomlatifs? L’article qui suit essaie de répondre à ces questions et aux questions connexes.
10. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 1 > Issue: 2
Catherine Pequegnat Essai de logique naturelle
11. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 9 > Issue: 1
Charffedine Boughdiri Le devenir du ‘Cogito’: Application d’une herméneutique poïetique
12. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 9 > Issue: 2
Michel Serfati Regulae et Mathématiques
abstract | view |  rights & permissions
L’histoire du texte des Régles pour la Direction de l’Esprit (Regulae) de Descartes est un peu singulière: non publié du vivant de Descartes, il n’a paru qu’en 1701, dans les Opera Posthuma d’Amsterdam. De façon plus significative, et contrairement aux autres traités cartésiens perdus, ce texte secret n’est jamais explicitement evoqué par Descartes, fût-ce au détour d’une correspondance. Par leur étroite dépendance vis à vis des mathématiques, les Regulae sont cependant un texte majeur, constitutives de la pensée de leur auteur dans ses années de jeunesse (1619-1628), et par là de toute la philosophie moderne. Descartes avait jugé le texte suffisamment important pour I’emmener à Stockholm, où il a été découvert apres sa mort, dans ses papiers.Entre les mathématiques et les Regulae, ce texte “éclatant et obscur” (J.P. Weber), il est ces trois types principaux de rapports croisés que nous tâcherons d’analyser: historiquement d’abord, quelles furent la formation et I’expérience mathématique du jeune Descartes, qui constituerent, à notre sens, I’armature conceptuelle du texte. Quelles sont ensuite les voies par lesquelles, dans les Regulae, Descartes a putransmuer cette expérience mathématique premiere à la fois en une pratique, une méthode, une théorie de la connaissance, enfin en une épistémologie assez radicalement neuve. Enfin, et prenant Descartes au sérieux nous examinerons à I’occasion cette question: quel est le sort réservé, de nos jours, à cette épistémologie cartésienne, en particulier confrontée aux mathématiques contemporaines?
13. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 9 > Issue: 2
Miguel Espinoza Apologie du logos
14. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 4 > Issue: 2
Miguel Sánchez-Mazas Une méthode arithmétique de décision pour le système modal S5 par des invariants numériques de ses classes d’équivalence
abstract | view |  rights & permissions
Il s’agit d’une methode qui permet d’associer à chaque formule bien formée du système S5 de logique modale un nombre naturel invariant pour toutes les formules qui appartiennent a la même classe d’equivalence que la première.En particulier, étant donné que la méthode associe à toutes les tautologies du système le nombre o et a toutes les contradictions du système un certain nombre Φ, il suffit de calculer le nombre qui, en vertu des associations fondamentales, reste associé à n’importe quelle formule pour décider si cette dernière est tautologique, contradictoire ou contingente.Les relations logiques reliant deux formules du systeme -par exemple, des implications, des incompatibilités, des oppositions contradictaires, etc.- sont révéciés par un simpIe examen oculaire des nombres assoc iés aux formules données et une rapide vérification manuelle ou informatique fondée sur la comparaison des chiffres du même rang de ces nombres, écrits en hexadécimal.Finalement, l’analyse de la composition binaire du nombre associé a une formule donnée permet d’obtenir l’expression de la première sous sa forme normale conjonctive.La méthode décrite constitue donc une nouvelle méthode arithmétique de décision pour le système modal indiqué.
15. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 5 > Issue: 1/2
Miguel Espinoza Critique de la science anti-substantialiste
abstract | view |  rights & permissions
A negative conclusion, like R. Feynman’s sentence “nature is uncomprehensible”, forces us to examine the value of contemporary science from the point of view of understanding. As a contribution to this task, I criticize some of the philosophical presuppositions of experimentalism. Then I try to place some stepping stones towards metaphysics, conceived as a rational extension of science, and devoted to the search for intelligibility.
16. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 5 > Issue: 1/2
Lorenzo Peña XXIII Congrès de l’Association des Sociétés de Philosophie de Langue Française (Hammamet, 1-5 de septiembre de 1990)
17. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 4 > Issue: 1
2e Ecole d’Eté de l’Association pour la Recherche Cognitive (Château de Bonas, Francia, 2-12 de Julio de 1989
18. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 4 > Issue: 1
Premier Colloque Européen d’ELLIA (Europa Lex Logica Informatio Automatica) sur “Droit-Décision-Informatique” (Bruselas, Mayo de 1990)
19. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 4 > Issue: 1
Jean-Louis Gardies La définition de I’identite d’Aristote à Zermelo
abstract | view |  rights & permissions
This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate in set theory the axiom of extensionality.
20. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 3 > Issue: 1/2/3
François Paychere Sémiotique et Droit: Exercice de lecture
abstract | view |  rights & permissions
Language and judicial activities are both signs of the existence of a society. There is, therefore, good reason for a dialogue between the science of language and the science of law. This article applies a linguistic theory of the Paris School (semiotics) to the examination of a legal text, namely a contract. The author points to some eIements shared by legal and other texts, and demonstrates how a semiotic interpretation can provide interesting and unexpected insights into the deeper levels of a legal text. He concludes that a similar approach could fruitfully be used with other types of legal text.